Peter Schrammel |
Current Activities | |
Since 2009 Ph.D. Thesis about the verification of reactive systems (synchronous programming languages, abstract interpretation, hybrid systems, ...) INRIA Rhône-Alpes, Grenoble, France in the research group POP ART Advisors: Bertrand Jeannet, Alain Girault |
General Interests | |
Building dependable systems:
|
Recent Publications | |
Journal Articles Peter Schrammel and Bertrand Jeannet. Applying Abstract Acceleration to (Co-)Reachability Analysis of Reactive Programs. Journal of Symbolic Computation, 47(12):1512-1532, 2012. [bibtex] [link] Conference Papers Peter Schrammel, Thomas M. Gawlitza and Paul Subotic. Logico-Numerical Max-Strategy Iteration. submitted [suppl. material] Peter Schrammel and Bertrand Jeannet. From Hybrid Data-Flow Languages to Hybrid Automata: A Complete Translation. In Hybrid Systems: Computation and Control, HSCC'12. pp. 167-176, ACM, 2012. [link] [bibtex] Peter Schrammel and Bertrand Jeannet. Logico-Numerical Abstract Acceleration and Application to the Verification of Data-Flow Programs. In Static Analysis, SAS'11. Vol. 6887 of LNCS, pp. 233-248, Springer, 2011. [bibtex] [link] [suppl. material] Workshop Papers Peter Schrammel and Bertrand Jeannet. Extending Abstract Acceleration to Data-Flow Programs with Numerical Inputs. In Numerical and Symbolic Abstract Domains, NSAD'10. Vol. 267 of ENTCS, pp. 101-114, Elsevier, 2010. [bibtex] [link] Technical Reports Peter Schrammel and Bertrand Jeannet. Logico-Numerical Abstract Acceleration and Application to the Verification of Data-Flow Programs. Technical Report No. 7630, INRIA, 2011. [link] |
Tools | |
ReaVer - Reactive System Verifier |
Teaching | |
2010-2011 Language C Bachelor-level labs, IUT2 Grenoble, France |
|
2007-2009 RFID Technology, Systems and Applications Bachelor/master-level seminar, TU Vienna, Austria |
Activities in the Past | |
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 |
Older Publications | |
Master's Thesis Peter Schrammel. Feasability Study for RFID-based Temperature Monitoring of Blood Bags. Institute for Software Technology and Interactive Systems/Information and Software Engineering Group. University of Technology Vienna, 2006. [bibtex] [link] |
|
Book Chapters Peter Schrammel. System Architecture. In: Optimizing Processes with RFID and Auto ID: Fundamentals, Problems and Solutions, Example Applications.. N. Bartneck, V. Klaas, H. Schönherr (eds.), pp 57-73. Publicis Corporate Publishing, 2009. [bibtex] |
Contact | |
peter DOT schrammel AT inria DOT fr +33 4 76 61 54 70 |