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 × Cyprus
1 × Denmark
1 × France
1 × Germany
2 × USA
Collaborated with:
S.Barbey D.Racordon M.Risoldi L.Lúcio A.Chen C.Buffard P.Racloz S.Hostettler A.Marechal L.Pedro B.Barroca V.Amaral
Talks about:
model (3) algebra (2) specif (2) type (2) test (2) net (2) techniqu (1) structur (1) abstract (1) process (1)

Person: Didier Buchs

DBLP DBLP: Buchs:Didier

Contributed to:

TACAS 20102010
Ada-Europe 20092009
HCI p2 20092009
Ada-Europe 19951995
Ada-Europe 19941994
SLE 20182018

Wrote 6 papers:

TACAS-2010-BuchsHMR #algebra #named #petri net
AlPiNA: An Algebraic Petri Net Analyzer (DB, SH, AM, MR), pp. 349–352.
AdaEurope-2009-BuchsLC #generative #model checking #modelling #process #testing
Model Checking Techniques for Test Generation from Business Process Models (DB, LL, AC), pp. 59–74.
HCI-NIMT-2009-PedroRBBA #domain-specific language #syntax #visual notation
Composing Visual Syntax for Domain Specific Languages (LP, MR, DB, BB, VA), pp. 889–898.
AdaEurope-1995-BuchsBR #algebra #modelling #validation
Modeling and Validation of Tasks with Algebraic Structured Nets (DB, CB, PR), pp. 284–297.
AdaEurope-1994-BarbeyB #ada #data type #specification #testing #using
Testing Ada Abstract Data Types Using Formal Specifications (SB, DB), pp. 76–89.
SLE-2018-RacordonB #alias #type system
A practical type system for safe aliasing (DR, DB), pp. 133–146.

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.