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: 28.

Steinhöfel, Dominic and Hähnle, Reiner
Margaria, Tiziana and Steffen, Bernhard (eds.) (2018):
Modular, Correct Compilation with Automatic Soundness Proofs.
In: Leveraging Applications of Formal Methods, Verification and Validation. Modeling, Cham, Springer International Publishing, pp. 424-447, DOI: 10.1007/978-3-030-03418-4_25,
[Online-Edition: https://doi.org/10.1007/978-3-030-03418-4_25],
[Book Section]

ter Beek, Maurice H. and Hähnle, Reiner and Schaefer, Ina
Margaria, Tiziana and Steffen, Bernhard (eds.) (2016):
Correctness-by-Construction and Post-hoc Verification: Friends or Foes?
In: 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, In: Lecture Notes in Computer Science, 9952, DOI: 10.1007/978-3-319-47166-2₅₁,
[Online-Edition: https://doi.org/10.1007/978-3-319-47166-2_51],
[Conference or Workshop Item]

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

Hähnle, Reiner and Muschevici, Radu
Margaria, Tiziana and Steffen, Bernhard (eds.) (2016):
Towards Incremental Validation of Railway Systems.
In: 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, In: Lecture Notes in Computer Science, 9953, DOI: 10.1007/978-3-319-47169-3₃₆,
[Online-Edition: https://doi.org/10.1007/978-3-319-47169-3_36],
[Conference or Workshop Item]

Hähnle, Reiner and Johnsen, Einar Broch
Margaria, Tiziana and Steffen, Bernhard (eds.) (2014):
Introduction to Track on Engineering Virtualized Services.
Springer, In: 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, In: Lecture Notes in Computer Science, 8803, DOI: 10.1007/978-3-662-45231-8₁,
[Online-Edition: https://doi.org/10.1007/978-3-662-45231-8_1],
[Conference or Workshop Item]

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

Hähnle, Reiner and Schaefer, Ina
Margaria, Tiziana and Steffen, Bernhard (eds.) (2012):
Adaptable and Evolving Software for Eternal Systems - (Track Summary).
Springer, In: 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, In: Lecture Notes in Computer Science, 7609, DOI: 10.1007/978-3-642-34026-0₁,
[Online-Edition: https://doi.org/10.1007/978-3-642-34026-0_1],
[Conference or Workshop Item]

Hähnle, Reiner and Knoop, Jens and Margaria, Tiziana and Schreiner, Dietmar and 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.
Springer, In: Communications in Computer and Information Science, 336, ISBN 978-3-642-34780-1,
DOI: 10.1007/978-3-642-34781-8,
[Online-Edition: https://doi.org/10.1007/978-3-642-34781-8],
[Book]

Hähnle, Reiner and Schaefer, Ina
Margaria, Tiziana and Steffen, Bernhard (eds.) (2012):
A Liskov Principle for Delta-Oriented Programming.
Springer, In: 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, In: Lecture Notes in Computer Science, 7609, DOI: 10.1007/978-3-642-34026-0₄,
[Online-Edition: https://doi.org/10.1007/978-3-642-34026-0_4],
[Conference or Workshop Item]

Lochau, Malte and Kamischke, Jochen
Margaria, Tiziana and Steffen, Bernhard (eds.) (2012):
Parameterized Preorder Relations for Model-Based Testing of Software Product Lines.
In: Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change, Springer Berlin Heidelberg, In: Lecture Notes in Computer Science, 7609, ISBN 978-3-642-34025-3,
[Online-Edition: http://dx.doi.org/10.1007/978-3-642-34026-0_17],
[Conference or Workshop Item]

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

This list was generated on Tue Jul 23 01:01:06 2019 CEST.