Home Advanced Search

Advanced Search - Page 1

Software Engineering and Formal Methods: 9th International Conference, SEFM 2011, Montevideo, Uruguay, November 14-18, 2011. Proceedings
  • PDF
  • English
  • Year: 2011
  • Author: Holger Hermanns (auth.), Gilles Barthe, Alberto Pardo, Gerardo Schneider (eds.)
Interactive Markov Chains: And the Quest for Quantified Quality
  • PDF
  • English
  • Year: 2002
  • Author: Holger Hermanns (eds.)
Types for Proofs and Programs: International Workshop, TYPES '95 Torino, Italy, June 5–8, 1995 Selected Papers
  • DJVU
  • English
  • Year: 1996
  • Author: Gilles Barthe (auth.), Stefano Berardi, Mario Coppo (eds.)
Tools and Algorithms for the Construction and Analysis of Systems: 18th International Conference, TACAS 2012, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2012, Tallinn, Estonia, March 24 – April 1, 2012. Proceedings
  • PDF
  • English
  • Year: 2012
  • Author: Holger Hermanns (auth.), Cormac Flanagan, Barbara König (eds.)
Tools and Algorithms for the Construction and Analysis of Systems: 18th International Conference, TACAS 2012, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2012, Tallinn, Estonia, March 24 – April 1, 2012. Proceedings
  • PDF
  • English
  • Year: 2012
  • Author: Holger Hermanns (auth.), Cormac Flanagan, Barbara König (eds.)
Computer Aided Verification: 19th International Conference, CAV 2007, Berlin, Germany, July 3-7, 2007. Proceedings
  • PDF
  • English
  • Year: 2007
  • Author: Byron Cook (auth.), Werner Damm, Holger Hermanns (eds.)
Embedded Systems for Smart Appliances and Energy Management
  • PDF
  • English
  • Year: 2013
  • Author: Holger Hermanns, Holger Wiechmann (auth.), Christoph Grimm, Peter Neumann, Stefan Mahlknecht (eds.)
Formal Aspects of Security and Trust: 8th International Workshop, FAST 2011, Leuven, Belgium, September 12-14, 2011. Revised Selected Papers
  • PDF
  • English
  • Year: 2012
  • Author: Mihhail Aizatulin, François Dupressoir (auth.), Gilles Barthe, Anupam Datta, Sandro Etalle (eds.)
Engineering Secure Software and Systems: 4th International Symposium, ESSoS 2012, Eindhoven, The Netherlands, February, 16-17, 2012. Proceedings
  • PDF
  • English
  • Year: 2012
  • Author: Guillaume Barbu, Philippe Hoogvorst (auth.), Gilles Barthe, Benjamin Livshits, Riccardo Scandariato (eds.)
Quantitative Evaluation of Systems: 10th International Conference, QEST 2013, Buenos Aires, Argentina, August 27-30, 2013. Proceedings
  • PDF
  • English
  • Year: 2013
  • Author: Gilles Barthe (auth.), Kaustubh Joshi, Markus Siegle, Mariëlle Stoelinga, Pedro R. D’Argenio (eds.)
search