Publications of Gregor Goessler

Load the BibTeX file

International Conferences

  1. G. Goessler, S. Graf, M. Majster-Cederbaum, M. Martens, J. Sifakis. Ensuring Properties of Interaction Systems by Construction. In Program Analysis and Compilation, Theory and Practice, T. Reps, M. Sagiv, J. Bauer (eds.), LNCS, Volume 4444, Pages 201-224, 2007. details
  2. G. Goessler, S. Graf, M. Majster-Cederbaum, M. Martens, J. Sifakis. An Approach to Modelling and Verification of Component Based Systems. In proc. SOFSEM'07, LNCS, Volume 4362, Pages 295-308, 2007. details
  3. M. Tivoli, P. Fradet, A. Girault, G. Goessler. Adaptor Synthesis for Real-Time Components. In Tools and Algorithms for the Construction and Analysis of Systems, 13th International Conference (TACAS'07), Lecture Notes in Computer Science, Volume 4424, Pages 185-200, 2007. details
  4. G. Goessler. Compositional Reachability Analysis of Genetic Networks. In CMSB'06, C. Priami (ed.), LNBI, Volume 4210, Pages 212-226, 2006. details
  5. G. Goessler, J. Sifakis. Priority Systems. In proc. FMCO'03, F. de Boer, M. Bonsangue, S. Graf, W.-P. de Roever (eds.), LNCS, Volume 3188, Pages 314-329, 2004. details
  6. G. Goessler, J. Sifakis. Component-Based Construction of Deadlock-Free Systems (Extended Abstract). In proc. FSTTCS'03, LNCS, Volume 2914, 2003. details

Research Reports

  1. G. Goessler. Component-based Modeling and Reachability Analysis of Genetic Networks. research report INRIA, No 0, 2008. details
  2. G. Goessler. Componend-based Design of Heterogeneous Reactive Systems in \textscPrometheus. Research Report INRIA, No 6057, 2006. details
  3. G. Goessler. Reach Scheduling for Embedded Systems. Research Report INRIA, France, No 5651, 2005. details download

This material is presented to ensure timely dissemination of scholarly and technical work. Copyright and all rights therein are retained by authors or by other copyright holders. All persons copying this information are expected to adhere to the terms and constraints invoked by each author's copyright. These works may not be reposted without the explicit permission of the copyright holder.