×

zbMATH — the first resource for mathematics

Damm, Werner

Compute Distance To:
Author ID: damm.werner Recent zbMATH articles by "Damm, Werner"
Published as: Damm, W.; Damm, Werner
Homepage: https://uol.de/seas/damm
External Links: MGP · ResearchGate · dblp
Documents Indexed: 54 Publications since 1977, including 6 Books

Publications by Year

Citations contained in zbMATH Open

37 Publications have been cited 219 times in 152 Documents Cited by Year
The IO- and OI-hierarchies. Zbl 0478.68012
Damm, Werner
52
1982
LSCs: Breathing life into message sequence charts. Zbl 0985.68033
Damm, Werner; Harel, David
34
2001
An automata-theoretical characterization of the OI-hierarchy. Zbl 0628.68061
Damm, Werner; Goerdt, Andreas
24
1986
Higher type recursion and self-application as control structures. Zbl 0373.68021
Damm, W.; Fehr, E.; Indermark, K.
10
1978
Verification of cooperating traffic agents. Zbl 1122.90325
Damm, W.; Hungar, H.; Olderog, E.-R.
9
2006
Taming Dr. Frankenstein: contract-based design for cyber-physical systems. Zbl 1264.93152
Sangiovanni-Vincentelli, Alberto; Damm, Werner; Passerone, Roberto
6
2012
Guaranteed termination in the verification of LTL properties of non-linear robust discrete time hybrid systems. Zbl 1109.68064
Damm, Werner; Pinto, Guilherme; Ratschan, Stefan
6
2007
A sound and relatively* complete Hoare-logic for a language with higher type procedures. Zbl 0501.68008
Damm, Werner; Josko, Bernhard
6
1983
On the power of self-application and higher type recursion. Zbl 0391.68041
Damm, W.; Fehr, E.
6
1978
Higher type program schemes and their tree languages. Zbl 0358.68009
Damm, W.
6
1977
Exact and fully symbolic verification of linear hybrid automata with large discrete state spaces. Zbl 1243.68212
Damm, Werner; Dierks, Henning; Disch, Stefan; Hagemann, Willem; Pigorsch, Florian; Scholl, Christoph; Waldmann, Uwe; Wirtz, Boris
4
2012
Exact state set representations in the verification of linear hybrid systems with large discrete state space. Zbl 1141.68461
Damm, Werner; Disch, Stefan; Hungar, Hardi; Jacobs, Swen; Pang, Jun; Pigorsch, Florian; Scholl, Christoph; Waldmann, Uwe; Wirtz, Boris
4
2007
Verification of a radio-based signaling system using the STATEMATE verification environment. Zbl 0990.68568
Damm, Werner; Klose, Jochen
4
2001
An automata-theoretic characterization of the OI-hierarchy. Zbl 0487.68070
Damm, Werner; Goerdt, Andreas
4
1982
Component based design of hybrid systems: a case study on concurrency and coupling. Zbl 1361.68142
Damm, Werner; Möhlmann, Eike; Rakow, Astrid
3
2014
Towards component based design of hybrid systems: safety and stability. Zbl 1288.68162
Damm, Werner; Dierks, Henning; Oehlerking, Jens; Pnueli, Amir
3
2010
Automating verification of cooperation, control, and design in traffic applications. Zbl 1151.68476
Damm, Werner; Mikschl, Alfred; Oehlerking, Jens; Olderog, Ernst-Rüdiger; Pang, Jun; Platzer, André; Segelken, Marc; Wirtz, Boris
3
2007
Automatic verification of hybrid systems with large discrete state space. Zbl 1161.68562
Damm, Werner; Disch, Stefan; Hungar, Hardi; Pang, Jun; Pigorsch, Florian; Scholl, Christoph; Waldmann, Uwe; Wirtz, Boris
3
2006
Guaranteed termination in the verification of LTL properties of non-linear robust discrete time hybrid systems. Zbl 1170.68511
Damm, Werner; Pinto, Guilherme; Ratschan, Stefan
3
2005
A discrete-time UML semantics for concurrency and communication in safety-critical applications. Zbl 1075.68048
Damm, Werner; Josko, Bernhard; Pnueli, Amir; Votintseva, Angelika
3
2005
The Statemate verification environment – making it real. Zbl 0974.68564
Bienmüller, Tom; Damm, Werner; Wittke, Hartmut
3
2000
Combining T and level-N. Zbl 0477.68091
Damm, W.; Guessarian, I.
3
1981
PTIME parametric verification of safety properties for reasonable linear hybrid automata. Zbl 1262.68113
Damm, Werner; Ihlemann, Carsten; Sofronie-Stokkermans, Viorica
2
2011
A design methodology for distributed real-time automotive applications. Zbl 1189.93016
Damm, Werner; Metzner, Alexander
2
2007
On the verification of cooperating traffic agents. Zbl 1104.68526
Damm, Werner; Hungar, Hardi; Olderog, Ernst-Rüdiger
2
2004
Herbrand automata for hardware verification. Zbl 0940.68051
Damm, W.; Pnueli, A.; Ruah, S.
2
1998
An algebraic extension of the Chomsky-hierarchy. Zbl 0412.68069
Damm, W.
2
1979
Decidability of verification of safety properties of spatial families of linear hybrid automata. Zbl 06688815
Damm, Werner; Horbach, Matthias; Sofronie-Stokkermans, Viorica
1
2015
Can we build it: formal synthesis of control strategies for cooperative driver assistance systems. Zbl 1269.93067
Damm, Werner; Peter, Hans-Jörg; Rakow, Jan; Westphal, Bernd
1
2013
Crossing the bridge between similar games. Zbl 1348.68147
Quesel, Jan-David; Fränzle, Martin; Damm, Werner
1
2011
Computer aided verification. 19th international conference, CAV 2007, Berlin, Germany, July 3–7, 2007. Proceedings. Zbl 1119.68005
Damm, Werner (ed.); Hermanns, Holger (ed.)
1
2007
On the expressive power of live sequence charts. Zbl 1149.68403
Damm, Werner; Toben, Tobe; Westphal, Bernd
1
2007
Understanding UML: a formal semantics of concurrency and communication in real-time UML. Zbl 1254.68140
Damm, Werner; Josko, Bernhard; Pnueli, Amir; Votintseva, Angelika
1
2003
A semantics for distributed execution of Statemate. Zbl 1093.68599
Fränzle, Martin; Niehaus, Jürgen; Metzner, Alexander; Damm, Werner
1
2003
Top-down tree-transducers for infinite trees. I. Zbl 0486.68012
Bilstein, J.; Damm, W.
1
1981
The io- and oi-hierarchies. Zbl 0471.68058
Damm, Werner
1
1980
Languages defined by higher type program schemes. Zbl 0356.68078
Damm, Werner
1
1977
Decidability of verification of safety properties of spatial families of linear hybrid automata. Zbl 06688815
Damm, Werner; Horbach, Matthias; Sofronie-Stokkermans, Viorica
1
2015
Component based design of hybrid systems: a case study on concurrency and coupling. Zbl 1361.68142
Damm, Werner; Möhlmann, Eike; Rakow, Astrid
3
2014
Can we build it: formal synthesis of control strategies for cooperative driver assistance systems. Zbl 1269.93067
Damm, Werner; Peter, Hans-Jörg; Rakow, Jan; Westphal, Bernd
1
2013
Taming Dr. Frankenstein: contract-based design for cyber-physical systems. Zbl 1264.93152
Sangiovanni-Vincentelli, Alberto; Damm, Werner; Passerone, Roberto
6
2012
Exact and fully symbolic verification of linear hybrid automata with large discrete state spaces. Zbl 1243.68212
Damm, Werner; Dierks, Henning; Disch, Stefan; Hagemann, Willem; Pigorsch, Florian; Scholl, Christoph; Waldmann, Uwe; Wirtz, Boris
4
2012
PTIME parametric verification of safety properties for reasonable linear hybrid automata. Zbl 1262.68113
Damm, Werner; Ihlemann, Carsten; Sofronie-Stokkermans, Viorica
2
2011
Crossing the bridge between similar games. Zbl 1348.68147
Quesel, Jan-David; Fränzle, Martin; Damm, Werner
1
2011
Towards component based design of hybrid systems: safety and stability. Zbl 1288.68162
Damm, Werner; Dierks, Henning; Oehlerking, Jens; Pnueli, Amir
3
2010
Guaranteed termination in the verification of LTL properties of non-linear robust discrete time hybrid systems. Zbl 1109.68064
Damm, Werner; Pinto, Guilherme; Ratschan, Stefan
6
2007
Exact state set representations in the verification of linear hybrid systems with large discrete state space. Zbl 1141.68461
Damm, Werner; Disch, Stefan; Hungar, Hardi; Jacobs, Swen; Pang, Jun; Pigorsch, Florian; Scholl, Christoph; Waldmann, Uwe; Wirtz, Boris
4
2007
Automating verification of cooperation, control, and design in traffic applications. Zbl 1151.68476
Damm, Werner; Mikschl, Alfred; Oehlerking, Jens; Olderog, Ernst-Rüdiger; Pang, Jun; Platzer, André; Segelken, Marc; Wirtz, Boris
3
2007
A design methodology for distributed real-time automotive applications. Zbl 1189.93016
Damm, Werner; Metzner, Alexander
2
2007
Computer aided verification. 19th international conference, CAV 2007, Berlin, Germany, July 3–7, 2007. Proceedings. Zbl 1119.68005
Damm, Werner (ed.); Hermanns, Holger (ed.)
1
2007
On the expressive power of live sequence charts. Zbl 1149.68403
Damm, Werner; Toben, Tobe; Westphal, Bernd
1
2007
Verification of cooperating traffic agents. Zbl 1122.90325
Damm, W.; Hungar, H.; Olderog, E.-R.
9
2006
Automatic verification of hybrid systems with large discrete state space. Zbl 1161.68562
Damm, Werner; Disch, Stefan; Hungar, Hardi; Pang, Jun; Pigorsch, Florian; Scholl, Christoph; Waldmann, Uwe; Wirtz, Boris
3
2006
Guaranteed termination in the verification of LTL properties of non-linear robust discrete time hybrid systems. Zbl 1170.68511
Damm, Werner; Pinto, Guilherme; Ratschan, Stefan
3
2005
A discrete-time UML semantics for concurrency and communication in safety-critical applications. Zbl 1075.68048
Damm, Werner; Josko, Bernhard; Pnueli, Amir; Votintseva, Angelika
3
2005
On the verification of cooperating traffic agents. Zbl 1104.68526
Damm, Werner; Hungar, Hardi; Olderog, Ernst-Rüdiger
2
2004
Understanding UML: a formal semantics of concurrency and communication in real-time UML. Zbl 1254.68140
Damm, Werner; Josko, Bernhard; Pnueli, Amir; Votintseva, Angelika
1
2003
A semantics for distributed execution of Statemate. Zbl 1093.68599
Fränzle, Martin; Niehaus, Jürgen; Metzner, Alexander; Damm, Werner
1
2003
LSCs: Breathing life into message sequence charts. Zbl 0985.68033
Damm, Werner; Harel, David
34
2001
Verification of a radio-based signaling system using the STATEMATE verification environment. Zbl 0990.68568
Damm, Werner; Klose, Jochen
4
2001
The Statemate verification environment – making it real. Zbl 0974.68564
Bienmüller, Tom; Damm, Werner; Wittke, Hartmut
3
2000
Herbrand automata for hardware verification. Zbl 0940.68051
Damm, W.; Pnueli, A.; Ruah, S.
2
1998
An automata-theoretical characterization of the OI-hierarchy. Zbl 0628.68061
Damm, Werner; Goerdt, Andreas
24
1986
A sound and relatively* complete Hoare-logic for a language with higher type procedures. Zbl 0501.68008
Damm, Werner; Josko, Bernhard
6
1983
The IO- and OI-hierarchies. Zbl 0478.68012
Damm, Werner
52
1982
An automata-theoretic characterization of the OI-hierarchy. Zbl 0487.68070
Damm, Werner; Goerdt, Andreas
4
1982
Combining T and level-N. Zbl 0477.68091
Damm, W.; Guessarian, I.
3
1981
Top-down tree-transducers for infinite trees. I. Zbl 0486.68012
Bilstein, J.; Damm, W.
1
1981
The io- and oi-hierarchies. Zbl 0471.68058
Damm, Werner
1
1980
An algebraic extension of the Chomsky-hierarchy. Zbl 0412.68069
Damm, W.
2
1979
Higher type recursion and self-application as control structures. Zbl 0373.68021
Damm, W.; Fehr, E.; Indermark, K.
10
1978
On the power of self-application and higher type recursion. Zbl 0391.68041
Damm, W.; Fehr, E.
6
1978
Higher type program schemes and their tree languages. Zbl 0358.68009
Damm, W.
6
1977
Languages defined by higher type program schemes. Zbl 0356.68078
Damm, Werner
1
1977
all top 5

Cited by 258 Authors

13 Engelfriet, Joost
10 Vogler, Heiko
8 Damm, Werner
6 Salvati, Sylvain
5 Courcelle, Bruno
5 Platzer, André
5 Ratschan, Stefan
4 Harel, David
4 Olderog, Ernst-Rüdiger
3 Clarke, Edmund Melson jun.
3 Lippe, Wolfram-Manfred
3 Maneth, Sebastian
3 Sénizergues, Géraud
3 Walukiewicz, Igor
2 Arbab, Farhad
2 Baier, Christel
2 Dasgupta, Pallab
2 Dierks, Henning
2 Disch, Stefan
2 Dixit, Manoj G.
2 Drewes, Frank
2 Ésik, Zoltán
2 Fratani, Séverine
2 Fribourg, Laurent
2 Hagemann, Willem
2 Henzinger, Thomas A.
2 Hilscher, Martin
2 Indermark, Klaus
2 Kantor, Amir
2 Kobayashi, Naoki
2 Kumar, Rahul
2 Langmaack, Hans
2 Le Coënt, Adrien
2 Mercer, Eric G.
2 Möller, Bernhard
2 Pappas, George J.
2 Parys, Paweł
2 Pigorsch, Florian
2 Ramesh, Sridhar
2 Refsdal, Atle
2 Runde, Ragnhild Kobro
2 Schmidt, Erik Meineche
2 Scholl, Christoph
2 Schwammberger, Maike
2 Sofronie-Stokkermans, Viorica
2 Stølen, Ketil
2 Vardi, Moshe Y.
1 Abed, Sa’ed
1 Aït Mohamed, Otmane
1 Apt, Krzysztof Rafal
1 Armbruster, Dieter
1 Avni, Guy
1 Balaguer, Sandie
1 Baldwin, William A.
1 Barbosa, Luís Soares
1 Basin, David A.
1 Benson, David B.
1 Berger, Martin J.
1 Bhaduri, Purandar
1 Bloom, Stephen L.
1 Blumensath, Achim
1 Bontemps, Yves
1 Bourreau, Pierre
1 Broadbent, Christopher H.
1 Broy, Manfred
1 Bunker, Annette
1 Cai, BaiGen
1 Caleiro, Carlos
1 Canham, Samuel
1 Cavalcanti, Ana
1 Chakraborty, Supratik
1 Chamoin, Ludovic
1 Chapoutot, Alexandre
1 Chen, Feng
1 Choppy, Christine
1 Cimatti, Alessandro
1 Cohen, Irun R.
1 Corradini, Andrea
1 Crolard, Tristan
1 David, Alexandre
1 de Jong, Hidde
1 de Roever, Willem-Paul
1 De Vuyst, Florian
1 Desimone, Robert
1 Doyen, Laurent
1 Droste, Manfred
1 Dumas, Estelle
1 Duracz, Adam
1 Dzetkulič, Tomáš
1 Eckstein, Silke
1 Efroni, Sol
1 Ehrig, Hartmut
1 Eisinger, Jochen
1 Elkind, Edith
1 Eshuis, Rik
1 Fahland, Dirk
1 Falcão, Flávia
1 Farjudian, Amin
1 Fehr, Elfriede
1 Ferté, Julien
...and 158 more Authors

Citations by Year