Filtrer vos résultats
- 146
- 32
- 135
- 28
- 8
- 3
- 3
- 1
- 3
- 175
- 2
- 3
- 6
- 5
- 8
- 2
- 10
- 6
- 12
- 13
- 11
- 8
- 17
- 7
- 14
- 10
- 4
- 4
- 7
- 2
- 7
- 2
- 3
- 4
- 4
- 5
- 2
- 2
- 177
- 1
- 177
- 22
- 20
- 10
- 7
- 6
- 5
- 4
- 4
- 3
- 3
- 2
- 2
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 178
- 84
- 26
- 16
- 15
- 13
- 13
- 13
- 12
- 11
- 10
- 9
- 9
- 9
- 8
- 8
- 8
- 7
- 7
- 7
- 6
- 6
- 6
- 6
- 6
- 6
- 5
- 5
- 5
- 4
- 4
- 4
- 4
- 4
- 4
- 4
- 4
- 4
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
178 résultats
|
The Complexity of Reachability Problems for Flat Counter Machines with Periodic Loops15th International Conference on Verification, Model Checking, and Abstract Interpretation (VMCAI) , Jan 2014, San Diego, CA, United States
Communication dans un congrès
hal-01418891v1
|
||
On Timed Components and their AbstractionSixth International Workshop on Specification and Verification of Component-Based Systems (SAVCBS 2007), Sep 2007, Dubrovnik, Croatia. pp.63-72
Communication dans un congrès
hal-00375707v1
|
|||
|
Performance Evaluation of Stochastic Real-Time Systems with the SBIP FrameworkInternational Journal of Critical Computer-Based Systems, 2018, 8 (3-4), pp.340-370. ⟨10.1504/IJCCBS.2018.096439⟩
Article dans une revue
hal-01898426v1
|
||
|
Local Reasoning about Parametric and Reconfigurable Component-based Systems2019
Pré-publication, Document de travail
hal-02267423v1
|
||
|
Modeling Synchronous Systems in BIP9th ACM & IEEE International conference on Embedded software, EMSOFT 2009, Oct 2009, Grenoble, France. pp.77-86, ⟨10.1145/1629335.1629347⟩
Communication dans un congrès
hal-00722479v1
|
||
|
SDL for Real-Time: What Is Missing?2nd Workshop of the SDL Forum Society on SDL and MSC SAM2000, Jun 2000, Grenoble, France. pp.108-122
Communication dans un congrès
hal-00374117v1
|
||
Qualification d'architectures fonctionnelles: Démarche et formalismes pour la spécification et la qualification d'architectures fonctionnelles répartiesNOTERE'2006 : 6ème Conférence Internationale sur les Nouvelles Technologies de la Répartition, Jun 2006, Toulouse, France
Communication dans un congrès
hal-00375706v1
|
|||
|
Modeling Dynamic architectures using Dy-BIPSoftware Composition - 11th International Conference, SC 2012, May 2012, Prague, Czech Republic. pp.1-16, ⟨10.1007/978-3-642-30564-1_1⟩
Communication dans un congrès
hal-00722481v1
|
||
Testing Conformance of Real-Time Applications: Case of Planetary Rover ControllerWorkshop on Verification and Validation of Model-Based Planning and Scheduling Systems VVPS'05, Jun 2005, Monterey, CA, United States. pp.23-32
Communication dans un congrès
hal-00375287v1
|
|||
Exploration of Impactful Countermeasures on IoT Attacks2020 9th Mediterranean Conference on Embedded Computing (MECO), Jun 2020, Budva, Montenegro. pp.1-4, ⟨10.1109/MECO49872.2020.9134200⟩
Communication dans un congrès
hal-02894999v1
|
|||
|
Knowledge Based Transactional BehaviorHardware and Software: Verification and Testing - 8th International Haifa Verification Conference, HVC 2012, Nov 2012, Haifa, Israel. pp.40-55, ⟨10.1007/978-3-642-39611-3_10⟩
Communication dans un congrès
hal-00847834v1
|
||
|
Runtime Verification of Component-Based SystemsSEFM 2011 - Proceedings of the 9th International Conference on Software Engineering and Formal Methods, Nov 2011, Montevideo, Uruguay. pp.204-220, ⟨10.1007/978-3-642-24690-6_15⟩
Communication dans un congrès
hal-00642969v1
|
||
|
Four Exercises in Programming Dynamic Reconfigurable Systems: Methodology and Solution in DR-BIPLeveraging Applications of Formal Methods, Verification and Validation - 8th International Symposium, ISoLA 2018, Oct 2018, Limassol, Cyprus
Communication dans un congrès
hal-01888571v1
|
||
|
Improved Learning for Stochastic Timed Models by State-Merging AlgorithmsNASA Formal Methods - 9th International Symposium, NFM 2017, May 2017, Moffett Field, CA, United States
Communication dans un congrès
hal-01865285v1
|
||
|
Rigorous System Design Flow for Autonomous SystemsLeveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change - 6th International Symposium, ISoLA 2014, Oct 2014, Corfu, Greece
Communication dans un congrès
hal-01898220v1
|
||
|
Local Planning of Multiparty Interactions with Bounded HorizonFM 2016: Formal Methods - 21st International Symposium, Nov 2016, Limassol, Cyprus
Communication dans un congrès
hal-01867241v1
|
||
Formal Modeling and Verification of Blockchain Consensus Protocol for IoT SystemsFrontiers in Artificial Intelligence and Applications, volume 327: Knowledge Innovation Through Intelligent Software Methodologies, Tools and Techniques, 2020, ⟨10.3233/FAIA200578⟩
Chapitre d'ouvrage
hal-02948588v1
|
|||
|
An Abstract Framework for Deadlock Prevention in BIP15th International Conference on Formal Methods for Open Object-Based Distributed Systems (FMOOODS) / 33th International Conference on Formal Techniques for Networked and Distributed Systems (FORTE), Jun 2013, Florence, Italy. pp.161-177, ⟨10.1007/978-3-642-38592-6_12⟩
Communication dans un congrès
hal-00878752v1
|
||
|
On Decidability within the Arithmetic of Addition and DivisibilityFoundations of Software Science and Computational Structures 8th International Conference, FOSSACS 2005, Apr 2005, Edinburgh, United Kingdom. pp.425-439, ⟨10.1007/b106850⟩
Communication dans un congrès
hal-00374872v1
|
||
|
Iterating Octagons15th International Conference on TOOLS AND ALGORITHMS FOR THE CONSTRUCTION AND ANALYSIS OF SYSTEMS (TACAS 2009), Mar 2009, York, United Kingdom
Communication dans un congrès
hal-01418910v1
|
||
|
Compositional Translation of Simulink Models into Synchronous BIPIEEE Fifth International Symposium on Industrial Embedded Systems, Jul 2010, Trento, Italy. pp.217-220, ⟨10.1109/SIES.2010.5551374⟩
Communication dans un congrès
hal-00558040v1
|
||
|
Automated validation of distributed software using the IF environmentIEEE International Symposium on Network Computing and Applications (NCA 2001), Oct 2001, Cambridge, MA, United States. pp.268-275
Communication dans un congrès
hal-00374652v1
|
||
|
From High-Level Component=Based Models to Distributed Implementations10th International conference on Embedded software, EMSOFT 2010, Oct 2010, Scottsdale, Arizona, United States. pp.209-218, ⟨10.1145/1879021.1879049⟩
Communication dans un congrès
hal-00557792v1
|
||
|
Automated validation of distributed software using the IF environmentWorkshop on Software Model Checking (in connection with CAV '01), Jul 2001, Paris, France. pp.370-381
Communication dans un congrès
hal-00369349v1
|
||
|
Model Checking Ariane-5 Flight Program6th International Workshop on Formal Methods for Industrial Critical Systems FMICS 2001, Jul 2001, Paris, France. pp.211-227
Communication dans un congrès
hal-00374649v1
|
||
|
Deciding Conditional TerminationTools and Algorithms for the Construction and Analysis of Systems - 18th International Conference, TACAS 2012, Mar 2012, Tallinn, Estonia. pp.252-266, ⟨10.1007/978-3-642-28756-5_18⟩
Communication dans un congrès
hal-00722494v1
|
||
|
Automated Distributed Implementation of Component-Based Models with Priorities1th International Conference on Embedded Software, EMSOFT 2011, Oct 2011, Taipei, Taiwan. pp.59-68, ⟨10.1145/2038642.2038654⟩
Communication dans un congrès
hal-00722405v1
|
||
|
State-of-the-art tools and techniques for quantitative modeling and analysis of embedded systems2012 Design, Automation & Test in Europe Conference & Exhibition, Mar 2012, Dresde, Germany. pp.370-375, ⟨10.1109/DATE.2012.6176499⟩
Communication dans un congrès
hal-00878117v1
|
||
|
System-Level Modeling, Analysis and Code Generation: Object Recognition Case StudyEmbedded World 2012, Feb 2012, Nuremberg, Germany
Communication dans un congrès
hal-00722513v1
|
||
|
Compositional Verification for Component-based Systems and ApplicationAutomated Technology for Verification and Analysis 6th International Symposium, ATVA 2008, Oct 2008, Seoul, South Korea. pp.64-79, ⟨10.1007/978-3-540-88387-6⟩
Communication dans un congrès
hal-00359303v1
|