Marc Segelken

According to our database, Marc Segelken authored at least 6 papers between 2003 and 2012.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

2012

Anforderungen auf Konsistenz überprüft - Formalisierung hilft.

Marc Segelken

Proceedings of the Software Engineering 2012: Fachtagung des GI-Fachbereichs Softwaretechnik, 27. Februar, 2012

2007

Abstraktion und Gegenbeispiel-gelenkte Konstruktion von Ω-Automaten zur Verifikation Schritt-diskreter linearer hybrider Systeme.

Marc Segelken

PhD thesis, 2007

Abstraction and Counterexample-Guided Construction of <i>omega</i> -Automata for Model Checking of Step-Discrete Linear Hybrid Models.

Marc Segelken

Proceedings of the Computer Aided Verification, 19th International Conference, 2007

Automating Verification of Cooperation, Control, and Design in Traffic Applications.

Werner Damm, Alfred Mikschl, Jens Oehlerking, Ernst-Rüdiger Olderog, Jun Pang, André Platzer, Marc Segelken, Boris Wirtz

Proceedings of the Formal Methods and Hybrid Real-Time Systems, 2007

2004

Adding Value to Automotive Models.

Eckard Böde, Werner Damm, Jarl Høyem, Bernhard Josko, Jürgen Niehaus, Marc Segelken

Proceedings of the Automotive Software, 2004

2003

Formale Verifikation von ASCET Modellen im Rahmen der Entwicklung der Aktivlenkung.

Werner Damm, Christoph Schulte, Hartmut Wittke, Marc Segelken, Uwe Higgen, Michael Eckrich

Proceedings of the 33. Jahrestagung der Gesellschaft für Informatik, Innovative Informatikanwendungen, INFORMATIK 2003, Frankfurt am Main, Germany, September 29, 2003