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 × Australia
1 × Hungary
Collaborated with:
J.Raskin P.Ganty M.D.Wulf L.Doyen
Talks about:
altern (2) antichain (1) algorithm (1) fixpoint (1) automata (1) abstract (1) satisfi (1) refin (1) model (1) check (1)

Person: Nicolas Maquet

DBLP DBLP: Maquet:Nicolas

Contributed to:

CIAA 20092009
TACAS 20082008

Wrote 2 papers:

CIAA-2009-GantyMR #abstraction #automaton #fixpoint #refinement
Fixpoint Guided Abstraction Refinement for Alternating Automata (PG, NM, JFR), pp. 155–164.
TACAS-2008-WulfDMR #algorithm #anti #ltl #model checking #named #satisfiability
Antichains: Alternative Algorithms for LTL Satisfiability and Model-Checking (MDW, LD, NM, JFR), pp. 63–77.

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.