Automatic Rule Derivation For Semantic Query Optimization. - Michael Siegel (Expert Database Conf., 1988)

Extending the Limits of Sequentially Phased Reasoning. - Michael Siegel; Frank A. Stomp (FSTTCS, 1994)

A Refinement Theory that Supports both 'Decrease of Nondeterminism' and 'Increase of Parallelism'. - Michael Siegel (CONCUR, 1995)

A Study of Singularity Formation in the Kelvin-Helmholtz Instability with Surface Tension. - Michael Siegel (SIAM J. Appl. Math., 1995)

From Testing Theory to Test Driver Implementation. - Jan Peleska 001; Michael Siegel (FME, 1996)

Phased design and verification of stabilizing systems. - Michael Siegel (1996)

Hierarchical Automata as Model for Statecharts. - Erich Mikk; Yassine Lakhnech; Michael Siegel (ASIAN, 1997)

Deductive verification of stabilizing systems. - Yassine Lakhnech; Michael Siegel (WSS, 1997)

Translation Validation: From DC+ to C*. - Amir Pnueli; Ofer Strichman; Michael Siegel (FM-Trends, 1998)

Formal Verification of Stabilizing Systems. - Michael Siegel (FTRTFT, 1998)

Translation Validation for Synchronous Languages. - Amir Pnueli; Ofer Strichman; Michael Siegel (ICALP, 1998)

Translation Validation. - Amir Pnueli; Michael Siegel; Eli Singerman (TACAS, 1998)

Implementing Statecharts in PROMELA/SPIN. - Erich Mikk; Yassine Lakhnech; Michael Siegel; Gerard J. Holzmann (WIFT, 1998)

The Code Validation Tool CVT: Automatic Verification of a Compilation Process. - Amir Pnueli; Ofer Strichman; Michael Siegel (Int. J. Softw. Tools Technol. Transf., 1998)

Translation Validation: From SIGNAL to C. - Amir Pnueli; Ofer Strichman; Michael Siegel (Correct System Design, 1999)

Deciding Equality Formulas by Small Domains Instantiations. - Amir Pnueli; Yoav Rodeh; Ofer Strichman; Michael Siegel (CAV, 1999)

Influence of Surfactant on Rounded and Pointed Bubbles in Two-Dimensional Stokes Flow. - Michael Siegel (SIAM J. Appl. Math., 1999)

The Small Model Property: How Small Can It Be? - Amir Pnueli; Yoav Rodeh; Ofer Strichman; Michael Siegel (Inf. Comput., 2002)

Erratum ("The small model property: how small can it be?" Volume 178, Number 1 [2002], pages 279-293). - Amir Pnueli; Yoav Rodeh; Ofer Strichman; Michael Siegel (Inf. Comput., 2003)

Exact Solutions for the Evolution of a Bubble in Stokes Flow: A Cauchy Transform Approach. - Darren Crowdy; Michael Siegel (SIAM J. Appl. Math., 2005)

Untwist your brain: efficient debugging and diagnosis of complex assertions. - Michael Siegel; Adriana Maggiore; Christian Pichler (DAC, 2009)

Achieving earlier verification closure using advanced formal verification. - Michael Siegel (FMCAD, 2010)

Cyber Politics: Understanding the Use of Social Media for Dissident Movements in an Integrated State Stability Framework. - Daniel Goldsmith; Michael Siegel (ASONAM, 2012)

Improving Health Care Management Through the Use of Dynamic Simulation Modeling and Health Information Systems. - Daniel Goldsmith; Michael Siegel (Int. J. Inf. Technol. Syst. Approach, 2012)

A non-stiff boundary integral method for 3D porous media flow with surface tension. - David M. Ambrose; Michael Siegel (Math. Comput. Simul., 2012)

A small-scale decomposition for 3D boundary integral computations with surface tension. - David M. Ambrose; Michael Siegel; Svetlana Tlupova (J. Comput. Phys., 2013)

Convergence of a boundary integral method for 3D interfacial Darcy flow with surface tension. - David M. Ambrose; Yang Liu; Michael Siegel (Math. Comput., 2017)

A local target specific quadrature by expansion method for evaluation of layer potentials in 3D. - Michael Siegel; Anna-Karin Tornberg (J. Comput. Phys., 2018)

An IoT integrity-first communication protocol via an ethereum blockchain light client. - Elizabeth Reilly; Matthew Maloney; Michael Siegel; Gregory Falco (SERP4IoT@ICSE, 2019)

Cyber Physical IoT Device Management Using a Lightweight Agent. - Matthew Maloney; Elizabeth Reilly; Michael Siegel; Gregory Falco (iThings/GreenCom/CPSCom/SmartData, 2019)

Simulation and validation of surfactant-laden drops in two-dimensional Stokes flow. - Sara Pålsson; Michael Siegel; Anna-Karin Tornberg (J. Comput. Phys., 2019)

Cyber Range for Industrial Control Systems (CR-ICS) for Simulating Attack Scenarios. - Shaharyar Khan; Alberto Volpatto; Geet Kalra; Jonathan Esteban; Tommaso Pescanoce; Sabino Caporusso; Michael Siegel (ITASEC, 2021)

Collapse Versus Blow-Up and Global Existence in the Generalized Constantin-Lax-Majda Equation. - Pavel M. Lushnikov; Denis Silantyev; Michael Siegel (J. Nonlinear Sci., 2021)

Convergence of the boundary integral method for interfacial Stokes flow. - David M. Ambrose; Michael Siegel; Keyang Zhang (Math. Comput., 2022)

Catastrophe Bond Trading Can Boost Security Improving Cyber (Re-)Insurance Markets. - Ranjan Pal; Stuart E. Madnick; Michael Siegel (AMCIS, 2023)

Capturing the Dynamic Nature of Cyber Risk: Evidence from an Explorative Case Study. - Sander Zeijlemaker; Michael Siegel (HICSS, 2023)

Strengthening Managerial Foresight to Defeat Cyber Threats. - Sander Zeijlemaker; Ranjan Pal; Michael Siegel (AMCIS, 2024)

Measuring Malware Detection Capability for Security Decision Making. - Muhammad Yasir Muzayan Haq; Abhishta Abhishta; Sander Zeijlemaker; Annette Chau; Michael Siegel; Lambert J. M. Nieuwenhuis (EuroS&P Workshops, 2024)

Revolutionizing Board Cyber-Risk Management Using Collaborative Gaming. - Tony Delvecchio; Sander Zeijlemaker; Giancarlo De Bernardis; Michael Siegel (ICISSP, 2024)

Is Systemic Cyber Risk Management for Enterprises Sustainable? - Ranjan Pal; Konnie Duan; Rohan Xavier Sequeira; Michael Siegel (WSC, 2024)

Optimizing Cyber-Resilience in Critical Infrastructure Networks. - Ranjan Pal; Rohan Xavier Sequeira; Sander Zeijlemaker; Michael Siegel (WSC, 2024)

(Gen)AI Versus (Gen)AI in Industrial Control Cybersecurity. - Cynthia Zhang; Ranjan Pal; Corwin Nicholson; Michael Siegel (WSC, 2024)

A fast mesh-free boundary integral method for two-phase flow with soluble surfactant. - Samantha G. Evans; Michael Siegel; Johannes Tausch; Michael R. Booty (CoRR, 2025)

Human-centered interface design for a dynamic cyber-risk group-based training game. - Tony Delvecchio; Sander Zeijlemaker; Giancarlo De Bernardis; Michael Siegel (Comput. Stand. Interfaces, 2026)