×

zbMATH — the first resource for mathematics

Sifakis, Joseph

Compute Distance To:
Author ID: sifakis.joseph Recent zbMATH articles by "Sifakis, Joseph"
Published as: Sifakis, Joseph; Sifakis, J.
Homepage: http://www-verimag.imag.fr/~sifakis/
External Links: IdRef · MGP · theses.fr · Wikidata · dblp · GND
Awards: Turing Award (2007)
Documents Indexed: 68 Publications since 1972, including 3 Books
Biographic References: 1 Publication

Publications by Year

Citations contained in zbMATH Open

50 Publications have been cited 668 times in 531 Documents Cited by Year
Symbolic model checking for real-time systems. Zbl 0806.68080
Henzinger, Thomas A.; Nicollin, Xavier; Sifakis, Joseph; Yovine, Sergio
116
1994
Specification and verification of concurrent systems in CESAR. Zbl 0482.68028
Queille, J. P.; Sifakis, J.
84
1982
On the synthesis of discrete controllers for timed systems. Zbl 1379.68227
Maler, Oded; Pnueli, Amir; Sifakis, Joseph
64
1995
The algebra of timed processes, ATP: Theory and application. Zbl 0811.68093
Nicollin, Xavier; Sifakis, Joseph
46
1994
Property preserving abstractions for the verification of concurrent systems. Zbl 0829.68053
Loiseaux, C.; Graf, S.; Sifakis, J.; Bouajjani, A.; Bensalem, S.
38
1995
Fairness and related properties in transition systems - a temporal logic to deal with fairness. Zbl 0489.68024
Queille, J. P.; Sifakis, J.
24
1983
The algorithmic analysis of hybrid systems. Zbl 0823.68067
Alur, R.; Courcoubetis, C.; Henzinger, T.; Ho, P.; Nicollin, X.; Olivero, A.; Sifakis, J.; Yovine, S.
20
1994
Safety for branching time semantics. Zbl 0769.68089
Bouajjani, A.; Fernandez, J. C.; Graf, S.; Rodriguez, C.; Sifakis, J.
17
1991
From ATP to timed graphs and hybrid systems. Zbl 0790.68067
Nicollin, Xavier; Sifakis, Joseph; Yovine, Sergio
16
1993
Composition for component-based modeling. Zbl 1075.68016
Gössler, Gregor; Sifakis, Joseph
16
2005
A logic for the description of non-deterministic programs and their properties. Zbl 0591.68017
Graf, S.; Sifakis, J.
15
1986
Compositional specification of timed systems. Zbl 1379.68240
Sifakis, Joseph; Yovine, Sergio
15
1996
The IF toolset. Zbl 1105.68352
Bozga, Marius; Graf, Susanne; Ober, Ileana; Ober, Iulian; Sifakis, Joseph
14
2004
The algebra of connectors – structuring interaction in BIP. Zbl 1390.68031
Bliudze, Simon; Sifakis, Joseph
14
2008
Scheduler modeling based on the controller synthesis paradigm. Zbl 1018.68006
Altisen, K.; Gössler, G.; Sifakis, J.
13
2002
Decidable integration graphs. Zbl 1045.68566
Kesten, Y.; Pnueli, A.; Sifakis, J.; Yovine, S.
13
1999
A notion of glue expressiveness for component-based systems. Zbl 1160.68458
Bliudze, Simon; Sifakis, Joseph
12
2008
A modal characterization of observational congruence on finite terms of CCS. Zbl 0591.68031
Graf, S.; Sifakis, J.
10
1986
Causal semantics for the algebra of connectors. Zbl 1207.68203
Bliudze, Simon; Sifakis, Joseph
10
2010
Use of Petri nets for performance evaluation. Zbl 0401.68039
Sifakis, J.
10
1979
A framework for automated distributed implementation of component-based models. Zbl 1256.68016
Bonakdarpour, Borzoo; Bozga, Marius; Jaber, Mohamad; Quilbeuf, Jean; Sifakis, Joseph
9
2012
Specification and verification of concurrent systems in CESAR. Zbl 1142.68440
Queille, J. P.; Sifakis, J.
8
2008
An approach to modelling and verification of component based systems. Zbl 1131.68474
Gössler, Gregor; Graf, Susanne; Majster-Cederbaum, Mila; Martens, M.; Sifakis, Joseph
8
2007
A modal characterization of observational congruence on finite terms of CCS. Zbl 0551.68034
Graf, S.; Sifakis, J.
7
1984
Special issue on Hybrid systems. Zbl 0879.00023
Pnueli, A. (ed.); Sifakis, J. (ed.)
6
1995
Compositional verification for component-based systems and application. Zbl 1183.68364
Bensalem, Saddek; Bozga, Marius; Sifakis, Joseph; Nguyen, Thanh-Hung
5
2008
Priority scheduling of distributed systems based on model checking. Zbl 1242.68033
Basu, Ananda; Bensalem, Saddek; Peled, Doron; Sifakis, Joseph
4
2009
Deadlocks and livelocks in transition systems. Zbl 0454.68050
Sifakis, Joseph
4
1980
Structural properties of Petri nets. Zbl 0381.68056
Sifakis, Joseph
4
1978
Synchronized Petri nets: A model for the description of non-autonomous systems. Zbl 0387.68046
Moalla, M.; Pulou, J.; Sifakis, J.
4
1978
A general framework for architecture composability. Zbl 1342.68029
Attie, Paul; Baranov, Eduard; Bliudze, Simon; Jaber, Mohamad; Sifakis, Joseph
4
2016
Ensuring properties of interaction systems. Zbl 1149.68352
Gössler, Gregor; Graf, Susanne; Majster-Cederbaum, Mila; Martens, Moritz; Sifakis, Joseph
4
2007
Component-based construction of deadlock-free systems (extended abstract). Zbl 1205.68245
Gössler, Gregor; Sifakis, Joseph
4
2003
TAXYS: A tool for the development and verification of real-time embedded systems. Zbl 0991.68644
Closse, Etienne; Poize, Michel; Pulou, Jacques; Sifakis, Joseph; Venter, Patrick
3
2001
Property preserving homomorphisms of transition systems. Zbl 0546.68019
Sifakis, Joseph
3
1984
A methodology for the construction of scheduled systems. Zbl 0986.90501
Altisen, K.; Gößler, G.; Sifakis, J.
2
2000
From synchronization tree logic to acceptance model logic. Zbl 0572.68020
Graf, S.; Sifakis, J.
2
1985
A logic for the specification and proof of regular controllable processes of CCS. Zbl 0599.68025
Graf, Susanne; Sifakis, Joseph
2
1986
Symbolic quality control for multimedia applications. Zbl 1167.68329
Combaz, Jacques; Fernandez, Jean-Claude; Sifakis, Joseph; Strus, Loïc
2
2008
A unified approach for studying the properties of transition systems. Zbl 0478.68056
Sifakis, Joseph
2
1982
Priority systems. Zbl 1104.68412
Gössler, Gregor; Sifakis, Joseph
2
2004
Architecture diagrams: a graphical language for architecture style specification. Zbl 1433.68100
Mavridou, Anastasia; Baranov, Eduard; Bliudze, Simon; Sifakis, Joseph
2
2016
Parameterized systems in BIP: design and model checking. Zbl 1392.68254
Konnov, Igor; Kotek, Tomer; Wang, Qiang; Veith, Helmut; Bliudze, Simon; Sifakis, Joseph
2
2016
An algebraic framework for urgency. Zbl 1007.68119
Bornot, Sébastien; Sifakis, Joseph
2
2000
Modeling real-time systems – challenges and work directions. Zbl 1050.68511
Sifakis, Joseph
1
2001
The compositional specification of timed sytems – a turorial. Zbl 1046.68609
Sifakis, Joseph
1
1999
Causal semantics for the algebra of connectors (extended abstract). Zbl 1209.68123
Bliudze, Simon; Sifakis, Joseph
1
2008
Knowledge based scheduling of distributed systems. Zbl 1288.68178
Bensalem, Saddek; Peled, Doron; Sifakis, Joseph
1
2010
On the composition of hybrid systems. Zbl 0957.68047
Bornot, Sébastien; Sifakis, Joseph
1
2000
Réseaux de Petri synchronises. Zbl 0384.68063
Moalla, M.; Pulou, J.; Sifakis, J.
1
1978
A general framework for architecture composability. Zbl 1342.68029
Attie, Paul; Baranov, Eduard; Bliudze, Simon; Jaber, Mohamad; Sifakis, Joseph
4
2016
Architecture diagrams: a graphical language for architecture style specification. Zbl 1433.68100
Mavridou, Anastasia; Baranov, Eduard; Bliudze, Simon; Sifakis, Joseph
2
2016
Parameterized systems in BIP: design and model checking. Zbl 1392.68254
Konnov, Igor; Kotek, Tomer; Wang, Qiang; Veith, Helmut; Bliudze, Simon; Sifakis, Joseph
2
2016
A framework for automated distributed implementation of component-based models. Zbl 1256.68016
Bonakdarpour, Borzoo; Bozga, Marius; Jaber, Mohamad; Quilbeuf, Jean; Sifakis, Joseph
9
2012
Causal semantics for the algebra of connectors. Zbl 1207.68203
Bliudze, Simon; Sifakis, Joseph
10
2010
Knowledge based scheduling of distributed systems. Zbl 1288.68178
Bensalem, Saddek; Peled, Doron; Sifakis, Joseph
1
2010
Priority scheduling of distributed systems based on model checking. Zbl 1242.68033
Basu, Ananda; Bensalem, Saddek; Peled, Doron; Sifakis, Joseph
4
2009
The algebra of connectors – structuring interaction in BIP. Zbl 1390.68031
Bliudze, Simon; Sifakis, Joseph
14
2008
A notion of glue expressiveness for component-based systems. Zbl 1160.68458
Bliudze, Simon; Sifakis, Joseph
12
2008
Specification and verification of concurrent systems in CESAR. Zbl 1142.68440
Queille, J. P.; Sifakis, J.
8
2008
Compositional verification for component-based systems and application. Zbl 1183.68364
Bensalem, Saddek; Bozga, Marius; Sifakis, Joseph; Nguyen, Thanh-Hung
5
2008
Symbolic quality control for multimedia applications. Zbl 1167.68329
Combaz, Jacques; Fernandez, Jean-Claude; Sifakis, Joseph; Strus, Loïc
2
2008
Causal semantics for the algebra of connectors (extended abstract). Zbl 1209.68123
Bliudze, Simon; Sifakis, Joseph
1
2008
An approach to modelling and verification of component based systems. Zbl 1131.68474
Gössler, Gregor; Graf, Susanne; Majster-Cederbaum, Mila; Martens, M.; Sifakis, Joseph
8
2007
Ensuring properties of interaction systems. Zbl 1149.68352
Gössler, Gregor; Graf, Susanne; Majster-Cederbaum, Mila; Martens, Moritz; Sifakis, Joseph
4
2007
Composition for component-based modeling. Zbl 1075.68016
Gössler, Gregor; Sifakis, Joseph
16
2005
The IF toolset. Zbl 1105.68352
Bozga, Marius; Graf, Susanne; Ober, Ileana; Ober, Iulian; Sifakis, Joseph
14
2004
Priority systems. Zbl 1104.68412
Gössler, Gregor; Sifakis, Joseph
2
2004
Component-based construction of deadlock-free systems (extended abstract). Zbl 1205.68245
Gössler, Gregor; Sifakis, Joseph
4
2003
Scheduler modeling based on the controller synthesis paradigm. Zbl 1018.68006
Altisen, K.; Gössler, G.; Sifakis, J.
13
2002
TAXYS: A tool for the development and verification of real-time embedded systems. Zbl 0991.68644
Closse, Etienne; Poize, Michel; Pulou, Jacques; Sifakis, Joseph; Venter, Patrick
3
2001
Modeling real-time systems – challenges and work directions. Zbl 1050.68511
Sifakis, Joseph
1
2001
A methodology for the construction of scheduled systems. Zbl 0986.90501
Altisen, K.; Gößler, G.; Sifakis, J.
2
2000
An algebraic framework for urgency. Zbl 1007.68119
Bornot, Sébastien; Sifakis, Joseph
2
2000
On the composition of hybrid systems. Zbl 0957.68047
Bornot, Sébastien; Sifakis, Joseph
1
2000
Decidable integration graphs. Zbl 1045.68566
Kesten, Y.; Pnueli, A.; Sifakis, J.; Yovine, S.
13
1999
The compositional specification of timed sytems – a turorial. Zbl 1046.68609
Sifakis, Joseph
1
1999
Compositional specification of timed systems. Zbl 1379.68240
Sifakis, Joseph; Yovine, Sergio
15
1996
On the synthesis of discrete controllers for timed systems. Zbl 1379.68227
Maler, Oded; Pnueli, Amir; Sifakis, Joseph
64
1995
Property preserving abstractions for the verification of concurrent systems. Zbl 0829.68053
Loiseaux, C.; Graf, S.; Sifakis, J.; Bouajjani, A.; Bensalem, S.
38
1995
Special issue on Hybrid systems. Zbl 0879.00023
Pnueli, A.; Sifakis, J.
6
1995
Symbolic model checking for real-time systems. Zbl 0806.68080
Henzinger, Thomas A.; Nicollin, Xavier; Sifakis, Joseph; Yovine, Sergio
116
1994
The algebra of timed processes, ATP: Theory and application. Zbl 0811.68093
Nicollin, Xavier; Sifakis, Joseph
46
1994
The algorithmic analysis of hybrid systems. Zbl 0823.68067
Alur, R.; Courcoubetis, C.; Henzinger, T.; Ho, P.; Nicollin, X.; Olivero, A.; Sifakis, J.; Yovine, S.
20
1994
From ATP to timed graphs and hybrid systems. Zbl 0790.68067
Nicollin, Xavier; Sifakis, Joseph; Yovine, Sergio
16
1993
Safety for branching time semantics. Zbl 0769.68089
Bouajjani, A.; Fernandez, J. C.; Graf, S.; Rodriguez, C.; Sifakis, J.
17
1991
A logic for the description of non-deterministic programs and their properties. Zbl 0591.68017
Graf, S.; Sifakis, J.
15
1986
A modal characterization of observational congruence on finite terms of CCS. Zbl 0591.68031
Graf, S.; Sifakis, J.
10
1986
A logic for the specification and proof of regular controllable processes of CCS. Zbl 0599.68025
Graf, Susanne; Sifakis, Joseph
2
1986
From synchronization tree logic to acceptance model logic. Zbl 0572.68020
Graf, S.; Sifakis, J.
2
1985
A modal characterization of observational congruence on finite terms of CCS. Zbl 0551.68034
Graf, S.; Sifakis, J.
7
1984
Property preserving homomorphisms of transition systems. Zbl 0546.68019
Sifakis, Joseph
3
1984
Fairness and related properties in transition systems - a temporal logic to deal with fairness. Zbl 0489.68024
Queille, J. P.; Sifakis, J.
24
1983
Specification and verification of concurrent systems in CESAR. Zbl 0482.68028
Queille, J. P.; Sifakis, J.
84
1982
A unified approach for studying the properties of transition systems. Zbl 0478.68056
Sifakis, Joseph
2
1982
Deadlocks and livelocks in transition systems. Zbl 0454.68050
Sifakis, Joseph
4
1980
Use of Petri nets for performance evaluation. Zbl 0401.68039
Sifakis, J.
10
1979
Structural properties of Petri nets. Zbl 0381.68056
Sifakis, Joseph
4
1978
Synchronized Petri nets: A model for the description of non-autonomous systems. Zbl 0387.68046
Moalla, M.; Pulou, J.; Sifakis, J.
4
1978
Réseaux de Petri synchronises. Zbl 0384.68063
Moalla, M.; Pulou, J.; Sifakis, J.
1
1978
all top 5

Cited by 835 Authors

20 Larsen, Kim Guldstrand
16 Sifakis, Joseph
11 Henzinger, Thomas A.
10 Aceto, Luca
10 Vardi, Moshe Y.
9 Legay, Axel
9 Pnueli, Amir
8 Bensalem, Saddek
8 Bliudze, Simon
8 Graf, Susanne
8 Markey, Nicolas
7 Baeten, Jos C. M.
7 Bouyer, Patricia
7 Grumberg, Orna
7 Ingólfsdóttir, Anna
7 Kupferman, Orna
7 Meseguer Guaita, José
7 Murano, Aniello
7 Norman, Gethin
7 Reniers, Michel Adriaan
7 Tripakis, Stavros
6 Bergstra, Jan A.
6 Bozga, Marius
6 Brihaye, Thomas
6 Corradini, Flavio
6 Duan, Zhenhua
6 Fahrenberg, Uli
6 Kwiatkowska, Marta Z.
6 Lang, Frédéric
6 Lime, Didier
6 Maler, Oded
6 Raskin, Jean-François
6 Roux, Olivier H.
6 Zhang, Nan
5 Alur, Rajeev
5 Chatterjee, Krishnendu
5 Clarke, Edmund Melson jun.
5 Dang, Zhe
5 Ibarra, Oscar H.
5 Jaber, Mohamad Y.
5 Kesten, Yonit
5 Laroussinie, François
5 Lüttgen, Gerald
5 Majster-Cederbaum, Mila E.
5 Majumdar, Rupak
5 Middelburg, Cornelis A.
5 Olveczky, Peter Csaba
5 Sproston, Jeremy
5 Wąsowski, Andrzej
4 Attie, Paul C.
4 Bérard, Béatrice
4 Bonakdarpour, Borzoo
4 Cassez, Franck
4 David, Alexandre
4 Doyen, Laurent
4 Falcone, Yliès
4 Fokkink, Willem Jan
4 Gomez, Rodolfo
4 Haddad, Serge
4 Jobstmann, Barbara
4 Kopke, Peter W.
4 Kulkarni, Sandeep S.
4 Lanotte, Ruggero
4 Lee, Insup
4 Maggiolo-Schettini, Andrea
4 Mogavero, Fabio
4 Park, Seong-Jin
4 Santone, Antonella
4 Tesei, Luca
4 Tian, Cong
4 Ulidowski, Irek
4 Vaandrager, Frits W.
4 Yovine, Sergio
4 Zamani, Majid
4 Zhan, Naijun
3 Abate, Alessandro
3 Abujarad, Fuad
3 Alla, Hassane
3 Apt, Krzysztof Rafal
3 Asarin, Eugene
3 Baranov, Eduard
3 Barbuti, Roberto
3 Bouajjani, Ahmed
3 Bruni, Roberto
3 Bruyère, Véronique
3 Cho, Kwang-Hyun
3 Chockler, Hana
3 D’Argenio, Pedro Rubén
3 Dekhtyar, Michael I.
3 Dikovsky, Alexander Yakovlevich
3 Dong, JinSong
3 Gorogiannis, Nikos
3 Halbwachs, Nicolas
3 Howell, Rodney R.
3 Jonsson, Bengt
3 Khoumsi, Ahmed
3 Lakhnech, Yassine
3 Lee, Edward Ashford
3 Liu, Yang
3 Mardare, Radu
...and 735 more Authors
all top 5

Cited in 68 Serials

98 Theoretical Computer Science
43 Information and Computation
38 Formal Methods in System Design
25 Formal Aspects of Computing
21 The Journal of Logic and Algebraic Programming
20 Acta Informatica
13 Discrete Event Dynamic Systems
12 Information Processing Letters
12 Real-Time Systems
11 Journal of Logical and Algebraic Methods in Programming
10 Automatica
6 Journal of Computer and System Sciences
6 Science of Computer Programming
5 MSCS. Mathematical Structures in Computer Science
4 International Journal of Control
4 Journal of Computer Science and Technology
4 Journal of Automated Reasoning
4 International Journal of Foundations of Computer Science
4 Distributed Computing
4 European Journal of Control
3 Artificial Intelligence
3 Nonlinear Analysis. Theory, Methods & Applications. Series A: Theory and Methods
3 Annals of Pure and Applied Logic
3 Mathematical and Computer Modelling
3 International Journal of Robust and Nonlinear Control
3 Nonlinear Analysis. Hybrid Systems
2 Mathematics and Computers in Simulation
2 Programming and Computer Software
2 Journal of Logic, Language and Information
2 Annals of Mathematics and Artificial Intelligence
2 Higher-Order and Symbolic Computation
2 Journal of Applied Mathematics
2 ACM Transactions on Computational Logic
2 Mathematics in Computer Science
2 Logical Methods in Computer Science
2 Computer Science Review
1 ACM Computing Surveys
1 International Journal of General Systems
1 International Journal of Theoretical Physics
1 Journal of the Franklin Institute
1 Applied Mathematics and Computation
1 Information Sciences
1 RAIRO, Informatique Théorique
1 Systems & Control Letters
1 Operations Research Letters
1 Journal of Symbolic Computation
1 Journal of Complexity
1 MCSS. Mathematics of Control, Signals, and Systems
1 Machine Learning
1 International Journal of Algebra and Computation
1 International Journal of Computer Mathematics
1 RAIRO. Informatique Théorique et Applications
1 Cybernetics and Systems Analysis
1 Computational & Mathematical Organization Theory
1 Mathematical Problems in Engineering
1 Theory of Computing Systems
1 Soft Computing
1 Journal of the ACM
1 RAIRO. Theoretical Informatics and Applications
1 Computer Languages, Systems & Structures
1 Journal of Intelligent and Fuzzy Systems
1 Journal of Applied Logic
1 Science in China. Series F
1 Science China. Information Sciences
1 RAIRO. Theoretical Informatics and Applications
1 Frontiers of Computer Science in China
1 Frontiers of Computer Science
1 International Journal of Systems Science. Principles and Applications of Systems and Integration

Citations by Year

Wikidata Timeline

The data are displayed as stored in Wikidata under a Creative Commons CC0 License. Updates and corrections should be made in Wikidata.