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
Abstract model checking of \textsf{tccp} programs	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

This page was built for person: María del Mar Gallardo