The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Publications of "Pierre-Loïc Garoche" ( http://dblp.L3S.de/Authors/Pierre-Loïc_Garoche )

URL (Homepage):  https://www.onera.fr/staff/pierre-loic-garoche  Author page on DBLP  Author page in RDF  Community of Pierre-Loïc Garoche in ASPL-2

Publication years (Num. hits)
2006-2013 (18) 2014-2016 (17) 2017-2019 (9)
Publication types (Num. hits)
article(16) book(1) inproceedings(26) phdthesis(1)
Venues (Conferences, Journals, ...)
CoRR(11) NASA Formal Methods(4) HSCC(3) JSW(2) LPAR(2) APLAS(1) ASE(1) ATVA(1) CDC(1) Computer Languages, Systems & ...(1) ECC(1) Electr. Notes Theor. Comput. S...(1) FDL(1) FM(1) FMICS(1) FMOODS(1) More (+10 of total 25)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 6 occurrences of 6 keywords

Results
Found 45 publication records. Showing 44 according to the selection in the facets
Hits ? Authors Title Venue Year Link Author keywords
1Paul Rousse, Pierre-Loïc Garoche, Didier Henrion Parabolic Set Simulation for Reachability Analysis of Linear Time Invariant Systems with Integral Quadratic Constraint. Search on Bibsonomy CoRR The full citation details ... 2019 DBLP  BibTeX  RDF
1Paul Rousse, Pierre-Loïc Garoche, Didier Henrion Parabolic Set Simulation for Reachability Analysis of Linear Time Invariant Systems with Integral Quadratic Constraint. Search on Bibsonomy ECC The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Guillaume Davy, Eric Feron, Pierre-Loïc Garoche, Didier Henrion Formal verification of an interior point algorithm instanciation. Search on Bibsonomy CoRR The full citation details ... 2018 DBLP  BibTeX  RDF
1Guillaume Davy, Eric Feron, Pierre-Loïc Garoche, Didier Henrion Experiments in Verification of Linear Model Predictive Control: Automatic Generation and Formal Verification of an Interior Point Method Algorithm. Search on Bibsonomy LPAR The full citation details ... 2018 DBLP  BibTeX  RDF
1Raphael Cohen, Eric Feron, Pierre-Loïc Garoche Credible Autocoding of The Ellipsoid Algorithm Solving Second-Order Cone Programs. Search on Bibsonomy CDC The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Guillaume Davy, Christophe Garion, Pierre-Loïc Garoche, Pierre Roux, Xavier Thirioux Preserving Functional Correctness of Cyber-Physical System Controllers: From Model to Code. Search on Bibsonomy FDL The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Assalé Adjé, Pierre-Loïc Garoche Automatic synthesis of k-inductive piecewise quadratic invariants for switched affine control programs. Search on Bibsonomy Computer Languages, Systems & Structures The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Kévin Garanger, Eric Feron, Pierre-Loïc Garoche, Julian J. Rimoli, John D. Berrigan, Martha A. Grover, Kerianne Hobbs Foundations of Intelligent Additive Manufacturing. Search on Bibsonomy CoRR The full citation details ... 2017 DBLP  BibTeX  RDF
1Hamza Bourbouh, Pierre-Loïc Garoche, Christophe Garion, Arie Gurfinkel, Temesghen Kahsai, Xavier Thirioux Automated analysis of Stateflow models. Search on Bibsonomy LPAR The full citation details ... 2017 DBLP  BibTeX  RDF
1Pierre-Loïc Garoche, Temesghen Kahsai, Xavier Thirioux Hierarchical State Machines as Modular Horn Clauses. Search on Bibsonomy HCVS@ETAPS The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Pierre-Loïc Garoche Convex Optimization-based Static Analysis for Control Systems. (Analyse statique de contrôleurs à base d'optimisation convexe). Search on Bibsonomy 2016   RDF
1Timothy E. Wang, Pierre-Loïc Garoche, Pierre Roux, Romain Jobredeaux, Eric Feron Formal Analysis of Robustness at Model and Code Level. Search on Bibsonomy HSCC The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Pierre Roux, Pierre-Loïc Garoche Practical policy iterations - A practical use of policy iterations for static analysis: the quadratic case. Search on Bibsonomy Formal Methods in System Design The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Assalé Adjé, Pierre-Loïc Garoche, Victor Magron A Sums-of-Squares Extension of Policy Iterations. Search on Bibsonomy CoRR The full citation details ... 2015 DBLP  BibTeX  RDF
1Assalé Adjé, Pierre-Loïc Garoche, Victor Magron Property-based Polynomial Invariant Generation using Sums-of-Squares Optimization. Search on Bibsonomy CoRR The full citation details ... 2015 DBLP  BibTeX  RDF
1Arnaud Dieumegard, Pierre-Loïc Garoche, Temesghen Kahsai, Alice Taillar, Xavier Thirioux Compilation of synchronous observers as code contracts. Search on Bibsonomy SAC The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Pierre Roux, Romain Jobredeaux, Pierre-Loïc Garoche Closed loop analysis of control command software. Search on Bibsonomy HSCC The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Assalé Adjé, Pierre-Loïc Garoche, Alexis Werey Quadratic Zonotopes - An Extension of Zonotopes to Quadratic Arithmetics. Search on Bibsonomy APLAS The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Assalé Adjé, Pierre-Loïc Garoche, Victor Magron Property-based Polynomial Invariant Generation Using Sums-of-Squares Optimization. Search on Bibsonomy SAS The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Assalé Adjé, Pierre-Loïc Garoche Automatic Synthesis of Piecewise Linear Quadratic Invariants for Programs. Search on Bibsonomy VMCAI The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Assalé Adjé, Pierre-Loïc Garoche Automatic Synthesis of Piecewise Linear Quadratic Invariants for Programs. Search on Bibsonomy CoRR The full citation details ... 2014 DBLP  BibTeX  RDF
1Pierre-Loïc Garoche, Arie Gurfinkel, Temesghen Kahsai Synthesizing Modular Invariants for Synchronous Code. Search on Bibsonomy HCVS The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Timothy Wang, Romain Jobredeaux, Marc Pantel, Pierre-Loïc Garoche, Eric Feron, Didier Henrion Credible Autocoding of Convex Optimization Algorithms. Search on Bibsonomy CoRR The full citation details ... 2014 DBLP  BibTeX  RDF
1Assalé Adjé, Pierre-Loïc Garoche, Alexis Werey Quadratic Zonotopes: An extension of Zonotopes to Quadratic Arithmetics. Search on Bibsonomy CoRR The full citation details ... 2014 DBLP  BibTeX  RDF
1Pierre Roux, Pierre-Loïc Garoche Computing Quadratic Invariants with Min- and Max-Policy Iterations: A Practical Comparison. Search on Bibsonomy FM The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Pierre-Loïc Garoche, Falk Howar, Temesghen Kahsai, Xavier Thirioux Testing-Based Compiler Validation for Synchronous Languages. Search on Bibsonomy NASA Formal Methods The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Timothy Wang, Romain Jobredeaux, Heber Herencia-Zapana, Pierre-Loïc Garoche, Arnaud Dieumegard, Eric Feron, Marc Pantel From Design to Implementation: an Automated, Credible Autocoding Chain for Control Systems. Search on Bibsonomy CoRR The full citation details ... 2013 DBLP  BibTeX  RDF
1Pierre Roux, Pierre-Loïc Garoche Integrating Policy Iterations in Abstract Interpreters. Search on Bibsonomy ATVA The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Adrien Champion, Rémi Delmas, Michael Dierkes, Pierre-Loïc Garoche, Romain Jobredeaux, Pierre Roux Formal Methods for the Analysis of Critical Control Systems Models: Combining Non-linear and Linear Analyses. Search on Bibsonomy FMICS The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Pierre-Loïc Garoche, Temesghen Kahsai, Cesare Tinelli Incremental Invariant Generation Using Logic-Based Automatic Abstract Transformers. Search on Bibsonomy NASA Formal Methods The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Pierre-Loïc Garoche, Temesghen Kahsai, Cesare Tinelli Invariant stream generators using automatic abstract transformers based on a decidable logic Search on Bibsonomy CoRR The full citation details ... 2012 DBLP  BibTeX  RDF
1Pierre Roux, Romain Jobredeaux, Pierre-Loïc Garoche, Eric Feron A generic ellipsoid abstract domain for linear time invariant systems. Search on Bibsonomy HSCC The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Temesghen Kahsai, Pierre-Loïc Garoche, Cesare Tinelli, Mike Whalen Incremental Verification with Mode Variable Invariants in State Machines. Search on Bibsonomy NASA Formal Methods The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Heber Herencia-Zapana, Romain Jobredeaux, Sam Owre, Pierre-Loïc Garoche, Eric Feron, Gilberto Pérez, Pablo Ascariz PVS Linear Algebra Libraries for Verification of Control Software Algorithms in C/ACSL. Search on Bibsonomy NASA Formal Methods The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Pierre Roux, Remi Delmas, Pierre-Loïc Garoche SMT-AI: an Abstract Interpreter as Oracle for k-induction. Search on Bibsonomy Electr. Notes Theor. Comput. Sci. The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Benoît Combemale, Xavier Crégut, Pierre-Loïc Garoche, Xavier Thirioux Essay on Semantics Definition in MDE - An Instrumented Approach for Model Verification. Search on Bibsonomy JSW The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Pierre-Loïc Garoche Static Analysis of an Actor-based Process Calculus by Abstract Interpretation. (Analyse statique d'un calcul d'acteurs par interprétation abstraite). Search on Bibsonomy 2008   RDF
1Pierre-Loïc Garoche, Marc Pantel, Xavier Thirioux Abstract Interpretation-based Static Safety for Actors. Search on Bibsonomy JSW The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
1Benoît Combemale, Xavier Crégut, Pierre-Loïc Garoche, Xavier Thirioux, François Vernadat A Property-Driven Approach to Formal Verification of Process Models. Search on Bibsonomy ICEIS (Selected Papers) The full citation details ... 2007 DBLP  DOI  BibTeX  RDF Properties Validation, Temporal OCL, Models Semantics, Verification, Petri Nets, Process Model, Model Transformation, Metamodelling, LTL
1Benoît Combemale, Pierre-Loïc Garoche, Xavier Crégut, Xavier Thirioux, François Vernadat Towards a Formal Verification of Process Model's Properties SIMPLEPDL and TOCL Case Study. Search on Bibsonomy ICEIS (3) The full citation details ... 2007 DBLP  BibTeX  RDF
1Pierre-Loïc Garoche, Marc Pantel, Xavier Thirioux Static Safety for an Actor Dedicated Process Calculus by Abstract Interpretation Search on Bibsonomy CoRR The full citation details ... 2006 DBLP  BibTeX  RDF
1Kenji Tei, Christian Sommer 0001, Yoshiaki Fukazawa, Shinichi Honiden, Pierre-Loïc Garoche Adaptive Geographically Bound Mobile Agents. Search on Bibsonomy MSN The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
1Pierre-Loïc Garoche, Marc Pantel, Xavier Thirioux Static Safety for an Actor Dedicated Process Calculus by Abstract Interpretation. Search on Bibsonomy FMOODS The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
1Cyrille Artho, Pierre-Loïc Garoche Accurate Centralization for Applying Model Checking on Networked Applications. Search on Bibsonomy ASE The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
Displaying result #1 - #44 of 44 (100 per page; Change: )
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.
open data data released under the ODC-BY 1.0 license