Ernesto Pimentel

Available identifiers

zbMath Open pimentel.ernestoMaRDI QIDQ216148

List of research outcomes

Publication	Date of Publication	Type
The Riemann problem for the shallow water equations with discontinuous topography: the wet-dry case	2019-07-22	Paper
Automatic Generation of Adaptation Contracts	2015-03-19	Paper
An abstract analysis framework for synchronous concurrent languages based on source-to-source transformation	2014-01-10	Paper
Abstract model checking of \textsf{tccp} programs	2013-09-20	Paper
Formalizing web service choreographies	2013-09-11	Paper
Isolating resource consumption in linear logic proof search (extended abstract)	2013-08-19	Paper
Model-based dependable composition of self-adaptive systems	2012-05-30	Paper
PiXL: applying XML standards to support the integration of analysis tools for protocols	2007-03-08	Paper
Component adaptation through flexible subservicing	2006-10-25	Paper
On the semantics of software adaptation	2006-06-30	Paper
Coordination Models and Languages	2006-01-10	Paper
A semantic framework for the abstract model checking of tccp programs	2005-12-29	Paper
Algebraic Methodology and Software Technology	2005-08-25	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/Q4428375	2003-09-15	Paper
https://portal.mardi4nfdi.de/entity/Q4417120	2003-07-28	Paper
https://portal.mardi4nfdi.de/entity/Q4411974	2003-07-13	Paper
https://portal.mardi4nfdi.de/entity/Q4411822	2003-07-10	Paper
Compatibility and inheritance in software architectures	2002-07-22	Paper
https://portal.mardi4nfdi.de/entity/Q4537169	2002-06-25	Paper
Extending CORBA interfaces with protocols	2002-05-12	Paper
https://portal.mardi4nfdi.de/entity/Q4938433	2000-02-23	Paper

Research outcomes over time

This page was built for person: Ernesto Pimentel