PUMA

academical publication management
collect, organize, and share publications

( en | de )

 

Disambiguation of "Linker, Sven"

Author of the publication

copydeleteadd this publication to your clipboard
An Abstract Model for Proving Safety of Multi-lane Traffic Manoeuvres.

, , , and . ICFEM, volume 6991 of Lecture Notes in Computer Science, page 404-419. 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.

Sven Stark University of Stuttgart

Patrick Linker University of Stuttgart

Sven Fischer

Sven Sewalski University of Stuttgart

Sven Weidner University of Stuttgart

 

Other publications of authors with the same name

Syspect - Modelling, Specifying, and Verifying Real-Time Systems with Rich Data., , , and . Int. J. Software and Informatics, 5 (1-2): 117-137 (2011)Generating readable diagrammatic proofs., and . VL/HCC, page 307-308. IEEE Computer Society, (2015)Synthesizing Controllers for Multi-lane Traffic Maneuvers., , , and . SETTA, volume 9409 of Lecture Notes in Computer Science, page 71-86. Springer, (2015)Proving Safety of Traffic Manoeuvres on Country Roads., , and . Theories of Programming and Formal Methods, volume 8051 of Lecture Notes in Computer Science, page 196-212. Springer, (2013)Diagrammatic Specification of Mobile Real-Time Systems.. Diagrams, volume 6170 of Lecture Notes in Computer Science, page 316-318. Springer, (2010)Diagrammatic Specification and Verification of Mobile Real-Time Systems.. AlgoSyn, page 53. Verlagshaus Mainz, Aachen, Germany, (2010)Sequent Calculus for Euler Diagrams.. Diagrams, volume 10871 of Lecture Notes in Computer Science, page 399-407. Springer, (2018)Formalising Sensor Topologies for Target Counting., and . ALP4IoT@iFM, volume 264 of EPTCS, page 43-57. (2017)The Power of Synchronisation: Formal Analysis of Power Consumption in Networks of Pulse-Coupled Oscillators., , , , and . ICFEM, volume 11232 of Lecture Notes in Computer Science, page 160-176. Springer, (2018)Measuring User Comprehension of Inference Rules in Euler Diagrams., , and . Diagrams, volume 9781 of Lecture Notes in Computer Science, page 32-39. Springer, (2016)