 |
 |
|
|
||
|---|---|---|
|
tel-00809357v1
Thèse
Peter Schrammel. Logico-Numerical Verification Methods for Discrete and Hybrid Systems Numerical Analysis [cs.NA]. Université de Grenoble, 2012. English. <NNT : 2012GRENM082> |
||
|
hal-00753412v1
Article dans une revue
Peter Schrammel, Bertrand Jeannet. Applying abstract acceleration to (co-)reachability analysis of reactive programs Journal of Symbolic Computation, Elsevier, 2012, 47 (12), pp.1512-1532. <10.1016/j.jsc.2011.12.051> |
||
|
hal-00750762v1
Communication dans un congrès
Peter Schrammel, Bertrand Jeannet. Logico-Numerical Abstract Acceleration and Application to the Verification of Data-Flow Programs E. Yahav. Static Analysis Symposium, Sep 2011, Venice, Italy. Springer, 6887, pp.233-248, 2011, Static Analysis. <10.1007/978-3-642-23702-7_19> |
||
|
hal-00659698v1
Rapport
Peter Schrammel, Bertrand Jeannet. From Hybrid Data-Flow Languages to Hybrid Automata: A Complete Translation [Research Report] RR-7859, INRIA. 2012, pp.37 |
||
|
inria-00596241v2
Rapport
Peter Schrammel, Bertrand Jeannet. Logico-Numerical Abstract Acceleration and Application to the Verification of Data-Flow Programs [Research Report] RR-7630, INRIA. 2012, pp.22 |
||
|
hal-00749891v1
Communication dans un congrès
Peter Schrammel, Bertrand Jeannet. From Hybrid Data-Flow Languages to Hybrid Automata: A Complete Translation Thao Dang and Ian Mitchell. Hybrid Systems: Computation and Control, Apr 2012, Beijing, China. ACM, pp.167-176, 2012, HSCC '12 Proceedings of the 15th ACM international conference on Hybrid Systems: Computation and Control. <10.1145/2185632.2185658> |
||
|
hal-00749914v1
Communication dans un congrès
Peter Schrammel, Bertrand Jeannet. Extending Abstract Acceleration Methods to Data-Flow Programs with Numerical Inputs Enric Rodríguez Carbonell and Antoine Miné. Numerical and Symbolic Abstract Domains, Sep 2010, Perpignan, France. Elsevier, 267, pp.101-114, 2010, ENTCS; Proceeding of the Second International Workshop on Numerical and Symbolic Abstract Domains: NSAD 2010. <10.1016/j.entcs.2010.09.009> |
||
|
hal-00932342v1
Communication dans un congrès
Bertrand Jeannet, Peter Schrammel, Sriram Sankaranarayanan. Abstract Acceleration of General Linear Loops Principles of Programming Languages, POPL, Jan 2014, San Diego, United States. ACM, pp.529-540, 2013, The 41st Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL '14, San Diego, CA, USA. <10.1145/2535838.2535843> |
||
|
hal-00756833v1
Communication dans un congrès
Peter Schrammel, Pavle Subotic. Logico-Numerical Max-Strategy Iteration Giacobazzi, R. and Berdine, J. and Mastroeni, I. Verification, Model Checking, and Abstract Interpretation, Jan 2013, Rome, Italy. Springer, 7737, pp.414-433, 2013, LNCS; VMCAI |
||
|
hal-00876627v1
Article dans une revue
Laure Gonnord, Peter Schrammel. Abstract Acceleration in Linear Relation Analysis Science of Computer Programming, Elsevier, 2014, 93, part B (125 - 153), <10.1016/j.scico.2013.09.016> |
||
|
|
||
