PUMA

academical publication management
collect, organize, and share publications

( en | de )

 

Disambiguation of "Ruess, Harald"

Author of the publication

copydeleteadd this publication to your clipboard
Model Construction and Priority Synthesis for Simple Interaction Systems.

, , , , , and . NASA Formal Methods, volume 6617 of Lecture Notes in Computer Science, page 466-471. Springer, (2011)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Univ. -Prof. Dr. -Ing. Harald Garrecht University of Stuttgart

Lukas Ruess University of Stuttgart

Dr. -Ing. Harald Schönberger University of Stuttgart

Manuel Rueß University of Stuttgart

Monika Rueß University of Stuttgart

 

Other publications of authors with the same name

ICS: Integrated Canonizer and Solver., , , and . CAV, volume 2102 of Lecture Notes in Computer Science, page 246-249. Springer, (2001)Certification for μ-Calculus with Winning Strategies., , and . SPIN, volume 9641 of Lecture Notes in Computer Science, page 111-128. Springer, (2016)Distributed Priority Synthesis, , , and . SSV, volume 102 of EPTCS, page 57-72. (2012)The ICS Decision Procedures for Embedded Deduction., , , , and . IJCAR, volume 3097 of Lecture Notes in Computer Science, page 218-222. Springer, (2004)Reflection of Formal Tactics in a Deductive Reflection Framework.. CADE, volume 1104 of Lecture Notes in Computer Science, page 628-642. Springer, (1996)Lazy Theorem Proving for Bounded Model Checking over Infinite Domains., , and . CADE, volume 2392 of Lecture Notes in Computer Science, page 438-455. Springer, (2002)Simulation and verification I: from simulation to verification (and back)., and . Winter Simulation Conference, page 888-896. IEEE Computer Society, (2003)Synthesis of Fault-Tolerant Embedded Systems Using Games: From Theory to Practice., , , and . VMCAI, volume 6538 of Lecture Notes in Computer Science, page 118-133. Springer, (2011)Model-Based Safety and Security Engineering., , and . CoRR, (2018)SAL 2., , , , , , and . CAV, volume 3114 of Lecture Notes in Computer Science, page 496-500. Springer, (2004)