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 × Estonia
1 × France
1 × USA
1 × United Kingdom
2 × Italy
Collaborated with:
D.Hutter N.Müller C.Lüth J.Zimmer T.Mossakowski H.Mantel A.Schairer
Talks about:
analysi (2) system (2) semant (2) impact (2) chang (2) heterogen (1) document (1) descript (1) calculus (1) program (1)

Person: Serge Autexier

DBLP DBLP: Autexier:Serge

Contributed to:

DocEng 20102010
IFM 20102010
IJCAR 20062006
CADE 20052005
FASE 20012001
CADE 19991999

Wrote 6 papers:

DocEng-2010-AutexierM #documentation #impact analysis #semantics
Semantics-based change impact analysis for heterogeneous collections of documents (SA, NM), pp. 97–106.
IFM-2010-AutexierL #c #impact analysis #source code #verification
Adding Change Impact Analysis to the Formal Verification of C Programs (SA, CL), pp. 59–73.
IJCAR-2006-ZimmerA #reasoning #semantics #web
The MathServe System for Semantic Web Reasoning Services (JZ, SA), pp. 140–144.
CADE-2005-Autexier #calculus
The CoRe Calculus (SA), pp. 84–98.
FASE-2001-MossakowskiAH #development #graph
Extending Development Graphs with Hiding (TM, SA, DH), pp. 269–283.
CADE-1999-AutexierHMS #logic
System Description: inka 5.0 — A Logic Voyager (SA, DH, HM, AS), pp. 207–211.

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.