default search action
Alexandru Mereacre
Person information
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2022
- [c25]Kubilay Ahmet Küçük
, Steve Moyle
SoK: How Not to Architect Your Next-Generation TEE Malware? HASP@MICRO 2022: 35-44 - [i2]Kubilay Ahmet Küçük, Steve Moyle, Andrew Martin, Alexandru Mereacre, Nicholas Allott:
SoK: How Not to Architect Your Next-Generation TEE Malware? CoRR abs/2210.06792 (2022)
2010 – 2019
- 2017
- [j6]Ilya Tkachev, Alexandru Mereacre, Joost-Pieter Katoen, Alessandro Abate:
Quantitative model-checking of controlled discrete-time Markov processes. Inf. Comput. 253: 1-35 (2017) - 2016
- [c24]Benoît Barbot
Building Power Consumption Models from Executable Timed I/O Automata Specifications. HSCC 2016: 195-204 - 2015
- [j5]Zhenqi Huang, Chuchu Fan
Simulation-Based Verification of Cardiac Pacemakers With Guaranteed Coverage. IEEE Des. Test 32(5): 27-34 (2015) - [c23]Benoît Barbot
Estimation and Verification of Hybrid Heart Models for Personalised Medical and Wearable Devices. CMSB 2015: 3-7 - [c22]Chris Barker, Marta Z. Kwiatkowska, Alexandru Mereacre, Nicola Paoletti
Hardware-in-the-loop simulation and energy optimization of cardiac pacemakers. EMBC 2015: 7188-7191 - [c21]Marta Z. Kwiatkowska, Alexandru Mereacre, Nicola Paoletti
Synthesising Robust and Optimal Parameters for Cardiac Pacemakers Using Symbolic and Evolutionary Computation Techniques. HSB 2015: 119-140 - 2014
- [j4]Taolue Chen
Quantitative verification of implantable cardiac pacemakers over hybrid heart models. Inf. Comput. 236: 87-101 (2014) - [c20]Zhenqi Huang, Chuchu Fan
Invariant Verification of Nonlinear Hybrid Automata Networks of Cardiac Cells. CAV 2014: 373-390 - [c19]Marco Diciolla, Chang Hwan Peter Kim, Marta Z. Kwiatkowska, Alexandru Mereacre:
Synthesising optimal timing delays for Timed I/O Automata. EMSOFT 2014: 16:1-16:10 - [c18]Marta Z. Kwiatkowska, Harriet Lea-Banks, Alexandru Mereacre, Nicola Paoletti
Formal Modelling and Validation of Rate-Adaptive Pacemakers. ICHI 2014: 23-32 - [c17]Marta Z. Kwiatkowska, Alexandru Mereacre, Nicola Paoletti
On Quantitative Software Quality Assurance Methodologies for Cardiac Pacemakers. ISoLA (2) 2014: 365-384 - [c16]Marta Z. Kwiatkowska
Automated Verification of Quantitative Properties of Cardiac Pacemaker Software. MCPS 2014: 137-140 - [i1]Ilya Tkachev, Alexandru Mereacre, Joost-Pieter Katoen, Alessandro Abate:
Quantitative model-checking of controlled discrete-time Markov processes. CoRR abs/1407.5449 (2014) - 2013
- [j3]Taolue Chen
Verification of linear duration properties over continuous-time markov chains. ACM Trans. Comput. Log. 14(4): 33:1-33:35 (2013) - [c15]Taolue Chen
A simulink hybrid heart model for quantitative verification of cardiac pacemakers. HSCC 2013: 131-136 - [c14]Ilya Tkachev, Alexandru Mereacre, Joost-Pieter Katoen
Quantitative automata-based controller synthesis for non-autonomous stochastic hybrid systems. HSCC 2013: 293-302 - 2012
- [b1]Alexandru Mereacre:
Verification of continuous-space stochastic systems. RWTH Aachen University, 2012, pp. 1-125 - [c13]Taolue Chen
Verification of linear duration properties over continuous-time markov chains. HSCC 2012: 265-274 - [c12]Taolue Chen
Quantitative Verification of Implantable Cardiac Pacemakers. RTSS 2012: 263-272 - 2011
- [j2]Taolue Chen
Model Checking of Continuous-Time Markov Chains Against Timed Automata Specifications. Log. Methods Comput. Sci. 7(1) (2011) - [c11]Taolue Chen
Reachability probabilities in Markovian Timed Automata. CDC/ECC 2011: 7075-7080 - [c10]Taolue Chen
Time-Bounded Verification of CTMCs against Real-Time Specifications. FORMATS 2011: 26-42 - [c9]Alessandro Abate, Joost-Pieter Katoen
Quantitative automata model checking of autonomous stochastic hybrid systems. HSCC 2011: 83-92 - [c8]Taolue Chen
Observing Continuous-Time MDPs by 1-Clock Timed Automata. RP 2011: 2-25 - [c7]Benoît Barbot
Efficient CTMC Model Checking of Linear Real-Time Objectives. TACAS 2011: 128-142 - 2010
- [j1]Marijn R. Jongerden
Computing Optimal Schedules for battery Usage in Embedded Systems. IEEE Trans. Ind. Informatics 6(3): 276-286 (2010) - [c6]Alexandru Mereacre:
Time-Inhomogeneous Markov Chains and Piecewise Deterministic Markov Processes. AlgoSyn 2010: 81
2000 – 2009
- 2009
- [c5]Taolue Chen
LTL Model Checking of Time-Inhomogeneous Markov Chains. ATVA 2009: 104-119 - [c4]Taolue Chen
Quantitative Model Checking of Continuous-Time Markov Chains Against Timed Automata Specifications. LICS 2009: 309-318 - 2008
- [c3]Joost-Pieter Katoen
Model Checking HML on Piecewise-Constant Inhomogeneous Markov Chains. FORMATS 2008: 203-217 - [c2]Tingting Han, Joost-Pieter Katoen, Alexandru Mereacre:
Compositional Modeling and Minimization of Time-Inhomogeneous Markov Chains. HSCC 2008: 244-258 - [c1]Tingting Han, Joost-Pieter Katoen
Approximate Parameter Synthesis for Probabilistic Time-Bounded Reachability. RTSS 2008: 173-182
Coauthor Index
aka: Marta Kwiatkowska
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 2024-09-04 00:27 CEST 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: