TU Darmstadt / ULB / TUbiblio

Browse by Person

Up a level
Export as [feed] Atom [feed] RSS 1.0 [feed] RSS 2.0
Group by: No Grouping | Item Type | Date | Language
Number of items: 32.

Jakobs, Marie-Christine ; Mantel, Heiko
eds.: 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.-30.10.)
doi: 10.1007/978-3-030-61470-6_6
Conference or Workshop Item, Bibliographie

Hähnle, Reiner ; Heydari Tabar, Asmae ; Mazaheri, Arya ; Norouzi, Mohammad ; Steinhöfel, Dominic ; Wolf, Felix
eds.: 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
Conference or Workshop Item, Bibliographie

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

Hähnle, Reiner ; Huisman, Marieke
eds.: 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
Book Section, Bibliographie

Steinhöfel, Dominic ; Hähnle, Reiner
eds.: 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
Book Section, Bibliographie

Beek, Maurice H. ter ; Hähnle, Reiner ; Schaefer, Ina
eds.: 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
Conference or Workshop Item, Bibliographie

Bodden, Eric ; Pun, Ka I. ; Steffen, Martin ; Stolz, Volker ; Wickert, Anna-Katharina
eds.: 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
Book Section, Bibliographie

Hähnle, Reiner ; Muschevici, Radu
eds.: 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
Conference or Workshop Item, Bibliographie

Hähnle, Reiner ; Johnsen, Einar Broch
eds.: 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
Conference or Workshop Item, 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.
Conference or Workshop Item, Bibliographie

Hähnle, Reiner ; Schaefer, Ina
eds.: 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
Conference or Workshop Item, Bibliographie

eds.: 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
Book, Bibliographie

Hähnle, Reiner ; Schaefer, Ina
eds.: 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
Conference or Workshop Item, Bibliographie

Lochau, Malte ; Kamischke, Jochen
eds.: Margaria, Tiziana ; Steffen, Bernhard (2012)
Parameterized Preorder Relations for Model-Based Testing of Software Product Lines.
Conference or Workshop Item, Bibliographie

Hähnle, Reiner
eds.: Margaria, Tiziana ; Steffen, Bernhard (2010)
HATS: Highly Adaptable and Trustworthy Software using Formal Models.
doi: 10.1007/978-3-642-16561-0_2
Conference or Workshop Item, Bibliographie

Hähnle, Reiner
eds.: Margaria, Tiziana ; Steffen, Bernhard (2010)
Task Forces in the EternalS Coordination Action.
Conference or Workshop Item, 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)
Article, 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)
Article, Bibliographie

Steffen, Bernhard (1996)
Entwicklung eines Systems zur Differentialdiagnose im WorldWideWeb.
Technische Universität Darmstadt
Diploma Thesis or Magisterarbeit, Bibliographie

Schmitt, Dietmar ; Steffen, Bernhard ; Weiland, Thomas (1994)
2D and 3D Computations of Lossy Eigenvalue Problems.
In: IEEE Transactions on Magnetics, 30 (5)
Article, 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.
Conference or Workshop Item, 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.
Conference or Workshop Item, 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.
Conference or Workshop Item, Bibliographie

Schmitt, Dietmar ; Steffen, Bernhard ; Weiland, Thomas (1992)
Elektromagnetisches CAD mit MAFIA.
Proceedings of the 37th International Scientific Colloquium.
Conference or Workshop Item, 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
Article, 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.
Conference or Workshop Item, 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.
Conference or Workshop Item, 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)
Article, 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
Article, 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)
Article, 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.
Conference or Workshop Item, 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.
Conference or Workshop Item, Bibliographie

This list was generated on Sat Jul 20 01:06:41 2024 CEST.