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:
    • Real-time systems
    • Formal verification
    • Validation and testing
  • Understanding complex systems:
    • System modelling and simulation
    • Applications in computational biology

  • 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