Search CORE

10 research outputs found

From the specification to the scheduling of time‐dependent systems

Author: J.P. Courtiat
K. Altisen
M. Yannakakis
R. Alur
R. Alur
R. Alur
X. Nicollin
Publication venue: HAL CCSD
Publication date: 01/01/2002
Field of study

International audienceno abstrac

Scientific Publications of the University of Toulouse II Le Mirail

HAL-INSA Toulouse

From the Specification to the Scheduling of Time-Dependent Systems

Author: J.P. Courtiat
K. Altisen
M. Yannakakis
R. Alur
R. Alur
R. Alur
X. Nicollin
Publication venue: 'Springer Science and Business Media LLC'
Publication date
Field of study

Loosely-Coupled Integration of CSCW Systems

Author: E. Roman
G. Alonso
J.P. Courtiat
K. Chiu
L. Fuchs
P. Dewan
P. Eugster
P.J. Spellman
R. Orfali
W. Prinz
Publication venue: 'Springer Science and Business Media LLC'
Publication date: 01/01/2005
Field of study

ArchMDE Approach for the Development of Embedded Real Time Systems

Author: B.P. Douglass
D. Garlan
F.A. Nascimento Do
J.P. Courtiat
L. Apvrille
L. Apvrille
S. Burmester
S. Gerard
S. Kent
T. Mikkonen
Publication venue: 'Springer Science and Business Media LLC'
Publication date: 01/01/2007
Field of study

Formal Analysis of Real-Time Systems with SAM

Author: B. Berthomieu
E.M. Clarke
J. Wang
J.E. Coolahan Jr.
J.P. Courtiat
N.G. Leveson
P. Merlin
T. Murata
X. He
Publication venue: 'Springer Science and Business Media LLC'
Publication date
Field of study

Verifying Hypermedia Applications by Using an MDE Approach

Author: B. Berthomieu
C. Graça da
C.-C. Yang
C.A.S. Santos
D. Bulterman
D.C. Schmidt
J.F. Allen
J.P. Courtiat
O. Gaggi
P. Sampaio
R. Laiola Guimarães
T. Henzinger
Publication venue: 'Springer Science and Business Media LLC'
Publication date: 01/01/2014
Field of study

Effective Representation of RT-LOTOS Terms by Finite Time Petri Nets

Author: C. Hoare
D. Taubner
E. Best
E.R. Olderog
H. Garavel
J. Bengtsson
J.P. Courtiat
M. Barbeau
M. Barbeau
M. Koutny
O. Marroquín Alonso
R. Sisto
R.M. Milner
S. Katz
U. Goltz
W. Yi
Publication venue: 'Springer Science and Business Media LLC'
Publication date: 01/01/2006
Field of study

core

core