Michael Siegel

48 papers A* 3A 1B 3C 1Misc 3Journal 18Unranked 18

Year	Rank	Type	Title / Venue / Authors
2026	J	`jnl`	Human-centered interface design for a dynamic cyber-risk group-based training game. Comput. Stand. Interfaces Tony Delvecchio, Sander Zeijlemaker, Giancarlo De Bernardis, Michael Siegel
2025	J	`jnl`	A fast mesh-free boundary integral method for two-phase flow with soluble surfactant. CoRR Samantha G. Evans, Michael Siegel, Johannes Tausch, Michael R. Booty
2025	—	`conf`	Advancing Cyber Risk by Reducing Strategic Control Gaps. AMCIS Sander Zeijlemaker, Ranjan Pal, Jeffrey Proudfoot, Michael Siegel
2025	—	`conf`	Balancing Risk and Reward in Cybersecurity Investment Decisions. AMCIS Goeun Kim, Sander Zeijlemaker, Jeffrey Proudfoot, Ranjan Pal, Michael Siegel
2025	J	`jnl`	How Does AI Transform Cyber Risk Management? Syst. Sander Zeijlemaker, Yaphet K. Lemiesa, Saskia Laura Schröer, Abhishta Abhishta, Michael Siegel
2024	Misc	`conf`	(Gen)AI Versus (Gen)AI in Industrial Control Cybersecurity. WSC Cynthia Zhang, Ranjan Pal, Corwin Nicholson, Michael Siegel
2024	Misc	`conf`	Is Systemic Cyber Risk Management for Enterprises Sustainable? WSC Ranjan Pal, Konnie Duan, Rohan Xavier Sequeira, Michael Siegel
2024	—	`conf`	Measuring Malware Detection Capability for Security Decision Making. EuroS&P Workshops Muhammad Yasir Muzayan Haq, Abhishta Abhishta, Sander Zeijlemaker, Annette Chau, Michael Siegel, Lambert J. M. Nieuwenhuis
2024	Misc	`conf`	Optimizing Cyber-Resilience in Critical Infrastructure Networks. WSC Ranjan Pal, Rohan Xavier Sequeira, Sander Zeijlemaker, Michael Siegel
2024	C	`conf`	Revolutionizing Board Cyber-Risk Management Using Collaborative Gaming. ICISSP Tony Delvecchio, Sander Zeijlemaker, Giancarlo De Bernardis, Michael Siegel
2024	—	`conf`	Strengthening Managerial Foresight to Defeat Cyber Threats. AMCIS Sander Zeijlemaker, Ranjan Pal, Michael Siegel
2023	—	`conf`	Capturing the Dynamic Nature of Cyber Risk: Evidence from an Explorative Case Study. HICSS Sander Zeijlemaker, Michael Siegel
2023	—	`conf`	Catastrophe Bond Trading Can Boost Security Improving Cyber (Re-)Insurance Markets. AMCIS Ranjan Pal, Stuart E. Madnick, Michael Siegel
2022	J	`jnl`	Convergence of the boundary integral method for interfacial Stokes flow. Math. Comput. David M. Ambrose, Michael Siegel, Keyang Zhang
2021	J	`jnl`	Collapse Versus Blow-Up and Global Existence in the Generalized Constantin-Lax-Majda Equation. J. Nonlinear Sci. Pavel M. Lushnikov, Denis Silantyev, Michael Siegel
2021	J	`jnl`	Convergence of the boundary integral method for interfacial Stokes flow. CoRR David M. Ambrose, Michael Siegel, Keyang Zhang
2021	—	`conf`	Cyber Range for Industrial Control Systems (CR-ICS) for Simulating Attack Scenarios. ITASEC Shaharyar Khan, Alberto Volpatto, Geet Kalra, Jonathan Esteban, Tommaso Pescanoce, Sabino Caporusso, Michael Siegel
2019	—	`conf`	An IoT integrity-first communication protocol via an ethereum blockchain light client. SERP4IoT@ICSE Elizabeth Reilly, Matthew Maloney, Michael Siegel, Gregory Falco
2019	—	`conf`	Cyber Physical IoT Device Management Using a Lightweight Agent. iThings/GreenCom/CPSCom/SmartData Matthew Maloney, Elizabeth Reilly, Michael Siegel, Gregory Falco
2019	J	`jnl`	Simulation and validation of surfactant-laden drops in two-dimensional Stokes flow. J. Comput. Phys. Sara Pålsson, Michael Siegel, Anna-Karin Tornberg
2018	J	`jnl`	A local target specific quadrature by expansion method for evaluation of layer potentials in 3D. J. Comput. Phys. Michael Siegel, Anna-Karin Tornberg
2017	J	`jnl`	Convergence of a boundary integral method for 3D interfacial Darcy flow with surface tension. Math. Comput. David M. Ambrose, Yang Liu, Michael Siegel
2013	J	`jnl`	A small-scale decomposition for 3D boundary integral computations with surface tension. J. Comput. Phys. David M. Ambrose, Michael Siegel, Svetlana Tlupova
2012	J	`jnl`	A non-stiff boundary integral method for 3D porous media flow with surface tension. Math. Comput. Simul. David M. Ambrose, Michael Siegel
2012	B	`conf`	Cyber Politics: Understanding the Use of Social Media for Dissident Movements in an Integrated State Stability Framework. ASONAM Daniel Goldsmith, Michael Siegel
2012	J	`jnl`	Improving Health Care Management Through the Use of Dynamic Simulation Modeling and Health Information Systems. Int. J. Inf. Technol. Syst. Approach Daniel Goldsmith, Michael Siegel
2010	B	`conf`	Achieving earlier verification closure using advanced formal verification. FMCAD Michael Siegel
2009	A*	`conf`	Untwist your brain: efficient debugging and diagnosis of complex assertions. DAC Michael Siegel, Adriana Maggiore, Christian Pichler
2005	J	`jnl`	Exact Solutions for the Evolution of a Bubble in Stokes Flow: A Cauchy Transform Approach. SIAM J. Appl. Math. Darren Crowdy, Michael Siegel
2003	J	`jnl`	Erratum ("The small model property: how small can it be?" Volume 178, Number 1 [2002], pages 279-293). Inf. Comput. Amir Pnueli, Yoav Rodeh, Ofer Strichman, Michael Siegel
2002	J	`jnl`	The Small Model Property: How Small Can It Be? Inf. Comput. Amir Pnueli, Yoav Rodeh, Ofer Strichman, Michael Siegel
1999	A*	`conf`	Deciding Equality Formulas by Small Domains Instantiations. CAV Amir Pnueli, Yoav Rodeh, Ofer Strichman, Michael Siegel
1999	J	`jnl`	Influence of Surfactant on Rounded and Pointed Bubbles in Two-Dimensional Stokes Flow. SIAM J. Appl. Math. Michael Siegel
1999	—	`conf`	Translation Validation: From SIGNAL to C. Correct System Design Amir Pnueli, Ofer Strichman, Michael Siegel
1998	—	`conf`	Formal Verification of Stabilizing Systems. FTRTFT Michael Siegel
1998	—	`conf`	Implementing Statecharts in PROMELA/SPIN. WIFT Erich Mikk, Yassine Lakhnech, Michael Siegel, Gerard J. Holzmann
1998	J	`jnl`	The Code Validation Tool CVT: Automatic Verification of a Compilation Process. Int. J. Softw. Tools Technol. Transf. Amir Pnueli, Ofer Strichman, Michael Siegel
1998	A*	`conf`	Translation Validation for Synchronous Languages. ICALP Amir Pnueli, Ofer Strichman, Michael Siegel
1998	A	`conf`	Translation Validation. TACAS Amir Pnueli, Michael Siegel, Eli Singerman
1998	—	`conf`	Translation Validation: From DC+ to C*. FM-Trends Amir Pnueli, Ofer Strichman, Michael Siegel
1997	—	`conf`	Deductive verification of stabilizing systems. WSS Yassine Lakhnech, Michael Siegel
1997	—	`conf`	Hierarchical Automata as Model for Statecharts. ASIAN Erich Mikk, Yassine Lakhnech, Michael Siegel
1996	—	`conf`	From Testing Theory to Test Driver Implementation. FME Jan Peleska, Michael Siegel
1996	—	`—`	Phased design and verification of stabilizing systems. Michael Siegel
1995	B	`conf`	A Refinement Theory that Supports both 'Decrease of Nondeterminism' and 'Increase of Parallelism'. CONCUR Michael Siegel
1995	J	`jnl`	A Study of Singularity Formation in the Kelvin-Helmholtz Instability with Surface Tension. SIAM J. Appl. Math. Michael Siegel
1994	—	`conf`	Extending the Limits of Sequentially Phased Reasoning. FSTTCS Michael Siegel, Frank A. Stomp
1988	—	`conf`	Automatic Rule Derivation For Semantic Query Optimization. Expert Database Conf. Michael Siegel