Dr. rer. nat.
Harald Rueß

Wissenschaftlicher Direktor
Telefon
+49 89 3603522 10

Nach seinem Studium der Mathematik in Ulm und der Informatik in San Diego promovierte Harald Rueß an der Universität Ulm. Zwischen 1995-2005 war er am SRI International in Menlo Park, Kalifornien, zuerst als International Fellow und dann seit 1998 auch als Staff Researcher des dortigen Computer Science Laboratory, mit einer Gastprofessur in Mannheim in 2001 und längeren Forschungsaufenthalten in Cambridge 1999 und Manchester 2005. Seine Forschungsinteressen umfassen verlässliche und sichere eingebettete Systeme, symbolische Analyse und Synthese, sowie logische Entscheidungsprozeduren. Zwischen 2006-2008 arbeitete er als Systemberater und Programm-Manager in der Automobil- und in der Luft- und Raumfahrt-Industrie im süddeutschen Raum.Von 2009 bis 2014 stand er der fortiss GmbH als Geschäftsführer vor.

 

 

Veröffentlichungen

Liste als BibTeX-Datei exportieren

2016

  • Martin Hofmann, Christian Neukirchen und Harald Rueß. Certification for u-Calculus with Winning Strategies. In Model Checking Software - 23rd International Symposium, SPIN 2016, Co-located with ETAPS 2016, Eindhoven, The Netherlands, April 7-8, 2016, Proceedings, pages 111–128, 2016. Details DOI BibTeX
  • Lacramioara Astefanoaei, Marius Bozga, Saddek Bensalem, Chih-Hong Cheng und Harald Rueß. Compositional Parameter Synthesis. In FM 2016: Formal Methods - 21st International Symposium, Limassol, Cyprus, November 9-11, 2016, Proceedings, pages 60–68, 2016. Details DOI BibTeX
  • Chih-Hong Cheng, Yassine Hamza und Harald Rueß. Structural Synthesis for GXW Specifications. In Computer Aided Verification - 28th International Conference, CAV 2016, Toronto, ON, Canada, July 17-23, 2016, Proceedings, Part I, pages 95–117, 2016. Details DOI BibTeX

2014

  • Denis Bytschkow, Jean Quilbeuf, Georgeta Igna und Harald Rueß. Distributed MILS architectural approach for secure smart grids. In . Springer International Publishing, 2014. Details BibTeX
  • Chih-Hong Cheng, Chung-Hao Huang, Harald Rueß und Stefan Stattelmann. G4LTL-ST: Automatic Generation of PLC Programs. In Computer Aided Verification - 26th International Conference, CAV 2014, Held as Part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July 18-22, 2014. Proceedings, pages 541–549, 2014. Details DOI BibTeX

2013

  • Chih-Hong Cheng, Natarajan Shankar, Harald Rueß und Saddek Bensalem. EFSMT: A Logical Framework for Cyber-Physical Systems. arXiv preprint arXiv:1306.3456, abs/1306.3456():, 2013. Details BibTeX
  • Chih-Hong Cheng, Harald Rueß und Natarajan Shankar. JBernstein: A Validity Checker for Generalized Polynomial Constraints. In Computer Aided Verification - 25th International Conference, CAV 2013, Saint Petersburg, Russia, July 13-19, 2013. Proceedings, pages 656–661, 2013. Details DOI BibTeX
  • Jan Olaf Blech, Harald Rueß und Bernhard Schätz. On Behavioral Types for OSGi: From Theory to Implementation. CoRR, abs/1306.6115():, 2013. Details BibTeX
  • Jean Quilbeuf, Georgeta Igna, Denis Bytschkow und Harald Rueß. Security policies for distributed systems. arXiv preprint arXiv:1310.3723, ():, 2013. Details BibTeX
  • Jean Quilbeuf, Georgeta Igna, Denis Bytschkow und Harald Rueß. Security policies for distributed systems. CoRR, abs/1310.3723():, 2013. Details BibTeX
  • Chih-Hong Cheng, Natarajan Shankar, Harald Rueß und Saddek Bensalem. EFSMT: A Logical Framework for Cyber-Physical Systems. CoRR, abs/1306.3456():, 2013. Details BibTeX

2012

  • Jan Olaf Blech, Yliès Falcone, Harald Rueß und Bernhard Schätz. Behavioral specification based runtime monitors for OSGi services. In . Springer, 2012. Details BibTeX
  • Jan Olaf Blech, Yliès Falcone, Harald Rueß und Bernhard Schätz. Behavioral Specification Based Runtime Monitors for OSGi Services. In Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change - 5th International Symposium, ISoLA 2012, Heraklion, Crete, Greece, October 15-18, 2012, Proceedings, P, pages 405–419, 2012. Details DOI BibTeX
  • Chih-Hong Cheng, Rongjie Yan, Saddek Bensalem und Harald Rueß. Distributed Priority Synthesis. In Proceedings Seventh Conference on Systems Software Verification, SSV 2012, Sydney, Australia, 28-30 November 2012., pages 57–72, 2012. Details DOI BibTeX
  • Chih-Hong Cheng, Rongjie Yan, Harald Rueß und Saddek Bensalem. Distributed priority synthesis using knowledge. In Proceedings of the 2nd edition on Programming systems, languages and applications based on actors, agents, and decentralized control abstractions, AGERE! 2012, October 21-22, 2012, Tucson, Arizona, USA, pages 129–132, 2012. Details DOI BibTeX
  • Chih-Hong Cheng, Michael Geisinger, Harald Rueß, Christian Buckl und Alois Knoll. Game solving for industrial automation and control. In IEEE International Conference on Robotics and Automation, ICRA 2012, 14-18 May, 2012, St. Paul, Minnesota, USA, pages 4367–4372, 2012. Details DOI BibTeX
  • Chih-Hong Cheng, Michael Geisinger, Harald Rueß, Christian Buckl und Alois Knoll. MGSyn: Automatic Synthesis for Industrial Automation. In Computer Aided Verification - 24th International Conference, CAV 2012, Berkeley, CA, USA, July 7-13, 2012 Proceedings, pages 658–664, 2012. Details DOI BibTeX

2011

  • Chih-Hong Cheng, Saddek Bensalem, Yu-Fang Chen, Rongjie Yan, Barbara Jobstmann, Harald Rueß, Christian Buckl und Alois Knoll. Algorithms for Synthesizing Priorities in Component-Based Systems. In Automated Technology for Verification and Analysis, 9th International Symposium, ATVA 2011, Taipei, Taiwan, October 11-14, 2011. Proceedings, pages 150–167, 2011. Details DOI BibTeX
  • Chih-Hong Cheng, Saddek Bensalem, Barbara Jobstmann, Rongjie Yan, Alois Knoll und Harald Rueß. Model Construction and Priority Synthesis for Simple Interaction Systems. In NASA Formal Methods - Third International Symposium, NFM 2011, Pasadena, CA, USA, April 18-20, 2011. Proceedings, pages 466–471, 2011. Details DOI BibTeX
  • Chih-Hong Cheng, Barbara Jobstmann, Michael Geisinger, Sarah Diot-Girard, Christian Buckl, Alois Knoll und Harald Rueß. Optimizations for Game-based Software Synthesis. TR-2011-12, Verimag Research Report, 2011. Details BibTeX
  • Chih-Hong Cheng, Harald Rueß, Alois Knoll und Christian Buckl. Synthesis of Fault-Tolerant Embedded Systems Using Games: From Theory to Practice. In Verification, Model Checking, and Abstract Interpretation - 12th International Conference, VMCAI 2011, Austin, TX, USA, January 23-25, 2011. Proceedings, pages 118–133, 2011. Details DOI BibTeX

2010