BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × France
1 × Poland
2 × Cyprus
Collaborated with:
M.Moy S.Tripakis Y.Liu A.Clodic F.Maraninchi É.Rutten
Talks about:
time (4) synthesi (2) calculus (2) control (2) real (2) use (2) techniqu (1) properti (1) interfac (1) granular (1)

Person: Karine Altisen

DBLP DBLP: Altisen:Karine

Contributed to:

QAPL 20102010
TACAS 20102010
ESOP 20032003
World Congress on Formal Methods 19991999

Wrote 4 papers:

QAPL-2010-AltisenLM #automaton #calculus #component #evaluation #interface #performance #realtime #using
Performance Evaluation of Components Using a Granularity-based Interface Between Real-Time Calculus and Timed Automata (KA, YL, MM), pp. 16–33.
TACAS-2010-MoyA #calculus #problem #realtime
Arrival Curves for Real-Time Calculus: The Causality Problem and Its Solutions (MM, KA), pp. 358–372.
ESOP-2003-AltisenCMR #using
Using Controller-Synthesis Techniques to Build Property-Enforcing Layers (KA, AC, FM, ÉR), pp. 174–188.
FM-v1-1999-TripakisA #on the fly #synthesis
On-the-Fly Controller Synthesis for Discrete and Dense-Time Systems (ST, KA), pp. 233–252.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.