Karine Altisen

	2010
15		Karine Altisen, Matthieu Moy: ac2lus: Bringing SMT-Solving and Abstract Interpretation Techniques to Real-Time Calculus through the Synchronous Language Lustre. ECRTS 2010: 207-216
14		Karine Altisen, Yanhong Liu, Matthieu Moy: Performance Evaluation of Components Using a Granularity-based Interface Between Real-Time Calculus and Timed Automata QAPL 2010: 16-33
13		Matthieu Moy, Karine Altisen: Arrival Curves for Real-Time Calculus: The Causality Problem and Its Solutions. TACAS 2010: 358-372
12		Karine Altisen, Yanhong Liu, Matthieu Moy: Performance Evaluation of Components Using a Granularity-based Interface Between Real-Time Calculus and Timed Automata CoRR abs/1004.2637: (2010)
	2007
11		Franck Cassez, Stavros Tripakis, Karine Altisen: Sensor Minimization Problems with Static or Dynamic Observers for Fault Diagnosis. ACSD 2007: 90-99
10		Franck Cassez, Stavros Tripakis, Karine Altisen: Synthesis Of Optimal-Cost Dynamic Observers for Fault Diagnosis of Discrete-Event Systems. TASE 2007: 316-325
	2006
9		Karine Altisen, Franck Cassez, Stavros Tripakis: Monitoring and fault-diagnosis with digital clocks ACSD 2006: 101-110
8		Karine Altisen, Florence Maraninchi, David Stauch: Modular Design of Man-Machine Interfaces with Larissa. Software Composition 2006: 291-306
7		Karine Altisen, Florence Maraninchi, David Stauch: Aspect-oriented programming for reactive systems: Larissa, a proposal in the synchronous framework. Sci. Comput. Program. 63(3): 297-320 (2006)
	2005
6		Karine Altisen, Stavros Tripakis: Implementation of Timed Automata: An Issue of Semantics or Modeling? FORMATS 2005: 273-288
	2003
5		Karine Altisen, Aurélie Clodic, Florence Maraninchi, Éric Rutten: Using Controller-Synthesis Techniques to Build Property-Enforcing Layers. ESOP 2003: 174-188
	2002
4		Karine Altisen, Gregor Gößler, Joseph Sifakis: Scheduler Modeling Based on the Controller Synthesis Paradigm. Real-Time Systems 23(1-2): 55-84 (2002)
	2000
3		Karine Altisen, Gregor Gößler, Joseph Sifakis: A Methodology for the Construction of Scheduled Systems. FTRTFT 2000: 106-120
	1999
2		Karine Altisen, Gregor Gößler, Amir Pnueli, Joseph Sifakis, Stavros Tripakis, Sergio Yovine: A Framework for Scheduler Synthesis. IEEE Real-Time Systems Symposium 1999: 154-163
1		Stavros Tripakis, Karine Altisen: On-the-Fly Controller Synthesis for Discrete and Dense-Time Systems. World Congress on Formal Methods 1999: 233-252

Coauthor Index

1	Franck Cassez	[9] [10] [11]
2	Aurélie Clodic	[5]
3	Gregor Gößler (Gregor Goessler)	[2] [3] [4]
4	Yanhong Liu	[12] [14]
5	Florence Maraninchi	[5] [7] [8]
6	Matthieu Moy	[12] [13] [14] [15]
7	Amir Pnueli	[2]
8	Éric Rutten	[5]
9	Joseph Sifakis	[2] [3] [4]
10	David Stauch	[7] [8]
11	Stavros Tripakis	[1] [2] [6] [9] [10] [11]
12	Sergio Yovine	[2]

Last update Sat May 26 04:23:17 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page