Jakobs, Marie-Christine ; Mantel, Heiko
Margaria, Tiziana ; Steffen, Bernhard (eds.) (2020):
A Unifying Framework for Dynamic Monitoring and a Taxonomy of Optimizations.
pp. 72-92, Springer, 9th International Symposium on Leveraging Applications of Formal Methods (ISoLA 2020), virtual Conference, 20.-30.10., ISBN 978-3-030-61469-0,
DOI: 10.1007/978-3-030-61470-6_6,
[Conference or Workshop Item]

Hähnle, Reiner ; Heydari Tabar, Asmae ; Mazaheri, Arya ; Norouzi, Mohammad ; Steinhöfel, Dominic ; Wolf, Felix
Margaria, Tiziana ; Steffen, Bernhard (eds.) (2020):
Safer Parallelization.
In: Lecture Notes in Computer Science, 12477, In: Leveraging Applications of Formal Methods, Verification and Validation: Engineering Principles, pp. 117-137,
Springer, 9th International Symposium on Leveraging Applications of Formal Methods (ISoLA 2020), ISBN 978-3-030-61469-0,
DOI: 10.1007/978-3-030-61470-6_8,
[Conference or Workshop Item]

Lochau, Malte ; Luthmann, Lars ; Göttmann, Hendrik ; Bacher, Isabelle
Margaria, Tiziana ; Steffen, Bernhard (eds.) (2020):
Parametric Timed Bisimulation.
In: Lecture Notes in Computer Science, 12477, In: Leveraging Applications of Formal Methods, Verification and Validation: Engineering Principles, pp. 55-71,
Springer Nature, 9th International Symposium on Leveraging Applications of Formal Methods (ISoLA 2020), Rhodes, Greece, 20.-30.10.2020, ISBN 978-3-030-61469-0,
DOI: 10.1007/978-3-030-61470-6_5,
[Conference or Workshop Item]

Hähnle, Reiner ; Huisman, Marieke
Steffen, Bernhard ; Woeginger, Gerhard J. (eds.) (2019):
Deductive Software Verification: From Pen-and-Paper Proofs to Industrial Tools.
In: Lecture Notes in Computer Science, 10000, In: Computing and Software Science - State of the Art and Perspectives, pp. 345-373, Springer, DOI: 10.1007/978-3-319-91908-9_18,
[Book Section]

Steinhöfel, Dominic ; Hähnle, Reiner
Margaria, Tiziana ; Steffen, Bernhard (eds.) (2018):
Modular, Correct Compilation with Automatic Soundness Proofs.
In: Lecture Notes in Computer Science, 11244, In: Leveraging Applications of Formal Methods, Verification and Validation. Modeling, pp. 424-447, Cham, Springer International Publishing, ISBN 978-3-030-03417-7,
DOI: 10.1007/978-3-030-03418-4_25,
[Book Section]

Beek, Maurice H. ter ; Hähnle, Reiner ; Schaefer, Ina
Margaria, Tiziana ; Steffen, Bernhard (eds.) (2016):
Correctness-by-Construction and Post-hoc Verification: Friends or Foes?
In: Lecture Notes in Computer Science, 9952, pp. 723-729, Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques - 7th International Symposium, ISoLA 2016, Imperial, Corfu, Greece, October 10-14, 2016, Proceedings, Part I, DOI: 10.1007/978-3-319-47166-2_51,
[Conference or Workshop Item]

Bodden, Eric ; Pun, Ka I. ; Steffen, Martin ; Stolz, Volker ; Wickert, Anna-Katharina
Margaria, Tiziana ; Steffen, Bernhard (eds.) (2016):
Information Flow Analysis for Go.
9952, In: Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques, pp. 431-445, Springer International Publishing, ISBN 978-3-319-47166-2,
DOI: 10.1007/978-3-319-47166-2_30,
[Book Section]

Hähnle, Reiner ; Muschevici, Radu
Margaria, Tiziana ; Steffen, Bernhard (eds.) (2016):
Towards Incremental Validation of Railway Systems.
In: Lecture Notes in Computer Science, 9953, pp. 433-446, Leveraging Applications of Formal Methods, Verification and Validation: Discussion, Dissemination, Applications - 7th International Symposium, ISoLA 2016, Imperial, Corfu, Greece, October 10-14, 2016, Proceedings, Part II, DOI: 10.1007/978-3-319-47169-3_36,
[Conference or Workshop Item]

Hähnle, Reiner ; Johnsen, Einar Broch
Margaria, Tiziana ; Steffen, Bernhard (eds.) (2014):
Introduction to Track on Engineering Virtualized Services.
In: Lecture Notes in Computer Science, 8803, pp. 1-4, Springer, Leveraging Applications of Formal Methods, Verification and Validation. Specialized Techniques and Applications - 6th International Symposium, ISoLA 2014, Imperial, Corfu, Greece, October 8-11, 2014, Proceedings, Part II, DOI: 10.1007/978-3-662-45231-8_1,
[Conference or Workshop Item]

Rönsch-Schulenburg, Juliane ; Hass, Eugen ; Kuhl, Alexander ; Plath, Tim ; Rehders, Marie ; Rossbach, Jörg ; Baboi, Nicoleta ; Bock, Marie Kristin ; Bousonville, Michael ; Gerth, Ch. ; Klose, K. ; Limberg, T. ; Mavric, Uros ; Schlarb, H. ; Schmidt, B. ; Schreiber, Siegfried ; Steffen, Bernhard ; Sydlo, Cezary ; Wesch, Stefan ; Vilcins-Czvitkovits, Silke ; Angelovski, Aleksandar ; Jakoby, Rolf ; Penirschke, Andreas ; Schnepp, Sascha ; Weiland, Thomas (2012):
Generation of Ultra-Short Electron Bunches at FLASH.
pp. 1-4, Proceedings of the 34th International Free-Electron Laser Conference, [Conference or Workshop Item]

Hähnle, Reiner ; Schaefer, Ina
Margaria, Tiziana ; Steffen, Bernhard (eds.) (2012):
Adaptable and Evolving Software for Eternal Systems - (Track Summary).
In: Lecture Notes in Computer Science, 7609, pp. 1-3, Springer, Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change - 5th International Symposium, ISoLA 2012, Heraklion, Crete, Greece, October 15-18, 2012, Proceedings, Part I, DOI: 10.1007/978-3-642-34026-0_1,
[Conference or Workshop Item]

Hähnle, Reiner ; Knoop, Jens ; Margaria, Tiziana ; Schreiner, Dietmar ; Steffen, Bernhard (eds.) (2012):
Leveraging Applications of Formal Methods, Verification, and Validation - International Workshops, SARS 2011 and MLSC 2011, Held Under the Auspices of ISoLA 2011 in Vienna, Austria, October 17-18, 2011. Revised Selected Papers.
In: Communications in Computer and Information Science, 336, Berlin, Heidelberg, Springer, ISBN 978-3-642-34780-1,
DOI: 10.1007/978-3-642-34781-8,
[Book]

Hähnle, Reiner ; Schaefer, Ina
Margaria, Tiziana ; Steffen, Bernhard (eds.) (2012):
A Liskov Principle for Delta-Oriented Programming.
In: Lecture Notes in Computer Science, 7609, pp. 32-46, Springer, Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change - 5th International Symposium, ISoLA 2012, Heraklion, Crete, Greece, October 15-18, 2012, Proceedings, Part I, DOI: 10.1007/978-3-642-34026-0_4,
[Conference or Workshop Item]

Lochau, Malte ; Kamischke, Jochen
Margaria, Tiziana ; Steffen, Bernhard (eds.) (2012):
Parameterized Preorder Relations for Model-Based Testing of Software Product Lines.
In: Lecture Notes in Computer Science, 7609, In: Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change, pp. 223-237,
Springer Berlin Heidelberg, ISBN 978-3-642-34025-3,
[Conference or Workshop Item]

Hähnle, Reiner
Margaria, Tiziana ; Steffen, Bernhard (eds.) (2010):
HATS: Highly Adaptable and Trustworthy Software using Formal Models.
In: LNCS, 6416, In: Proceedings 4th International Symposium On Leveraging Applications of Formal Methods (ISoLA), Part II, Verification and Validation, Heraclion, Crete, p. 2,
Springer-Verlag, DOI: 10.1007/978-3-642-16561-0_2,
[Conference or Workshop Item]

Hähnle, Reiner
Margaria, Tiziana ; Steffen, Bernhard (eds.) (2010):
Task Forces in the EternalS Coordination Action.
In: LNCS, 6416, In: Proc. 4th International Symposium On Leveraging Applications of Formal Methods (ISoLA), Part II, Verification and Validation, Heraclion, Crete, pp. 21--23,
Springer-Verlag, [Conference or Workshop Item]

Ackermann, Wolfgang ; Asova, Galina ; Ayvazyan, V. ; Azima, A. ; Baboi, N. ; Bähr, Jürgen W. ; Balandin, V. ; Beutner, B. ; Brandt, A. ; Bolzmann, A. ; Brinkmann, R. ; Brovko, O. I. ; Castellano, M. ; Castro, P. ; Catani, L. ; Chiadroni, E. ; Choroba, S. ; Cianchi, A. ; Costello, J. T. ; Cubaynes, D. ; Dardis, J. ; Decking, W. ; Delsim-Hashemi, H. ; Delserieys, A. ; Di Pirro, G. ; Dohlus, Martin ; Düsterer, S. ; Eckhardt, A. ; Edwards, H. T. ; Faatz, B. ; Feldhaus, J. ; Flöttmann, Klaus ; Frisch, Josef ; Fröhlich, L. ; Garvey, T. ; Gensch, Ulrich ; Gerth, Ch. ; Görler, M. ; Golubeva, N. ; Grabosch, Hans-Jürgen ; Gretchko, V. ; Grecki, M. ; Grimm, Oliver ; Hacker, K. ; Hahn, U. ; Han, Jang Hui ; Honkavaara, K. ; Hott, T. ; Hüning, M. ; Ivanisenko, Y. ; Jaeschke, Eberhard ; Jalmuzna, W. ; Jezynski, T. ; Kammering, R. ; Katalev, V. ; Kavanagh, K. ; Kennedy, E. T. ; Khodyachykh, Sergiy ; Klose, K. ; Kocharyan, V. ; Körfer, Markus ; Kollewe, M. ; Körfer, Markus ; Kollewe, M. ; Koprek, W. ; Korepanov, S. ; Kostin, D. ; Krassilnikov, Mikhail ; Kube, G. ; Kuhlmann, M. ; Lewis, C. L. S. ; Lilje, L. ; Limberg, T. ; Lipka, Dirk ; Löhl, F. ; Luna, H. ; Luong, M. ; Martins, M. ; Meyer, M. ; Michelato, Paolo ; Miltchev, Velizar ; Möller, W. D. ; Monaco, Laura ; Müller, Wolfgang Franz Otto ; Napieralski, O. ; Napoly, O. ; Nicolosi, P. ; Nölle, D. ; Nunez, T. ; Oppelt, Anne ; Pagani, Carlo ; Paparella, R. ; Pchalek, N. ; Pedregosa-Gutierrez, J. ; Petersen, B. ; Petrosyan, Bagrat ; Petrosyan, G. ; Petroysan, L. ; Pflüger, J. ; Plönjes, E. ; Poletto, L. ; Pozniak, K. ; Prat, E. ; Proch, D. ; Pucyk, P. ; Radcliffe, P. ; Redlin, H. ; Rehlich, K. ; Richter, M. ; Roehrs, M. ; Roensch, Juliane ; Romaniuk, R. ; Ross, Marc ; Rossbach, Jörg ; Rybnikov, V. ; Sachwitz, M. ; Saldin, E. L. ; Sandner, Wolfgang ; Schlarb, H. ; Schmidt, B. ; Schmitz, M. ; Schmüser, Peter ; Schneider, J. R. ; Schneidmiller, E. A. ; Schnepp, Sascha ; Schreiber, Siegfried ; Seidel, M. ; Sertore, Daniele ; Shabunov, A. V. ; Simon, C. ; Simrock, S. ; Sombrowski, E. ; Sorokin, A. A. ; Spanknebel, P. ; Spesyvtsev, R. ; Staykov, Lazar ; Steffen, Bernhard ; Stephan, Frank ; Stulle, F. ; Thom, H. ; Tiedtke, K. ; Tischer, M. ; Toleikis, S. ; Treusch, R. ; Trines, D. ; Tsakov, Ivan ; Vogel, E. ; Weiland, Thomas ; Weise, H. ; Wellhöfer, M. ; Wendt, M. ; Will, Ingo ; Winter, A. ; Wittenburg, K. ; Wurth, W. ; Yeates, P. ; Yurkov, M. V. ; Zagorodnov, Igor A. ; Zapfe, K. (2007):
Operation of a Free Electron Laser in the Wavelength Range from the Extreme Ultraviolet to the Water Window.
In: Nature Photonics, 1 (6), pp. 336-342. [Article]

Ayvazyan, V. ; Baboi, N. ; Bähr, Jürgen W. ; Balandin, V. ; Beutner, B. ; Brandt, A. ; Bohnet, Ilja ; Bolzmann, A. ; Brinkmann, R. ; Brovko, O. I. ; Carneiro, Jean-Paul ; Casalbuoni, S. ; Castellano, M. ; Castro, P. ; Catani, L. ; Chiadroni, E. ; Choroba, S. ; Cianchi, A. ; Delsim-Hashemi, H. ; Di Pirro, G. ; Dohlus, Martin ; Düsterer, S. ; Edwards, H. T. ; Faatz, B. ; Fateev, A. ; Feldhaus, J. ; Flöttmann, Klaus ; Frisch, Josef ; Fröhlich, L. ; Garvey, T. ; Gensch, Ulrich ; Golubeva, N. ; Grabosch, Hans-Jürgen ; Grigoryan, B. ; Grimm, Oliver ; Hahn, U. ; Han, Jang Hui ; Hartrott, Michael von ; Honkavaara, K. ; Hüning, M. ; Ischebeck, R. ; Jaeschke, Eberhard ; Jablonka, M. ; Kammering, R. ; Katalev, V. ; Keitel, B. ; Khodyachykh, Sergiy ; Kim, Y. ; Kocharyan, V. ; Körfer, Markus ; Kollewe, M. ; Kostin, D. ; Krämer, Dieter ; Krassilnikov, Mikhail ; Kube, G. ; Lilje, L. ; Limberg, T. ; Lipka, Dirk ; Löhl, F. ; Luong, M. ; Magne, C. ; Menzel, J. ; Michelato, Paolo ; Miltchev, Velizar ; Minty, M. ; Möller, W. D. ; Monaco, Laura ; Müller, Wolfgang Franz Otto ; Nagl, M. ; Napoly, O. ; Nicolosi, P. ; Nölle, D. ; Nunez, T. ; Oppelt, Anne ; Pagani, Carlo ; Paparella, R. ; Petersen, B. ; Petrosyan, Bagrat ; Pflüger, J. ; Piot, Philippe ; Plönjes, E. ; Poletto, L. ; Proch, D. ; Pugachov, D. ; Rehlich, K. ; Richter, Dieter ; Riemann, Sabine ; Ross, Marc ; Rossbach, Jörg ; Sachwitz, M. ; Saldin, E. L. ; Sandner, Wolfgang ; Schlarb, H. ; Schmidt, B. ; Schmitz, M. ; Schmüser, Peter ; Schneider, J. R. ; Schneidmiller, E. A. ; Schreiber, H. J. ; Schreiber, Siegfried ; Shabunov, A. V. ; Sertore, Daniele ; Setzer, Stefan ; Simrock, S. ; Sombrowski, E. ; Staykov, Lazar ; Steffen, Bernhard ; Stephan, Frank ; Stulle, F. ; Sytchev, K. P. ; Thom, H. ; Tiedtke, K. ; Tischer, M. ; Treusch, R. ; Trines, D. ; Tsakov, Ivan ; Vardanyan, A. ; Wanzenberg, Rainer ; Weiland, Thomas ; Weise, H. ; Wendt, M. ; Will, Ingo ; Winter, A. ; Wittenburg, K. ; Yurkov, M. V. ; Zagorodnov, Igor A. ; Zambolin, P. ; Zapfe, K. (2006):
First Operation of a Free-Electron Laser Generating GW Power Radiation at 32 nm Wavelength.
In: The European Physical Journal D, 37 (2), pp. 297-303. [Article]

Steffen, Bernhard (1996):
Entwicklung eines Systems zur Differentialdiagnose im WorldWideWeb.
TU Darmstadt, [Diploma Thesis or Magisterarbeit]

Schmitt, Dietmar ; Steffen, Bernhard ; Weiland, Thomas (1994):
2D and 3D Computations of Lossy Eigenvalue Problems.
In: IEEE Transactions on Magnetics, 30 (5), pp. 3578-3581. [Article]

Becker, Ulrich ; Dehler, Micha ; Dohlus, Martin ; Du, Xingjun ; Gutschling, Stefan ; Klatt, Reinhard ; Langstrof, Alfons ; Pröpper, Thomas ; Rienen, Ursula van ; Schmitt, Dietmar ; Steffen, Bernhard ; Thoma, Peter ; Wagner, Bernhard ; Weiland, Thomas ; Wipf, Susan G. ; Wolter, Heike ; Zhang, Min (1994):
Die Gitter-Maxwellgleichungen, Theorie und Anwendungsspektrum.
37, pp. 721-738, Kleinheubacher Berichte, [Conference or Workshop Item]

Bartsch, Michael ; Becker, Ulrich ; Dehler, Micha ; Dohlus, Martin ; Du, Xingjun ; Hahne, Peter ; Klatt, Reinhard ; Krawczyk, Frank ; Marx, Michaela ; Zhang, Min ; Pröpper, Thomas ; Schmitt, Dietmar ; Schütt, Petra ; Steffen, Bernhard ; Thoma, Peter ; Wagner, Bernhard ; Weiland, Thomas ; Wipf, Susan G. ; Wolter, Heike (1993):
Finite Integration: Ein universell anwendbares Verfahren zur Berechnung Elektromagnetischer Felder.
45, pp. 109-118, Vorträge der VDE Fachtagung, [Conference or Workshop Item]

Bartsch, Michael ; Dehler, Micha ; Dohlus, Martin ; Ebeling, Frank ; Hahne, Peter ; Klatt, Reinhard ; Krawczyk, Frank ; Marx, Michaela ; Pröpper, Thomas ; Schmitt, Dietmar ; Schütt, Petra ; Steffen, Bernhard ; Weiland, Thomas ; Wipf, Susan G. ; Wolter, Heike ; Zhang, Min (1992):
MAFIA in Practice: The Capabilities of the MAFIA CAD System.
pp. 405-408, Proceedings of the International Conference on Electromagnetic Field Problems and Applications, [Conference or Workshop Item]

Schmitt, Dietmar ; Steffen, Bernhard ; Weiland, Thomas (1992):
Elektromagnetisches CAD mit MAFIA.
1, pp. 9-14, Proceedings of the 37th International Scientific Colloquium, [Conference or Workshop Item]

Bartsch, Michael ; Dehler, Micha ; Dohlus, Martin ; Ebeling, Frank ; Hahne, Peter ; Klatt, Reinhard ; Krawczyk, Frank ; Marx, Michaela ; Schütt, Petra ; Steffen, Bernhard ; Pröpper, Thomas ; Schmitt, Dietmar ; Weiland, Thomas ; Wipf, Susan G. ; Wolter, Heike ; Zhang, Min (1992):
Solution of Maxwell's Equations.
In: Computer Physics Communications, 72, pp. 22-39. [Article]

Bartsch, Michael ; Dehler, Micha ; Dohlus, Martin ; Ebeling, Frank ; Hahne, Peter ; Klatt, Reinhard ; Krawczyk, Frank ; Marx, Michaela ; Schütt, Petra ; Steffen, Bernhard ; Pröpper, Thomas ; Wipf, Susan G. ; Weiland, Thomas ; Zhang, Min (1990):
MAFIA Release 3. X.
pp. 372-374, Proceedings of the XV International Linear Accelerator Conference, [Conference or Workshop Item]

Bartsch, Michael ; Dehler, Micha ; Dohlus, Martin ; Fischerauer, Alice ; Fischerauer, Gerhard ; Hahne, Peter ; Klatt, Reinhard ; Krawczyk, Frank ; Schütt, Petra ; Steffen, Bernhard ; Wipf, Susan G. ; Weiland, Thomas ; Zhang, Min (1990):
MAFIA Release 3: The New Version of the General Purpose Electromagnetic Design Code Familiy.
1, pp. 249-251, Proceedings of the 2nd European Particle Accelerator Conference, [Conference or Workshop Item]

Barts, Therese ; Browman, M. Jean ; Cooper, Richard K. ; Dehler, Micha ; Dohlus, Martin ; Ebeling, Frank ; Fischerauer, Alice ; Fischerauer, Gerhard ; Hahne, Peter ; Krawczyk, Frank ; Marx, Michaela ; Pröpper, Thomas ; Rodenz, Gary ; Rusthoi, Dan ; Schütt, Petra ; Steffen, Bernhard ; Weiland, Thomas ; Wipf, Susan G. (1990):
Status and Future of the 3D MAFIA Group of Codes.
In: IEEE Transactions on Magnetics, 26 (2), pp. 751-754. [Article]

Barts, Therese ; Browman, M. Jean ; Cooper, Richard K. ; Dehler, Micha ; Dohlus, Martin ; Ebeling, Frank ; Fischerauer, Alice ; Fischerauer, Gerhard ; Hahne, Peter ; Klatt, Reinhard ; Krawczyk, Frank ; Marx, Michaela ; Pröpper, Thomas ; Rodenz, Gary ; Rusthoi, Dan ; Schütt, Petra ; Steffen, Bernhard ; Weiland, Thomas ; Wipf, Susan G. (1990):
Maxwell's Grid Equations.
In: Frequenz: Journal of RF-Engineering and Telecommunications, 44, pp. 9-16. [Article]

Ebeling, Frank ; Klatt, Reinhard ; Krawczyk, Frank ; Lawinsky, Evelin ; Weiland, Thomas ; Wipf, Susan G. ; Steffen, Bernhard ; Barts, Therese ; Browman, M. Jean ; Cooper, Richard K. ; Deaven, Helen ; Rodenz, Gary (1989):
The 3D Mafia Group of Electromagnetic Codes.
In: IEEE Transactions on Magnetics, 25 (4), pp. 2962-2964. [Article]

Barts, Therese ; Browman, M. Jean ; Cooper, Richard K. ; Ebeling, Frank ; Klatt, Reinhard ; Krawczyk, Frank ; Lawinsky, Evelin ; Rodenz, Gary ; Steffen, Bernhard ; Weiland, Thomas ; Wipf, Susan G. (1988):
Status and Future of the 3D MAFIA Group of Codes.
1, pp. 279-281, Proceedings of the 1st European Particle Accelerator Conference, [Conference or Workshop Item]

Barts, Therese ; Browman, M. Jean ; Cooper, Richard K. ; Klatt, Reinhard ; Mottershead, C. T. ; Novender, W. R. ; Palm, Christine ; Rodenz, Gary ; Steffen, Bernhard ; Weiland, Thomas (1986):
MAFIA - A Three Dimensional Electromagnetic CAD System for Magnets, RF Structures and Transient Wake Field Calculations.
pp. 276-278, Proceedings of the International Linear Accelerator Conference, [Conference or Workshop Item]