Recherche - Archive ouverte HAL Accéder directement au contenu

Filtrer vos résultats

42 résultats
Page :
triés par
Image document

Symmetry reduced state classes for Time Petri nets

 Pierre-Alain Bourdil , Bernard Berthomieu , Silvano Dal Zilio , François Vernadat
30th Annual ACM Symposium on Applied Computing, Apr 2015, Salamanca, Spain. pp.1751-1758, ⟨10.1145/2695664.2695803⟩
Communication dans un congrès hal-01275316v1
Image document

An enumerative approach for analyzing Time Petri Nets

 Bernard Berthomieu , Miguel Menasche
IFIP 9th World Computer Congress, Sep 1983, Paris, France
Communication dans un congrès hal-04187100v1
Image document

Model Checking Real-Time Properties on the Functional Layer of Autonomous Robots

 Mohammed Foughali , Bernard Berthomieu , Silvano Dal Zilio , Félix Ingrand , Anthony Mallet
18th International Conference on Formal Engineering Methods (ICFEM 2016), Nov 2016, Tokyo, Japan
Communication dans un congrès hal-01346080v1
Image document

Ladder Metamodeling & PLC Program Validation through Time Petri Nets

 Darlam Bender , Benoit Combemale , Xavier Crégut , Jean-Marie Farines , Bernard Berthomieu , et al.
Model Driven Architecture - Foundations and Applications (ECMDA 2008), Jun 2008, Berlin, Germany. pp.121-136, ⟨10.1007/978-3-540-69100-6_9⟩
Communication dans un congrès hal-00369887v1

Presentation of the 9th Edition of the Model Checking Contest

 Elvio Amparore , Bernard Berthomieu , Gianfranco Ciardo , Silvano Dal Zilio , Francesco Gallà , et al.
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⟩
Communication dans un congrès hal-02094047v1
Image document

Vérification des applications temps réel

 Françoise Simonot-Lion , Ye-Qiong Song , Bernard Berthomieu , François Vernadat
Jacky Akoka, Isabelle Comyn-Wattiau. Encyclopédie de l'informatique et des systèmes d'information, Vuibert, 2005
Chapitre d'ouvrage inria-00000560v1

Checking marking reachability with the state equation in Petri net subclasses

 Thomas Hujsa , Bernard Berthomieu , Silvano Dal Zilio , Didier Le Botlan
2020
Pré-publication, Document de travail hal-02992521v1

Enumerative Parallel and Distributed State Space Construction

 Rodrigo Tacla Saad , Bernard Berthomieu , Silvano Dal Zilio , François Vernadat
ETR09 - École d'été Temps Réel, Aug 2009, Paris, France
Communication dans un congrès hal-00494622v1
Image document

The COTRE Project: How to model and verify Real Time Architecture?

 Patrick Farail , Pierre Gaufillet , J-M Farines , J-L Lambert , Pierre Dissaux , et al.
2nd Embedded Real Time Software Congress (ERT 2004), SIA; SEE; AAAF, Jan 2004, Toulouse, France
Communication dans un congrès hal-02271255v1
Image document

Formal Verification of AADL Specifications in the Topcased Environment

 Bernard Berthomieu , Jean-Paul Bodeveix , Christelle Chaudet , Silvano Dal Zilio , M Filali , et al.
Reliable Software Technologies - Ada Europe 2009, Jun 2009, Brest, France. 15p., ⟨10.1007/978-3-642-01924-1_15⟩
Communication dans un congrès hal-01790208v1
Image document

An Experiment on Parallel Model Checking of a CTL Fragment

 Rodrigo Tacla Saad , Silvano Dal Zilio , Bernard Berthomieu
10th International Symposium, ATVA 2012, Automated Technology for Verification and Analysis, Oct 2012, Thiruvananthapuram, India. pp.284-299, ⟨10.1007/978-3-642-33386-6_23⟩
Communication dans un congrès hal-00782354v1
Image document

Observation Graph implementation for TINA toolbox

 Rodrigo Tacla Saad , François Vernadat , Bernard Berthomieu , Silvano Dal Zilio
12th European Workshop on Dependable Computing, EWDC 2009, May 2009, Toulouse, France. 4 p
Communication dans un congrès hal-00380671v1
Image document

A Polyhedral Abstraction for Petri nets and its Application to SMT-Based Model Checking

 Nicolas Amat , Bernard Berthomieu , Silvano Dal Zilio
Fundamenta Informaticae, 2022, 187 (2-4), pp.103-138. ⟨10.3233/FI-222134⟩
Article dans une revue hal-03455697v2

Verifying parallel dataflow transformations with model checking and its application to FPGAs

 Robert Stewart , Bernard Berthomieu , Paulo Garcia , Idris Ibrahim , Greg Michaelson , et al.
Journal of Systems Architecture, 2019, 101, pp.101657. ⟨10.1016/j.sysarc.2019.101657⟩
Article dans une revue hal-02347401v1
Image document

Composer les réseaux de Petri temporels

 Florent Peres , Bernard Berthomieu , François Vernadat
Journal Européen des Systèmes Automatisés (JESA), 2009, 43 (7-9), pp.1001-1015
Article dans une revue hal-00438377v1
Image document

Real-Time Model Checking Support for AADL

 Bernard Berthomieu , Jean-Paul Bodeveix , Silvano Dal Zilio , M Filali , Didier Le Botlan , et al.
[Research Report] LAAS-CNRS. 2015
Rapport hal-01121605v1
Image document

Automating the Verification of Realtime Observers using Probes and the Modal mu-calculus

 Silvano Dal Zilio , Bernard Berthomieu
1st International Conference on Theoretical Computer Science (TTCS), Aug 2015, Teheran, Iran. pp.90-104, ⟨10.1007/978-3-319-28678-5_7⟩
Communication dans un congrès hal-01202799v1
Image document

Formal Verification of AADL models with Fiacre and Tina

 Bernard Berthomieu , Jean-Paul Bodeveix , Silvano Dal Zilio , Pierre Dissaux , M Filali , et al.
ERTSS 2010 - Embedded Real-Time Software and Systems, 3AF Midi-Pyrénées: the French Society of Aeronautic and Aerospace; SEE: the French Society for Electricity, Electronics, and Information & Communication Technologies; SIA: the French Society of Automobive Engineers, May 2010, Toulouse, France. pp.1-9, ⟨10.5281/zenodo.32930⟩
Communication dans un congrès hal-00494348v1
Image document

Model-Checking Real-Time Properties of an Auto Flight Control System Function

 Pierre-Alain Bourdil , Bernard Berthomieu , Éric Jenn
IEEE International Symposium on Software Reliability Engineering, Nov 2014, Naples, Italy. ⟨10.1109/ISSREW.2014.40⟩
Communication dans un congrès hal-01949464v1
Image document

A General Lock-Free Algorithm for Parallel State Space Construction

 Rodrigo Tacla Saad , Silvano Dal Zilio , Bernard Berthomieu
2010 Ninth International Workshop onParallel and Distributed Methods in Verification (PDMC 2010), Second International Workshop on High Performance Computational Systems Biology (HIBI 2010), Sep 2010, Twente, Netherlands. p.8-16, ⟨10.1109/PDMC-HiBi.2010.10⟩
Communication dans un congrès hal-00473072v2
Image document

Vérification de propriétés invariantes par surapproximation

 Florent Peres , Pierre-Olivier Ribet , François Vernadat , Bernard Berthomieu
Formalisation des activités concurrentes (2005), Mar 2005, Toulouse, France
Communication dans un congrès hal-00422404v1
Image document

Parallel Model Checking With Lazy Cycle Detection - MCLCD

 Rodrigo Tacla Saad , Silvano Dal Zilio , Bernard Berthomieu
2011
Rapport hal-00669752v2
Image document

Petri Net Reductions for Counting Markings

 Bernard Berthomieu , Didier Le Botlan , Silvano Dal Zilio
International Symposium on Model Checking Software (SPIN 2018), Jun 2018, Malaga, Spain. ⟨10.1007/978-3-319-94111-0_4⟩
Communication dans un congrès hal-01822078v1
Image document

Latency Analysis of an Aerial Video Tracking System Using Fiacre and Tina

 Silvano Dal Zilio , Bernard Berthomieu , Didier Le Botlan
2015
Pré-publication, Document de travail hal-01202741v1
Image document

Model-Checking Real-Time Properties of an Aircraft Landing Gear System Using Fiacre

 Bernard Berthomieu , Silvano Dal Zilio , Lukasz Fronc
4th International ABZ Conference, Jun 2014, France. pp.110-125
Communication dans un congrès hal-00967422v1
Image document

Mixed Shared-Distributed Hash Tables Approaches for Parallel State Space Construction

 Rodrigo Tacla Saad , Silvano Dal Zilio , Bernard Berthomieu
International Symposium on Parallel and Distributed Computing (ISPDC 2011), Jul 2011, Cluj-Napoca, Romania. 8p
Communication dans un congrès hal-00523188v3
Image document

Fiacre: an Intermediate Language for Model Verification in the Topcased Environment

 Bernard Berthomieu , Jean-Paul Bodeveix , Patrick Farail , M Filali , Hubert Garavel , et al.
4th European Congress ERTS Embedded Real Time Software (ERTS 2008), SEE : Société de l'électricité, de l'électronique et des technologies de l'information et de la communication; 3AF : Association Aéronautique et Astronautique de France, Jan 2008, Toulouse, France. pp.1-8
Communication dans un congrès inria-00262442v1
Image document

Outillage pour la modélisation, la vérification et la génération d'applications temporisées et embarquées

 Pierre-Emmanuel Hladik , Silvano Dal Zilio , Olivier Pasquier , Sébastien Pillement , Bernard Berthomieu
15èmes journées Approches Formelles dans l'Assistance au Développement de Logiciels (AFADL), Jun 2016, Besançon, France
Communication dans un congrès hal-01331726v1
Image document

Time Petri Nets with Dynamic Firing Dates: Semantics and Applications

 Silvano Dal Zilio , Lukasz Fronc , Bernard Berthomieu , François Vernadat
12th International Conference, FORMATS 2014, Sep 2014, Florence, Italy. pp 85-99, ⟨10.1007/978-3-319-10512-3_7⟩
Communication dans un congrès hal-00984354v1
Image document

MCC’2017 - The Seventh Model Checking Contest

 Fabrice Kordon , Hubert Garavel , Lom Hillah , Emmanuel Paviot-Adet , Loïg Jezequel , et al.
LNCS Transactions on Petri Nets and Other Models of Concurrency, 11090, pp.181-209, 2018, Lecture Notes in Computer Science, ⟨10.1007/978-3-662-58381-4_9⟩
Proceedings/Recueil des communications hal-01917492v1
Page :