TU Darmstadt / ULB / TUbiblio

Blättern nach Person

Ebene hoch
Exportieren als [feed] Atom [feed] RSS 1.0 [feed] RSS 2.0
Gruppiere nach: Keine Gruppierung | Typ des Eintrags | Publikationsjahr | Sprache
Anzahl der Einträge: 32.

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.-30.10.)
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.-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

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

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

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

Lochau, Malte ; Kamischke, Jochen
Hrsg.: Margaria, Tiziana ; Steffen, Bernhard (2012)
Parameterized Preorder Relations for Model-Based Testing of Software Product Lines.
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

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

Steffen, Bernhard (1996)
Entwicklung eines Systems zur Differentialdiagnose im WorldWideWeb.
Technische Universität Darmstadt
Diplom- oder Magisterarbeit, 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

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

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

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

Diese Liste wurde am Tue Mar 19 02:15:30 2024 CET generiert.