BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × Canada
1 × Germany
1 × United Kingdom
5 × USA
Collaborated with:
A.Bouali A.Ressouche V.Roy E.Vecchié O.Tardieu C.André F.Mallet
Talks about:
composit (2) esterel (2) tool (2) set (2) instantan (1) construct (1) autograph (1) synchron (1) reachabl (1) reactiv (1)

Person: Robert de Simone

DBLP DBLP: Simone:Robert_de

Contributed to:

MoDELS 20072007
CAV 20052005
SAS 20032003
CAV 19961996
TACAS 19961996
CAV 19941994
CAV 19921992
CAV 19901990

Wrote 8 papers:

MoDELS-2007-AndreMS #modelling
Modeling Time(s) (CA, FM, RdS), pp. 559–573.
CAV-2005-VecchieS #source code
Syntax-Driven Reachable State Space Construction of Synchronous Reactive Programs (EV, RdS), pp. 213–225.
SAS-2003-TardieuS #termination
Instantaneous Termination in Pure Esterel (OT, RdS), pp. 91–108.
CAV-1996-BoualiRRS #set #tool support
The FC2TOOLS Set (AB, AR, VR, RdS), pp. 441–445.
TACAS-1996-BoualiRRS #set #tool support
The FC2TOOLS Set (AB, AR, VR, RdS), p. 396.
CAV-1994-SimoneR #composition #reduction #semantics #verification
Compositional Semantics of ESTEREL and Verification by Compositional Reductions (RdS, AR), pp. 441–454.
CAV-1992-BoualiS #bisimulation
Symbolic Bisimulation Minimisation (AB, RdS), pp. 96–108.
Auto/Autograph (VR, RdS), pp. 65–75.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.