Filtrer vos résultats
- 36
- 15
- 2
- 2
- 2
- 1
- 40
- 29
- 25
- 17
- 8
- 7
- 6
- 5
- 5
- 5
- 4
- 4
- 4
- 3
- 3
- 3
- 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
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 54
- 1
- 56
- 5
- 5
- 5
- 3
- 3
- 3
- 3
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 58
- 58
- 58
- 56
- 56
- 40
- 12
- 9
- 9
- 9
- 9
- 9
- 9
- 9
- 9
- 8
- 8
- 8
- 8
- 8
- 7
- 6
- 6
- 5
- 5
- 5
- 4
- 4
- 3
- 3
- 3
- 3
- 3
- 3
- 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
- 1
- 1
- 56
- 2
- 46
- 12
- 1
- 1
- 1
- 1
- 2
- 3
- 2
- 2
- 1
- 2
- 4
- 7
- 3
- 5
- 1
- 2
- 2
- 4
- 4
- 3
- 3
- 2
- 2
58 résultats
|
|
triés par
|
|
Modèles temporels des systèmes logiquesModélisation et simulation. Université Joseph-Fourier - Grenoble I, 1974. Français. ⟨NNT : ⟩
Thèse
tel-00010517v1
|
||
|
Le contrôle des systèmes asynchrones : concepts, propriétés, analyse statiqueModélisation et simulation. Institut National Polytechnique de Grenoble - INPG; Université Joseph-Fourier - Grenoble I, 1979. Français. ⟨NNT : ⟩
Thèse
tel-00010598v1
|
||
|
Modeling Heterogeneous Real-Time Components in BIPFourth IEEE International Conference on Software Engineering and Formal Methods (SEFM'06), Sep 2006, Pune, India. pp.3-12
Communication dans un congrès
hal-00375298v1
|
||
|
Source-to-Source Architecture Transformation for Performance Optimization in BIPIEEE Fourth International Symposium on Industrial Embedded Systems - SIES 2009, Jul 2009, Lausanne, Switzerland. pp.152-160, ⟨10.1109/SIES.2009.5196211⟩
Communication dans un congrès
hal-00722549v1
|
||
|
Structural Invariants for Parametric Verification of Systems with Almost Linear Architectures2019
Pré-publication, Document de travail
hal-02388025v1
|
||
|
Challenges and Work Directions for Europe2nd Embedded Real Time Software Congress (ERTS'04), 2004, Toulouse, France
Communication dans un congrès
hal-02275449v1
|
||
|
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
|
||
|
Local Reasoning about Parametric and Reconfigurable Component-based Systems2019
Pré-publication, Document de travail
hal-02267423v1
|
||
|
Source-To-Source Architecture Transformation for Performance Optimization in BIPIEEE Transactions on Industrial Informatics, 2010, 6 (4), pp.708-718. ⟨10.1109/TII.2010.2069102⟩
Article dans une revue
hal-00722520v1
|
||
|
D-Finder: A Tool for Compositional Deadlock Detection and VerificationComputer Aided Verification, 21st International Conference, CAV 2009, Jun 2009, Grenoble, France. pp.614-619, ⟨10.1007/978-3-642-02658-4_45⟩
Communication dans un congrès
hal-00722550v1
|
||
|
Compositional Verification for Component-based Systems and ApplicationIET Software, 2010, 4 (3), pp.181-193. ⟨10.1049/iet-sen.2009.0011⟩
Article dans une revue
hal-00568866v1
|
||
|
Fine Grain QoS Control for Multimedia Application SoftwareDATE'05, Mar 2005, Munich, Germany. pp.1038-1043
Communication dans un congrès
hal-00181681v1
|
||
|
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
|
||
|
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
|
||
Rigorous Component-Based System Design - (Invited Paper)Rewriting Logic and Its Applications - 9th International Workshop, WRLA 2012, Held as a Satellite Event of ETAPS 2012, Mar 2012, Tallin, Estonia. pp.1-9, ⟨10.1007/978-3-642-34005-5_1⟩
Communication dans un congrès
hal-00878722v1
|
|||
|
Brief Announcement: : Incremental Component-Based Modeling, Verification, and Performance Evaluation of Distributed ResetDistributed Computing, 23rd International Symposium, DISC 2009, Sep 2009, Elche, Spain. pp.174-175, ⟨10.1007/978-3-642-04355-0_19⟩
Communication dans un congrès
hal-00691925v1
|
||
|
Systematic Correct Construction of Self-stabilizing Systems: A Case StudyStabilization, Safety, and Security of Distributed Systems - 12th International Symposium, SSS 2010, Sep 2010, New York, NY, United States. pp.4-18, ⟨10.1007/978-3-642-16023-3_4⟩
Communication dans un congrès
hal-00558054v1
|
||
|
Automated Conflict-Free Distributed Implementation of Component-Based ModelsIEEE Fifth International Symposium on Industrial Embedded Systems, Jul 2010, Trento, Italy. pp.108-117, ⟨10.1109/SIES.2010.5551377⟩
Communication dans un congrès
hal-00558046v1
|
||
|
Distributed Semantics and Implementation for Systems with Interaction and PriorityFormal Techniques for Networked and Distributed Systems – FORTE 2008, Jun 2008, Tokyo, Japan. pp.116--133, ⟨10.1007/978-3-540-68855-6⟩
Communication dans un congrès
hal-00359261v1
|
||
|
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
|
||
|
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
|
||
|
Programming Dynamic Reconfigurable SystemsFormal Aspects of Component Software - 15th International Conference, FACS 2018, Oct 2018, Pohang, South Korea
Communication dans un congrès
hal-01888550v1
|
||
|
Specification and Validation of Autonomous Driving Systems: A Multilevel Semantic FrameworkJean-Francois Raskin; Krishnendu Chatterjee; Laurent Doyen; Rupak Majumdar. Principles of Systems Design - Essays Dedicated to Thomas A. Henzinger on the Occasion of His 60th Birthday, 13660, Springer Nature Switzerland, pp.85-106, 2022, Lecture Notes in Computer Science, 978-3-031-22336-5. ⟨10.1007/978-3-031-22337-2_5⟩
Chapitre d'ouvrage
hal-04103905v1
|
||
|
Knowledge-based Distributed Conflict Resolution for Multiparty Interactions and Priorities14th International Conference on Formal Methods for Open Object-Based Distributed Systems (FMOODS) / 32nd International Conference on Formal Techniques for Networked and Distributed Systems (FORTE), Jun 2012, Stockholm, Sweden. pp.118-134, ⟨10.1007/978-3-642-30793-5_8⟩
Communication dans un congrès
hal-00722485v1
|
||
|
Optimized Distributed Implementation of Multiparty Interactions with ObservationAGERE! @ SPLASH 2012: 2nd International Workshop on Programming based on Actors, Agents, and Decentralized Control, Oct 2012, Tucson, Arizona, United States. pp.89-98
Communication dans un congrès
hal-00878242v1
|
||
A temporal configuration logic for dynamic reconfigurable systemsSAC '21: The 36th ACM/SIGAPP Symposium on Applied Computing, Mar 2021, Virtual Event, Republic of Korea, South Korea. pp.1419-1428, ⟨10.1145/3412841.3442017⟩
Communication dans un congrès
hal-04106114v1
|
|||
|
Programming dynamic reconfigurable systemsInternational Journal on Software Tools for Technology Transfer, 2021, 23 (5), pp.701-719. ⟨10.1007/s10009-020-00596-7⟩
Article dans une revue
hal-04106085v1
|
||
|
Correct by Design Coordination of Autonomous Driving Systems11th International Symposium On Leveraging Applications of Formal Methods, Verification and Validation (ISoLA 2022), Oct 2022, Rhodes, Greece. pp.13-29, ⟨10.1007/978-3-031-19759-8_2⟩
Communication dans un congrès
hal-04105468v1
|
||
|
A Layered Implementation of DR-BIP Supporting Run-Time Monitoring and AnalysisInternational Conference on Software Engineering and Formal Methods, SEFM 2020, Sep 2020, Amsterdam, Netherlands. pp.284-302, ⟨10.1007/978-3-030-58768-0_16⟩
Communication dans un congrès
hal-04104591v1
|
||
|
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
|
- 1
- 2