Alexandru Mereacre

34 papers A* 2A 3B 1Misc 1Journal 8Unranked 18

Year	Rank	Type	Title / Venue / Authors
2022	—	`conf`	SoK: How Not to Architect Your Next-Generation TEE Malware? HASP@MICRO Kubilay Ahmet Küçük, Steve Moyle, Andrew Martin, Alexandru Mereacre, Nicholas Allott
2022	J	`jnl`	SoK: How Not to Architect Your Next-Generation TEE Malware? CoRR Kubilay Ahmet Küçük, Steve Moyle, Andrew Martin, Alexandru Mereacre, Nicholas Allott
2017	J	`jnl`	Quantitative model-checking of controlled discrete-time Markov processes. Inf. Comput. Ilya Tkachev, Alexandru Mereacre, Joost-Pieter Katoen, Alessandro Abate
2016	—	`conf`	Building Power Consumption Models from Executable Timed I/O Automata Specifications. HSCC Benoît Barbot, Marta Kwiatkowska, Alexandru Mereacre, Nicola Paoletti
2015	—	`conf`	Estimation and Verification of Hybrid Heart Models for Personalised Medical and Wearable Devices. CMSB Benoît Barbot, Marta Z. Kwiatkowska, Alexandru Mereacre, Nicola Paoletti
2015	—	`conf`	Hardware-in-the-loop simulation and energy optimization of cardiac pacemakers. EMBC Chris Barker, Marta Z. Kwiatkowska, Alexandru Mereacre, Nicola Paoletti, Andrea Patane
2015	J	`jnl`	Simulation-Based Verification of Cardiac Pacemakers With Guaranteed Coverage. IEEE Des. Test Zhenqi Huang, Chuchu Fan, Alexandru Mereacre, Sayan Mitra, Marta Z. Kwiatkowska
2015	—	`conf`	Synthesising Robust and Optimal Parameters for Cardiac Pacemakers Using Symbolic and Evolutionary Computation Techniques. HSB Marta Z. Kwiatkowska, Alexandru Mereacre, Nicola Paoletti, Andrea Patane
2014	—	`conf`	Automated Verification of Quantitative Properties of Cardiac Pacemaker Software. MCPS Marta Z. Kwiatkowska, Alexandru Mereacre
2014	—	`conf`	Formal Modelling and Validation of Rate-Adaptive Pacemakers. ICHI Marta Z. Kwiatkowska, Harriet Lea-Banks, Alexandru Mereacre, Nicola Paoletti
2014	A*	`conf`	Invariant Verification of Nonlinear Hybrid Automata Networks of Cardiac Cells. CAV Zhenqi Huang, Chuchu Fan, Alexandru Mereacre, Sayan Mitra, Marta Z. Kwiatkowska
2014	—	`conf`	On Quantitative Software Quality Assurance Methodologies for Cardiac Pacemakers. ISoLA (2) Marta Z. Kwiatkowska, Alexandru Mereacre, Nicola Paoletti
2014	J	`jnl`	Quantitative model-checking of controlled discrete-time Markov processes. CoRR Ilya Tkachev, Alexandru Mereacre, Joost-Pieter Katoen, Alessandro Abate
2014	J	`jnl`	Quantitative verification of implantable cardiac pacemakers over hybrid heart models. Inf. Comput. Taolue Chen, Marco Diciolla, Marta Z. Kwiatkowska, Alexandru Mereacre
2014	Misc	`conf`	Synthesising optimal timing delays for Timed I/O Automata. EMSOFT Marco Diciolla, Chang Hwan Peter Kim, Marta Z. Kwiatkowska, Alexandru Mereacre
2013	—	`conf`	A simulink hybrid heart model for quantitative verification of cardiac pacemakers. HSCC Taolue Chen, Marco Diciolla, Marta Z. Kwiatkowska, Alexandru Mereacre
2013	—	`conf`	Quantitative automata-based controller synthesis for non-autonomous stochastic hybrid systems. HSCC Ilya Tkachev, Alexandru Mereacre, Joost-Pieter Katoen, Alessandro Abate
2013	J	`jnl`	Verification of linear duration properties over continuous-time markov chains. ACM Trans. Comput. Log. Taolue Chen, Marco Diciolla, Marta Z. Kwiatkowska, Alexandru Mereacre
2012	A	`conf`	Quantitative Verification of Implantable Cardiac Pacemakers. RTSS Taolue Chen, Marco Diciolla, Marta Z. Kwiatkowska, Alexandru Mereacre
2012	—	`—`	Verification of continuous-space stochastic systems. Alexandru Mereacre
2012	—	`conf`	Verification of linear duration properties over continuous-time markov chains. HSCC Taolue Chen, Marco Diciolla, Marta Z. Kwiatkowska, Alexandru Mereacre
2011	A	`conf`	Efficient CTMC Model Checking of Linear Real-Time Objectives. TACAS Benoît Barbot, Taolue Chen, Tingting Han, Joost-Pieter Katoen, Alexandru Mereacre
2011	J	`jnl`	Model Checking of Continuous-Time Markov Chains Against Timed Automata Specifications Log. Methods Comput. Sci. Taolue Chen, Tingting Han, Joost-Pieter Katoen, Alexandru Mereacre
2011	—	`conf`	Observing Continuous-Time MDPs by 1-Clock Timed Automata. RP Taolue Chen, Tingting Han, Joost-Pieter Katoen, Alexandru Mereacre
2011	—	`conf`	Quantitative automata model checking of autonomous stochastic hybrid systems. HSCC Alessandro Abate, Joost-Pieter Katoen, Alexandru Mereacre
2011	—	`conf`	Reachability probabilities in Markovian Timed Automata. CDC/ECC Taolue Chen, Tingting Han, Joost-Pieter Katoen, Alexandru Mereacre
2011	—	`conf`	Time-Bounded Verification of CTMCs against Real-Time Specifications. FORMATS Taolue Chen, Marco Diciolla, Marta Z. Kwiatkowska, Alexandru Mereacre
2010	J	`jnl`	Computing Optimal Schedules for battery Usage in Embedded Systems. IEEE Trans. Ind. Informatics Marijn R. Jongerden, Alexandru Mereacre, Henrik C. Bohnenkamp, Boudewijn R. Haverkort, Joost-Pieter Katoen
2010	—	`conf`	Time-Inhomogeneous Markov Chains and Piecewise Deterministic Markov Processes. AlgoSyn Alexandru Mereacre
2009	B	`conf`	LTL Model Checking of Time-Inhomogeneous Markov Chains. ATVA Taolue Chen, Tingting Han, Joost-Pieter Katoen, Alexandru Mereacre
2009	A*	`conf`	Quantitative Model Checking of Continuous-Time Markov Chains Against Timed Automata Specifications. LICS Taolue Chen, Tingting Han, Joost-Pieter Katoen, Alexandru Mereacre
2008	A	`conf`	Approximate Parameter Synthesis for Probabilistic Time-Bounded Reachability. RTSS Tingting Han, Joost-Pieter Katoen, Alexandru Mereacre
2008	—	`conf`	Compositional Modeling and Minimization of Time-Inhomogeneous Markov Chains. HSCC Tingting Han, Joost-Pieter Katoen, Alexandru Mereacre
2008	—	`conf`	Model Checking HML on Piecewise-Constant Inhomogeneous Markov Chains. FORMATS Joost-Pieter Katoen, Alexandru Mereacre