Deutsch

Bodden, Eric ; Pun, Ka I. ; Steffen, Martin ; Stolz, Volker ; Wickert, Anna-Katharina
Hrsg.: Margaria, Tiziana ; Steffen, Bernhard (2016)
Information Flow Analysis for Go.
In: Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques
doi: 10.1007/978-3-319-47166-2_30
Buchkapitel, Bibliographie

Hähnle, Reiner ; Muschevici, Radu
Hrsg.: Margaria, Tiziana ; Steffen, Bernhard (2016)
Towards Incremental Validation of Railway Systems.
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
Konferenzveröffentlichung, Bibliographie

Hähnle, Reiner ; Johnsen, Einar Broch
Hrsg.: Margaria, Tiziana ; Steffen, Bernhard (2014)
Introduction to Track on Engineering Virtualized Services.
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
Konferenzveröffentlichung, Bibliographie

Hähnle, Reiner ; Schaefer, Ina
Hrsg.: Margaria, Tiziana ; Steffen, Bernhard (2012)
Adaptable and Evolving Software for Eternal Systems - (Track Summary).
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
Konferenzveröffentlichung, Bibliographie

Hrsg.: Hähnle, Reiner ; Knoop, Jens ; Margaria, Tiziana ; Schreiner, Dietmar ; Steffen, Bernhard (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.
doi: 10.1007/978-3-642-34781-8
Buch, Bibliographie

Hähnle, Reiner ; Schaefer, Ina
Hrsg.: Margaria, Tiziana ; Steffen, Bernhard (2012)
A Liskov Principle for Delta-Oriented Programming.
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
Konferenzveröffentlichung, Bibliographie

Hähnle, Reiner
Hrsg.: Margaria, Tiziana ; Steffen, Bernhard (2010)
HATS: Highly Adaptable and Trustworthy Software using Formal Models.
doi: 10.1007/978-3-642-16561-0_2
Konferenzveröffentlichung, Bibliographie

Hähnle, Reiner
Hrsg.: Margaria, Tiziana ; Steffen, Bernhard (2010)
Task Forces in the EternalS Coordination Action.
Konferenzveröffentlichung, Bibliographie

Steffen, Bernhard (1996)
Entwicklung eines Systems zur Differentialdiagnose im WorldWideWeb.
Technische Universität Darmstadt
Diplom- oder Magisterarbeit, Bibliographie

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.
Kleinheubacher Berichte.
Konferenzveröffentlichung, Bibliographie

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.
Vorträge der VDE Fachtagung.
Konferenzveröffentlichung, Bibliographie

Schmitt, Dietmar ; Steffen, Bernhard ; Weiland, Thomas (1992)
Elektromagnetisches CAD mit MAFIA.
Proceedings of the 37th International Scientific Colloquium.
Konferenzveröffentlichung, Bibliographie

Englisch

Jakobs, Marie-Christine ; Mantel, Heiko
Hrsg.: Margaria, Tiziana ; Steffen, Bernhard (2020)
A Unifying Framework for Dynamic Monitoring and a Taxonomy of Optimizations.
9th International Symposium on Leveraging Applications of Formal Methods (ISoLA 2020). virtual Conference (20.10.2020-30.10.2020)
doi: 10.1007/978-3-030-61470-6_6
Konferenzveröffentlichung, Bibliographie

Hähnle, Reiner ; Heydari Tabar, Asmae ; Mazaheri, Arya ; Norouzi, Mohammad ; Steinhöfel, Dominic ; Wolf, Felix
Hrsg.: Margaria, Tiziana ; Steffen, Bernhard (2020)
Safer Parallelization.
9th International Symposium on Leveraging Applications of Formal Methods (ISoLA 2020). virtual Conference (20.-30.10.2020)
doi: 10.1007/978-3-030-61470-6_8
Konferenzveröffentlichung, Bibliographie

Lochau, Malte ; Luthmann, Lars ; Göttmann, Hendrik ; Bacher, Isabelle
Hrsg.: Margaria, Tiziana ; Steffen, Bernhard (2020)
Parametric Timed Bisimulation.
9th International Symposium on Leveraging Applications of Formal Methods (ISoLA 2020). Rhodes, Greece (20.10.2020-30.10.2020)
doi: 10.1007/978-3-030-61470-6_5
Konferenzveröffentlichung, Bibliographie

Hähnle, Reiner ; Huisman, Marieke
Hrsg.: Steffen, Bernhard ; Woeginger, Gerhard J. (2019)
Deductive Software Verification: From Pen-and-Paper Proofs to Industrial Tools.
In: Computing and Software Science - State of the Art and Perspectives
doi: 10.1007/978-3-319-91908-9_18
Buchkapitel, Bibliographie

Steinhöfel, Dominic ; Hähnle, Reiner
Hrsg.: Margaria, Tiziana ; Steffen, Bernhard (2018)
Modular, Correct Compilation with Automatic Soundness Proofs.
In: Leveraging Applications of Formal Methods, Verification and Validation. Modeling
doi: 10.1007/978-3-030-03418-4_25
Buchkapitel, Bibliographie

Beek, Maurice H. ter ; Hähnle, Reiner ; Schaefer, Ina
Hrsg.: Margaria, Tiziana ; Steffen, Bernhard (2016)
Correctness-by-Construction and Post-hoc Verification: Friends or Foes?
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
Konferenzveröffentlichung, Bibliographie

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.
Proceedings of the 34th International Free-Electron Laser Conference.
Konferenzveröffentlichung, Bibliographie

Lochau, Malte ; Kamischke, Jochen
Hrsg.: Margaria, Tiziana ; Steffen, Bernhard (2012)
Parameterized Preorder Relations for Model-Based Testing of Software Product Lines.
Konferenzveröffentlichung, Bibliographie

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)
Artikel, Bibliographie

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)
Artikel, Bibliographie

Schmitt, Dietmar ; Steffen, Bernhard ; Weiland, Thomas (1994)
2D and 3D Computations of Lossy Eigenvalue Problems.
In: IEEE Transactions on Magnetics, 30 (5)
Artikel, Bibliographie

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.
Proceedings of the International Conference on Electromagnetic Field Problems and Applications.
Konferenzveröffentlichung, Bibliographie

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
Artikel, Bibliographie

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.
Proceedings of the XV International Linear Accelerator Conference.
Konferenzveröffentlichung, Bibliographie

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.
Proceedings of the 2nd European Particle Accelerator Conference.
Konferenzveröffentlichung, Bibliographie

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)
Artikel, Bibliographie

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
Artikel, Bibliographie

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)
Artikel, Bibliographie

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.
Proceedings of the 1st European Particle Accelerator Conference.
Konferenzveröffentlichung, Bibliographie

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.
Proceedings of the International Linear Accelerator Conference.
Konferenzveröffentlichung, Bibliographie