Skip to Main content Skip to Navigation

Search by documents

hal-02315089v1  Conference papers
Robert ThomasJean-Charles FabreMatthieu Roy. On-line Monitoring of Real Time Applications for Early Error Detection
14th IEEE Pacific Rim International Symposium on Dependable Computing (PRDC 2008), Dec 2008, Taipei, Taiwan. pp.24-31, ⟨10.1109/PRDC.2008.31⟩
hal-00760783v1  Conference papers
Eurosis, The 2011 European Simulation and Modelling Conference, Oct 2011, Guimaraes, Portugal. p429-p433
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-02346015v1  Conference papers
Mohammed Foughali. On Reconciling Schedulability Analysis and Model Checking in Robotics
MEDI Workshops. 9th International Conference on Model and Data Engineering, Oct 2019, Toulouse, France
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⟩
tel-01044988v1  Theses
Génie logiciel [cs.SE]. Université Paul Sabatier - Toulouse III, 2003. Français
hal-03093298v1  Conference papers
Mohammed FoughaliSaddek BensalemJacques CombazFélix Ingrand. Runtime Verification of Timed Properties in Autonomous Robots
18th ACM-IEEE International Conference on Formal Methods and Models for System Design (MEMOCODE), ACM/IEEE, Dec 2020, Jaipur (virtual), India. ⟨10.1109/MEMOCODE51338.2020.9315156⟩
hal-00593958v1  Other publications
Nouha AbidSilvano Dal Zilio. Real-time Extensions for the Fiacre modeling language
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-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-02899522v1  Conference papers
Éric LubatSilvano Dal Zilio. A Short Overview on Diagnosability of Patterns in Timed Petri Net
14th Summer School on Modelling and Verification of Parallel Processes (MOVEP 2020), Jun 2020, (on line), France
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-02380657v1  Conference papers
Nathalie AubrunMathieu SablikJulien Esnay. Domino Problem Under Horizontal Constraints
STACS 2020 37th International Symposium on Theoretical Aspects of Computer Science, 2020, Montpellier, France. ⟨10.4230/LIPIcs.STACS.2020.26⟩
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
hal-02352670v1  Master thesis
Karim Kecir. Contrôle Optimal d'un Système Ferroviaire Complet
Systèmes et contrôle [cs.SY]. 2014
hal-02094047v1  Conference papers
Elvio AmparoreBernard BerthomieuGianfranco CiardoSilvano Dal ZilioFrancesco Gallà et al.  Presentation of the 9th Edition of the Model Checking Contest
Tools and Algorithms for the Construction and Analysis of Systems - 25 Years of TACAS: TOOLympics, Held as Part of ETAPS 2019, Proceedings, Part III, Apr 2019, Prague, Czech Republic. pp.50-68, ⟨10.1007/978-3-030-17502-3_4⟩
hal-02015853v1  Journal articles
Célia PicardRalph Matthes. Coinductive Graph Representation: the Problem of Embedded Lists
Electronic Communications of the EASST, European Association of Software Science and Technology e.V, 2011, Graph Computation Models Selected Revised Papers from the Third International Workshop on Graph Computation Models (GCM 2010), 39
hal-00784959v1  Conference papers
Jean-Paul BodeveixDavid ChemouilM 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-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⟩
hal-00784968v1  Conference papers
Jean-Paul BodeveixRaphaël CavalleroDavid ChemouilM FilaliJean-François Rolland. A mapping from AADL to Java-RTSJ
5th international workshop on Java technologies for real-time and embedded systems, 2007, Vienne, Austria. pp.165-174, ⟨10.1145/1288940.1288965⟩
hal-01708993v1  Conference papers
Jean-Paul BodeveixArnaud DieumegardM Filali. Pattern-based requirements development
9th European Congress on Embedded Real Time Software and Systems (ERTS 2018), Jan 2018, Toulouse, France
hal-00784976v1  Conference papers
Ricardo Bedin FrançaJean-Paul BodeveixDavid ChemouilM 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⟩