Skip to Main content Skip to Navigation

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-01346080v1  Conference papers
Mohammed FoughaliBernard BerthomieuSilvano Dal ZilioFélix IngrandAnthony 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-01561994v1  Journal articles
Pierre-Alain BourdilBernard BerthomieuSilvano Dal ZilioFrançois Vernadat. Symmetry reduction for time Petri net state classes
Science of Computer Programming, Elsevier, 2016, Science of Computer Programming, 132 (Part 2), pp.209 - 225. ⟨10.1016/j.scico.2016.08.008⟩
hal-00494617v1  Conference papers
Silvano Dal ZilioNouha Abid. Real-time Extensions for the Fiacre modeling language
MoVep 2010, Summer School on Modelling and Verifying Parallel Processes, Jun 2010, Aachen, Germany
hal-01589479v1  Conference papers
Ning GeMarc PantelSilvano Dal Zilio. Formal Verification of User-Level Real-Time Property Patterns
11th International Symposium on Theoretical Aspects of Software Engineering (TASE 2017), Sep 2017, Sophia Antipolis, France. 8p
hal-01778960v1  Conference papers
Mohammed FoughaliBernard BerthomieuSilvano Dal ZilioPierre-Emmanuel HladikFé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-01790120v1  Conference papers
Nouha AbidSilvano Dal Zilio. A Verified Approach to Checking Real-Time Patterns on Fiacre Programs
Doctoral Symposium of FM 2012, Aug 2012, Paris, France
hal-00593958v1  Other publications
Nouha AbidSilvano Dal Zilio. Real-time Extensions for the Fiacre modeling language
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-00782647v2  Conference papers
Nouha AbidSilvano Dal ZilioDidier 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-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-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-01232512v1  Conference papers
Maxime ChéramyPierre-Emmanuel HladikAnne-Marie DéplancheSilvano Dal Zilio. Simulation of Real-Time Scheduling Algorithms with Cache Effects
6th International Workshop on Analysis Tools and Methodologies for Embedded and Real-time Systems, Jul 2015, Lund, Sweden. 6p
hal-00782649v1  Conference papers
Nouha AbidSilvano Dal ZilioDidier 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-00941248v1  Journal articles
Didier Le BotlanSilvano Dal ZilioNouha 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-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-00578436v4  Conference papers
Nawal GuermoucheSilvano 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-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⟩