Travelled to:1 × Australia
1 × Belgium
1 × Cyprus
1 × Estonia
1 × India
1 × Spain
2 × Canada
2 × Denmark
2 × USA
3 × Italy
4 × Germany
7 × France
Collaborated with:∅ S.Graf M.Bozga S.Bensalem A.Bouajjani A.Basu T.A.Henzinger X.Nicollin S.Yovine J.Fernandez J.Combaz S.Bliudze M.Jaber C.Rodríguez S.Bornot G.Gößler A.Olivero C.Courcoubetis A.Triki D.Peled T.Nguyen T.Lepley C.Loiseaux P.C.Attie E.Baranov I.Ober I.Ober H.Garavel L.Mounier A.Rasse E.Closse M.Poize J.Pulou P.Venter D.Weil
Talks about:system (15) time (9) base (6) design (5) compon (5) verif (5) real (5) model (4) embed (4) construct (3)
Person: Joseph Sifakis
DBLP: Sifakis:Joseph
Contributed to:
2014
2014
2013
2012
2011
2010
20092009
2006200620052005
2004200120001999199919941992
1992
19921991
1991198719841982
1991Wrote 30 papers:
- CBSE-2014-BliudzeSBJ #architecture
- Architecture internalisation in BIP (SB, JS, MB, MJ), pp. 169–178.
- SEFM-2014-AttieBBJS #architecture #framework
- A General Framework for Architecture Composability (PCA, EB, SB, MJ, JS), pp. 128–143.
- FASE-2013-TrikiCBS #implementation #modelling #parallel #realtime
- Model-Based Implementation of Parallel Real-Time Systems (AT, JC, SB, JS), pp. 235–249.
- WRLA-2012-BasuBBS #component #design
- Rigorous Component-Based System Design — (AB, SB, MB, JS), pp. 1–9.
- DATE-2011-Sifakis #component #design #tool support
- Methods and tools for component-based system design (JS), p. 1022.
- TACAS-2010-Sifakis #challenge #design #embedded
- Embedded Systems Design — Scientific Challenges and Work Directions (JS), p. 1.
- CAV-2009-BasuBPS #distributed #model checking #scheduling
- Priority Scheduling of Distributed Systems Based on Model Checking (AB, SB, DP, JS), pp. 79–93.
- CAV-2009-BensalemBNS #composition #concurrent #detection #named #verification
- D-Finder: A Tool for Compositional Deadlock Detection and Verification (SB, MB, THN, JS), pp. 614–619.
- CAV-2009-Sifakis #component #realtime
- Component-Based Construction of Real-Time Systems in BIP (JS), pp. 33–34.
- DATE-2009-Sifakis #challenge #design #embedded
- Embedded systems design — Scientific challenges and work directions (JS), p. 2.
- FM-2006-HenzingerS #challenge #design #embedded
- The Embedded Systems Design Challenge (TAH, JS), pp. 1–15.
- SEFM-2006-BasuBS #component #modelling #realtime
- Modeling Heterogeneous Real-time Components in BIP (AB, MB, JS), pp. 3–12.
- DATE-2005-CombazFLS #multi
- Fine Grain QoS Control for Multimedia Application Software (JC, JCF, TL, JS), pp. 1038–1043.
- SEFM-2005-Sifakis #component #framework
- A Framework for Component-based Construction Extended Abstract (JS), pp. 293–300.
- SFM-2004-BozgaGOOS #tool support
- The IF Toolset (MB, SG, IO, IO, JS), pp. 237–267.
- CAV-2001-ClossePPSVWY #development #embedded #named #realtime #verification
- TAXYS: A Tool for the Development and Verification of Real-Time Embedded Systems (EC, MP, JP, JS, PV, DW, SY), pp. 391–395.
- TACAS-2000-BornotGS #on the
- On the Construction of Live Timed Systems (SB, GG, JS), pp. 109–126.
- CAV-1999-Sifakis #composition #specification #tutorial
- The Compositional Specification of Timed Systems — A Tutorial (JS), pp. 2–7.
- FM-v1-1999-Sifakis #integration
- Integration, the Price of Success (JS), pp. 52–55.
- CAV-1994-OliveroSY #abstraction #hybrid #linear #using #verification
- Using Abstractions for the Verification of Linear Hybrid Systems (AO, JS, SY), pp. 81–94.
- CAV-1992-BensalemBLS #simulation
- Property Preserving Simulations (SB, AB, CL, JS), pp. 260–273.
- ICSE-1992-FernandezGMRRS #source code #verification
- A Toolbox for the Verification of LOTOS Programs (JCF, HG, LM, AR, CR, JS), pp. 246–259.
- LICS-1992-HenzingerNSY #model checking #realtime
- Symbolic Model Checking for Real-time Systems (TAH, XN, JS, SY), pp. 394–406.
- CAV-1991-CourcoubetisGS #algebra #process
- An Algebra of Boolean Processes (CC, SG, JS), pp. 454–465.
- CAV-1991-NicollinS #algebra #overview #process #synthesis
- An Overview and Synthesis on Timed Process Algebras (XN, JS), pp. 376–398.
- ICALP-1991-BouajjaniFGRS #branch #safety #semantics
- Safety for Branching Time Semantics (AB, JCF, SG, CR, JS), pp. 76–92.
- ICALP-1987-GrafS #process #semantics
- Readiness Semantics for Regular Processes with Silent Actions (SG, JS), pp. 115–125.
- ICALP-1984-GrafS #congruence #finite
- A Modal Characterization of Observational Congruence on Finite Terms of CCS (SG, JS), pp. 222–234.
- ICALP-1982-Sifakis #invariant
- Global and Local Invariants in Transition Systems (JS), pp. 510–522.
- ADC-1991-BouajjaniS #finite #verification
- Verification for Finite Systems (Extended Abstract) (AB, JS), pp. 55–57.