A selection of publications related to TRIO

On the language in general
On test case generation
On the verification of TRIO models
On TRIO and CORBA
Case studies

On the language in general:

  1. M. Pradella, M. Rossi, D. Mandrioli ArchiTRIO: a UML-compatible language for architectural description and its formal semantics, Formal Techniques for Networked and Distributed Systems (FORTE 2005), to appear download
  2. M. Pradella, M. Rossi, D. Mandrioli A UML-compatible formal language for system architecture description, 12th SDL Forum, Lecture Notes in Computer Science, vol. 3530, June 2005, pp 234-246 download
  3. C. A. Furia, D. Mandrioli, A. Morzenti, M. Pradella, M. Rossi, P. San Pietro, Higher Order TRIO, Internal Report 2004.28, Dipartimento di Elettronica ed Informazione, Politecnico di Milano, September 2004 download.
  4. Ciapessoni E., Coen-Porisini A., Crivelli E., Mandrioli D., Mirandola P., Morzenti A., From formal models to formally-based methods: an industrial experience, ACM Transactions on Software Engineering and Methodology, vol. 8. no 1, January 1999, pp.79-113 download.
  5. 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.
  6. Coen-Porisini A., Pradella M., San Pietro P., A finite domain semantics for testing temporal logic specifications, International Symposium on Formal Techniques in Real-Time and Fault-Tolerant Systems (FTRFT'98), LNCS 1486, September 1998, pp. 41-54 download.
  7. Basso M., Ciapessoni E., Crivelli E., Mandrioli D., Morzenti A., Ratto E., San Pietro P., 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 Experiences, John Wiley & Sons, Series in Software Based Systems, pp. 79-96, 1998.
  8. Mandrioli D. Applying Research Results in the Industrial Environment: the Case of the TRIO Specification Language, International Conference on Algebraic Methodology and Software Technology (AMAST'96), LNCS 1101, Springer Verlag, pp. 33-42, July 1996. Invited paper.
  9. 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
  10. Morzenti A., San Pietro P., Object Oriented Logical Specification of Time-Critical System, ACM Transactions on Software Engineering and Metodology, Vol 3, N 1, January 1994 download.
  11. Mandrioli D., The specification of Real-Time Systems: a Logical and Object-Oriented Approach, Proceedings TOOLS 8-USA 1992, Santa Barbara, California. invited tutorial download.
  12. Morzenti A., Mandrioli D., Ghezzi C., A Model Parametric Real-Time Logic, ACM Transactions on Programming Languages and Systems, vol. 14, n. 4, October 1992, pp. 521-573.
  13. Ghezzi C., Mandrioli D., Morzenti A.. TRIO a Logic Language for Executable Specifications of Real-time Systems, Journal of Systems and Software, vol. 12, n. 2, May 1990, pp. 107-123.

On test case generation:

  1. San Pietro P., Morzenti A., Morasca S., Test Case Generation for Modular Time Critical Systems. IEEE Transactions on Software Engineering, vol. 26, n. 2 February 2000, pp. 128-149.
  2. Morasca S., Morzenti A., San Pietro P., Generating Functional Test Cases in-the-large for Time-critical Systems from Logic-based Specifications, Proceedings of Internatinal Symposium of Software Testing and Analysis (ISSTA1996), San Diego (CA), May 1996, pp. 39-52.
  3. Mandrioli D., Morasca S., Morzenti A. Generating Test Cases for Real-Time Systems from Logic Specifications, ACM Transactions on Computer Systems, vol. 13, n. 4, November 1995 pp. 365-398.

On the verification of TRIO models:

  1. Morzenti A., Pradella M., San Pietro P., Spoletini P., Model-checking TRIO specifications in SPIN, 12th International Formal Methods Symposium (FM2003), LNCS 2805, Pisa, Italy - September 8-14, 2003, pp. 542-561 download (draft).
  2. M. Pradella, P. San Pietro, P. Spoletini, A. Morzenti, Practical Model Checking of LTL with Past, 1st Int. Workshop on Automated Technology for Verification and Analysis (ATVA), National Taiwan University, 10-13 December 2003 download (draft).
  3. Gargantini A., Morzenti A., Automated Deductive Requirements Analysis of Critical Systems. ACM Transactions On Software Engineering and Methodology, vol. 10, n. 3, July 2001, pp. 225-307.
  4. Felder M., Mandrioli D., Morzenti A., Proving Properties of Real-Time Systems through Logical Specifications and Petri Net Models, IEEE Transactions on Software Engineering, vol.20, n.2, February1994, pp.127-141.

On TRIO and CORBA:

  1. Rossi M., Mandrioli D., A Formal Approach for Modeling and Verification of RTCORBA-based Applications, International Symposium on Software Testing and Analysis (ISSTA'04), Boston (MA), July 2004, pp. 263-273.
  2. Coen-Porisini A., Pradella M., Rossi M., Mandrioli D., A Formal Approach for Designing CORBA based Applications, ACM Transactions on Software Engineering and Methodology, vol. 12, n. 2, April 2003, pp. 107-151 download (draft).
  3. Marotta F., Morzenti A., Mandrioli D., Modeling and Analyzing Real-Time CORBA and Supervision & Control Framework and Applications, Proceedings of the International Conference on Distributed Computing Systems (ICDCS01), Phoenix (AZ), April 2001, pp. 567-574.
  4. Coen-Porisini A., Pradella M., Rossi M., Mandrioli D., A Formal Approach for Designing CORBA based Applications, Proceedings of the International Conference on Software Engineering (ICSE2000), Limerick (IR), June 2000, pp. 188-197 download.
  5. Coen-Porisini A., Mandrioli D., Using TRIO for designing a CORBA based application, Concurrency: Practice and Experience, Vol. 12, August 2000, pp. 981-1015.
  6. Capobianchi R., Carcagno D., Coen-Porisini A., Mandrioli D., Morzenti A., Supervision and Control Systems Framework Architecture, in M.Fayad e R. Johnson eds., Domain-Specific Application Frameworks, John Wiley & Sons, 2000, pp. 231-250.
  7. 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.

Case studies

  1. Matta A., Furia C. A., Rossi M. Semi-Formal and Formal Models Applied to Flexible Manufacturing Systems, Proceedings of the International Syumposium on Computer and Information Sciences (ISCIS04), Antalya (Turkey), October 2004, accepted for publication download.
  2. Basso M., Ciapessoni E., Crivelli E., Mandrioli D., Morzenti A., Ratto E., San Pietro P., 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 Experiences, John Wiley & Sons, Series in Software Based Systems, pp. 79-96, 1998.
  3. Gargantini A., Liberati L., Morzenti A., Zacchetti C., Specifying, Validating, and testing a Traffic Management System in the TRIO environment, Proceedings of COMPASS, 11th Annual Conference on Computer Assurance, June 1996 pp. 65-76 download.
  4. 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

Page last updated September 6th, 2005.