default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDMichael Siegel
Person information
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2024
[c24]Sander Zeijlemaker, Ranjan Pal, Michael Siegel:
Strengthening Managerial Foresight to Defeat Cyber Threats. AMCIS 2024- [c23]Muhammad Yasir Muzayan Haq, Abhishta Abhishta, Sander Zeijlemaker, Annette Chau, Michael Siegel, Lambert J. M. Nieuwenhuis:
Measuring Malware Detection Capability for Security Decision Making. EuroS&P Workshops 2024: 342-351 - [c22]Tony Delvecchio, Sander Zeijlemaker, Giancarlo De Bernardis, Michael Siegel:
Revolutionizing Board Cyber-Risk Management Using Collaborative Gaming. ICISSP 2024: 112-119 - 2023
- [c21]Ranjan Pal, Stuart E. Madnick, Michael Siegel:
Catastrophe Bond Trading Can Boost Security Improving Cyber (Re-)Insurance Markets. AMCIS 2023 - [c20]Sander Zeijlemaker, Michael Siegel:
Capturing the Dynamic Nature of Cyber Risk: Evidence from an Explorative Case Study. HICSS 2023: 6088-6097 - 2022
- [j14]David M. Ambrose
, Michael Siegel, Keyang Zhang:
Convergence of the boundary integral method for interfacial Stokes flow. Math. Comput. 92(340): 695-748 (2022) - 2021
- [j13]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): 82 (2021) - [c19]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: 246-259 - [i1]David M. Ambrose, Michael Siegel, Keyang Zhang:
Convergence of the boundary integral method for interfacial Stokes flow. CoRR abs/2105.07056 (2021)
2010 – 2019
- 2019
- [j12]Sara Pålsson, Michael Siegel, Anna-Karin Tornberg:
Simulation and validation of surfactant-laden drops in two-dimensional Stokes flow. J. Comput. Phys. 386: 218-247 (2019) - [c18]Elizabeth Reilly, Matthew Maloney, Michael Siegel, Gregory Falco:
An IoT integrity-first communication protocol via an ethereum blockchain light client. SERP4IoT@ICSE 2019: 53-56 - [c17]Matthew Maloney, Elizabeth Reilly, Michael Siegel, Gregory Falco:
Cyber Physical IoT Device Management Using a Lightweight Agent. iThings/GreenCom/CPSCom/SmartData 2019: 1009-1014 - 2018
- [j11]Michael Siegel, Anna-Karin Tornberg:
A local target specific quadrature by expansion method for evaluation of layer potentials in 3D. J. Comput. Phys. 364: 365-392 (2018) - 2017
- [j10]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): 2745-2775 (2017) - 2013
- [j9]David M. Ambrose, Michael Siegel, Svetlana Tlupova:
A small-scale decomposition for 3D boundary integral computations with surface tension. J. Comput. Phys. 247: 168-191 (2013) - 2012
- [j8]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): 19-36 (2012) - [j7]David M. Ambrose, Michael Siegel:
A non-stiff boundary integral method for 3D porous media flow with surface tension. Math. Comput. Simul. 82(6): 968-983 (2012) - [c16]Daniel Goldsmith, Michael Siegel:
Cyber Politics: Understanding the Use of Social Media for Dissident Movements in an Integrated State Stability Framework. ASONAM 2012: 1321-1328 - 2010
- [c15]Michael Siegel:
Achieving earlier verification closure using advanced formal verification. FMCAD 2010: 275
2000 – 2009
- 2009
- [c14]Michael Siegel, Adriana Maggiore, Christian Pichler:
Untwist your brain: efficient debugging and diagnosis of complex assertions. DAC 2009: 644-647 - 2005
- [j6]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): 941-963 (2005) - 2003
- [j5]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): 227 (2003) - 2002
- [j4]Amir Pnueli, Yoav Rodeh, Ofer Strichman, Michael Siegel:
The Small Model Property: How Small Can It Be? Inf. Comput. 178(1): 279-293 (2002)
1990 – 1999
- 1999
- [j3]Michael Siegel:
Influence of Surfactant on Rounded and Pointed Bubbles in Two-Dimensional Stokes Flow. SIAM J. Appl. Math. 59(6): 1998-2027 (1999) - [c13]Amir Pnueli, Ofer Strichman, Michael Siegel:
Translation Validation: From SIGNAL to C. Correct System Design 1999: 231-255 - [c12]Amir Pnueli, Yoav Rodeh, Ofer Strichman, Michael Siegel:
Deciding Equality Formulas by Small Domains Instantiations. CAV 1999: 455-469 - 1998
- [j2]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): 192-201 (1998) - [c11]Amir Pnueli, Ofer Strichman, Michael Siegel:
Translation Validation: From DC+ to C*. FM-Trends 1998: 137-150 - [c10]Michael Siegel:
Formal Verification of Stabilizing Systems. FTRTFT 1998: 158-172 - [c9]Amir Pnueli, Ofer Strichman, Michael Siegel:
Translation Validation for Synchronous Languages. ICALP 1998: 235-246 - [c8]Amir Pnueli, Michael Siegel, Eli Singerman:
Translation Validation. TACAS 1998: 151-166 - [c7]Erich Mikk, Yassine Lakhnech, Michael Siegel, Gerard J. Holzmann:
Implementing Statecharts in PROMELA/SPIN. WIFT 1998: 90-101 - 1997
- [c6]Erich Mikk, Yassine Lakhnech, Michael Siegel:
Hierarchical Automata as Model for Statecharts. ASIAN 1997: 181-196 - [c5]Yassine Lakhnech, Michael Siegel:
Deductive verification of stabilizing systems. WSS 1997: 201-216 - 1996
- [b1]Michael Siegel:
Phased design and verification of stabilizing systems. University of Kiel, 1996, pp. 1-169 - [c4]Jan Peleska, Michael Siegel:
From Testing Theory to Test Driver Implementation. FME 1996: 538-556 - 1995
- [j1]Michael Siegel:
A Study of Singularity Formation in the Kelvin-Helmholtz Instability with Surface Tension. SIAM J. Appl. Math. 55(4): 865-891 (1995) - [c3]Michael Siegel:
A Refinement Theory that Supports both 'Decrease of Nondeterminism' and 'Increase of Parallelism'. CONCUR 1995: 378-392 - 1994
- [c2]Michael Siegel, Frank A. Stomp:
Extending the Limits of Sequentially Phased Reasoning. FSTTCS 1994: 402-413
1980 – 1989
- 1988
- [c1]Michael Siegel:
Automatic Rule Derivation For Semantic Query Optimization. Expert Database Conf. 1988: 669-698
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2025-01-20 22:58 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
