Mandrioli's
main publications
Journal papers
Gatto M., Mandrioli D.
Equivalenza tra grammatiche, sistemi di equazioni in variabili di linguaggio e
serie formali Calcolo, Vol. 11, N.1 pp. 91-109, 1974
Gatto M., Mandrioli D., Rinaldi S. Pseudoequilibrium in Dynamical Systems Int. J. on System Science, Vol. 4, N. 5 pp. 809-823, 1973
Crespi-Reghizzi S., Mandrioli D. A Decidability Theorem for a Class of Vector Addition Systems Information Processing Letters, Vol. 3, N. 3 pp. 78-80, 1975
Mandrioli D. n-Reconstructability of Context-free Grammars Information
Processing Letters, Vol. 5, N. 2 pp. 58-62, 1976
Crespi-Reghizzi S., Mandrioli D. Petri Nets and
Szilard Languages Information and Control, Vol. 33, N. 2 pp. 177-192,
1977
Mandrioli
D. A Note on
Petri Net Languages Information and Control, Vol. 34, N. 2 pp. 169-172,
1977
Crespi-Reghizzi S., Mandrioli D. A class of
Grammars Generating Non Counting Languages Information Processing Letters,
Vol. 7, N. 1 pp. 24-26, 1978
Crespi-Reghizzi S., Mandrioli D., Martin D.
Algebraic Properties of Operator Precedence Languages Information and
Control, Vol. 37, N. 2 pp. 115-133, 1978
Crespi-Reghizzi S., Guida
G., Mandrioli D. Non-Counting Context-free Languages Journal of the ACM,
Vol. 25, N. 4, pp. 571-580, 1978
Ghezzi C., Mandrioli D.
Incremental Parsing ACM TOPLAS, Vol. 1, N. 1, pp. 58-70, 1979
Ghezzi C., Mandrioli D. Augmenting Parsers
to Support Incrementality Journal of the ACM,
Vol. 27, N. 3, pp. 564-579, 1980
Celentano A., Della Vigna P., Ghezzi C., Mandrioli D. Separate Compilation and Partial
Specification in Pascal IEEE Trans. on Soft. Eng., Vol. SE-6, N. 4, pp. 320-328, 1980
Celentano A., Della Vigna
P., Ghezzi C., Mandrioli D. SIMPLE: A Program
Development System J. of Computer Languages, Vol. 5, n. 2, pp. 103-114,
1980.
Crespi-Reghizzi S., Guida
G., Mandrioli D. Operator Precedence Grammars and the Non-Counting Property SIAM
J. on Computing, Vol. 10, N. 1, pp. 174-191, 1981
Berry D., Ghezzi C., Mandrioli D., Tisato
F. Language Constructs for Real-Time Distributed Systems J. of Computer
Languages, Vol. 7, n. 1, 1982.
Mandrioli
D., Zicari R., Ghezzi C., Tisato F. Modelingthe Ada Task System by Petri Nets. J. of Computer
Languages, Vol. 10, n. 1, pp. 43-61, 1985.
Cocco N., Mandrioli D., Milanese V. The
Citrini
C., Crespi-Reghizzi S., Mandrioli D. On Deterministic Multipass Analysis.
Fuggetta A., Ghezzi
C., Mandrioli D. On the Behavior of
Concurrent and Real-Time Systems. IEEE Trans. on
Soft.
Ghezzi C., Mandrioli D., Morasca S., Pezzè M. Symbolic
Execution of Concurrent Systems Using Petri Nets J. of Computer Languages
, Vol. 14, N. 4, pp. 263-281, 1989.
Coen A., De Paoli F., Ghezzi C., Mandrioli D. Software Specialization via
Symbolic Execution IEEE Transactions on Software Engineeering,
September 1991.
Ghezzi C., Mandrioli D., Morasca
S., Pezzè M. A Unified High-level Petri Net Model for Time
Critical Systems IEEE Trans. on Software Engineering, February 1991
Ghezzi C., Mandrioli D., Morzenti A. TRIO a Logic Language for Executable
Specifications of Real-time Systems Journal of Systems and Software,
June 1990
Cherubini A., Citrini C., Crespi-Reghizzi S.,
Mandrioli D. Breadth and Depth Grammars and Dequeue
Automata International Journal of Foundations of Computer Science, Vol.
1, N. 3, pp. 219-232, 1990 (also in Proc. Third Italian Conference on
Theoretical Computer Science, Mantova, 1989, pp.
176-187).
Cherubini A., Citrini C., Crespi-Reghizzi S.,
Mandrioli D. Quasi-real-time FIFO Automata, Breadth-first Grammars, and their
Relations. Theoretical Computer Science, Vol. 85, pp.
171-203, 1991.
Morzenti A., Mandrioli D., Ghezzi
C. A Model Parametric Real-Time Logic ACM Trans. on Prog. Languages and System, October 1992.
Fuggetta A., Ghezzi
C., Mandrioli D, Morzenti A. Executable
Specifications with Dataflow Diagrams. Software, Practice and Experience,
Vol. 23, N. 6, pp 629-653, June 1993.
Felder M., Mandrioli D., Morzenti A. Proving Properties of Real-Time Systems through
Logical Specifications and Petri Net Models IEEE Trans. on Software
Engineering, vol.20, no.2, Feb.1994, pp.127-141.
Coen-Porisini, A., Kemmerer R., Mandrioli D.
"A Formal Framework for ASTRAL Intra-level Proof Obligations" IEEE
Trans. on Software Engineering, vol.20, no.8, August.1994, pp.548-561.
Mandrioli D., Morasca S., Morzenti A.
"Generating Test Cases for Real-Time Systems from Logic
Specifications" ACM Trans. on Computer Systems, November 1995.
Gargantini A., Mandrioli D.,
Morzenti A. "Dealing
with Zero-time Transitions in Axiom Systems", Information and
Computation, Vol. 150 N. 2, May 1999, pp. 119-131.
Ciapessoni E., Coen-Porisini
A., Crivelli E., Mandrioli D., Mirandola
P., Morzenti A. "From formal models to
formally-based methods: an industrial experience", ACM Trans. on
Software Eng. and Methodologies, Vol. 8. no 1,
January 1999, pp.79-113.
Capobianchi R., Coen-Porisini
A., Mandrioli D., Morzenti A. "A framework
architecture for supervision and control systems", Electronic symposium on
Object-Oriented Application Frameworks, Fayad M.
editor, ACM Computing Surveys,
March 2000.
Coen-Porisini A., Mandrioli D. "Using TRIO
for designing a CORBA based application", Concurrency: Practice and
Experience, August 2000
Coen-Porisini A., Pradella
M., Rossi M., Mandrioli D. "A Formal Approach for Designing
CORBA-Based Applications", ACM
Trans. on Software
John S. Fitzgerald, Stefania Gnesi and Dino
Mandrioli, “The industrialization of formal methods”, International Journal
on Software Tools for Technology Transfer (STTT), Special section on formal
methods for industrial critical systems, Volume 8, Numbers 4-5 / August, 2006,
pp. 301-302.
Furia C., Rossi M.,
Mandrioli D., Morzenti A., “Automated Compositional
Proofs for real-Time Systems”, Theoretical
Computer Science, 376 (3), pp. 164--184, May 2007. Extended and
revised version of [C38].
Furia C.,
Mandrioli D., Morzenti A., Rossi M., “Modeling Time in Computing: A Taxonomy and a
Comparative Survey”, ACM Computing
Surveys (CSUR) Volume 42 , Issue 2 ,
February 2010, 59 pages.
Crespi-Reghizzi S., Mandrioli D., “Operator Precedence and the Visibly Push-down Property”, Journal of Computer and System Sciences, To appear.
Other papers
Gatto M., Mandrioli D., Rinaldi S. Finite and Infinite Time Pseudoequilibrium
in Dynamical Systems Proc. Sixth Asylomar Conference
on Circuit and Systems pp. 130-135, Nov. 1972.
Mandrioli
D., Sangiovanni A., Somalvico
M. A General
Approach to Learning in Problem Solving Proc. of tha
NATO Advanced Study Insitute on Computer Oriented
Learning Processes, Northdorff Publishing Company, Bonas, pp. 471-501, 1974
Guida G., Mandrioli D., Paci
A., Somalvico M. An Integrated Theory of Problems as an
Algebraic Basis for Complexity Understanding and Automatic Problem Solving 6th
IFIP Conf. on Optmization Techniques, Springer Verlag, Berlin-Nizza, 1975, pp.
98-129.
Mandrioli
D. On Teaching Theoretical Foundations of Computer Science Parts.
1,2 ACM SIGACT NEWS, Vol. 14,
N. 3/4, 1982
Mandrioli D. Invito alla Teoria
dei Linguaggi Formali Proc. of the Seminario Matematico e Fisico del
Politecnico di Milano e dellÕUniversità di Milano, 1983 (in Italian)
Citrini C., Crespi-Reghizzi S., Mandrioli D. Chained Deterministic Pushdown Transducers Proc. Colloquium on Algebra, Combinatorics and Logic in Computer Science, GYOR, 1983.
Ghezzi C., Mandrioli D., Tecchio
A. Program Simplification via Symbolic Interpretation. Proceedings 5th FSTTCS, New Delhi, LNCS N. 206,
pp. 116-128, Springer Verlag, 1985.
Garzotto F., Ghezzi
C., Mandrioli D., Morzenti A. On
the Specification of Real-Time Systems Using Logic Programming. Proceedings First European Software Engineering Conference,
Ghezzi C., Mandrioli D. On Eclecticism in
Specifications. Proceedings 4th International Workshop
on Sofdtware Specification and Design, IEEE, Montery, pp. 216-224, 1987.
Fuggetta A., Ghezzi C., Mandrioli
D, Morzenti A. VLP: A Visual Language for Prototyping. IEEE Workshop on
Languages for Automation,
Fuggetta A., Ghezzi
C., Mandrioli D, Morzenti A. Toward flexible
Specification Environments. Proceedings Advanced Programming
Methodologies (Cioni G., Salwicki
A. editors), Academic Press, 1989.
Ghezzi C., Mandrioli D., Morasca
S., Pezzè M.
Corsetti E, Mandrioli D. et al. Dealing with different time scales
in formal specifications Proceedings Sixth Int. Work. on
Software Spec. and Design,
Ghezzi C., Mandrioli D. On Eclecticism in Specifications: A
Case Study centered around
Petri Nets. In Advances in Object-Oriented Software Engineering, Mandrioli D.,
Meyer B. (editors) Prentice-Hall, 1992
Mandrioli
D. A History of Theoretical Computer Science Enciclopedia
Treccani, Storia del XX Secolo, to appear.
Mandrioli
D. The
specification of Real-Time Systems: a Logical and Object-Oriented Approach
Proceedings TOOLS 8-USA 1992,
Mandrioli D., Morasca S., Morzenti A.
Functional Test Case Generation for Real-Time Systems Proceedings of DCCA-3:
3rd IFIP Working Conference on Dependable Computing for Critical Applications,
Sept.1992.
Coen-Porisini, A., Kemmerer R., Mandrioli D.
"Formal Verification of Realtime Systems in
ASTRAL" Proceedings ESEC 93, Garmisch September
1993.
Basso M., Ciapessoni E., Crivelli E.,
Mandrioli D., Morzenti A., Ratto
E., San Pietro P. ÒExperimenting
a Logic-Based ApproAch to the Specification and
Design of the Control System of a Pondage Power plantÓ Proceedings of the ICSE-17 Workshop on Formal
Methods Application in Software Engineering Practice, 1995, pp. 174-181
Coen-Porisini, A., Kemmerer R., Mandrioli D.
"A Formal Framework for ASTRAL Inter-level Proof Obligations"
Proceedings ESEC 95,
Heitmeyer C., Mandrioli D. "Formal
Methods for Real-Time Computing: an Overview" in Formal Methods for
Real-Time Computing, Heitmeyer C., Mandrioli D.
(editors), John Wiley & Sons, 1996.
Mandrioli D., Morzenti A., Pezzè M., San Pietro P. Silva S. "A Petri Net and Logic Approach to
the Specification and Verification of Real Time Systems" in Formal Methods
for Real-Time Computing, Heitmeyer C., Mandrioli D.
(editors), John Wiley & Sons, 1996 .
Mandrioli D. "Applying
Research Results in the Industrial Environment: the Case of the TRIO
Specification Language", Proceedings AMAST 96, LNCS 1101, Springer Verlag, pp. 33-42, July 1996.
Ghezzi C., Jazayeri
M., Mandrioli D. "Software Qualities and Principles", in Handbook of
Computer Science & Engineering, Allen B. Tucker (editor), CRC Press, pp.
2278-2301, 1997.
M. Basso, E. Ciapessoni, E. Crivelli, D.
Mandrioli, A. Morzenti, E.Ratto,
P. San Pietro "A logic-based approach to
the specification and design of the control system of a pondage
power plant" in C.Tully (editor) "Improving
Software Practice: Case Experience", John Wiley & Sons, Series in
Software Based Systems, pp. 79-96, 1998.
R.Capobianchi, D.Carcagno,
A.Coen Porisini, D.Mandrioli, A.Morzenti
"Supervision and control systems framework", in M.Fayad
e R. Johnson eds., "Domain-Specific Application Frameworks",
John Wiley & Sons, 2000.
P. Kolano,
R. Kemmerer, D.Mandrioli "Parallel Refinement
Mechanisms for Real-Time Systems” Proceedings FASE2000,
A.Coen Porisini,
M. Pradella, M. Rossi, D.Mandrioli
" A Formal Approach for Designing CORBA based Applications”
Proc. ICSE,
F. Marotta,
A. Morzenti and D. Mandrioli, Modeling
and Analyzing Real-Time CORBA and Supervision & Control Framework and
Applications, Proceedings ICDCS, May 2001
G. Di Marzo Serugendo, D. Mandrioli, D. Buchs, N. Guelfi: "Real-Time Synchronised Petri Nets", In 23rd International Conference on Application and Theory of Petri Nets (ICATPN'02), volume 2360, LNCS, pp. 142-162, June 2002.
D. Mandrioli: " The Role of Formal Methods in Developing High Assurance Systems: Some Old and Some Less Old Thoughts", Proceedings of the Workshop on Software Engineering for High Assurance Systems (SEHAS 2003), ICSE 2003, Portland, May 3-11, 2003, pp. 29-32.
D. Mandrioli: “Advertising
Formal Methods and Organizing their Teaching: Yes, but …”, Proceedings of the Symposium on Teaching Formal Methods,
Ghezzi C., Jazayeri M., Mandrioli D.: "Software Qualities and Principles", revised version of [C25],
in Computer Science Handbook, II
Edition, Allen B. Tucker (editor), CRC Press, pp. 101-1--101-26, 2004.
M. Rossi, D. Mandrioli: “A
Formal Approach for Modeling and Verification of
RT-CORBA-based Applications”, Proceedings of the International Symposium on
Software Testing and Analysis, July 2004, pp 263-273.
M. Pradella,
M. Rossi, D. Mandrioli: “ArchiTRIO: A UML-Compatible
Language for Architectural Description and Its Formal Semantics”, Proceedings
of the International Conference on Formal Techniques for Networked and
Distributed Systems - FORTE 2005, Taipei, Taiwan, October 2-5, 2005, LNCS 3731,
pp. 381 - 395.
Furia C., Rossi M., Mandrioli D., Morzenti A., “Automated Compositional Proofs for real-Time Systems”, Proceedings of the conference on Fundamental Approaches to Software Engineering (FASE'05), Lecture Notes in Computer Science, vol. 3442, April 2005, pp 326-340
C. Ghezzi, D. Mandrioli, “The challenges of Software Engineering Education”, P. Inverardi, M. Jazayeri (Eds), ICSE 2005 Education Track, LNCS 4309, 2006, pp. 115-127.
M. Pradella, M. Rossi, D. Mandrioli, A
UML-compatible formal language for system architecture description, 12th
SDL Forum, LNCS, vol. 3530, pp. 234-246, 2005
M. Rolando, M. Rossi,
C. A. Furia,
M. Rossi, D. Mandrioli, “Modeling the Environment in
Software-Intensive Systems”, International Workshop on Modeling
in Software Engineering (MISE07), May 2007, pp. 65-71
A. Matta,
M. Rossi, P. Spoletini, D. Mandrioli, Q. Semeraro, T. Tolio FM for FMS,
“Lessons Learned While Applying Formal Methods to the Study of Flexible
Manufacturing Systems”, International Colloquium on Theoretical Aspects of
Computing (ICTAC'07), Lecture Notes in Computer Science, vol. 4711, September
2007, pp. 366-380
E. Ciapessoni, D.
Mandrioli, A. Morzent, P. San Pietro;
“The Defense of Electri
Power Systems: an Approach Exploiting Formal methods”, The Sixth World Energy
System Conference, Torino, Italy, July 10-12, 2006, Session A3 - Power system
vulnerability, pp. 98-105
S. Crespi-Reghizzi,
D. Mandrioli, “Algebraic properties of structured context-free languages: old
approaches and novel developments”, WORDS 2009 - 7th Int. Conf. on Words, 2009,
M. Jazayeri, D.
Mandrioli, “SCORE: the first Student COntest in softwaRe Engineering”, ICSE09,
D. Mandrioli, A. Torrebruno,
L. Marini, “Computers foster education and education fosters computer science:
the Politecnico’s approach”, CSEDU 2010 2nd
International Conference on Computer Supported Education,
S. Crespi-Reghizzi,
D. Mandrioli, “Opearator precedence and the visibly
pushdown property”, Proceedings LATA 2010, 4th International
Conference on Language and Automata Theory and Applications, Trier, May 2010,
LNCS, Vol. 6031, pp. 214-226.
V. Lonati, D. Mandrioli, M. Pradella, “Precedende automata and languages”; Proceedings CSR 2011, 6th Symposium on Computer Science Theory and Applications, S. Petersburg, June 2011, LNCS, Vol. 6651, pp. 291-304.
Books
Mandrioli D. Introduzione al
Progetto dei Compilatori. Franco Angeli, 1985.
Mandrioli
D., Ghezzi C. Theoretical Foundations of Computer
Science. John Wiley & Sons, 1987.
Mandrioli D. Elementi di
Informatica. MacGraw-Hill Libri Italia, 1988.
De Paoli F., Ghezzi C., Mandrioli
D. Ada: una Panoramica. Franco Angeli, 1988.
Ghezzi C., Jazayeri
M., Mandrioli D. Fundamentals of Software Engineering Prentice-Hall,
1991.
Ausiello G., Batini C., Mandrioli
D., Protasi M. Modelli e Linguaggi dell'Informatica McGraw-Hill Libri
Italia, 1991
Mandrioli D., Meyer B.
(editors) Advances in Object-Oriented Software Engineering
Prentice-Hall, 1992
Ceri S., Mandrioli D. Istituzioni
di Informatica Mc Graw-Hill Libri Italia, 1993
Ceri S., Mandrioli D., Sbattella
L. Informatica: Istituzioni, Linguaggio di riferimento ANSI C. Mc
Graw-Hill Libri Italia, 1994
Mandrioli D. Introduzione
all'analisi degli algoritmi Esculapio, 1994
Mandrioli D., Morzenti, A., San
Pietro P.L. Esercizi di Informatica Teorica Esculapio, 1994
Heitmeyer C., Mandrioli D. (editors) Formal
Methods for Real-Time Computing John Wiley & Sons, 1996.
De Paoli F., Mandrioli D. Fondamenti
di Informatica Mc Graw-Hill Libri Italia, 1995
Ceri S., Mandrioli D., Sbattella
L. The Art and Craft of Computing. Addison Wesley, 1997.
Ceri S., Mandrioli D., Sbattella
L. Informatica: arte e mestiere. Mc Graw-Hill Libri Italia, 1999
Ceri S., Mandrioli D., Sbattella
L. Informatica: Programmazione. Mc Graw-Hill Libri Italia, 2000
Ghezzi C., Jazayeri
M., Mandrioli D. Fundamentals of Software Engineering Prentice-Hall, II
edition, 2003.
Ghezzi C., Jazayeri M., Mandrioli
D. Ingegneria del software. Fondamenti e principi, Italian
translation of Fundamentals of Software Engineering Prentice-Hall, II edition, Pearson Education Italia, 2004.
Ceri S., Mandrioli D., Sbattella
L., Informatica: arte e mestiere, II
edizione, Mc Graw-Hill Libri Italia, 2004.
Mandrioli D., Lavazza L.,
Morzenti, A., San Pietro P.L., Spoletini P. Esercizi di Informatica Teorica,
Esculapio, 2005, III Edizione
Ceri S., Mandrioli D., Sbattella L., Informatica: Programmazione., II edizione,
Mc Graw-Hill Libri Italia, 2006
Mandrioli D., Ceri S., Sbattella L, Cremonesi P.,
Cugola G.P., Informatica: arte e mestiere,
III edizione, Mc Graw-Hill Libri Italia, 2008.
Mandrioli D., Spoletini P., Informatica teorica, II edizione, Città studi, 2011