Search - Archive ouverte HAL Access content directly

Filter your results

30 Results

Causality Analysis in Contract Violation

Gregor Goessler , Daniel Le Métayer , Jean-Baptiste Raclet
Runtime Verification, Nov 2010, St Julians, Malta. pp.270-284
Conference papers inria-00548815v1

Modal event-clock specifications for timed component-based design

Nathalie Bertrand , Axel Legay , Sophie Pinchinat , Jean-Baptiste Raclet
Science of Computer Programming, 2012, 77, pp.1212-1234. ⟨10.1016/j.scico.2011.01.007⟩
Journal articles hal-00752449v1
Image document

Application of Interface Theories to the Separate Compilation of Synchronous Programs

Albert Benveniste , Benoît Caillaud , Raclet Jean-Baptiste
[Research Report] RR-8030, INRIA. 2012
Reports hal-00721049v1

Application of Interface Theories to the Separate Compilation of Synchronous Programs

Albert Benveniste , Benoit Caillaud , Jean-Baptiste Raclet
51st IEEE Conference on Decision and Control (CDC 2012), Jay A. Farrell, Dec 2012, Maui, Hawaii, United States. ⟨10.1109/CDC.2012.6426437⟩
Conference papers hal-00766793v1

A Compositional Approach on Modal Specifications for Timed Systems.

Nathalie Bertrand , Axel Legay , Sophie Pinchinat , Jean-Baptiste Raclet
11th International Conference on Formal Engineering Methods (ICFEM'09), Dec 2009, Rio de Janeiro, Brazil. pp.679-697
Conference papers inria-00424356v1
Image document

Why are modalities good for Interface Theories?

Jean-Baptiste Raclet , Eric Badouel , Albert Benveniste , Benoit Caillaud , Roberto Passerone et al.
The 9th International Conference on Application of Concurrency to System Design, Robert Lorenz, Jul 2009, Augsburg, Germany
Conference papers inria-00389051v1
Image document

Why are modalities good for Interface Theories?

Jean-Baptiste Raclet , Eric Badouel , Albert Benveniste , Benoit Caillaud , Roberto Passerone et al.
[Research Report] RR-6899, INRIA. 2009
Reports inria-00375098v1
Image document

MAccS: a Tool for Reachability by Design

Guillaume Verdier , Jean-Baptiste Raclet
11th International Symposium on Formal Aspects of Component Software (FACS 2014), Sep 2014, Bertinoro, Italy. pp.191--197, ⟨10.1007/978-3-319-15317-9_12⟩
Conference papers hal-03260609v1

Git4School: A Dashboard for Supporting Teacher Interventions in Software Engineering Courses

Jean-Baptiste Raclet , Franck Silvestre
EC-TEL 2020 - Fifteenth European Conference on Technology Enhanced Learning, Sep 2020, Heidelberg (GER) Online, France. pp.392-397, ⟨10.1007/978-3-030-57717-9_33⟩
Conference papers hal-02946555v1
Image document

Mise en oeuvre d'approches pédagogiques fondées sur des pratiques de l'industrie du logiciel pour l'apprentissage de la programmation

Jean-Baptiste Raclet , Franck Silvestre , Mika Pons
2020 Colloque Didapro 8 : L’informatique, objets d’enseignements (DidaSTIC 2020), Feb 2020, Lille, France. pp.1-12
Conference papers hal-02960444v1
Image document

Développement dirigé par les tests et revue de code par les pairs pour l'apprentissage de la programmation

Franck Silvestre , Jean-Baptiste Raclet
Ludovia CH: 1ère édition sur le thème "Émanciper l’école et la société avec le numérique ?", Lyonel Kaufmann, Haute école pédagogique du canton de Vaud, Suisse, Mar 2018, Yverdon-Les-Bains, Suisse. pp.1-4
Conference papers hal-02903787v1
Image document

Contracts for Systems Design: Methodology and Application cases

Albert Benveniste , Benoît Caillaud , Dejan Nickovic , Roberto Passerone , Jean-Baptiste Raclet et al.
[Research Report] RR-8760, Inria Rennes Bretagne Atlantique; INRIA. 2015, pp.63
Reports hal-01178469v1

A Normalized Form for FIFO Protocols Traces, Application to the Replay of Mode-based Protocols

M Filali , Meriem Ouederni , Jean-Baptiste Raclet
Third International Workshop Formal Techniques for Safety-Critical Systems (FTSCS 2014), Nov 2014, Luxembourg, Luxembourg. pp.1--17, ⟨10.1007/978-3-319-17581-2_6⟩
Conference papers hal-03263726v1

Modal Contracts for Component-based Design

Gregor Gössler , Jean-Baptiste Raclet
SEFM'09, Nov 2009, Hanoi, Vietnam. pp.295-303
Conference papers hal-00665205v1
Image document

Residual for Component Specifications

Jean-Baptiste Raclet
[Research Report] PI 1843, 2007, pp.19
Reports inria-00142027v1
Image document

Residual for Component Specifications

Jean-Baptiste Raclet
[Research Report] RR-6196, INRIA. 2007
Reports inria-00141898v3
Image document

Contracts for System Design

Albert Benveniste , Benoit Caillaud , Dejan Nickovic , Roberto Passerone , Jean-Baptiste Raclet et al.
[Research Report] RR-8147, INRIA. 2012, pp.65
Reports hal-00757488v1

Refinement and Consistency of Timed Modal Specifications.

Nathalie Bertrand , Sophie Pinchinat , Jean-Baptiste Raclet
3rd International Conference on Language and Automata Theory and Applications (LATA'09), Apr 2009, Tarragona, Spain. pp.152-163, ⟨10.1007/978-3-642-00982-2_13⟩
Conference papers istex inria-00424283v1

A Modal Interface Theory for Component-based Design

Jean-Baptiste Raclet , Eric Badouel , Albert Benveniste , Benoît Caillaud , Axel Legay et al.
Fundamenta Informaticae, 2011, 108 (1-2), pp.119-149. ⟨10.3233/FI-2011-416⟩
Journal articles inria-00554283v1
Image document

Mixed Nondeterministic-Probabilistic Automata: Blending graphical probabilistic models with nondeterminism

Albert Benveniste , Jean-Baptiste Raclet
[Research Report] RR-9447, Inria Rennes - Bretagne Atlantique. 2022, pp.1-52
Reports hal-03531059v1
Image document

Contracts for Systems Design: Theory

Albert Benveniste , Benoît Caillaud , Dejan Nickovic , Roberto Passerone , Jean-Baptiste Raclet et al.
[Research Report] RR-8759, Inria Rennes Bretagne Atlantique; INRIA. 2015, pp.86
Reports hal-01178467v1

Contracts for System Design

Albert Benveniste , Benoit Caillaud , Dejan Nickovic , Roberto Passerone , Jean-Baptiste Raclet et al.
Now Publishers, 12 (2-3), pp.124-400, 2018, Foundations and Trends® in Electronic Design Automation, 978-1-68083-402-4. ⟨10.1561/1000000053⟩
Books hal-01971429v1
Image document

Solving Language Equations Using Flanked Automata

Florent Avellaneda , Silvano Dal Zilio , Jean-Baptiste Raclet
ATVA 2016: Automated Technology for Verification and Analysis, Oct 2016, Chiba, Japan. pp.106 - 121, ⟨10.1007/978-3-319-46520-3_7⟩
Conference papers hal-01202702v2
Image document

Git4School : un tableau de bord pour assister la prise de décisions de l'enseignant lors des cours de génie logiciel

Jean-Baptiste Raclet , Franck Silvestre , Mika Pons
STICEF (Sciences et Technologies de l'Information et de la Communication pour l'Éducation et la Formation), 2021, Numéro Spécial : Technologies pour l’apprentissage de l’Informatique de la maternelle à l’université, 28 (3), pp.1-20. ⟨10.23709/sticef.28.3.2⟩
Journal articles hal-03617760v1
Image document

Mixed Nondeterministic-Probabilistic Interfaces

Albert Benveniste , Kim G Larsen , Jean-Baptiste Raclet
[Research Report] RR-9372, Inria Rennes Bretagne Atlantique; Aalborg University; Université de Toulouse 3 Paul Sabatier. 2020, pp.40
Reports hal-02985273v1

Quotient of Acceptance Specifications under Reachability Constraints

Guillaume Verdier , Jean-Baptiste Raclet
9th International Conference on Language and Automata Theory and Applications (LATA 2015), Mar 2015, Nice, France. pp.299--311, ⟨10.1007/978-3-319-15579-1_23⟩
Conference papers hal-03190206v1

Ensuring Reachability by Design

Benoît Caillaud , Jean-Baptiste Raclet
9th International Colloquium on Theoretical Aspects of Computing (ICTAC 2012), IIIT Bangalore, Sep 2012, Bangalore, India. pp.213-227, ⟨10.1007/978-3-642-32943-2_17⟩
Conference papers hal-00766735v1
Image document

Ensuring Reachability by Design

Benoit Caillaud , Jean-Baptiste Raclet
[Research Report] RR-7928, INRIA. 2012, pp.1-20
Reports hal-00696151v1

Modal Interfaces: Unifying Interface Automata and Modal Specifications.

Jean-Baptiste Raclet , Albert Benveniste , Benoît Caillaud , Axel Legay , Roberto Passerone et al.
Proc. 9th International Conference on Embedded Software (EMSOFT'09), Oct 2009, Grenoble, France
Conference papers inria-00555742v1
Image document

A Compositional Approach on Modal Specifications for Timed Systems

Nathalie Bertrand , Axel Legay , Sophie Pinchinat , Jean-Baptiste Raclet
[Research Report] RR-7039, INRIA. 2009
Reports inria-00418855v1