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: Autexier:Serge
Contributed to:
2010
2010
2006
2005
20011999Wrote 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.