default search action

combined dblp search
author search
venue search
publication search

ask others

Jean-Baptiste Raclet

> Home > Persons

Person information

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

2020 – today

see FAQ

What is the meaning of the colors in the publication lists?

2023
[j4]
- view
  authority control:
- export record
  dblp key:
  - journals/deds/BenvenisteR23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/deds/BenvenisteR23
Albert Benveniste, Jean-Baptiste Raclet:
Mixed Nondeterministic-Probabilistic Automata. Discret. Event Dyn. Syst. 33(4): 455-505 (2023)
[c17]
- view
  authority control:
- export record
  dblp key:
  - conf/ectel/OllivierSRLB23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ectel/OllivierSRLB23
Denis Ollivier, Franck Silvestre, Jean-Baptiste Raclet, Emmanuel Lescure, Julien Broisin:
Designing a Revision System: An Exploratory Qualitative Study to Identify the Needs of French Teachers and Students. EC-TEL 2023: 294-307
[c16]
- view
  authority control:
- export record
  dblp key:
  - conf/ectel/PonsBRS23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ectel/PonsBRS23
Mika Pons, Jean-Michel Bruel, Jean-Baptiste Raclet, Franck Silvestre:
Traceability by Design: Design of an Interactive System to Improve the Automatic Generation of Git Traces During a Learning Activity. EC-TEL 2023: 611-617
[c15]
- view
  authority control:
- export record
  dblp key:
  - conf/fisee/PonsBRS23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fisee/PonsBRS23
Mika Pons, Jean-Michel Bruel, Jean-Baptiste Raclet, Franck Silvestre:
Finding Behavioral Indicators from Contextualized Commits in Software Engineering Courses with Process Mining. FISEE 2023: 56-68
2022
[i4]
- view
  - electronic edition @ arxiv.org (open access)
  - details & citations
- export record
  dblp key:
  - journals/corr/abs-2201-07474
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2201-07474
Albert Benveniste, Jean-Baptiste Raclet:
Mixed Nondeterministic-Probabilistic Automata: Blending graphical probabilistic models with nondeterminism. CoRR abs/2201.07474 (2022)
2020
[c14]
- view
  authority control:
- export record
  dblp key:
  - conf/ectel/RacletS20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ectel/RacletS20
Jean-Baptiste Raclet, Franck Silvestre:
Git4School: A Dashboard for Supporting Teacher Interventions in Software Engineering Courses. EC-TEL 2020: 392-397
[i3]
- view
  - electronic edition @ arxiv.org (open access)
  - details & citations
- export record
  dblp key:
  - journals/corr/abs-2011-09435
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2011-09435
Albert Benveniste, Kim G. Larsen, Jean-Baptiste Raclet:
Mixed Nondeterministic-Probabilistic Interfaces. CoRR abs/2011.09435 (2020)

2010 – 2019

see FAQ

What is the meaning of the colors in the publication lists?

2018
[j3]
- view
  authority control:
- export record
  dblp key:
  - journals/fteda/BenvenisteCNPRR18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/fteda/BenvenisteCNPRR18
Albert Benveniste, Benoît Caillaud, Dejan Nickovic, Roberto Passerone, Jean-Baptiste Raclet, Philipp Reinkemeier, Alberto L. Sangiovanni-Vincentelli, Werner Damm, Thomas A. Henzinger, Kim G. Larsen:
Contracts for System Design. Found. Trends Electron. Des. Autom. 12(2-3): 124-400 (2018)
2016
[c13]
- view
  authority control:
- export record
  dblp key:
  - conf/atva/AvellanedaDR16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/atva/AvellanedaDR16
Florent Avellaneda, Silvano Dal-Zilio, Jean-Baptiste Raclet:
Solving Language Equations Using Flanked Automata. ATVA 2016: 106-121
2015
[c12]
- view
  authority control:
- export record
  dblp key:
  - conf/lata/VerdierR15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/lata/VerdierR15
Guillaume Verdier, Jean-Baptiste Raclet:
Quotient of Acceptance Specifications Under Reachability Constraints. LATA 2015: 299-311
[i2]
- view
  - electronic edition @ arxiv.org (open access)
  - details & citations
- export record
  dblp key:
  - journals/corr/AvellanedaDR15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/AvellanedaDR15
Florent Avellaneda, Silvano Dal-Zilio, Jean-Baptiste Raclet:
On the Complexity of Flanked Finite State Automata. CoRR abs/1509.06501 (2015)
2014
[c11]
- view
  authority control:
- export record
  dblp key:
  - conf/facs2/VerdierR14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/facs2/VerdierR14
Guillaume Verdier, Jean-Baptiste Raclet:
MAccS: A Tool for Reachability by Design. FACS 2014: 191-197
[c10]
- view
  authority control:
- export record
  dblp key:
  - conf/ftscs/FilaliOR14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ftscs/FilaliOR14
Mamoun Filali, Meriem Ouederni, Jean-Baptiste Raclet:
A Normalized Form for FIFO Protocols Traces, Application to the Replay of Mode-based Protocols. FTSCS 2014: 76-92
[i1]
- view
  - electronic edition @ arxiv.org (open access)
  - details & citations
- export record
  dblp key:
  - journals/corr/VerdierR14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/VerdierR14
Guillaume Verdier, Jean-Baptiste Raclet:
Quotient of Acceptance Specifications under Reachability Constraints. CoRR abs/1411.6463 (2014)
2012
[j2]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/scp/BertrandLPR12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/scp/BertrandLPR12
Nathalie Bertrand, Axel Legay, Sophie Pinchinat, Jean-Baptiste Raclet:
Modal event-clock specifications for timed component-based design. Sci. Comput. Program. 77(12): 1212-1234 (2012)
[c9]
- view
  authority control:
- export record
  dblp key:
  - conf/cdc/BenvenisteCR12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cdc/BenvenisteCR12
Albert Benveniste, Benoît Caillaud, Jean-Baptiste Raclet:
Application of interface theories to the separate compilation of synchronous programs. CDC 2012: 7252-7258
[c8]
- view
  authority control:
- export record
  dblp key:
  - conf/ictac/CaillaudR12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ictac/CaillaudR12
Benoît Caillaud, Jean-Baptiste Raclet:
Ensuring Reachability by Design. ICTAC 2012: 213-227
[e1]
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-1207-3485
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1207-3485
Sebastian S. Bauer, Jean-Baptiste Raclet:
Proceedings Fourth Workshop on Foundations of Interface Technologies, FIT 2012, Tallinn, Estonia, 25th March 2012. EPTCS 87, 2012 [contents]
2011
[j1]
- view
  authority control:
- export record
  dblp key:
  - journals/fuin/RacletBBCLP11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/fuin/RacletBBCLP11
Jean-Baptiste Raclet, Éric Badouel, Albert Benveniste, Benoît Caillaud, Axel Legay, Roberto Passerone:
A Modal Interface Theory for Component-based Design. Fundam. Informaticae 108(1-2): 119-149 (2011)
2010
[c7]
- view
  authority control:
- export record
  dblp key:
  - conf/rv/GosslerMR10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/rv/GosslerMR10
Gregor Gößler, Daniel Le Métayer, Jean-Baptiste Raclet:
Causality Analysis in Contract Violation. RV 2010: 270-284

2000 – 2009

see FAQ

What is the meaning of the colors in the publication lists?

2009
[c6]
- view
  authority control:
- export record
  dblp key:
  - conf/acsd/RacletBBCP09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/acsd/RacletBBCP09
Jean-Baptiste Raclet, Éric Badouel, Albert Benveniste, Benoît Caillaud, Roberto Passerone:
Why Are Modalities Good for Interface Theories?. ACSD 2009: 119-127
[c5]
- view
  authority control:
- export record
  dblp key:
  - conf/emsoft/RacletBBCLP09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/emsoft/RacletBBCLP09
Jean-Baptiste Raclet, Éric Badouel, Albert Benveniste, Benoît Caillaud, Axel Legay, Roberto Passerone:
Modal interfaces: unifying interface automata and modal specifications. EMSOFT 2009: 87-96
[c4]
- view
  authority control:
- export record
  dblp key:
  - conf/icfem/BertrandLPR09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icfem/BertrandLPR09
Nathalie Bertrand, Axel Legay, Sophie Pinchinat, Jean-Baptiste Raclet:
A Compositional Approach on Modal Specifications for Timed Systems. ICFEM 2009: 679-697
[c3]
- view
  authority control:
- export record
  dblp key:
  - conf/lata/BertrandPR09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/lata/BertrandPR09
Nathalie Bertrand, Sophie Pinchinat, Jean-Baptiste Raclet:
Refinement and Consistency of Timed Modal Specifications. LATA 2009: 152-163
[c2]
- view
  authority control:
- export record
  dblp key:
  - conf/sefm/GoesslerR09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sefm/GoesslerR09
Gregor Goessler, Jean-Baptiste Raclet:
Modal Contracts for Component-Based Design. SEFM 2009: 295-303
2007
[c1]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/entcs/Raclet08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/Raclet08
Jean-Baptiste Raclet:
Residual for Component Specifications. FACS 2007: 93-110

Coauthor Index

see FAQ

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.