Gregor Gößler

Gregor Goessler

	2011
22		Javier Cámara, Antoine Girard, Gregor Gößler: Safety controller synthesis for switched systems using multi-scale symbolic models. CDC-ECE 2011: 520-525
21		Javier Cámara, Antoine Girard, Gregor Gößler: Synthesis of switching controllers using approximately bisimilar multiscale abstractions. HSCC 2011: 191-200
20		Gregor Goessler: Component-Based Modeling and Reachability Analysis of Genetic Networks. IEEE/ACM Trans. Comput. Biology Bioinform. 8(3): 672-682 (2011)
	2010
19		Dana N. Xu, Gregor Gößler, Alain Girault: Probabilistic Contracts for Component-Based Design. ATVA 2010: 325-340
18		Gregor Gößler, Daniel Le Métayer, Jean-Baptiste Raclet: Causality Analysis in Contract Violation. RV 2010: 270-284
17		Grégory Batt, Michel Page, Irene Cantone, Gregor Goessler, Pedro T. Monteiro, Hidde de Jong: Efficient parameter search for qualitative models of regulatory networks using symbolic model checking. Bioinformatics 26(18): (2010)
	2009
16		Partha S. Roop, Alain Girault, Roopak Sinha, Gregor Goessler: Specification Enforcing Refinement for Convertibility Verification. ACSD 2009: 148-157
15		Gregor Gößler: Compositional Strategy Mapping. FSEN 2009: 340-354
14		Gregor Goessler, Jean-Baptiste Raclet: Modal Contracts for Component-Based Design. SEFM 2009: 295-303
	2007
13		Gregor Gößler, Susanne Graf, Mila E. Majster-Cederbaum, Moritz Martens, Joseph Sifakis: An Approach to Modelling and Verification of Component Based Systems. SOFSEM (1) 2007: 295-308
12		Massimo Tivoli, Pascal Fradet, Alain Girault, Gregor Gößler: Adaptor Synthesis for Real-Time Components. TACAS 2007: 185-200
	2006
11		Gregor Gößler: Compositional Reachability Analysis of Genetic Networks. CMSB 2006: 212-226
10		Gregor Gößler, Susanne Graf, Mila E. Majster-Cederbaum, Moritz Martens, Joseph Sifakis: Ensuring Properties of Interaction Systems. Program Analysis and Compilation 2006: 201-224
	2005
9		Gregor Gößler, Joseph Sifakis: Composition for component-based modeling. Sci. Comput. Program. 55(1-3): 161-183 (2005)
	2003
8		Gregor Gößler, Joseph Sifakis: Priority Systems. FMCO 2003: 314-329
7		Gregor Gößler, Joseph Sifakis: Component-Based Construction of Deadlock-Free Systems: Extended Abstract. FSTTCS 2003: 420-433
	2002
6		Gregor Gößler, Alberto L. Sangiovanni-Vincentelli: Compositional Modeling in Metropolis. EMSOFT 2002: 93-107
5		Gregor Gößler, Joseph Sifakis: Composition for Component-Based Modeling. FMCO 2002: 443-466
4		Karine Altisen, Gregor Gößler, Joseph Sifakis: Scheduler Modeling Based on the Controller Synthesis Paradigm. Real-Time Systems 23(1-2): 55-84 (2002)
	2000
3		Karine Altisen, Gregor Gößler, Joseph Sifakis: A Methodology for the Construction of Scheduled Systems. FTRTFT 2000: 106-120
2		Sébastien Bornot, Gregor Gößler, Joseph Sifakis: On the Construction of Live Timed Systems. TACAS 2000: 109-126
	1999
1		Karine Altisen, Gregor Gößler, Amir Pnueli, Joseph Sifakis, Stavros Tripakis, Sergio Yovine: A Framework for Scheduler Synthesis. IEEE Real-Time Systems Symposium 1999: 154-163

Coauthor Index

1	Karine Altisen	[1] [3] [4]
2	Grégory Batt	[17]
3	Sébastien Bornot	[2]
4	Javier Cámara	[21] [22]
5	Irene Cantone	[17]
6	Pascal Fradet	[12]
7	Antoine Girard	[21] [22]
8	Alain Girault	[12] [16] [19]
9	Susanne Graf	[10] [13]
10	Hidde de Jong	[17]
11	Mila E. Majster-Cederbaum	[10] [13]
12	Moritz Martens	[10] [13]
13	Daniel Le Métayer	[18]
14	Pedro T. Monteiro	[17]
15	Michel Page	[17]
16	Amir Pnueli	[1]
17	Jean-Baptiste Raclet	[14] [18]
18	Partha S. Roop	[16]
19	Alberto L. Sangiovanni-Vincentelli	[6]
20	Joseph Sifakis	[1] [2] [3] [4] [5] [7] [8] [9] [10] [13]
21	Roopak Sinha	[16]
22	Massimo Tivoli	[12]
23	Stavros Tripakis	[1]
24	Dana N. Xu	[19]
25	Sergio Yovine	[1]

Colors in the list of coauthors

Last update Fri May 25 01:42:58 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page