Gilles Geeraerts

	2012
18		Gilles Geeraerts, Alexander Heußner, Jean-François Raskin: Queue-Dispatch Asynchronous Systems CoRR abs/1201.4871: (2012)
	2011
17		Gilles Geeraerts, Jean-François Raskin, Nathalie Sznajder: Event Clock Automata: From Theory to Practice. FORMATS 2011: 209-224
16		Thomas Brihaye, Laurent Doyen, Gilles Geeraerts, Joël Ouaknine, Jean-François Raskin, James Worrell: On Reachability for Hybrid Automata over Bounded Time. ICALP (2) 2011: 416-427
15		Thomas Brihaye, Laurent Doyen, Gilles Geeraerts, Joël Ouaknine, Jean-François Raskin, James Worrell: On Reachability for Hybrid Automata over Bounded Time CoRR abs/1104.5335: (2011)
14		Markus Lindström, Gilles Geeraerts, Joël Goossens: A faster exact multiprocessor schedulability test for sporadic tasks CoRR abs/1105.5055: (2011)
13		Gilles Geeraerts, Jean-François Raskin, Nathalie Sznajder: Event-Clock Automata: From Theory to Practice CoRR abs/1107.4138: (2011)
	2010
12		Gilles Geeraerts, Gabriel Kalyon, Tristan Le Gall, Nicolas Maquet, Jean-François Raskin: Lattice-Valued Binary Decision Diagrams. ATVA 2010: 158-172
11		Barbara Di Giampaolo, Gilles Geeraerts, Jean-François Raskin, Nathalie Sznajder: Safraless Procedures for Timed Specifications. FORMATS 2010: 2-22
10		Gilles Geeraerts, Jean-François Raskin, Laurent Van Begin: On the Efficient Computation of the Minimal Coverability Set of Petri Nets. Int. J. Found. Comput. Sci. 21(2): 135-165 (2010)
	2009
9		Laurent Doyen, Gilles Geeraerts, Jean-François Raskin, Julien Reichert: Realizability of Real-Time Logics. FORMATS 2009: 133-148
8		Pierre Ganty, Gilles Geeraerts, Jean-François Raskin, Laurent Van Begin: Le problème de couverture pour les réseaux de Petri. Résultats classiques et développements récents. Technique et Science Informatiques 28(9): 1107-1142 (2009)
	2007
7		Gilles Geeraerts, Jean-François Raskin, Laurent Van Begin: On the Efficient Computation of the Minimal Coverability Set for Petri Nets. ATVA 2007: 98-113
6		Gilles Geeraerts, Jean-François Raskin, Laurent Van Begin: Well-structured languages. Acta Inf. 44(3-4): 249-288 (2007)
	2006
5		Gilles Geeraerts, Jean-François Raskin, Laurent Van Begin: Expand, Enlarge and Check: New algorithms for the coverability problem of WSTS. J. Comput. Syst. Sci. 72(1): 180-203 (2006)
4		Alain Finkel, Gilles Geeraerts, Jean-François Raskin, Laurent Van Begin: On the omega-language expressive power of extended Petri nets. Theor. Comput. Sci. 356(3): 374-386 (2006)
	2005
3		Gilles Geeraerts, Jean-François Raskin, Laurent Van Begin: Expand, Enlarge and Check... Made Efficient. CAV 2005: 394-407
2		Alain Finkel, Gilles Geeraerts, Jean-François Raskin, Laurent Van Begin: On the omega-language Expressive Power of Extended Petri Nets. Electr. Notes Theor. Comput. Sci. 128(2): 87-101 (2005)
	2004
1		Gilles Geeraerts, Jean-François Raskin, Laurent Van Begin: Expand, Enlarge, and Check: New Algorithms for the Coverability Problem of WSTS. FSTTCS 2004: 287-298

Coauthor Index

1	Laurent Van Begin	[1] [2] [3] [4] [5] [6] [7] [8] [10]
2	Thomas Brihaye	[15] [16]
3	Laurent Doyen	[9] [15] [16]
4	Alain Finkel	[2] [4]
5	Tristan Le Gall	[12]
6	Pierre Ganty	[8]
7	Barbara Di Giampaolo	[11]
8	Joël Goossens	[14]
9	Alexander Heußner	[18]
10	Gabriel Kalyon	[12]
11	Markus Lindström	[14]
12	Nicolas Maquet	[12]
13	Joël Ouaknine	[15] [16]
14	Jean-François Raskin	[1] [2] [3] [4] [5] [6] [7] [8] [9] [10] [11] [12] [13] [15] [16] [17] [18]
15	Julien Reichert	[9]
16	Nathalie Sznajder	[11] [13] [17]
17	James Worrell	[15] [16]

Colors in the list of coauthors

Last update Wed May 30 22:34:44 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page