Home Advanced Search

Advanced Search - Page 1

Rewriting Logic and Its Applications: 9th International Workshop, WRLA 2012, Held as a Satellite Event of ETAPS, Tallinn, Estonia, March 24-25, 2012, Revised Selected Papers
  • PDF
  • English
  • Year: 2012
  • Author: Ananda Basu, Saddek Bensalem, Marius Bozga (auth.), Franciso Durán (eds.)
Mathematical and Engineering Methods in Computer Science: 7th International Doctoral Workshop, MEMICS 2011, Lednice, Czech Republic, October 14-16, 2011, Revised Selected Papers
  • PDF
  • English
  • Year: 2012
  • Author: Ananda Basu, Saddek Bensalem, Marius Bozga (auth.), Zdeněk Kotásek, Jan Bouda, Ivana Černá, Lukáš Sekanina, Tomáš Vojnar, David Antoš (eds.)
Mathematical and Engineering Methods in Computer Science: 7th International Doctoral Workshop, MEMICS 2011, Lednice, Czech Republic, October 14-16, 2011, Revised Selected Papers
  • PDF
  • English
  • Year: 2012
  • Author: Ananda Basu, Saddek Bensalem, Marius Bozga (auth.), Zdeněk Kotásek, Jan Bouda, Ivana Černá, Lukáš Sekanina, Tomáš Vojnar, David Antoš (eds.)
Runtime Verification: 4th International Conference, RV 2013, Rennes, France, September 24-27, 2013. Proceedings
  • PDF
  • English
  • Year: 2013
  • Author: Viktor Kuncak, Etienne Kneuss, Philippe Suter (auth.), Axel Legay, Saddek Bensalem (eds.)
Runtime Verification: 9th International Workshop, RV 2009, Grenoble, France, June 26-28, 2009. Selected Papers
  • PDF
  • English
  • Year: 2009
  • Author: Howard Barringer, Klaus Havelund, David Rydeheard, Alex Groce (auth.), Saddek Bensalem, Doron A. Peled (eds.)
Formal Modeling and Analysis of Timed Systems: 9th International Conference, FORMATS 2011, Aalborg, Denmark, September 21-23, 2011. Proceedings
  • PDF
  • English
  • Year: 2011
  • Author: Jean-Francois Kempf, Marius Bozga, Oded Maler (auth.), Uli Fahrenberg, Stavros Tripakis (eds.)
Formal Modeling and Analysis of Timed Systems: 9th International Conference, FORMATS 2011, Aalborg, Denmark, September 21-23, 2011. Proceedings
  • PDF
  • English
  • Year: 2011
  • Author: Jean-Francois Kempf, Marius Bozga, Oded Maler (auth.), Uli Fahrenberg, Stavros Tripakis (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.)
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.)
Verification and Evaluation of Computer and Communication Systems: 12th International Conference, VECoS 2018, Grenoble, France, September 26–28, 2018, Proceedings
  • PDF
  • English
  • Year: 2018
  • Author: Mohamed Faouzi Atig, Saddek Bensalem, Simon Bliudze, Bruno Monsuez
search