BibSLEIGH
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
EDIT!
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × Austria
1 × France
1 × Germany
1 × Italy
1 × Russia
1 × USA
2 × Spain
3 × United Kingdom
Collaborated with:
A.Duret-Lutz D.Poitrenaud Y.Thierry-Mieg L.Pautet T.Vergnaud E.Renault M.Doche I.Vernier-Mounier A.B.Salem M.Colange S.Baarir A.Hamez J.Hugues J.Delange A.Plantec M.Kerboeuf F.Singhoff S.Herbold A.D.Francesco J.Grabowski P.Harms L.Hillah A.Maesano L.Maesano C.D.Napoli F.D.Rosa M.A.Schneider N.Tonellotto M.Wendland P.Wuillemin
Talks about:
model (5) check (4) use (4) distribut (3) applic (3) middlewar (2) properti (2) automata (2) softwar (2) general (2)

Person: Fabrice Kordon

DBLP DBLP: Kordon:Fabrice

Facilitated 5 volumes:

CBSE 2014PrCo
CBSE 2013PrCo
Ada-Europe 2009Ed
Ada-Europe 2008Ed
Ada-Europe 2007Ed

Contributed to:

ICST 20152015
TACAS 20152015
TACAS 20142014
CAV 20132013
TACAS 20132013
SIGAda 20092009
TACAS 20092009
Ada-Europe 20052005
Ada-Europe 20042004
FME 20012001
Ada-Europe 19991999

Wrote 11 papers:

ICST-2015-HerboldFGHHKMMN #framework #platform #testing
The MIDAS Cloud Platform for Testing SOA Applications (SH, ADF, JG, PH, LMH, FK, APM, LM, CDN, FDR, MAS, NT, MFW, PHW), pp. 1–8.
TACAS-2015-RenaultDKP #automaton #model checking #parallel
Parallel Explicit Model Checking for Generalized Büchi Automata (ER, ADL, FK, DP), pp. 613–627.
TACAS-2014-SalemDKT #automaton #invariant #model checking #testing #using
Symbolic Model Checking of Stutter-Invariant Properties Using Generalized Testing Automata (AEBS, ADL, FK, YTM), pp. 440–454.
CAV-2013-ColangeBKT #diagrams #distributed #model checking #towards #using
Towards Distributed Software Model-Checking Using Decision Diagrams (MC, SB, FK, YTM), pp. 830–845.
TACAS-2013-RenaultDKP #automaton #composition #model checking #performance
Strength-Based Decomposition of the Property Büchi Automaton for Faster Model Checking (ER, ADL, FK, DP), pp. 580–593.
SIGAda-2009-DelangePPKSK #simulation #using #validation
Validate, simulate, and implement ARINC653 systems using the AADL (JD, LP, AP, MK, FS, FK), pp. 31–44.
TACAS-2009-Thierry-MiegPHK #diagrams #modelling #set
Hierarchical Set Decision Diagrams and Regular Models (YTM, DP, AH, FK), pp. 1–15.
AdaEurope-2005-VergnaudPK #component #distributed #middleware #using
Using the AADL to Describe Distributed Applications from Middleware to Software Components (TV, LP, FK), pp. 67–78.
AdaEurope-2004-VergnaudHPK #distributed #middleware #named #reliability
PolyORB: A Schizophrenic Middleware to Build Versatile Reliable Distributed Applications (TV, JH, LP, FK), pp. 106–119.
FME-2001-DocheVK #approach #composition #specification #validation
A Modular Approach to the Specification and Validation of an Electrical Flight Control System (MD, IVM, FK), pp. 590–610.
AdaEurope-1999-Kordon #ada
MetaScribe, an Ada-based Tool for the Construction of Transformation Engines (FK), pp. 308–319.

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.