Peter Schrammel
Peter Schrammel
Interests
Biography
2012-2016: Research Assistant at University of Oxford
2009-2012
Ph.D. Thesis Logico-Numerical Verification Methods for Discrete and Hybrid Systems [pdf]
University of Grenoble / INRIA Grenoble - Rhône-Alpes , France
Advisors: Bertrand Jeannet, Alain Girault
2005-2009 Software Architect and Project Manager for embedded control systems in the context of RFID technology Siemens AG Austria
2004-2006 Master of Science Technical Computer Science University of Technology, Vienna, Austria (exchange with École Polytechnique Fédérale Lausanne, Switzerland )
2001-2004 Bachelor of Science Technical Computer Science University of Technology, Vienna, Austria
Selected Publications
-
Assisted Coverage Closure
Adam Nellis‚ Pascal Kesseli‚ Philippa Ryan Conmy‚ Daniel Kroening‚ Peter Schrammel and Michael Tautschnig
In NASA Formal Methods Symposium‚ NFM 2016. Springer. 2016.
To appear.
Details about Assisted Coverage Closure | BibTeX data for Assisted Coverage Closure
-
Unbounded Safety Verification for Hardware Using Software Analyzers
Rajdeep Mukherjee‚ Peter Schrammel‚ Daniel Kroening and Tom Melham
In Design‚ Automation and Test in Europe‚ DATE 2016. 2016.
To appear.
Details about Unbounded Safety Verification for Hardware Using Software Analyzers | BibTeX data for Unbounded Safety Verification for Hardware Using Software Analyzers
-
2LS for Program Analysis − (Competition Contribution)
Peter Schrammel and Daniel Kroening
In Tools and Algorithms for the Construction and Analysis of Systems‚ TACAS 2016. Vol. 9636 of Lecture Notes in Computer Science. Pages 905–907. Springer. 2016.
Details about 2LS for Program Analysis − (Competition Contribution) | BibTeX data for 2LS for Program Analysis − (Competition Contribution) | Link to 2LS for Program Analysis − (Competition Contribution)