Michael Siegel

Publication Activity (10 Years)

Years Active: 1988-2024
Publications (10 Years): 13

Top Venues

AMCIS

J. Comput. Phys.

Math. Comput.

iThings/GreenCom/CPSCom/SmartData

University of Kiel (PHD)

Education History

University of Kiel

PHD

Publications

Tony Delvecchio, Sander Zeijlemaker, Giancarlo De Bernardis, Michael Siegel
Revolutionizing Board Cyber-Risk Management Using Collaborative Gaming. ICISSP (2024)
Sander Zeijlemaker, Ranjan Pal, Michael Siegel
Strengthening Managerial Foresight to Defeat Cyber Threats. AMCIS (2024)
Sander Zeijlemaker, Michael Siegel
Capturing the Dynamic Nature of Cyber Risk: Evidence from an Explorative Case Study. HICSS (2023)
Ranjan Pal, Stuart E. Madnick, Michael Siegel
Catastrophe Bond Trading Can Boost Security Improving Cyber (Re-)Insurance Markets. AMCIS (2023)
David M. Ambrose, Michael Siegel, Keyang Zhang
Convergence of the boundary integral method for interfacial Stokes flow. Math. Comput. 92 (340) (2022)
David M. Ambrose, Michael Siegel, Keyang Zhang
Convergence of the boundary integral method for interfacial Stokes flow. CoRR (2021)
Pavel M. Lushnikov, Denis Silantyev, Michael Siegel
Collapse Versus Blow-Up and Global Existence in the Generalized Constantin-Lax-Majda Equation. J. Nonlinear Sci. 31 (5) (2021)
Shaharyar Khan, Alberto Volpatto, Geet Kalra, Jonathan Esteban, Tommaso Pescanoce, Sabino Caporusso, Michael Siegel
Cyber Range for Industrial Control Systems (CR-ICS) for Simulating Attack Scenarios. ITASEC (2021)
Elizabeth Reilly, Matthew Maloney, Michael Siegel, Gregory Falco
An IoT integrity-first communication protocol via an ethereum blockchain light client. SERP4IoT@ICSE (2019)
Matthew Maloney, Elizabeth Reilly, Michael Siegel, Gregory Falco
Cyber Physical IoT Device Management Using a Lightweight Agent. iThings/GreenCom/CPSCom/SmartData (2019)
Sara Pålsson, Michael Siegel, Anna-Karin Tornberg
Simulation and validation of surfactant-laden drops in two-dimensional Stokes flow. J. Comput. Phys. 386 (2019)
Michael Siegel, Anna-Karin Tornberg
A local target specific quadrature by expansion method for evaluation of layer potentials in 3D. J. Comput. Phys. 364 (2018)
David M. Ambrose, Yang Liu, Michael Siegel
Convergence of a boundary integral method for 3D interfacial Darcy flow with surface tension. Math. Comput. 86 (308) (2017)
David M. Ambrose, Michael Siegel, Svetlana Tlupova
A small-scale decomposition for 3D boundary integral computations with surface tension. J. Comput. Phys. 247 (2013)
David M. Ambrose, Michael Siegel
A non-stiff boundary integral method for 3D porous media flow with surface tension. Math. Comput. Simul. 82 (6) (2012)
Daniel Goldsmith, Michael Siegel
Improving Health Care Management Through the Use of Dynamic Simulation Modeling and Health Information Systems. Int. J. Inf. Technol. Syst. Approach 5 (1) (2012)
Daniel Goldsmith, Michael Siegel
Cyber Politics: Understanding the Use of Social Media for Dissident Movements in an Integrated State Stability Framework. ASONAM (2012)
Michael Siegel
Achieving earlier verification closure using advanced formal verification. FMCAD (2010)
Michael Siegel, Adriana Maggiore, Christian Pichler
Untwist your brain: efficient debugging and diagnosis of complex assertions. DAC (2009)
Darren Crowdy, Michael Siegel
Exact Solutions for the Evolution of a Bubble in Stokes Flow: A Cauchy Transform Approach. SIAM J. Appl. Math. 65 (3) (2005)
Amir Pnueli, Yoav Rodeh, Ofer Strichman, Michael Siegel
Erratum ("The small model property: how small can it be?" Volume 178, Number 1 [2002], pages 279-293). Inf. Comput. 184 (1) (2003)
Amir Pnueli, Yoav Rodeh, Ofer Strichman, Michael Siegel
The Small Model Property: How Small Can It Be? Inf. Comput. 178 (1) (2002)
Amir Pnueli, Yoav Rodeh, Ofer Strichman, Michael Siegel
Deciding Equality Formulas by Small Domains Instantiations. CAV (1999)
Amir Pnueli, Ofer Strichman, Michael Siegel
Translation Validation: From SIGNAL to C. Correct System Design (1999)
Michael Siegel
Influence of Surfactant on Rounded and Pointed Bubbles in Two-Dimensional Stokes Flow. SIAM J. Appl. Math. 59 (6) (1999)
Amir Pnueli, Ofer Strichman, Michael Siegel
Translation Validation for Synchronous Languages. ICALP (1998)
Amir Pnueli, Ofer Strichman, Michael Siegel
Translation Validation: From DC+ to C*. FM-Trends (1998)
Amir Pnueli, Michael Siegel, Eli Singerman
Translation Validation. TACAS (1998)
Michael Siegel
Formal Verification of Stabilizing Systems. FTRTFT (1998)
Erich Mikk, Yassine Lakhnech, Michael Siegel, Gerard J. Holzmann
Implementing Statecharts in PROMELA/SPIN. WIFT (1998)
Amir Pnueli, Ofer Strichman, Michael Siegel
The Code Validation Tool CVT: Automatic Verification of a Compilation Process. Int. J. Softw. Tools Technol. Transf. 2 (2) (1998)
Erich Mikk, Yassine Lakhnech, Michael Siegel
Hierarchical Automata as Model for Statecharts. ASIAN (1997)
Yassine Lakhnech, Michael Siegel
Deductive verification of stabilizing systems. WSS (1997)
Jan Peleska, Michael Siegel
From Testing Theory to Test Driver Implementation. FME (1996)
Michael Siegel
A Refinement Theory that Supports both 'Decrease of Nondeterminism' and 'Increase of Parallelism'. CONCUR (1995)
Michael Siegel
A Study of Singularity Formation in the Kelvin-Helmholtz Instability with Surface Tension. SIAM J. Appl. Math. 55 (4) (1995)
Michael Siegel, Frank A. Stomp
Extending the Limits of Sequentially Phased Reasoning. FSTTCS (1994)
Michael Siegel
Automatic Rule Derivation For Semantic Query Optimization. Expert Database Conf. (1988)

Michael Siegel.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Michael Siegel