45 results  save search


  • 1
  • 2
...
hal-00601440v1  Conference papers
Mathieu GiorginoMartin StreckerRalph MatthesMarc Pantel. Verification of the Schorr-Waite Algorithm - From Trees to Graphs
Logic-Based Program Synthesis and Transformation, Jul 2010, Hagenberg, Austria. pp.67-83, ⟨10.1007/978-3-642-20551-4_5⟩
...
hal-01968265v1  Conference papers
Félix Ingrand. Recent Trends in Formal Validation and Verification of Autonomous Robots Software
IEEE International Conference on Robotic Computing, Feb 2019, Naples, Italy
...
hal-00760783v1  Conference papers
Damien FouresVincent AlbertJean-Claude Pascal. ACTIVITYDIAGRAM2PETRINET : TRANSFORMATION-BASED MODEL IN ACCORDANCE WITH THE OMG SYSML SPECIFICATIONS
Eurosis, The 2011 European Simulation and Modelling Conference, Oct 2011, Guimaraes, Portugal. p429-p433
...
hal-02152286v1  Conference papers
Mohammed FoughaliFélix IngrandCristina Seceleanu. Statistical Model Checking of Complex Robotic Systems
26th International SPIN Symposium on Model Checking of Software, Jul 2019, Beijing, China
hal-00914778v1  Conference papers
Walid BelkhirYannick ChevalierMichaël Rusinowitch. Fresh-Variable Automata for Service Composition
SYNASC 2013 -15th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, West University of Timisoara Department of Computer Science, Sep 2013, Timisoara, Romania
...
hal-01515012v1  Conference papers
Mohammed Foughali. Toward a Correct-and-Scalable Verification of Concurrent Robotic Systems: Insights on Formalisms and Tools
International Conference on Application of Concurrency to System Design (ACSD 2017), Jun 2017, Zaragoza, Spain. 10p., ⟨10.1109/ACSD.2017.10⟩
...
hal-01709008v1  Conference papers
Alexandre AlboreSilvano Dal ZilioMarie de RoquemaurelChristel SeguinPierre Virelizier. Timed Formal Model and Verification of Satellite FDIR in Early Design Phase
9th European Congress on Embedded Real Time Software and Systems (ERTS 2018), Jan 2018, Toulouse, France. 10p
...
hal-01708993v1  Conference papers
J.-P BodeveixArnaud DieumegardM Filali. Pattern-based requirements development
9th European Congress on Embedded Real Time Software and Systems (ERTS 2018), Jan 2018, Toulouse, France
hal-01246669v1  Book sections
Manamiary Bruno AndriamiarinaDominique MéryNeeraj Kumar Singh. Incremental Proof-Based Development for Resilient Distributed Systems
Trustworthy Cyber-Physical Systems Engineering, Taylor and Francis Group, 2016, Trustworthy Cyber-Physical Systems Engineering
...
tel-00862507v1  Theses
Célia Picard. Représentation coinductive des graphes
Théorie et langage formel [cs.FL]. Université Paul Sabatier - Toulouse III, 2012. Français
hal-01245994v1  Conference papers
Dominique MéryNeeraj Kumar Singh. Analyzing Requirements Using Environment Modelling
Digital Human Modeling - Applications in Health, Safety, Ergonomics and Risk Management: Ergonomics and Health - 6th International Conference, DHM 2015, Aug 2015, Los Angeles, United States
...
hal-02070812v1  Conference papers
Thomas ColcombetDenis KuperbergAmaldev ManuelSzymon Toruńczyk. Cost Functions Definable by Min/Max Automata
33rd International Symposium on Theoretical Aspects of Computer Science (STACS 2016), 2016, Orléans, France. pp.1 - 36, ⟨10.4230/LIPIcs.STACS.2016.29⟩
...
hal-00868406v1  Conference papers
Damien FouresVincent AlbertAlexandre Nketsa. Simulation validation using the compatibility between Simulation Model and Experimental Frame
SummerSim'13 ( 45th Summer Simulation Multi-conference 2013), Jul 2013, Toronto, Canada. pp.75
...
hal-02015853v1  Journal articles
Célia PicardRalph Matthes. Coinductive Graph Representation: the Problem of Embedded Lists
Electronic Communications of the EASST, 2011, Graph Computation Models Selected Revised Papers from the Third International Workshop on Graph Computation Models (GCM 2010), 39
hal-01097624v1  Conference papers
Yamine Aït AmeurJ. Paul GibsonDominique Méry. On Implicit and Explicit Semantics: Integration Issues in Proof-Based Development of Systems
Leveraging Applications of Formal Methods, Verification and Validation. Specialized Techniques and Applications - 6th International Symposium,, Tiziana Margaria and Bernhard Steffen, Oct 2014, Corfu, Greece. pp.604-618
hal-00784986v1  Conference papers
Jean-Paul BodeveixDavid ChemouilMamoun FilaliDave Thomas. Modes in Asynchronous Systems
13th IEEE International Conference on Engineering of Complex Computer Systems, 2008, Belfast, Ireland. pp.282 - 287, ⟨10.1109/ICECCS.2008.28⟩
hal-00784968v1  Conference papers
Jean-Paul BodeveixRaphaël CavalleroDavid ChemouilMamoun FilaliJean-François Rolland. A mapping from AADL to Java-RTSJ
5th international workshop on Java technologies for real-time and embedded systems, 2007, Austria. pp.165-174, ⟨10.1145/1288940.1288965⟩
hal-00784976v1  Conference papers
Ricardo Bedin FrançaJean-Paul BodeveixDavid ChemouilMamoun FilaliJean-François Rolland et al.  The AADL behaviour annex -- experiments and roadmap
International Conference on Engineering Complex Computer Systems, 2007, Auckland, New Zealand. pp.377-382, ⟨10.1109/ICECCS.2007.41⟩
hal-00784959v1  Conference papers
Jean-Paul BodeveixDavid ChemouilMamoun FilaliMartin Strecker. Towards formalising AADL in Proof Assistants
Formal Foundations of Embedded Software and Component-based Software Architectures 2005, 2005, Edinburgh, United Kingdom. pp.153-169, ⟨10.1016/j.entcs.2005.05.008⟩
...
hal-01202702v2  Conference papers
Florent AvellanedaSilvano Dal ZilioJean-Baptiste Raclet. Solving Language Equations Using Flanked Automata
ATVA 2016: Automated Technology for Verification and Analysis, Oct 2016, Chiba, Japan. pp.106 - 121, ⟨10.1007/978-3-319-46520-3_7⟩
hal-02377498v1  Conference papers
Francesco BelardinelliUmberto Grandi. A Social Choice Theoretic Perspective on Database Aggregation
18th International Conference on Autonomous Agents and MultiAgent Systems (AAMAS 2019), May 2019, Montreal QC, Canada. pp.1817--1819
...
hal-02365814v1  Book sections
Ulrich BergerRalph MatthesAnton Setzer. Martin Hofmann's Case for Non-Strictly Positive Data Types
Peter Dybjer; José Espírito Santo; Luís Pinto. 24th International Conference on Types for Proofs and Programs (TYPES 2018), 130, Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, pp.1:1-1:22, 2019, Leibniz International Proceedings in Informatics (LIPIcs), 978-3-95977-106-1. ⟨10.4230/LIPIcs.TYPES.2018.1⟩
  • 1
  • 2