Filtrer vos résultats
- 21
- 5
- 13
- 5
- 5
- 2
- 1
- 2
- 26
- 1
- 1
- 2
- 3
- 5
- 4
- 2
- 1
- 5
- 1
- 2
- 26
- 17
- 17
- 11
- 3
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 26
- 9
- 9
- 6
- 5
- 4
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 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
26 résultats
|
|
|
triés par
|
|
|
Scalable Approximation of Quantitative Information Flow in Programs2017
Pré-publication, Document de travail
hal-01629131v1
|
||
|
|
Information Leakage by Trace Analysis in QUAIL2014
Pré-publication, Document de travail
hal-01088208v1
|
||
|
|
An Application of SMC to continuous validation of heterogeneous systemsSimutools 2016 - Ninth EAI International Conference on Simulation Tools and Techniques, Aug 2016, Prague, Czech Republic
Communication dans un congrès
hal-01390487v1
|
||
|
|
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
|
||
|
|
Comparative Analysis of Leakage Tools on Scalable Case Studies22nd International SPIN Workshop on Model Checking of Software, Aug 2015, Stellenbosch, South Africa. ⟨10.1007/978-3-319-23404-5_17⟩
Communication dans un congrès
hal-01241352v1
|
||
|
|
Dynamic Verification of SystemC with Statistical Model Checking[Research Report] RR-8644, INRIA Rennes - Bretagne Atlantique, équipe ESTASYS; INRIA. 2014, pp.25
Rapport
hal-01089742v3
|
||
|
|
Validation of Perception and Decision-Making Systems for Autonomous Driving via Statistical Model CheckingIV 2019 - 30th IEEE Intelligent Vehicles Symposium, Jun 2019, Paris, France. pp.252-259, ⟨10.1109/IVS.2019.8813793⟩
Communication dans un congrès
hal-02127889v1
|
||
|
|
Verification of Interlocking Systems Using Statistical Model Checking18th IEEE International Symposium on High Assurance Systems Engineering (HASE), Jan 2017, Singapore, Singapore. pp.61 - 68, ⟨10.1109/HASE.2017.10⟩
Communication dans un congrès
hal-01591338v1
|
||
|
|
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
|
||
|
|
Statistical Model Checking of Systems of Systems: An Industrial Approach[Research Report] RR-8828, Inria. 2015
Rapport
hal-01242864v2
|
||
|
|
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 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
|
||
The SoS Architect Studio: Toolchain for the Formal Architecture Description and Analysis of Software-intensive Systems-of-Systems with SosADLProceedings of the ECSA International Colloquium on Software-intensive Systems-of-Systems (SiSoS), Nov 2016, Copenhagen, Denmark
Communication dans un congrès
hal-01443130v1
|
|||
|
|
Verification of interlocking systems using statistical model checking2016
Pré-publication, Document de travail
hal-01398649v1
|
||
|
|
Statistical Model Checking for SystemC ModelsHigh Assurance Systems Engineering Symposium, Jan 2016, Orlando, Florida, United States
Communication dans un congrès
hal-01238162v1
|
||
|
|
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
|
||
|
|
Distributed Implementations of Component-based Systems with Prioritized Multiparty Interactions. Application to the BIP Framework.Distributed, Parallel, and Cluster Computing [cs.DC]. Université de Grenoble, 2013. English. ⟨NNT : ⟩
Thèse
tel-00947636v1
|
||
|
|
Statistical Model Checking of Dynamic Software ArchitecturesECSA 2016 - 10th European Conference on Software Architecture, Nov 2016, Copenhague, Denmark
Communication dans un congrès
hal-01390707v1
|
||
|
|
Efficient Extraction of Malware Signatures Through System Calls and Symbolic Execution: An Experience Report2018
Pré-publication, Document de travail
hal-01954483v1
|
||
A framework for automated distributed implementation of component-based modelsDistributed Computing, 2012, 25 (5), pp.383-409. ⟨10.1007/s00446-012-0168-6⟩
Article dans une revue
istex
hal-00877995v1
|
|||
|
|
Verifying Systems-of-Systems with Statistical Model CheckingERCIM News, 2015, 103
Article dans une revue
hal-01242652v1
|
||
|
|
Security Enforcement in IoT Systems using Attack Trees2018
Pré-publication, Document de travail
hal-01962089v1
|
||
|
|
Optimized distributed implementation of multiparty interactions with RestrictionScience of Computer Programming, 2015, 98, pp.293 - 316. ⟨10.1016/j.scico.2014.02.013⟩
Article dans une revue
hal-01864700v1
|
||
|
|
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
|
||
|
|
An Application of SMC to continuous validation of heterogeneous systemsEAI Endorsed Transactions on Industrial Networks and Intelligent Systems, 2017, 4 (10), pp.1-19. ⟨10.4108/eai.1-2-2017.152154⟩
Article dans une revue
hal-01630523v1
|
||
Model-based implementation of distributed systems with prioritiesDesign Automation for Embedded Systems, 2012, pp.Online ISSN 1572-8080. ⟨10.1007/s10617-012-9091-0⟩
Article dans une revue
istex
hal-00878023v1
|