Filter your results
- 672
- 157
- 5
- 511
- 137
- 60
- 42
- 25
- 17
- 13
- 10
- 7
- 7
- 3
- 1
- 1
- 805
- 32
- 19
- 18
- 9
- 7
- 4
- 1
- 1
- 2
- 1
- 7
- 5
- 7
- 186
- 189
- 214
- 104
- 46
- 27
- 23
- 16
- 2
- 1
- 2
- 1
- 769
- 61
- 3
- 1
- 834
- 737
- 33
- 28
- 27
- 25
- 24
- 24
- 22
- 22
- 21
- 17
- 16
- 16
- 15
- 15
- 14
- 11
- 10
- 10
- 8
- 7
- 7
- 7
- 7
- 7
- 7
- 7
- 7
- 6
- 6
- 6
- 6
- 5
- 5
- 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
- 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
- 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
- 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
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 107
- 55
- 43
- 43
- 40
- 39
- 35
- 32
- 29
- 29
- 29
- 27
- 27
- 25
- 25
- 23
- 22
- 22
- 21
- 20
- 18
- 18
- 17
- 17
- 17
- 16
- 16
- 15
- 15
- 14
- 14
- 14
- 14
- 14
- 13
- 13
- 12
- 12
- 11
- 10
- 10
- 10
- 10
- 10
- 10
- 10
- 9
- 9
- 9
- 9
- 9
- 9
- 9
- 8
- 8
- 8
- 8
- 8
- 8
- 8
- 7
- 7
- 7
- 7
- 7
- 7
- 7
- 7
- 7
- 7
- 7
- 7
- 6
- 6
- 6
- 6
- 6
- 6
- 6
- 6
- 6
- 6
- 6
- 6
- 6
- 6
- 6
- 6
- 6
- 6
- 6
- 6
- 6
- 6
- 6
- 5
- 5
- 5
- 5
- 5
|
A linear-time–branching-time spectrum for behavioral specification theories2020, pp.100499 -. ⟨10.1016/j.jlamp.2019.100499⟩
Other publications
hal-01406603v1
|
||
|
Certified semantics and analysis of JavaScriptProgramming Languages [cs.PL]. Université Rennes 1, 2016. English. ⟨NNT : 2016REN1S087⟩
Theses
tel-01478722v1
|
||
|
Contracts for Schedulability Analysis13th International Conference on Formal Modeling and Analysis of Timed Systems, FORMATS 2015, Sriram Sankaranarayanan (University of Colorado at Boulder, USA); Enrico Vicario (University of Florence, Italy), Sep 2015, Madrid, Spain
Conference papers
hal-01182407v1
|
||
|
Proofs You Can Believe In. Proving Equivalences Between Prolog Semantics in Coq15th International Symposium on Principles and Practice of Declarative Programming (PPDP), Sep 2013, Madrid, Spain. pp.37-48
Conference papers
hal-00908848v1
|
||
|
Using free modeling as an Agile method for developing domain specific modeling languagesMODELS 2016 : ACM/IEEE 19th International Conference on Model Driven Engineering Languages and Systems, Oct 2016, Saint Malo, France. pp.24 - 34, ⟨10.1145/2976767.2976807⟩
Conference papers
hal-01393781v1
|
||
|
Approche à contraintes pour la sélection de Covering ArrayAutre [cs.OH]. Université Rennes 1, 2013. Français. ⟨NNT : 2013REN1S143⟩
Theses
tel-00915223v2
|
||
Static Analysis Symposium - 22nd International Symposium, SAS 2015, Saint-Malo, France, September 9-11, 2015. ProceedingsSandrine Blazy; Thomas Jensen. Static Analysis Symposium - 22nd International Symposium, SAS 2015, Aug 2015, Saint-Malo, France. Lecture Notes in Computer Science (LNCS) (9291), Springer, pp.335, 2015, 978-3-662-48287-2
Proceedings
hal-01194558v1
|
|||
|
Hybrid Statistical Estimation of Mutual Information for Quantifying Information FlowFM 2016 - 21st International Symposium on Formal Methods, Nov 2016, Limassol, Cyprus
Conference papers
hal-01378675v1
|
||
|
A Complexity Tale: Web ConfiguratorsVACE 2016 - 1st International Workshop on Variability and Complexity in Software Design Pages (co-located with ICSE'16), May 2016, Austin, United States. pp.28 - 31, ⟨10.1145/2897045.2897051⟩
Conference papers
hal-01427165v1
|
||
|
A Generative Middleware for Heterogeneous and Distributed Services19th International ACM Sigsoft Symposium on Component-Based Software Engineering (CBSE 2016), Apr 2016, Venise, Italy. ⟨10.1109/CBSE.2016.12⟩
Conference papers
hal-01356104v1
|
||
|
Reachability analysis of rewriting for software verificationSoftware Engineering [cs.SE]. Université Rennes 1, 2009
Habilitation à diriger des recherches
tel-00477013v2
|
||
|
Efficient Multi-Objective Optimisation of Service Compositions in Mobile Ad hoc Networks Using Lightweight Surrogate ModelsJournal of Universal Computer Science, 2014, 20 (8), pp.20
Journal articles
hal-01090552v1
|
||
|
Interactive Demand-Shifting in the Context of Domestic Micro-GenerationHuman-Computer Interaction [cs.HC]. The Open University; Université de Rennes 1 [UR1], 2016. English. ⟨NNT : ⟩
Theses
tel-01385022v1
|
||
|
DIVERSIFY: Ecology-inspired software evolution for diversity emergenceProceedings of IEEE CSMR-WCRE, Feb 2014, Antwerp, Belgium. pp.395-398, ⟨10.1109/CSMR-WCRE.2014.6747203⟩
Conference papers
hal-00916281v1
|
||
|
Transient Analysis of Networks of Stochastic Timed Automata using Stochastic State ClassesQEST - 10th International Conference on Quantitative Evaluation of Systems, Aug 2013, Buenos Aires, Argentina. pp.355-371, ⟨10.1007/978-3-642-40196-1_30⟩
Conference papers
istex
hal-00915026v1
|
||
|
Customization and 3D Printing: A Challenging Playground for Software Product Lines18th International Software Product Line Conference, Jul 2014, Florence, Italy
Conference papers
hal-01018937v1
|
||
|
Towards Managing Variability in the Safety Design of an Automotive Hall Effect Sensor18th International Software Product Line Conference, Sep 2014, Florence, Italy
Conference papers
hal-01018938v1
|
||
|
Reverse Engineering Web Configurators17th European Conference on Software Maintenance and Reengineering (CSMR), Feb 2014, Antwerp, Belgium
Conference papers
hal-00913139v1
|
||
|
Breathing Ontological Knowledge Into Feature Model Synthesis: An Empirical StudyEmpirical Software Engineering, 2015, pp.51. ⟨10.1007/s10664-014-9357-1⟩
Journal articles
hal-01096969v1
|
||
|
Estimating Rewards & Rare Events in Nondeterministic SystemsProceedings of the 15th International Workshop on Automated Verification of Critical Systems (AVoCS 2015), Sep 2015, Edinburgh, United Kingdom. ⟨10.14279/tuj.eceasst.72.1023⟩
Conference papers
hal-01239051v1
|
||
|
Deciding the Value 1 Problem for Reachability in 1-Clock Decision Stochastic Timed AutomataQuantitative Evaluation of Systems (QEST'14), Sep 2014, Florence, Italy. pp.313 - 328, ⟨10.1007/978-3-319-10696-0_25⟩
Conference papers
hal-01088113v1
|
||
|
Attainable Unconditional Security for Shared-Key Cryptosystems2016
Preprints, Working Papers, ...
hal-01233185v2
|
||
|
Statistical Model Checking of Dynamic Software ArchitecturesECSA 2016 - 10th European Conference on Software Architecture, Nov 2016, Copenhague, Denmark
Conference papers
hal-01390707v1
|
||
|
An Abstract Memory Functor for Verified C Static AnalyzersACM SIGPLAN International Conference on Functional Programming (ICFP 2016), Sep 2016, Nara, Japan. pp.14, ⟨10.1145/2951913.2951937⟩
Conference papers
hal-01339969v1
|
||
Synthesis and Simulation of Surgical Process ModelsStudies in Health Technology and Informatics, 2016, 220, pp.63--70. ⟨10.3233/978-1-61499-625-5-63⟩
Journal articles
hal-01300990v1
|
|||
|
Diagnosability of Repairable Faults13th International Workshop on Discrete Event Systems, 2016, Xi'an, China. pp.256-262
Conference papers
hal-01302562v1
|
||
|
Puzzle: A tool for analyzing and extracting specification clones in DSLsICSR 2016 the 15th International Conference on Software Reuse, Jun 2016, Limassol, Cyprus
Conference papers
hal-01284822v1
|
||
Verified Software: Theories, Tools, and Experiments - 8th International Conference, VSTTE 2016, Toronto, Canada, July 17-18, 2016. ProceedingsSandrine Blazy and Marsha Chechik. Verified Software: Theories, Tools, and Experiments - 8th International Conference, VSTTE 2016, Jul 2016, Toronto, Canada. 9971, Springer, 2016, Lecture Notes in Computer Science
Proceedings
hal-01387207v1
|
|||
|
Formal Verification of Control-flow Graph FlatteningCertified Proofs and Programs (CPP 2016), Jan 2016, Saint-Petersburg, United States. pp.12, ⟨10.1145/2854065.2854082⟩
Conference papers
hal-01242063v1
|
||
|
Diagnosis in Infinite-State Probabilistic Systems27th International Conference on Concurrency Theory (Concur 2016), Aug 2016, Québec city, Canada. pp.37:1-37:15, ⟨10.4230/LIPIcs.CONCUR.2016.37⟩
Conference papers
hal-01373354v1
|