| 2008 |
|---|
| 59 | EE | Carlo A. Furia,
Dino Mandrioli,
Angelo Morzenti,
Matteo Rossi:
Modeling Time in Computing: A Taxonomy and a Comparative Survey
CoRR abs/0807.4132: (2008) |
| 2007 |
|---|
| 58 | EE | Andrea Matta,
Matteo Rossi,
Paola Spoletini,
Dino Mandrioli,
Quirico Semeraro,
Tullio Tolio:
FM for FMS: Lessons Learned While Applying Formal Methods to the Study of Flexible Manufacturing Systems.
ICTAC 2007: 366-380 |
| 57 | EE | Carlo A. Furia,
Matteo Rossi,
Dino Mandrioli,
Angelo Morzenti:
Automated compositional proofs for real-time systems.
Theor. Comput. Sci. 376(3): 164-184 (2007) |
| 2006 |
|---|
| 56 | EE | John S. Fitzgerald,
Stefania Gnesi,
Dino Mandrioli:
The industrialization of formal methods.
STTT 8(4-5): 301-302 (2006) |
| 2005 |
|---|
| 55 | EE | Carlo A. Furia,
Matteo Rossi,
Dino Mandrioli,
Angelo Morzenti:
Automated Compositional Proofs for Real-Time Systems.
FASE 2005: 326-340 |
| 54 | EE | Matteo Pradella,
Matteo Rossi,
Dino Mandrioli:
ArchiTRIO: A UML-Compatible Language for Architectural Description and Its Formal Semantics.
FORTE 2005: 381-395 |
| 53 | EE | Carlo Ghezzi,
Dino Mandrioli:
The challenges of software engineering education.
ICSE 2005: 637-638 |
| 52 | EE | Matteo Pradella,
Matteo Rossi,
Dino Mandrioli:
A UML-Compatible Formal Language for System Architecture Description.
SDL Forum 2005: 234-246 |
| 51 | EE | Carlo Ghezzi,
Dino Mandrioli:
The Challenges of Software Engineering Education.
Software Education and Training Sessions @ ICSE 2005: 115-127 |
| 2004 |
|---|
| 50 | EE | Matteo Rossi,
Dino Mandrioli:
A formal approach for modeling and verification of RTCORBA-based applications.
ISSTA 2004: 263-273 |
| 49 | EE | Dino Mandrioli:
Advertising Formal Methods and Organizing Their Teaching: Yes, but ....
TFM 2004: 214-224 |
| 2003 |
|---|
| 48 | | Keijiro Araki,
Stefania Gnesi,
Dino Mandrioli:
FME 2003: Formal Methods, International Symposium of Formal Methods Europe, Pisa, Italy, September 8-14, 2003, Proceedings
Springer 2003 |
| 47 | EE | Alberto Coen-Porisini,
Matteo Pradella,
Matteo Rossi,
Dino Mandrioli:
A formal approach for designing CORBA-based applications.
ACM Trans. Softw. Eng. Methodol. 12(2): 107-151 (2003) |
| 2002 |
|---|
| 46 | EE | Giovanna Di Marzo Serugendo,
Dino Mandrioli,
Didier Buchs,
Nicolas Guelfi:
Real-Time Synchronised Petri Nets.
ICATPN 2002: 142-162 |
| 2001 |
|---|
| 45 | EE | Fernando Marotta,
Angelo Morzenti,
Dino Mandrioli:
Modeling and Analyzing Real-Time CORBA and Supervision & Control Framework and Applications.
ICDCS 2001: 567-574 |
| 2000 |
|---|
| 44 | EE | Paul Z. Kolano,
Richard A. Kemmerer,
Dino Mandrioli:
Parallel Refinement Mechanisms for Real-Time Systems.
FASE 2000: 35-50 |
| 43 | EE | Matteo Pradella,
Matteo Rossi,
Dino Mandrioli,
Alberto Coen-Porisini:
A formal approach for designing CORBA based applications.
ICSE 2000: 188-197 |
| 42 | EE | Riccardo Capobianchi,
Alberto Coen-Porisini,
Dino Mandrioli,
Angelo Morzenti:
A framework architecture for supervision and control systems.
ACM Comput. Surv. 32(1es): 26 (2000) |
| 41 | | Alberto Coen-Porisini,
Dino Mandrioli:
Using TRIO for designing a CORBA-based application.
Concurrency - Practice and Experience 12(10): 981-1015 (2000) |
| 1999 |
|---|
| 40 | EE | Emanuele Ciapessoni,
Piergiorgio Mirandola,
Alberto Coen-Porisini,
Dino Mandrioli,
Angelo Morzenti:
From Formal Models to Formally Based Methods: An Industrial Experience.
ACM Trans. Softw. Eng. Methodol. 8(1): 79-113 (1999) |
| 39 | | Angelo Gargantini,
Dino Mandrioli,
Angelo Morzenti:
Dealing with Zero-Time Transitions in Axiom Systems.
Inf. Comput. 150(2): 119-131 (1999) |
| 1997 |
|---|
| 38 | | Carlo Ghezzi,
Mehdi Jazayeri,
Dino Mandrioli:
Software Qualities and Principles.
The Computer Science and Engineering Handbook 1997: 2278-2301 |
| 1996 |
|---|
| 37 | | Dino Mandrioli:
Applying Research Results in the Industrial Environment: the Case of the TRIO Specification Language.
AMAST 1996: 33-42 |
| 1995 |
|---|
| 36 | | Alberto Coen-Porisini,
Richard A. Kemmerer,
Dino Mandrioli:
A Formal Framework for ASTRAL Inter-level Proof Obligations.
ESEC 1995: 90-108 |
| 35 | EE | Dino Mandrioli,
Sandro Morasca,
Angelo Morzenti:
Generating Test Cases for Real-Time Systems from Logic Specifications.
ACM Trans. Comput. Syst. 13(4): 365-398 (1995) |
| 1994 |
|---|
| 34 | EE | Miguel Felder,
Dino Mandrioli,
Angelo Morzenti:
Proving Properties of Real-Time Systems Through Logical Specifications and Petri Net Models.
IEEE Trans. Software Eng. 20(2): 127-141 (1994) |
| 33 | EE | Alberto Coen-Porisini,
Richard A. Kemmerer,
Dino Mandrioli:
A Formal Framework for ASTRAL Intralevel Proof Obligations.
IEEE Trans. Software Eng. 20(8): 548-561 (1994) |
| 1993 |
|---|
| 32 | | Alberto Coen-Porisini,
Dino Mandrioli:
A Formal Framework for ASTRAL Intra-Level Proof Obligations.
ESEC 1993: 483-500 |
| 31 | | Dino Mandrioli:
The Object-Oriented Specification of Real-Time Systems.
TOOLS (10) 1993: 347 |
| 30 | | Alfonso Fuggetta,
Carlo Ghezzi,
Dino Mandrioli,
Angelo Morzenti:
Executable Specifications with Data-flow Diagrams.
Softw., Pract. Exper. 23(6): 629-653 (1993) |
| 1992 |
|---|
| 29 | | Dino Mandrioli:
The Object-Oriented Specification of Real-Time Systems.
TOOLS (8) 1992: 275 |
| 28 | | Dino Mandrioli:
Associated paper: The Specification of Real-Time Systems: a Logical, Object-Oriented Approach.
TOOLS (8) 1992: 277 |
| 27 | EE | Angelo Morzenti,
Dino Mandrioli,
Carlo Ghezzi:
A Model Parametric Real-Time Logic.
ACM Trans. Program. Lang. Syst. 14(4): 521-573 (1992) |
| 1991 |
|---|
| 26 | EE | Carlo Ghezzi,
Dino Mandrioli,
Sandro Morasca,
Mauro Pezzè:
A Unified High-Level Petri Net Formalism for Time-Critical Systems.
IEEE Trans. Software Eng. 17(2): 160-172 (1991) |
| 25 | EE | Alberto Coen-Porisini,
Flavio De Paoli,
Carlo Ghezzi,
Dino Mandrioli:
Software Specialization Via Symbolic Execution.
IEEE Trans. Software Eng. 17(9): 884-899 (1991) |
| 24 | | Alessandra Cherubini,
Claudio Citrini,
Stefano Crespi-Reghizzi,
Dino Mandrioli:
QRT FIFO Automata, Breath-First Grammars and Their Relations.
Theor. Comput. Sci. 85(1): 171-203 (1991) |
| 1990 |
|---|
| 23 | | Alessandra Cherubini,
Claudio Citrini,
Stefano Crespi-Reghizzi,
Dino Mandrioli:
Breath and Depth Grammars and Deque Automata.
Int. J. Found. Comput. Sci. 1(3): 219-232 (1990) |
| 22 | EE | Carlo Ghezzi,
Dino Mandrioli,
Angelo Morzenti:
TRIO: A logic language for executable specifications of real-time systems.
Journal of Systems and Software 12(2): 107-123 (1990) |
| 1989 |
|---|
| 21 | | Carlo Ghezzi,
Dino Mandrioli,
Sandro Morasca,
Mauro Pezzè:
Symbolic Execution of Concurrent Systems Using Petri Nets.
Comput. Lang. 14(4): 263-281 (1989) |
| 20 | EE | Alfonso Fuggetta,
Carlo Ghezzi,
Dino Mandrioli:
Some Consideration on Real-Time Bahavior of Concurrent Programs.
IEEE Trans. Software Eng. 15(3): 356-359 (1989) |
| 1987 |
|---|
| 19 | | Franca Garzotto,
Carlo Ghezzi,
Dino Mandrioli,
Angelo Morzenti:
On the Specification of Real-Time Systems Using Logic Programming.
ESEC 1987: 180-190 |
| 1986 |
|---|
| 18 | | Claudio Citrini,
Stefano Crespi-Reghizzi,
Dino Mandrioli:
On Deterministic Multi-Pass Analysis.
SIAM J. Comput. 15(3): 668-693 (1986) |
| 1985 |
|---|
| 17 | | Carlo Ghezzi,
Dino Mandrioli,
Antonio Tecchio:
Program Simplification via Symbolic Interpretation.
FSTTCS 1985: 116-128 |
| 16 | | Dino Mandrioli,
Roberto Zicari,
Carlo Ghezzi,
Francesco Tisato:
Modeling the Ada Task System by Petri Nets.
Comput. Lang. 10(1): 43-61 (1985) |
| 15 | | Nicoletta Cocco,
Dino Mandrioli,
Vitaliano Milanese:
The Ada Task System and Real-Time Applications: An Implementation Schema.
Comput. Lang. 10(3/4): 189-209 (1985) |
| 1982 |
|---|
| 14 | | Daniel M. Berry,
Carlo Ghezzi,
Dino Mandrioli,
Francesco Tisato:
Language Constructs for Real-Time Distributed Systems.
Comput. Lang. 7(1): 11-20 (1982) |
| 1981 |
|---|
| 13 | | Stefano Crespi-Reghizzi,
Giovanni Guida,
Dino Mandrioli:
Operator Precedence Grammars and the Noncounting Property.
SIAM J. Comput. 10(1): 174-191 (1981) |
| 1980 |
|---|
| 12 | | Augusto Celentano,
Pierluigi Della Vigna,
Carlo Ghezzi,
Dino Mandrioli:
Separate Compilation and Partial Specification in Pascal.
IEEE Trans. Software Eng. 6(4): 320-328 (1980) |
| 11 | EE | Carlo Ghezzi,
Dino Mandrioli:
Augmenting Parsers to Support Incrementality.
J. ACM 27(3): 564-579 (1980) |
| 1979 |
|---|
| 10 | EE | Carlo Ghezzi,
Dino Mandrioli:
Incremental Parsing.
ACM Trans. Program. Lang. Syst. 1(1): 58-70 (1979) |
| 1978 |
|---|
| 9 | | Stefano Crespi-Reghizzi,
Dino Mandrioli:
A Class of Grammar Generating Non-Counting Languages.
Inf. Process. Lett. 7(1): 24-26 (1978) |
| 8 | | Stefano Crespi-Reghizzi,
Dino Mandrioli,
David F. Martin:
Algebraic Properties of Operator Precedence Languages
Information and Control 37(2): 115-133 (1978) |
| 7 | EE | Stefano Crespi-Reghizzi,
Giovanni Guida,
Dino Mandrioli:
Noncounting Context-Free Languages.
J. ACM 25(4): 571-580 (1978) |
| 1977 |
|---|
| 6 | EE | Giovanni Guida,
Dino Mandrioli,
Marco Somalvico:
An integrated model of problem solver.
Inf. Sci. 13(1): 11-33 (1977) |
| 5 | | Dino Mandrioli:
A Note on Petri Net Languages
Information and Control 34(2): 169-171 (1977) |
| 1976 |
|---|
| 4 | | Dino Mandrioli:
n-Reconstructability of Context-Free Grammars.
Inf. Process. Lett. 5(2): 58-62 (1976) |
| 1975 |
|---|
| 3 | | Giovanni Guida,
Dino Mandrioli,
Amedeo Paci,
Marco Somalvico:
An Integrated Theory of Problems as an Algebraic Base for Complexity Understanding and Automatic Problem Solving.
Optimization Techniques 1975: 98-129 |
| 2 | | Stefano Crespi-Reghizzi,
Dino Mandrioli:
A Decidability Theorem for a Class of Vector-Addition Systems.
Inf. Process. Lett. 3(3): 78-80 (1975) |
| 1 | | Stefano Crespi-Reghizzi,
Dino Mandrioli:
Erratum: A Decidability Theorem for a Class of Vector-Addition Systems.
Inf. Process. Lett. 3(5): 164 (1975) |
