Maria Sorea

Available identifiers

zbMath Open sorea.mariaMaRDI QIDQ2842587

List of research outcomes

Publication	Date of Publication	Type
Bounded model checking for timed automata	2013-08-16	Paper
Predicate abstraction for dense real-time systems	2013-08-15	Paper
Bounded model checking and induction: From refutation to verification (extended abstract, Category A)	2010-04-20	Paper
Frontiers of Combining Systems	2006-10-10	Paper
Computer Aided Verification	2005-08-25	Paper
Formal Techniques, Modelling and Analysis of Timed and Fault-Tolerant Systems	2005-08-19	Paper
Formal Techniques, Modelling and Analysis of Timed and Fault-Tolerant Systems	2005-08-19	Paper
https://portal.mardi4nfdi.de/entity/Q4809077	2004-08-12	Paper
https://portal.mardi4nfdi.de/entity/Q4484492	2003-06-12	Paper

Research outcomes over time

This page was built for person: Maria Sorea