E-LIB Suche - Ergebnisse für: Sifakis, J.

1

GEOCONSERVATION LEGAL STATUS AND GEOPARK ESTABLISHMENT IN G..:

Haidarlis, M. ; Sifakis, A. ; Brachou, C.
Bulletin of the Geological Society of Greece. 43 (2017) 2 - p. 907 , 2017

Link: https://doi.org/10.12681..

2

Rigorous system level modeling and analysis of mixed HW/SW ..:

, In: Proceedings of the Ninth ACM/IEEE International Conference on Formal Methods and Models for Codesign,

Bourgos, P. ; Basu, A. ; Bozga, M.... - p. 11-20 , 2011

Link: https://dl.acm.org/doi/1..

3

Guidelines for a graduate curriculum on embedded software a..:

Caspi, P. ; Sangiovanni-Vincentelli, A. ; Almeida, L....
ACM Transactions on Embedded Computing Systems. 4 (2005) 3 - p. 587-611 , 2005

Link: https://doi.org/10.1145/..

4

Guidelines for a graduate curriculum on embedded software a..:

Caspi, P. ; Sangiovanni-Vincentelli, A. ; Almeida, L....
ACM Transactions on Embedded Computing Systems (TECS). 4 (2005) 3 - p. 587-611 , 2005

Link: https://dl.acm.org/doi/1..

5

Session details: Formal languages:

, In: Proceedings of the 4th ACM international conference on Embedded software,

Sifakis, J. , 2004

Link: https://dl.acm.org/doi/1..

6

Modeling Real-Time Systems:

, In: 25th IEEE International Real-Time Systems Symposium,

Sifakis, J. - p. 5-6 , 2004

Link: https://doi.org/10.1109/..

7

Decidable Integration Graphs:

Kesten, Y ; Pnueli, A ; Sifakis, J.
Information and Computation. 150 (1999) 2 - p. 209-243 , 1999

Link: https://doi.org/10.1006/..

8

The algorithmic analysis of hybrid systems:

Alur, R. ; Courcoubetis, C. ; Halbwachs, N....
Theoretical Computer Science. 138 (1995) 1 - p. 3-34 , 1995

Link: https://doi.org/10.1016/..

9

Property preserving abstractions for the verification of co..:

Loiseaux, C. ; Graf, S. ; Sifakis, J....
Formal Methods in System Design. 6 (1995) 1 - p. 11-44 , 1995

Link: https://doi.org/10.1007/..

10

The Algebra of Timed Processes, ATP: Theory and Application:

Nicollin, X. ; Sifakis, J.
Information and Computation. 114 (1994) 1 - p. 131-178 , 1994

Link: https://doi.org/10.1006/..

11

Symbolic Model Checking for Real-Time Systems:

Henzinger, T.A. ; Nicollin, X. ; Sifakis, J..
Information and Computation. 111 (1994) 2 - p. 193-244 , 1994

Link: https://doi.org/10.1006/..

12

Fairness and related properties in transition systems ? a t..:

Queille, J.P. ; Sifakis, J.
Acta Informatica. 19 (1983) 3 - p. , 1983

Link: https://doi.org/10.1007/..

13

A design tool for the multilevel description and simulation..:

, In: Proceedings of the 3rd annual symposium on Computer architecture,

Moalla, M. ; Saucier, G. ; Sifakis, J.. - p. 20-27 , 1976

Link: https://dl.acm.org/doi/1..

14

A design tool for the multilevel description and simulation..:

Moalla, M. ; Saucier, G. ; Sifakis, J..
ACM SIGARCH Computer Architecture News. 4 (1976) 4 - p. 20-27 , 1976

Link: https://doi.org/10.1145/..

15

Near-realtime Facial Animation by Deep 3D Simulation Super-..:

Park, Hyojoon ; Grama Srinivasan, Sangeetha ; Cong, Matthew...
ACM Transactions on Graphics. , 2024

Link: https://doi.org/10.1145/..