María del Mar Gallardo

Available identifiers

zbMath Open del-mar-gallardo.mariaMaRDI QIDQ835781

List of research outcomes

Publication	Date of Publication	Type
The role of abstraction in model checking	2023-08-17	Paper
Trace Analysis Using an Event-Driven Interval Temporal Logic	2022-08-25	Paper
Semantic Access Control Model: A Formal Specification	2022-03-09	Paper
A program analysis framework for \textit{tccp} based on abstract interpretation	2017-06-01	Paper
Abstract Analysis of Universal Properties for tccp	2016-02-05	Paper
https://portal.mardi4nfdi.de/entity/Q2849844	2013-09-20	Paper
Model checking dynamic memory allocation in operating systems	2009-08-31	Paper
Model Checking Software	2007-05-02	Paper
PiXL: applying XML standards to support the integration of analysis tools for protocols	2007-03-08	Paper
A semantic framework for the abstract model checking of tccp programs	2005-12-29	Paper
A generalized semantics of PROMELA for abstract model checking	2004-10-01	Paper
https://portal.mardi4nfdi.de/entity/Q4738488	2004-08-11	Paper
https://portal.mardi4nfdi.de/entity/Q4411974	2003-07-13	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: María del Mar Gallardo