The following pages link to Ernesto Pimentel (Q216148):
Displaying 23 items.
- PiXL: applying XML standards to support the integration of analysis tools for protocols (Q869693) (← links)
- A generalized semantics of PROMELA for abstract model checking (Q1882796) (← links)
- The Riemann problem for the shallow water equations with discontinuous topography: the wet-dry case (Q2314321) (← links)
- Component adaptation through flexible subservicing (Q2432760) (← links)
- On the semantics of software adaptation (Q2495553) (← links)
- A semantic framework for the abstract model checking of tccp programs (Q2576949) (← links)
- Extending CORBA interfaces with protocols (Q2762735) (← links)
- Isolating resource consumption in linear logic proof search (extended abstract) (Q2844805) (← links)
- Formalizing web service choreographies (Q2847798) (← links)
- Abstract model checking of \textsf{tccp} programs (Q2849844) (← links)
- An abstract analysis framework for synchronous concurrent languages based on source-to-source transformation (Q2871846) (← links)
- Model-based dependable composition of self-adaptive systems (Q2888203) (← links)
- (Q4411822) (← links)
- (Q4411974) (← links)
- (Q4417120) (← links)
- (Q4428375) (← links)
- (Q4537169) (← links)
- (Q4738488) (← links)
- (Q4938433) (← links)
- Automatic Generation of Adaptation Contracts (Q5179209) (← links)
- Algebraic Methodology and Software Technology (Q5313011) (← links)
- Coordination Models and Languages (Q5717743) (← links)
- Compatibility and inheritance in software architectures (Q5949499) (← links)
