dblp.uni-trier.dewww.uni-trier.de

Dino Mandrioli Vis

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo
Home Page

*2009
61EEMehdi Jazayeri, Dino Mandrioli: SCORE: The first student Contest in Software Engineering. ICSE Companion 2009: 487-488
60EEStefano Crespi-Reghizzi, Dino Mandrioli: Algebraic properties of structured context-free languages: old approaches and novel developments CoRR abs/0907.2130: (2009)
2008
59EECarlo A. Furia, Dino Mandrioli, Angelo Morzenti, Matteo Rossi: Modeling Time in Computing: A Taxonomy and a Comparative Survey CoRR abs/0807.4132: (2008)
2007
58EEAndrea 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
57EECarlo A. Furia, Matteo Rossi, Dino Mandrioli, Angelo Morzenti: Automated compositional proofs for real-time systems. Theor. Comput. Sci. 376(3): 164-184 (2007)
2006
56EEJohn S. Fitzgerald, Stefania Gnesi, Dino Mandrioli: The industrialization of formal methods. STTT 8(4-5): 301-302 (2006)
2005
55EECarlo A. Furia, Matteo Rossi, Dino Mandrioli, Angelo Morzenti: Automated Compositional Proofs for Real-Time Systems. FASE 2005: 326-340
54EEMatteo Pradella, Matteo Rossi, Dino Mandrioli: ArchiTRIO: A UML-Compatible Language for Architectural Description and Its Formal Semantics. FORTE 2005: 381-395
53EECarlo Ghezzi, Dino Mandrioli: The challenges of software engineering education. ICSE 2005: 637-638
52EEMatteo Pradella, Matteo Rossi, Dino Mandrioli: A UML-Compatible Formal Language for System Architecture Description. SDL Forum 2005: 234-246
51EECarlo Ghezzi, Dino Mandrioli: The Challenges of Software Engineering Education. Software Education and Training Sessions @ ICSE 2005: 115-127
2004
50EEMatteo Rossi, Dino Mandrioli: A formal approach for modeling and verification of RTCORBA-based applications. ISSTA 2004: 263-273
49EEDino 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
47EEAlberto 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
46EEGiovanna Di Marzo Serugendo, Dino Mandrioli, Didier Buchs, Nicolas Guelfi: Real-Time Synchronised Petri Nets. ICATPN 2002: 142-162
2001
45EEFernando Marotta, Angelo Morzenti, Dino Mandrioli: Modeling and Analyzing Real-Time CORBA and Supervision & Control Framework and Applications. ICDCS 2001: 567-574
2000
44EEPaul Z. Kolano, Richard A. Kemmerer, Dino Mandrioli: Parallel Refinement Mechanisms for Real-Time Systems. FASE 2000: 35-50
43EEMatteo Pradella, Matteo Rossi, Dino Mandrioli, Alberto Coen-Porisini: A formal approach for designing CORBA based applications. ICSE 2000: 188-197
42EERiccardo 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
40EEEmanuele 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
35EEDino 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
34EEMiguel 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)
33EEAlberto 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
27EEAngelo Morzenti, Dino Mandrioli, Carlo Ghezzi: A Model Parametric Real-Time Logic. ACM Trans. Program. Lang. Syst. 14(4): 521-573 (1992)
1991
26EECarlo 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)
25EEAlberto 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)
22EECarlo 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)
20EEAlfonso 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
17EECarlo 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)
11EECarlo Ghezzi, Dino Mandrioli: Augmenting Parsers to Support Incrementality. J. ACM 27(3): 564-579 (1980)
1979
10EECarlo 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)
7EEStefano Crespi-Reghizzi, Giovanni Guida, Dino Mandrioli: Noncounting Context-Free Languages. J. ACM 25(4): 571-580 (1978)
1977
6EEGiovanni 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)

Coauthor Index

1Keijiro Araki [48]
2Daniel M. Berry [14]
3Didier Buchs [46]
4Riccardo Capobianchi [42]
5Augusto Celentano [12]
6Alessandra Cherubini [23] [24]
7Emanuele Ciapessoni [40]
8Claudio Citrini [18] [23] [24]
9Nicoletta Cocco [15]
10Alberto Coen-Porisini [25] [32] [33] [36] [40] [41] [42] [43] [47]
11Stefano Crespi-Reghizzi [1] [2] [7] [8] [9] [13] [18] [23] [24] [60]
12Miguel Felder [34]
13John S. Fitzgerald [56]
14Alfonso Fuggetta [20] [30]
15Carlo A. Furia [55] [57] [59]
16Angelo Gargantini [39]
17Franca Garzotto [19]
18Carlo Ghezzi [10] [11] [12] [14] [16] [17] [19] [20] [21] [22] [25] [26] [27] [30] [38] [51] [53]
19Stefania Gnesi [48] [56]
20Nicolas Guelfi [46]
21Giovanni Guida [3] [6] [7] [13]
22Mehdi Jazayeri [38] [61]
23Richard A. Kemmerer [33] [36] [44]
24Paul Z. Kolano [44]
25Fernando Marotta [45]
26David F. Martin [8]
27Andrea Matta [58]
28Vitaliano Milanese [15]
29Piergiorgio Mirandola [40]
30Sandro Morasca [21] [26] [35]
31Angelo Morzenti [19] [22] [27] [30] [34] [35] [39] [40] [42] [45] [55] [57] [59]
32Amedeo Paci [3]
33Flavio De Paoli [25]
34Mauro Pezzè [21] [26]
35Matteo Pradella [43] [47] [52] [54]
36Matteo Rossi [43] [47] [50] [52] [54] [55] [57] [58] [59]
37Quirico Semeraro [58]
38Giovanna Di Marzo Serugendo [46]
39Marco Somalvico [3] [6]
40Paola Spoletini [58]
41Antonio Tecchio [17]
42Francesco Tisato [14] [16]
43Tullio Tolio [58]
44Pierluigi Della Vigna [12]
45Roberto Zicari [16]

Colors in the list of coauthors

Copyright © Tue Nov 3 08:52:44 2009 by Michael Ley (ley@uni-trier.de)