Publication

Engineering virtualized services In Proceedings

E. Albert (Elvira), F.S. de Boer (Frank), R. Hähnle (Reiner), E.B. Johnsen (Einar Broch) and C. Laneve (Cosimo)

Run-time checking of data- and protocol-oriented properties of Java programs: an industrial case study In Proceedings

C.P.T. de Gouw (Stijn), F.S. de Boer (Frank), E.B. Johnsen (Einar Broch) and P.Y.H. Wong

Formal methods for components and objects : 11th international symposium, FMCO 2012 Proceedings

Formal methods for components and objects : 10th international symposium, FMCO 2011 Proceedings

High order fluid model for streamer discharges in rare gases Presentation

A. Markosyan (Aram), S. Dujko (Sasa) and U. Ebert (Ute)

Challenges in fluid modeling of streamer discharges. Presentation

A. Markosyan (Aram), S. Dujko (Sasa) and U. Ebert (Ute)

How transient should a discharge be? On terrestrial gamma-ray flashes and disinfection Presentation

U. Ebert (Ute)

Investigating heating dynamics in sparks Presentation

A. Markosyan (Aram), J. Zhang (Jason), B. van Heesch and U. Ebert (Ute)