Home Advanced Search

Advanced Search - Page 1

Embedded Systems Design: The ARTIST Roadmap for Research and Development
  • PDF
  • English
  • Year: 2005
  • Author: Bruno Bouyssounouse, Joseph Sifakis (auth.)
Understanding and Changing the World: From Information to Knowledge and Intelligence
  • PDF
  • English
  • Year: 2022
  • Author: Joseph Sifakis
Applications and Theory of Petri Nets: 30th International Conference, PETRI NETS 2009, Paris, France, June 22-26, 2009. Proceedings
  • PDF
  • English
  • Year: 2009
  • Author: Joseph Sifakis (auth.), Giuliana Franceschinis, Karsten Wolf (eds.)
Tools and Algorithms for the Construction and Analysis of Systems: 16th International Conference, TACAS 2010, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2010, Paphos, Cyprus, March 20-28, 2010. Proceedings
  • PDF
  • English
  • Year: 2010
  • Author: Joseph Sifakis (auth.), Javier Esparza, Rupak Majumdar (eds.)
Tools and Algorithms for the Construction and Analysis of Systems: 16th International Conference, TACAS 2010, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2010, Paphos, Cyprus, March 20-28, 2010. Proceedings
  • PDF
  • English
  • Year: 2010
  • Author: Joseph Sifakis (auth.), Javier Esparza, Rupak Majumdar (eds.)
Tools and Algorithms for the Construction and Analysis of Systems: 16th International Conference, TACAS 2010, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2010, Paphos, Cyprus, March 20-28, 2010. Proceedings
  • PDF
  • English
  • Year: 2010
  • Author: Joseph Sifakis (auth.), Javier Esparza, Rupak Majumdar (eds.)
Embedded Software: Second International Conference, EMSOFT 2002 Grenoble, France, October 7–9, 2002 Proceedings
  • PDF
  • English
  • Year: 2002
  • Author: Amir Pnueli (auth.), Alberto Sangiovanni-Vincentelli, Joseph Sifakis (eds.)
Automatic Verification Methods for Finite State Systems: International Workshop, Grenoble, France June 12–14, 1989 Proceedings
  • DJVU
  • English
  • Year: 1990
  • Author: Gérard Boudol, Valérie Roy, Robert de Simone (auth.), Joseph Sifakis (eds.)
FM 2006: Formal Methods: 14th International Symposium on Formal Methods, Hamilton, Canada, August 21-27, 2006. Proceedings
  • PDF
  • English
  • Year: 2006
  • Author: Thomas A. Henzinger, Joseph Sifakis (auth.), Jayadev Misra, Tobias Nipkow, Emil Sekerinski (eds.)
Software Composition: 11th International Conference, SC 2012, Prague, Czech Republic, May 31 – June 1, 2012. Proceedings
  • PDF
  • English
  • Year: 2012
  • Author: Marius Bozga, Mohamad Jaber, Nikolaos Maris, Joseph Sifakis (auth.), Thomas Gschwind, Flavio De Paoli, Volker Gruhn, Matthias Book (eds.)
search