Search - Archive ouverte HAL Access content directly

Filter your results

834 Results
Structure: Internal structure identifier : 419365
Image document

A linear-time–branching-time spectrum for behavioral specification theories

Uli Fahrenberg , Axel Legay
Other publications hal-01406603v1
Image document

Certified semantics and analysis of JavaScript

Martin Bodin
Programming Languages [cs.PL]. Université Rennes 1, 2016. English. ⟨NNT : 2016REN1S087⟩
Theses tel-01478722v1
Image document

Contracts for Schedulability Analysis

Philipp Reinkemeier , Albert Benveniste , Werner Damm , Ingo Stierand
13th 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
Image document

Proofs You Can Believe In. Proving Equivalences Between Prolog Semantics in Coq

Jael Kriener , Andy King , Sandrine Blazy
15th International Symposium on Principles and Practice of Declarative Programming (PPDP), Sep 2013, Madrid, Spain. pp.37-48
Conference papers hal-00908848v1
Image document

Using free modeling as an Agile method for developing domain specific modeling languages

Fahad Rafique Golra , Antoine Beugnard , Fabien Dagnat , Sylvain Guerin , Christophe Guychard et al.
MODELS 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
Image document

Approche à contraintes pour la sélection de Covering Array

Aymeric Hervieu
Autre [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. Proceedings

Sandrine Blazy , Thomas Jensen
Sandrine 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
Image document

Hybrid Statistical Estimation of Mutual Information for Quantifying Information Flow

Yusuke Kawamoto , Fabrizio Biondi , Axel Legay
FM 2016 - 21st International Symposium on Formal Methods, Nov 2016, Limassol, Cyprus
Conference papers hal-01378675v1
Image document

A Complexity Tale: Web Configurators

Gilles Perrouin , Mathieu Acher , Jean-Marc Davril , Axel Legay , Patrick Heymans et al.
VACE 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
Image document

A Generative Middleware for Heterogeneous and Distributed Services

Brice Morin , Franck Fleurey , Knut Eilif Husa , Olivier Barais
19th International ACM Sigsoft Symposium on Component-Based Software Engineering (CBSE 2016), Apr 2016, Venise, Italy. ⟨10.1109/CBSE.2016.12⟩
Conference papers hal-01356104v1
Image document

Reachability analysis of rewriting for software verification

Thomas Genet
Software Engineering [cs.SE]. Université Rennes 1, 2009
Habilitation à diriger des recherches tel-00477013v2
Image document

Efficient Multi-Objective Optimisation of Service Compositions in Mobile Ad hoc Networks Using Lightweight Surrogate Models

Dionysios Efstathiou , Peter Mcburney , Steffen Zschaler , Johann Bourcier
Journal of Universal Computer Science, 2014, 20 (8), pp.20
Journal articles hal-01090552v1
Image document

Interactive Demand-Shifting in the Context of Domestic Micro-Generation

Jacky Bourgeois
Human-Computer Interaction [cs.HC]. The Open University; Université de Rennes 1 [UR1], 2016. English. ⟨NNT : ⟩
Theses tel-01385022v1
Image document

DIVERSIFY: Ecology-inspired software evolution for diversity emergence

Benoit Baudry , Martin Monperrus , Cendrine Mony , Franck Chauvel , Franck Fleurey et al.
Proceedings 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 Classes

Paolo Ballarini , Nathalie Bertrand , Andras Horvath , Marco Paolieri , Enrico Vicario et al.
QEST - 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
Image document

Customization and 3D Printing: A Challenging Playground for Software Product Lines

Mathieu Acher , Benoit Baudry , Olivier Barais , Jean-Marc Jézéquel
18th International Software Product Line Conference, Jul 2014, Florence, Italy
Conference papers hal-01018937v1
Image document

Towards Managing Variability in the Safety Design of an Automotive Hall Effect Sensor

Dimitri van Landuyt , Steven Op de Beeck , Aram Hovsepyan , Sam Michiels , Wouter Joosen et al.
18th International Software Product Line Conference, Sep 2014, Florence, Italy
Conference papers hal-01018938v1
Image document

Reverse Engineering Web Configurators

Ebrahim Khalil Abbasi , Mathieu Acher , Patrick Heymans , Anthony Cleve
17th European Conference on Software Maintenance and Reengineering (CSMR), Feb 2014, Antwerp, Belgium
Conference papers hal-00913139v1
Image document

Breathing Ontological Knowledge Into Feature Model Synthesis: An Empirical Study

Guillaume Bécan , Mathieu Acher , Benoit Baudry , Sana Ben Nasr
Empirical Software Engineering, 2015, pp.51. ⟨10.1007/s10664-014-9357-1⟩
Journal articles hal-01096969v1
Image document

Estimating Rewards & Rare Events in Nondeterministic Systems

Axel Legay , Sean Sedwards , Louis-Marie Traonouez
Proceedings 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
Image document

Deciding the Value 1 Problem for Reachability in 1-Clock Decision Stochastic Timed Automata

Nathalie Bertrand , Thomas Brihaye , Blaise Genest
Quantitative Evaluation of Systems (QEST'14), Sep 2014, Florence, Italy. pp.313 - 328, ⟨10.1007/978-3-319-10696-0_25⟩
Conference papers hal-01088113v1
Image document

Attainable Unconditional Security for Shared-Key Cryptosystems

Fabrizio Biondi , Thomas Given-Wilson , Axel Legay
Preprints, Working Papers, ... hal-01233185v2
Image document

Statistical Model Checking of Dynamic Software Architectures

Everton Cavalcante , Jean Quilbeuf , Louis-Marie Traonouez , Flavio Oquendo , Thais Batista et al.
ECSA 2016 - 10th European Conference on Software Architecture, Nov 2016, Copenhague, Denmark
Conference papers hal-01390707v1
Image document

An Abstract Memory Functor for Verified C Static Analyzers

Sandrine Blazy , Vincent Laporte , David Pichardie
ACM 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 Models

Guillaume Claude , Valérie Gouranton , Benoît Caillaud , Bernard Gibaud , Bruno Arnaldi et al.
Studies in Health Technology and Informatics, 2016, 220, pp.63--70. ⟨10.3233/978-1-61499-625-5-63⟩
Journal articles hal-01300990v1
Image document

Diagnosability of Repairable Faults

Eric Fabre , Loïc Hélouët , Engel Lefaucheux , Hervé Marchand
13th International Workshop on Discrete Event Systems, 2016, Xi'an, China. pp.256-262
Conference papers hal-01302562v1
Image document

Puzzle: A tool for analyzing and extracting specification clones in DSLs

David Méndez-Acuña , José Angel Galindo Duarte , Benoit Combemale , Arnaud Blouin , Benoit Baudry et al.
ICSR 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. Proceedings

Sandrine Blazy , Marsha Chechik
Sandrine 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
Image document

Formal Verification of Control-flow Graph Flattening

Sandrine Blazy , Alix Trieu
Certified Proofs and Programs (CPP 2016), Jan 2016, Saint-Petersburg, United States. pp.12, ⟨10.1145/2854065.2854082⟩
Conference papers hal-01242063v1
Image document

Diagnosis in Infinite-State Probabilistic Systems

Nathalie Bertrand , Serge Haddad , Engel Lefaucheux
27th 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