María del Mar Gallardo

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
The role of abstraction in model checking Analysis, Verification and Transformation for Declarative Programming and Intelligent Systems	2023-08-17	Paper
Trace analysis using an event-driven interval temporal logic Logic-Based Program Synthesis and Transformation	2022-08-25	Paper
Semantic access control model: a formal specification Computer Security – ESORICS 2005	2022-03-09	Paper
A program analysis framework for \textit{tccp} based on abstract interpretation Formal Aspects of Computing	2017-06-01	Paper
Abstract Analysis of Universal Properties for tccp Logic-Based Program Synthesis and Transformation	2016-02-05	Paper
Abstract model checking of \textsf{tccp} programs	2013-09-20	Paper
Model checking dynamic memory allocation in operating systems Journal of Automated Reasoning	2009-08-31	Paper
Model Checking Software Lecture Notes in Computer Science	2007-05-02	Paper
PiXL: applying XML standards to support the integration of analysis tools for protocols Science of Computer Programming	2007-03-08	Paper
A semantic framework for the abstract model checking of tccp programs Theoretical Computer Science	2005-12-29	Paper
A generalized semantics of PROMELA for abstract model checking Formal Aspects of Computing	2004-10-01	Paper
scientific article; zbMATH DE number 2087639 (Why is no real title available?)	2004-08-11	Paper
scientific article; zbMATH DE number 1948409 (Why is no real title available?)	2003-07-13	Paper

Research outcomes over time

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