Search    Browse

The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Publications of Gregor Göessler Gregor Gößler ( http://dblp.L3S.de/Authors/Gregor_Göessler )

  Author page on DBLP  Author page in RDF  Community of Gregor Goessler in ASPL-2

Publication years (Num. hits)
1999-2009 (16) 2010-2011 (7)
Publication types (Num. hits)
article(4) inproceedings(19)
Venues (Conferences, Journals, ...)
FMCO(2) TACAS(2) ACSD(1) ATVA(1) Bioinformatics(1) CDC-ECE(1) CMSB(1) EMSOFT(1) FSEN(1) FSTTCS(1) FTRTFT(1) HSCC(1) IEEE Real-Time Systems Symposi...(1) IEEE/ACM Trans. Comput. Biolog...(1) Program Analysis and Compilati...(1) Real-Time Systems(1) More (+10 of total 21)
Authors
Gregor Gößler(18) Joseph Sifakis(10) Gregor Goessler(5) Alain Girault(3) Karine Altisen(3) Antoine Girard(2) Javier Cámara(2) Jean-Baptiste Raclet(2) Mila E. Majster-Cederbaum(2) Moritz Martens(2) Susanne Graf(2) Alberto L. Sangiovanni-Vincentelli(1) Amir Pnueli(1) Borzoo Bonakdarpour(1) Dana N. Xu(1) Daniel Le Métayer(1) More (+10 of total 29)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 4 occurrences of 4 keywords
Results
Found 23 publication records. Showing 23 according to the selection in the facets
Hits ?▲ Authors Title Venue Year Link Author keywords
1Gregor Goessler Component-Based Modeling and Reachability Analysis of Genetic Networks. Search on Bibsonomy IEEE/ACM Trans. Comput. Biology Bioinform. The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Borzoo Bonakdarpour, Marius Bozga, Gregor Göessler A Theory of Fault Recovery for Component-Based Models. Search on Bibsonomy SRDS The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Javier Cámara, Antoine Girard, Gregor Gößler Safety controller synthesis for switched systems using multi-scale symbolic models. Search on Bibsonomy CDC-ECE The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Javier Cámara, Antoine Girard, Gregor Gößler Synthesis of switching controllers using approximately bisimilar multiscale abstractions. Search on Bibsonomy HSCC The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Gré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. Search on Bibsonomy Bioinformatics The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Gregor Gößler, Daniel Le Métayer, Jean-Baptiste Raclet Causality Analysis in Contract Violation. Search on Bibsonomy RV The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Dana N. Xu, Gregor Gößler, Alain Girault Probabilistic Contracts for Component-Based Design. Search on Bibsonomy ATVA The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Gregor Goessler, Jean-Baptiste Raclet Modal Contracts for Component-Based Design. Search on Bibsonomy SEFM The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Partha S. Roop, Alain Girault, Roopak Sinha, Gregor Goessler Specification Enforcing Refinement for Convertibility Verification. Search on Bibsonomy ACSD The full citation details ... 2009 DBLP  DOI  BibTeX  RDF forced simulation, discrete controller synthesis, Protocol conversion
1Gregor Gößler Compositional Strategy Mapping. Search on Bibsonomy FSEN The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Massimo Tivoli, Pascal Fradet, Alain Girault, Gregor Gößler Adaptor Synthesis for Real-Time Components. Search on Bibsonomy TACAS The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
1Gregor Gößler, Susanne Graf, Mila E. Majster-Cederbaum, Moritz Martens, Joseph Sifakis An Approach to Modelling and Verification of Component Based Systems. Search on Bibsonomy SOFSEM The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
1Gregor Gößler Compositional Reachability Analysis of Genetic Networks. Search on Bibsonomy CMSB The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
1Gregor Gößler, Susanne Graf, Mila E. Majster-Cederbaum, Moritz Martens, Joseph Sifakis Ensuring Properties of Interaction Systems. Search on Bibsonomy Program Analysis and Compilation The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
1Gregor Gößler, Joseph Sifakis Composition for component-based modeling. Search on Bibsonomy Sci. Comput. Program. The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
1Gregor Gößler, Joseph Sifakis Priority Systems. Search on Bibsonomy FMCO The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
1Gregor Gößler, Joseph Sifakis Component-Based Construction of Deadlock-Free Systems: Extended Abstract. Search on Bibsonomy FSTTCS The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
1Karine Altisen, Gregor Gößler, Joseph Sifakis Scheduler Modeling Based on the Controller Synthesis Paradigm. Search on Bibsonomy Real-Time Systems The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
1Gregor Gößler, Alberto L. Sangiovanni-Vincentelli Compositional Modeling in Metropolis. Search on Bibsonomy EMSOFT The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
1Gregor Gößler, Joseph Sifakis Composition for Component-Based Modeling. Search on Bibsonomy FMCO The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
1Sébastien Bornot, Gregor Gößler, Joseph Sifakis On the Construction of Live Timed Systems. Search on Bibsonomy TACAS The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
1Karine Altisen, Gregor Gößler, Joseph Sifakis A Methodology for the Construction of Scheduled Systems. Search on Bibsonomy FTRTFT The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
1Karine Altisen, Gregor Gößler, Amir Pnueli, Joseph Sifakis, Stavros Tripakis, Sergio Yovine A Framework for Scheduler Synthesis. (PDF / PS) Search on Bibsonomy IEEE Real-Time Systems Symposium The full citation details ... 1999 DBLP  DOI  BibTeX  RDF scheduler synthesis, real-time systems, timed automata, timed petri nets
Displaying result #1 - #23 of 23 (100 per page; Change: )
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.