38 results  save search


  • 1
  • 2
...
hal-00876644v1  Documents associated with scientific events
Pierre-Alain BourdilBernard BerthomieuEric JennFrançois Vernadat. Modélisation et vérification d'un réseau de communication embarqué avec FIACRE/TINA
MSR 2013 - Modélisation des Systèmes Réactifs, 2013, Rennes, France
hal-02305621v1  Conference papers
Robert StewartBernard BerthomieuPaulo GarciaIdris IbrahimGreg Michaelson et al.  Graphical program transformations for embedded systems
34th ACM/SIGAPP Symposium on Applied Computing (SAC), Apr 2019, Limassol, Cyprus. pp.647-649, ⟨10.1145/3297280.3297555⟩
...
hal-00782354v1  Conference papers
Rodrigo SaadSilvano Dal ZilioBernard Berthomieu. An Experiment on Parallel Model Checking of a CTL Fragment
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⟩
...
hal-01331726v1  Conference papers
Pierre-Emmanuel HladikSilvano Dal ZilioOlivier PasquierSébastien PillementBernard Berthomieu. Outillage pour la modélisation, la vérification et la génération d'applications temporisées et embarquées
15èmes journées Approches Formelles dans l'Assistance au Développement de Logiciels (AFADL), Jun 2016, Besançon, France
...
hal-01949464v1  Conference papers
Pierre-Alain BourdilBernard BerthomieuÉric Jenn. Model-Checking Real-Time Properties of an Auto Flight Control System Function
IEEE International Symposium on Software Reliability Engineering, Nov 2014, Naples, Italy. ⟨10.1109/ISSREW.2014.40⟩
...
hal-00494348v1  Conference papers
Bernard BerthomieuJean-Paul BodeveixSilvano Dal ZilioPierre DissauxMamoun Filali et al.  Formal Verification of AADL models with Fiacre and Tina
ERTSS 2010 - Embedded Real-Time Software and Systems, May 2010, TOULOUSE (31000), France. pp.1-9
...
hal-00422404v1  Conference papers
Florent PeresPierre-Olivier RibetFrançois VernadatBernard Berthomieu. Vérification de propriétés invariantes par surapproximation
Formalisation des activités concurrentes (2005), Mar 2005, TOULOUSE, France
...
hal-01822078v1  Conference papers
Bernard BerthomieuDidier Le BotlanSilvano Dal Zilio. Petri Net Reductions for Counting Markings
International Symposium on Model Checking Software (SPIN 2018), Jun 2018, Malaga, Spain. ⟨10.1007/978-3-319-94111-0_4⟩
...
hal-01275316v1  Conference papers
Pierre-Alain BourdilBernard BerthomieuSilvano Dal ZilioFrançois Vernadat. Symmetry reduced state classes for Time Petri nets
30th Annual ACM Symposium on Applied Computing, Apr 2015, Salamanca, Spain. pp.1751-1758, ⟨10.1145/2695664.2695803⟩
...
hal-00380671v1  Conference papers
Rodrigo SaadFrançois VernadatBernard BerthomieuSilvano Dal Zilio. Observation Graph implementation for TINA toolbox
12th European Workshop on Dependable Computing, EWDC 2009, May 2009, Toulouse, France. 4 p
...
hal-00438377v1  Journal articles
Florent PeresBernard BerthomieuFrançois Vernadat. Composer les réseaux de Petri temporels
Journal Européen des Systèmes Automatisés (JESA), Lavoisier, 2009, 43 (7-9), pp.1001-1015
...
hal-00369887v1  Conference papers
Darlam BenderBenoit CombemaleXavier CrégutJean-Marie FarinesBernard Berthomieu et al.  Ladder Metamodeling & PLC Program Validation through Time Petri Nets
Model Driven Architecture - Foundations and Applications (ECMDA 2008), Jun 2008, Berlin, Germany. pp.121-136, ⟨10.1007/978-3-540-69100-6_9⟩
...
hal-02271255v1  Conference papers
P FarailP GaufilletJ-M FarinesJ-L LambertP Dissaux et al.  The COTRE Project: How to model and verify Real Time Architecture?
2nd Embedded Real Time Software Congress (ERTS'04), Jan 2004, Toulouse, France
...
hal-01202799v1  Conference papers
Silvano Dal ZilioBernard Berthomieu. Automating the Verification of Realtime Observers using Probes and the Modal mu-calculus
1st International Conference on Theoretical Computer Science (TTCS), Aug 2015, Teheran, Iran. pp.90-104, ⟨10.1007/978-3-319-28678-5_7⟩
...
hal-02125337v1  Journal articles
Bernard BerthomieuDidier Le BotlanSilvano Dal Zilio. Counting Petri net markings from reduction equations
International Journal on Software Tools for Technology Transfer, Springer Verlag, 2019, ⟨10.1007/s10009-019-00519-1⟩
...
hal-00523188v3  Conference papers
Rodrigo SaadSilvano Dal ZilioBernard Berthomieu. Mixed Shared-Distributed Hash Tables Approaches for Parallel State Space Construction
International Symposium on Parallel and Distributed Computing (ISPDC 2011), Jul 2011, Cluj-Napoca, Romania. 8p
...
hal-00473072v2  Conference papers
Rodrigo SaadSilvano Dal ZilioBernard Berthomieu. A General Lock-Free Algorithm for Parallel State Space Construction
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⟩
hal-00494622v1  Conference papers
Rodrigo SaadBernard BerthomieuSilvano Dal ZilioFrançois Vernadat. Enumerative Parallel and Distributed State Space Construction
ETR09 - École d'été Temps Réel, Aug 2009, Paris, France
...
inria-00000560v1  Book sections
Françoise Simonot-LionYe-Qiong SongBernard BerthomieuFrançois Vernadat. Vérification des applications temps réel
Jacky Akoka, Isabelle Comyn-Wattiau. Encyclopédie de l'informatique et des systèmes d'information, Vuibert, 2005
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⟩
  • 1
  • 2