Search - INRIA - Institut National de Recherche en Informatique et en Automatique

	1 2 3 4 5 6 7 8 9 Suivant Dernière	Relevance Author A→Z Author Z→A Title A→Z Title Z→A Date de publication croissante Date de publication décroissante Date de dépôt croissante Date de dépôt décroissante 30 results per page 50 results per page 100 results per page Merci d'indiquer la raison de votre demande o Export XML-TEI BibTeX EndNote CSV PDF RTF Advanced export... Syndicated feeds RSS ATOM
	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 Bournez, Daniel Graça, Emmanuel 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 Blanqui, Kim Quyen Ly. Automated verification of termination certificates 15th National Symposium of Selected ICT Problems, Dec 2012, Hanoi, Vietnam
	hal-02963463v1 Journal articles Imen Sayar, Jeanine 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⟩
	tel-01419298v2 Theses Oleksandra Kulankhina. A framework for rigorous development of distributed components : formalisation and tools Other [cs.OH]. Université Côte d'Azur, 2016. English. ⟨NNT : 2016AZUR4077⟩
	hal-03106070v1 Conference papers Christophe Alias, Guillaume Iooss, Sanjay 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 Deutsch, Yuliang Li, Victor 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 Boichut, Pierre-Cyrille Heam, Olga 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 Aiswarya, Paul Gastin, K. 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
	inria-00274158v2 Reports Hubert Comon-Lundh, Véronique Cortier. Computational soundness of observational equivalence [Research Report] RR-6508, INRIA. 2008, pp.36
	hal-01275991v1 Conference papers Jérôme Leroux, Sylvain 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érard, Stefan Haar, Sylvain Schmitz, Stefan 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 Pled, Ludovic Chamoin, Pierre-Eric Allier, Pierre 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 Jacquemard, Michaë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 Cortier, Sté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-01671356v1 Preprints, Working Papers, ... Julien Bringer, Hervé Chabanne, Daniel Le Métayer, Roch Lescuyer. Biometric Systems Private by Design: Reasoning about privacy properties of biometric system architectures 2017
	hal-00715033v1 Conference papers Fabian Buettner, Marina Egea, Jordi 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-01299123v1 Conference papers Thi Hoa Hue Nguyen, Nhan Le Thanh. Ensuring the Correctness of Business Workflows at the Syntactic Level: An Ontological Approach 8th Asian Conference - ACIIDS 2016, Mar 2016, Da nang, Vietnam. pp.533-543, ⟨10.1007/978-3-662-49390-8_52⟩
	inria-00458847v1 Reports Charles André. Verification of clock constraints: CCSL Observers in Esterel [Research Report] RR-7211, INRIA. 2010, pp.59
	hal-01302223v1 Conference papers Imen Sayar, Jeanine 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-00797595v1 Reports Léa Fanchon, Florent Jacquemard. Formal Timing Analysis of Mixed Music Scores [Research Report] 2013, pp.10
	hal-01396200v1 Journal articles Philippe Helluy, Olivier Hurisse, Erwan 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éry, Neeraj 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éry, Monahan 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 Cordy, Marco Willemart, Andreas Classen, Patrick Heymans, Pierre-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 Benedikt, Pierre Bourhis, Clemens 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 Waignier, Anne-Françoise Le Meur, Laurence 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 Waignier, Anne-Françoise Le Meur, Laurence 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 Sango, Laurence Duchien, Christophe 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
	1 2 3 4 5 6 7 8 9 Suivant Dernière	Relevance Author A→Z Author Z→A Title A→Z Title Z→A Date de publication croissante Date de publication décroissante Date de dépôt croissante Date de dépôt décroissante 30 results per page 50 results per page 100 results per page o Export XML-TEI BibTeX EndNote CSV PDF RTF Advanced export... Syndicated feeds RSS ATOM

Document types Minimize

Author Minimize

Subject field Minimize

Laboratory Minimize

Language Minimize

Keyword Minimize

Type of deposit Minimize

Year Minimize