|
|
|
---|---|---|
hal-01202741v1
Preprints, Working Papers, ...
Latency Analysis of an Aerial Video Tracking System Using Fiacre and Tina 2015 |
||
hal-01790208v1
Conference papers
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
Coarse-Grained Locking Scheme for Parallel State Space Construction Rapport LAAS n° 13048. 2013 |
||
hal-00782647v2
Conference papers
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
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-00782354v1
Conference papers
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
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
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
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
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
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
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-01778960v1
Conference papers
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
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
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, ...
Integrating Model Checking in an Industrial Verification Process: a Structuring Approach 2016 |
||
hal-00984354v1
Conference papers
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
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
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
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
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
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
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
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-01369144v1
Conference papers
Building Confidence on Formal Verification Models Fast Abstracts at International Conference on Computer Safety, Reliability, and Security (SAFECOMP), Sep 2016, Trondheim, Norway |
||
|
|