Filtrer vos résultats
- 116
- 5
- 76
- 24
- 9
- 7
- 2
- 1
- 1
- 1
- 9
- 121
- 7
- 6
- 5
- 3
- 28
- 46
- 24
- 9
- 9
- 1
- 1
- 121
- 121
- 121
- 16
- 9
- 7
- 5
- 4
- 4
- 3
- 2
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 75
- 32
- 29
- 20
- 17
- 12
- 10
- 9
- 8
- 8
- 7
- 7
- 6
- 6
- 6
- 5
- 5
- 5
- 4
- 4
- 4
- 4
- 4
- 4
- 4
- 4
- 4
- 4
- 4
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 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
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
121 résultats
|
|
Attainable Unconditional Security for Shared-Key CryptosystemsThe 14th IEEE International Conference on Trust, Security and Privacy in Computing and Communications (IEEE TrustCom-15), Aug 2015, Helsinki, Finland
Communication dans un congrès
hal-01192859v1
|
||
|
|
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
|
||
|
|
QUAIL: A Quantitative Security Analyzer for Imperative CodeCAV 2013 - 25th International Conference on Computer Aided Verification, Jul 2013, Saint Petersburg, Russia. pp.702-707, ⟨10.1007/978-3-642-39799-8_49⟩
Communication dans un congrès
hal-01242615v1
|
||
|
|
Translation Validation for Clock Transformations in a Synchronous CompilerFASE - ETAPS 2015, Apr 2015, London, United Kingdom
Communication dans un congrès
hal-01087795v3
|
||
|
|
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
|
||
|
|
Measuring Behaviour Interactions between Product-Line Features3rd IEEE/ACM FME Workshop on Formal Methods in Software Engineering, May 2015, Firenze, Italy
Communication dans un congrès
hal-01237655v1
|
||
|
|
Compositionality for Quantitative Specifications[Research Report] Inria Rennes. 2014
Rapport
hal-01088154v1
|
||
|
|
On Statistical Model Checking with PLASMAThe 8th International Symposium on Theoretical Aspects of Software Engineering, Sep 2014, Changsha, China
Communication dans un congrès
hal-01088859v1
|
||
|
|
Beyond Boolean Product-Line Model Checking: Dealing with Feature Attributes and Multi-FeaturesICSE 2013 International Conference on Software Engineering, Jun 2013, San Francisco, United States. pp.472-481
Communication dans un congrès
hal-01087792v1
|
||
|
|
State machine flattening, a mapping study and tools assessment8th IEEE International Conference on Software Testing, Verification and Validation, Apr 2015, Graz, Austria. ⟨10.1109/ICSTW.2015.7107408⟩
Communication dans un congrès
hal-01242787v1
|
||
|
|
Importance Splitting for Statistical Model Checking Rare PropertiesComputer Aided Verification, Jul 2013, Saint-Pétersbourg, Russia. pp.576 - 591, ⟨10.1007/978-3-642-39799-8_38⟩
Communication dans un congrès
hal-01087826v1
|
||
|
|
Hennessy-Milner Logic with Greatest Fixed Points as a Complete Behavioural Specification TheoryCONCUR 2013 - 24th International Conference Concurrency Theory, Aug 2013, Buenos Aires, Argentina. pp.76 - 90, ⟨10.1007/978-3-642-40184-8_7⟩
Communication dans un congrès
hal-01087914v1
|
||
|
|
Sound Merging and Differencing for Class DiagramsFASE 2014 : 17th International Conference on Fundamental Approaches to Software Engineering, Apr 2014, Grenoble, France. pp.63 - 78, ⟨10.1007/978-3-642-54804-8_5⟩
Communication dans un congrès
hal-01087323v1
|
||
|
|
PyEcdar: Towards Open Source Implementation for Timed Systems11th International Symposium on Automated Technology for Verification and Analysis, Oct 2013, Hanoi, France. pp.460 - 463, ⟨10.1007/978-3-319-02444-8_35⟩
Communication dans un congrès
hal-01087318v1
|
||
|
|
Model-Based Verification, Optimization, Synthesis and Performance Evaluation of Real-Time SystemsICTAC, Aug 2013, Shanghai, China. pp.67 - 108, ⟨10.1007/978-3-642-39721-9_2⟩
Communication dans un congrès
hal-01087927v1
|
||
|
|
Robust Specification of Real Time Components9th International Conference on Formal Modelling and Analysis of Timed Systems (FORMATS 2011), Sep 2011, Aalborg, Denmark. pp.129 - 144, ⟨10.1007/978-3-642-24310-3_10⟩
Communication dans un congrès
hal-01088002v1
|
||
|
|
Quantitative Refinement for Weighted Modal Transition SystemsMFCS, Aug 2011, Warszawa, Poland. pp.60 - 71, ⟨10.1007/978-3-642-22993-0_9⟩
Communication dans un congrès
hal-01088046v1
|
||
|
|
Statistical Model Checking of Systems of Systems: An Industrial Approach[Research Report] RR-8828, Inria. 2015
Rapport
hal-01242864v2
|
||
|
|
Statistical Abstraction Boosts Design and Test Efficiency of Evolving Critical SystemsLeveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change, EasyConference, Oct 2014, Corfu, Greece. pp.4 - 25, ⟨10.1007/978-3-662-45234-9_2⟩
Communication dans un congrès
hal-01087858v1
|
||
|
|
Scalable Verification of Markov Decision Processes4th Workshop on Formal Methods in the Development of Software (FMDS 2014), Sep 2014, Grenoble, France
Communication dans un congrès
hal-01088396v1
|
||
|
|
SoS contract verification using statistical model checking2013, pp.67 - 83. ⟨10.4204/EPTCS.133.7⟩
Autre publication scientifique
hal-01090330v1
|
||
|
|
Infinite Runs in Weighted Timed Automata with Energy ConstraintsProceedings of the 6th International Conference on Formal Modelling and Analysis of Timed Systems (FORMATS'08), 2008, Saint-Malo, France. pp.33-47, ⟨10.1007/978-3-540-85778-5_4⟩
Communication dans un congrès
hal-01194594v1
|
||
|
|
Towards statistical prioritization for software product lines testingVAMOS, Jan 2014, Nice, France. pp.1 - 7, ⟨10.1145/2556624.2556635⟩
Communication dans un congrès
hal-01092958v1
|
||
|
|
GT SoS: Research Network on Trustworthy Software-intensive Systems-of-SystemsERCIM News, 2015, 102
Article dans une revue
hal-01242651v1
|
||
|
|
Domain-Specific Code Generator Modeling: A Case Study for Multi-faceted Concurrent SystemsLeveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change., Oct 2014, Corfu, Greece. pp.481 - 498, ⟨10.1007/978-3-662-45234-9_33⟩
Communication dans un congrès
hal-01087322v1
|
||
|
|
The quantitative linear-time–branching-time spectrumTheoretical Computer Science, 2014, pp.54-69. ⟨10.1016/j.tcs.2013.07.030⟩
Article dans une revue
hal-01087368v1
|
||
|
|
Reachability analysis for timed automata using max-plus algebraJournal of Logic and Algebraic Programming, 2012, 81, pp.298 - 313. ⟨10.1016/j.jlap.2011.10.004⟩
Article dans une revue
hal-01087998v1
|
||
|
|
Energy Games in Multiweighted AutomataICTAC, Aug 2011, Johannesburg, South Africa. pp.95 - 115, ⟨10.1007/978-3-642-23283-1_9⟩
Communication dans un congrès
hal-01088043v1
|
||
|
|
Distances for Weighted Transition Systems: Games and PropertiesQAPL, Apr 2011, Saarbrücken, Germany. pp.134 - 147, ⟨10.4204/EPTCS.57.10⟩
Communication dans un congrès
hal-01088053v1
|
||
|
|
Quantitative Anonymity Evaluation of Voting Protocols12th International Conference on Software Engineering and Formal Methods, Sep 2014, Grenoble, France
Communication dans un congrès
hal-01088188v1
|