1. Search
44 results  save search


  • 1
  • 2
...
hal-01202741v1  Preprints, Working Papers, ...
Silvano Dal Zilio, Bernard Berthomieu, Didier Le Botlan. Latency Analysis of an Aerial Video Tracking System Using Fiacre and Tina
2015
...
hal-01790208v1  Conference papers
Bernard Berthomieu, J.-P Bodeveix, Christele Chaudet, Silvano Dal Zilio, M Filali et al.  Formal Verification of AADL Specifications in the Topcased Environment
Reliable Software Technologies - Ada Europe 2009, Jun 2009, Brest, France. 15p., ⟨10.1007/978-3-642-01924-1_15⟩
...
hal-01790224v1  Other reports
Silvano Dal Zilio, Rodrigo Saad, Bernard Berthomieu. Coarse-Grained Locking Scheme for Parallel State Space Construction
Rapport LAAS n° 13048. 2013
...
hal-00782647v2  Conference papers
Nouha Abid, Silvano Dal Zilio, Didier Le Botlan. A Verified Approach for Checking Real-Time Specification Patterns
VECoS 2012, 6th International Workshop on Verification and Evaluation of Computer and Communication Systems, Aug 2012, France. pp.11
...
hal-00578436v4  Conference papers
Nawal Guermouche, Silvano Dal Zilio. Towards Timed Requirement Verification for Service Choreographies
8th IEEE International Conference on Collaborative Computing: Networking, Applications and Worksharing, Oct 2012, Pittsburgh, United States. pp.10
...
hal-01992470v1  Other reports
Mohammed Foughali, Silvano Dal Zilio, Félix Ingrand. On the Semantics of the GenoM3 Framework
Rapport LAAS n° 19036. 2019
...
hal-00782354v1  Conference papers
Rodrigo Saad, Silvano Dal Zilio, Bernard 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-00782649v1  Conference papers
Nouha Abid, Silvano Dal Zilio, Didier Le Botlan. Real-Time Specification Patterns and Tools
17th International Workshop on Formal Methods for Industrial Critical Systems, FMICS 2012, Aug 2012, Paris, France. pp. 1-15, ⟨10.1007/978-3-642-32469-7_1⟩
...
hal-01331726v1  Conference papers
Pierre-Emmanuel Hladik, Silvano Dal Zilio, Olivier Pasquier, Sébastien Pillement, Bernard 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-00492327v1  Conference papers
Bernard Berthomieu, Jean-Paul Bodeveix, Silvano Dal Zilio, Mamoun Filali, Marc Pantel et al.  Langage intermédiaire et transformations de modèles pour le développement de systèmes temps-réel : retour d'expérience sur la chaîne de vérification formelle Fiacre
IDM 2010 : journées sur l'Ingénierie Dirigée par les Modèles, Mar 2010, Pau, France
...
hal-00494348v1  Conference papers
Bernard Berthomieu, Jean-Paul Bodeveix, Silvano Dal Zilio, Pierre Dissaux, Mamoun 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-01822078v1  Conference papers
Bernard Berthomieu, Didier Le Botlan, Silvano 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 Bourdil, Bernard Berthomieu, Silvano Dal Zilio, Franç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-00593965v4  Reports
Nouha Abid, Silvano Dal Zilio, Didier Le Botlan. A Real-Time Specification Patterns Language
2011
...
hal-00669752v2  Reports
Rodrigo Saad, Silvano Dal Zilio, Bernard Berthomieu. Parallel Model Checking With Lazy Cycle Detection - MCLCD
2011
...
hal-01778960v1  Conference papers
Mohammed Foughali, Bernard Berthomieu, Silvano Dal Zilio, Pierre-Emmanuel Hladik, Félix Ingrand et al.  Formal Verification of Complex Robotic Systems on Resource-Constrained Platforms
FormaliSE: 6th International Conference on Formal Methods in Software Engineering, Jun 2018, Gothenburg, Sweden
...
hal-01346080v1  Conference papers
Mohammed Foughali, Bernard Berthomieu, Silvano Dal Zilio, Félix Ingrand, Anthony Mallet. Model Checking Real-Time Properties on the Functional Layer of Autonomous Robots
18th International Conference on Formal Engineering Methods (ICFEM 2016), Nov 2016, Tokyo, Japan
...
hal-00380671v1  Conference papers
Rodrigo Saad, François Vernadat, Bernard Berthomieu, Silvano Dal Zilio. Observation Graph implementation for TINA toolbox
12th European Workshop on Dependable Computing, EWDC 2009, May 2009, Toulouse, France. 4 p
...
hal-01341701v1  Preprints, Working Papers, ...
Pierre-Alain Bourdil, Silvano Dal Zilio, Eric Jenn. Integrating Model Checking in an Industrial Verification Process: a Structuring Approach
2016
...
hal-01121605v1  Reports
Bernard Berthomieu, J.-P Bodeveix, Silvano Dal Zilio, M Filali, Didier Le Botlan et al.  Real-Time Model Checking Support for AADL
[Research Report] LAAS-CNRS. 2015
...
hal-00984354v1  Conference papers
Silvano Dal Zilio, Lukasz Fronc, Bernard Berthomieu, François Vernadat. Time Petri Nets with Dynamic Firing Dates: Semantics and Applications
12th International Conference, FORMATS 2014, Sep 2014, Florence, Italy. pp 85-99, ⟨10.1007/978-3-319-10512-3_7⟩
...
hal-01709008v1  Conference papers
Alexandre Albore, Silvano Dal Zilio, Marie de Roquemaurel, Christel Seguin, Pierre 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-01202799v1  Conference papers
Silvano Dal Zilio, Bernard 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 Berthomieu, Didier Le Botlan, Silvano 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-00941248v1  Journal articles
Didier Le Botlan, Silvano Dal Zilio, Nouha Abid. A Formal Framework to Specify and Verify Real Time Properties on Critical Systems
International Journal of Critical Computer-Based Systems, Inderscience, 2014, 5 (1/2), pp 4-30. ⟨10.1504/IJCCBS.2014.059593⟩
...
hal-00523188v3  Conference papers
Rodrigo Saad, Silvano Dal Zilio, Bernard 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 Saad, Silvano Dal Zilio, Bernard 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-01202702v2  Conference papers
Florent Avellaneda, Silvano Dal Zilio, Jean-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-00593963v5  Reports
Nouha Abid, Silvano Dal Zilio, Didier Le Botlan. Verification of Real-Time Specification Patterns on Time Transition Systems
2011
...
hal-01369144v1  Conference papers
Pierre-Alain Bourdil, Eric Jenn, Silvano Dal Zilio. Building Confidence on Formal Verification Models
Fast Abstracts at International Conference on Computer Safety, Reliability, and Security (SAFECOMP), Sep 2016, Trondheim, Norway
  • 1
  • 2

CONTACT

scd.ao@univ-tlse3.fr