Searching for authors named Dino Mandrioli – sorted by Relevance.

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

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

8 documents found, showing 1 through 8.

Dealing With Zero-Time Transitions in Axiom Systems
by Angelo Gargantini, Dino Mandrioli, Dino M, Angelo Morzenti — 1999 — INFCTRL: Information and Computation (formerly Information and Control
…Abstract Dealing with zero-time transitions in axiom systems • Angelo Gargantini, Dino Mandrioli…
Cited by 1 (1 self) – Add To MetaCart

A Formal Approach for Designing CORBA based Applications
by Matteo Pradella, Matteo Rossi, Alberto Coen-Porisini, Dino Mandrioli — 2000 — In ICSE 2000
… Alberto Coen-Porisini Dino Mandrioli Dipartimento di Elettronica e Informazione Dipartimento di Ingegneria…
Cited by 5 (0 self) – Add To MetaCart

Parallel Refinement Mechanisms for Real-Time Systems
by Paul Z. Kolano, Richard A. Kemmerer, Dino Mandrioli, Dino M — 2000 — Proc. 3rd Int. Conf. on Fundamental Approaches to Software Engineering
… , and Dino Mandrioli 2 1 Reliable Software Group, Computer Science Department, University of California…
Add To MetaCart

A Formal Framework for ASTRAL Inter-level Proof Obligations
by Alberto Coen-Porisini, Alberto Coen-porisini, Richard A. Kemmerer, Richard A. Kemmerer, Dino Mandrioli, Dino Mandrioli — 1995 — Proceedings of the 5th European Software Engineering Conference
… 93106 Dino Mandrioli Dipartimento di Elettronica e Informazione Politecnico di Milano 20133 Milano…
Cited by 11 (5 self) – Add To MetaCart

Formal Verification of Realtime Systems in ASTRAL
by Alberto Coen-Porisini, Richard A. Kemmerer, Dino Mandrioli — 1992
… Dino Mandrioli Dipartimento di Elettronica Politecnico di Milano 20133 Milano, Italia Abstract ASTRAL…
Cited by 2 (1 self) – Add To MetaCart

DEI
by Matteo Rossi, Dino Mandrioli, Angelo Morzenti, Matteo Pradella, Matteo Rossi, Paola Spoletini, Carlo A. Furia, Matteo Rossi, Matteo Rossi
… Informazione Politecnico di Milano The Formal Methods Group People: � Dino Mandrioli � Angelo Morzenti…
Add To MetaCart

Adding Real Time Constraints to Synchronised Petri Nets
by Giovanna Di, Giovanna Di Marzo Serugendo, Dino Mandrioli, Didier Buchs, Nicolas Guelfi — 2000
… has been realized while Dino Mandrioli was visiting the Swiss Federal Institute of Technology. 1 from…
Add To MetaCart

Methods and Tools for the Design and Analysis of Distributed Supervision and Control Systems
by Politecnico Di Milano, Dottorato Di, Ricerca In, Ingegneria Informatica, E Automatica, Prof Dino Mandrioli, Prof Dino Mandrioli, Coordinatore Del Dottorato, Prof Carlo Ghezzi, Prof Carlo Ghezzi, Matteo Pradella, Matteo Pradella
… Relatore: Prof. Dino Mandrioli Coordinatore del Dottorato: Prof. Carlo Ghezzi XIII ciclo Tesi di Dottorato…
Add To MetaCart

Showing 1 through 8.

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