Maria Sorea

Available identifiers

zbMath Open sorea.mariaMaRDI QIDQ2842587

List of research outcomes

Publication	Date of Publication	Type
https://portal.mardi4nfdi.de/entity/Q2842869	2013-08-16	Paper
Predicate Abstraction for Dense Real-Time Systems1 1This research was supported by the National Science Foundation under grants CCR-00-82560 and CCR-00-86096 and by NASA Langley Research Center under contract B09060051 and Cooperative Agreement NCC-1-399 with Honeywell Minneapolis. Most of this research has been conducted while the first author was visiting SRI International, July/August 2001.	2013-08-15	Paper
Computer Aided Verification	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

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Maria Sorea