MetaCart Sign in to MyCiteSeerX

Documents
Authors
Tables !

Searching for authors named Diego Latella – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB

16 documents found, showing 1 through 10. Next 10 →

ATOM

Is the safety case reflected in the report outline
by Diego Latella, Consiglio Nazionale — 2002 — In Proceedings of the 2002 ACM SIGSOFT International Symposium on Software Testing and Analysis (ISSTA ’02
… Latella Consiglio Nazionale delle Ricerche Ist. CNUCE Via Moruzzi 1, I56124 Pisa, Italy diego.latella…
Cited by 4 (2 self) – Add To MetaCart

A Fully Parallel Calculus of Synchronizing Processes
by Diego Latella, Paola Quaglia — 1993 — In Proc. 5th TAPSOFT, Vol. 668 of LNCS
…A Fully Parallel Calculus of Synchronizing Processes ? Diego Latella y Paola Quaglia z y CNR…
Cited by 1 (1 self) – Add To MetaCart

Design Validation of Embedded Dependable Systems
by Andrea Bondavalli, Alessandro Fantechi, Diego Latella, Luca Simoncini — 2001
…DESIGN VALIDATION OF EMBEDDED 52 Andrea Bondavalli Alessandro Fantechi University of Firenze Diego…
Add To MetaCart

Metric Semantics for True Concurrent Real Time
by Joost-pieter Katoen, Christel Baier, Diego Latella — 1999
…Metric Semantics for True Concurrent Real Time Joost-Pieter Katoen a;1 Christel Baier b Diego…
Cited by 2 (0 self) – Add To MetaCart

Towards A Formal Operational Semantics Of Uml Statechart Diagrams
by Diego Latella, Istvan Majzik, Mieke Massink — 1999
…TOWARDS A FORMAL OPERATIONAL SEMANTICS OF UML STATECHART DIAGRAMS Diego Latellay Istvan Majzikz…
Cited by 49 (10 self) – Add To MetaCart

On Specifying Real-Time Systems in a Causality-Based Setting
by Joost-pieter Katoen, Rom Langerak, Diego Latella, Ed Brinksma — 1996
… Langerak a , Diego Latella b and Ed Brinksma a a Faculty of Computing Science, University of Twente…
Cited by 4 (3 self) – Add To MetaCart

Performance Analysis and True Concurrency Semantics
by Ed Brinksma, Joost-pieter Katoen, Joost-pieter Katoen, Rom Langerak, Rom Langerak, Diego Latella, Diego Latella — 1994 — In T. Rus and C. Rattray, eds, Theories and Experiences for Real-Time System Development
… Langerak & Diego Latella Memorandum Informatica 94-39 Memorandum TIOS 94-10 Performance Analysis and True…
Cited by 10 (5 self) – Add To MetaCart

A Stochastic Causality-Based Process Algebra
by Ed Brinksma, Joost-pieter Katoen, Rom Langerak, Diego Latella — 1995
… Langerak 1 and Diego Latella 2 1 Department of Computing Science, University of Twente P.O. Box 217…
Cited by 26 (8 self) – Add To MetaCart

Stochastic Simulation of Event Structures
by Joost-pieter Katoen, Ed Brinksma, Diego Latella, Rom Langerak — 1996
…Stochastic Simulation of Event Structures Joost-Pieter Katoen a , Ed Brinksma a , Diego Latella…
Cited by 11 (7 self) – Add To MetaCart

Modeling Systems by Probabilistic Process Algebra: An Event Structures Approach
by Joost-pieter Katoen, Rom Langerak, Diego Latella — 1993
…-Pieter Katoen a and Rom Langerak a and Diego Latella b a Department of Computer Science, University…
Cited by 14 (6 self) – Add To MetaCart

Showing 1 through 10. Next 10 →

ATOM

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB