Skip to Main content Skip to Navigation

tel-01748685v1  Theses
Olfa Mosbahi-Khalgui. Développement formel de systèmes automatisés
Autre [cs.OH]. Institut National Polytechnique de Lorraine, 2008. Français. ⟨NNT : 2008INPL007N⟩
hal-00643634v2  Journal articles
Olivier BournezDaniel GraçaEmmanuel Hainry. Computation with perturbed dynamical systems
Journal of Computer and System Sciences, Elsevier, 2013, 79 (5), pp.714-724. ⟨10.1016/j.jcss.2013.01.025⟩
hal-00763495v1  Conference papers
Frédéric BlanquiKim Quyen Ly. Automated verification of termination certificates
15th National Symposium of Selected ICT Problems, Dec 2012, Hanoi, Vietnam
hal-02963463v1  Journal articles
Imen SayarJeanine Souquières. La validation dans les premières étapes du processus de développement
Revue des Sciences et Technologies de l'Information - Série ISI : Ingénierie des Systèmes d'Information, Lavoisier, 2017, 22 (4), pp.11-41. ⟨10.3166/ISI.22.4.11-41⟩
hal-03106070v1  Conference papers
Christophe AliasGuillaume IoossSanjay Rajopadhye. On the Verification of Polyhedral Program Transformations
18th International Conference on High Performance Computing & Simulation (HPCS 2020), 3rd Special Session on Compiler Architecture, Design and Optimization (CADO 2020), Jan 2020, Barcelona, Spain
hal-01389845v1  Conference papers
Alin DeutschYuliang LiVictor Vianu. Verification of Hierarchical Artifact Systems
35th ACM SIGMOD-SIGACT-SIGAI Symposium on Principles of Database Systems (PODS 2016), Jun 2016, San Francisco, United States. pp.179 - 194, ⟨10.1145/2902251.2902275⟩
inria-00429356v1  Conference papers
Yohan BoichutPierre-Cyrille HeamOlga Kouchnarenko. Tree Automata for Detecting Attacks on Protocols with Algebraic Cryptographic Primitives
9th International Workshop on Verification of Infinite-State Systems - INFINITY'07, 2007, Lisbonnes, Portugal. pp.57-72
hal-01057525v1  Conference papers
Cyriac AiswaryaPaul GastinK. Narayan Kumar. Controllers for the Verification of Communicating Multi-Pushdown Systems
25th International Conference on Concurrency Theory (CONCUR'14),, 2014, Rome, Italy. pp.297-311
hal-01275991v1  Conference papers
Jérôme LerouxSylvain Schmitz. Ideal Decompositions for Vector Addition Systems
STACS 2016 - 33rd Symposium on Theoretical Aspects of Computer Science, 2016, Orléans, France. pp.1--13, ⟨10.4230/LIPIcs.STACS.2016.1⟩
hal-01852119v1  Journal articles
Béatrice BérardStefan HaarSylvain SchmitzStefan Schwoon. The Complexity of Diagnosability and Opacity Verification for Petri Nets
Fundamenta Informaticae, Polskie Towarzystwo Matematyczne, 2018, 161 (4), pp.317--349. ⟨10.3233/FI-2018-1706⟩
hal-01306402v1  Conference papers
Florent PledLudovic ChamoinPierre-Eric AllierPierre Ladevèze. On the control of PGD reduced-order approximations: error estimation and adaptivity
European Congress on Computational Methods in Applied Sciences and Engineering (ECCOMAS 2016), Jun 2016, Hersonissos, Crete Island, Greece
inria-00578916v1  Conference papers
Florent JacquemardMichaël Rusinowitch. Rewrite-Based Verification of XML Updates
12th international ACM SIGPLAN symposium on Principles and practice of declarative programming (PPDP), Jul 2010, Hagenberg, Austria. ⟨10.1145/1836089.1836105⟩
inria-00332354v1  Journal articles
Véronique CortierStéphanie Delaune. Safely composing security protocols
Formal Methods in System Design, Springer Verlag, 2009, 34 (1), pp.1--36. ⟨10.1007/s10703-008-0059-4⟩
hal-00715033v1  Conference papers
Fabian BuettnerMarina EgeaJordi Cabot. On verifying ATL transformations using 'off-the-shelf' SMT solvers
ACM/IEEE 15th International Conference on Model Driven Engineering Languages & Systems MODELS 2012, Sep 2012, Innsbruck, Austria
hal-01302223v1  Conference papers
Imen SayarJeanine Souquières. La Validation dans le Processus de Développement
34ème Congrès INFORSID, May 2016, Grenoble, France
inria-00250111v3  Conference papers
Emmanuel Hainry. Computing omega-limit Sets in Linear Dynamical Systems
Unconventional Computation, Aug 2008, Vienne, Austria. pp.83--95, ⟨10.1007/978-3-540-85194-3_9⟩
hal-01396200v1  Journal articles
Philippe HelluyOlivier HurisseErwan Le Coupanec. Verification of a two-phase flow code based on an homogeneous model
International Journal on Finite Volumes, Institut de Mathématiques de Marseille, AMU, 2016, 13
hal-00985010v1  Conference papers
Dominique MéryNeeraj Kumar Singh. Modeling an Aircraft Landing System in Event-B
ABZ 2014 Case Study Track, Jun 2014, Toulouse, France. pp.154-159
hal-00862050v1  Conference papers
Dominique MéryMonahan Rosemary. Transforming EVENT B Models into Verified C# Implementations
VPT 2013 - First International Workshop on Verification and Program Transformation, Alexei Lisitsa and Andrei Nemytykh, Jul 2013, Saint Petersburg, Russia. pp.57-73
hal-00931670v1  Conference papers
Maxime CordyMarco WillemartAndreas ClassenPatrick HeymansPierre-Yves Schobbens et al.  Verifying Software Product Lines with ProVeLines
6ème Journée Lignes de Produits, Nov 2013, Paris, France. pp.ATV-1
hal-01211288v1  Journal articles
Michael BenediktPierre BourhisClemens Ley. Analysis of Schemas with Access Restrictions
ACM Transactions on Database Systems, Association for Computing Machinery, 2015, 40 (1), pp.Article No. 5. ⟨10.1145/2699500⟩
inria-00180293v1  Conference papers
Guillaume WaignierAnne-Françoise Le MeurLaurence Duchien. FIESTA : A Generic Framework for Integrating New Functionalities into Software Architectures
European Conference on Software Architecture (ECSA'07), Sep 2007, Aranjuez (Madrid), Spain. pp.76--91, ⟨10.1007/978-3-540-75132-8_7⟩
inria-00180533v1  Journal articles
Guillaume WaignierAnne-Françoise Le MeurLaurence Duchien. FIESTA : A Generic Framework for Integrating New Functionalities into Software Architectures
International Journal of Cooperative Information Systems, World Scientific Publishing, 2007, 16 (3/4), pp.367--391. ⟨10.1142/S021884300700169X⟩
hal-01197464v1  Conference papers
Marc SangoLaurence DuchienChristophe Gransart. Component-based modeling and observer-based verification for railway safety-critical applications
11th International Symposium on Formal Aspects of Component Software, Sep 2014, Bertinoro, Italy. p 248-266