The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Angelo Morzenti: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Angelo Morzenti, Dino Mandrioli, Carlo Ghezzi
    A Model Parametric Real-Time Logic. [Citation Graph (2, 0)][DBLP]
    ACM Trans. Program. Lang. Syst., 1992, v:14, n:4, pp:521-573 [Journal]
  2. Angelo Morzenti, Pierluigi San Pietro
    An Object-Oriented Logic Language for Modular System Specification. [Citation Graph (1, 0)][DBLP]
    ECOOP, 1991, pp:39-58 [Conf]
  3. Carlo Ghezzi, Angelo Morzenti, Mauro Pezzè
    On the Role of Software Reliability in Software Engineering. [Citation Graph (0, 0)][DBLP]
    Software Reliability Modelling and Identification, 1987, pp:1-40 [Conf]
  4. Angelo Gargantini, Angelo Morzenti
    TRIO Specification of a Steam Boiler Controller. [Citation Graph (0, 0)][DBLP]
    Formal Methods for Industrial Applications, 1995, pp:218-232 [Conf]
  5. Andrea Alborghetti, Angelo Gargantini, Angelo Morzenti
    Providing Automated Support to Deductive Analysis of Time Critical Systems. [Citation Graph (0, 0)][DBLP]
    ESEC / SIGSOFT FSE, 1997, pp:211-226 [Conf]
  6. Franca Garzotto, Carlo Ghezzi, Dino Mandrioli, Angelo Morzenti
    On the Specification of Real-Time Systems Using Logic Programming. [Citation Graph (0, 0)][DBLP]
    ESEC, 1987, pp:180-190 [Conf]
  7. Carlo A. Furia, Matteo Rossi, Dino Mandrioli, Angelo Morzenti
    Automated Compositional Proofs for Real-Time Systems. [Citation Graph (0, 0)][DBLP]
    FASE, 2005, pp:326-340 [Conf]
  8. Angelo Morzenti, Matteo Pradella, Pierluigi San Pietro, Paola Spoletini
    Model-Checking TRIO Specifications in SPIN. [Citation Graph (0, 0)][DBLP]
    FME, 2003, pp:542-561 [Conf]
  9. Fernando Marotta, Angelo Morzenti, Dino Mandrioli
    Modeling and Analyzing Real-Time CORBA and Supervision & Control Framework and Applications. [Citation Graph (0, 0)][DBLP]
    ICDCS, 2001, pp:567-574 [Conf]
  10. Miguel Felder, Angelo Morzenti
    Validating Real-Time Systems by History-Checking TRIO Specifications. [Citation Graph (0, 0)][DBLP]
    ICSE, 1992, pp:199-211 [Conf]
  11. Miguel Felder, Angelo Morzenti
    A Temporal Logic Approach to Implementation and Refinement in Timed Petri Nets. [Citation Graph (0, 0)][DBLP]
    ICTL, 1994, pp:365-381 [Conf]
  12. Sergio Bandinelli, Alfonso Fuggetta, Carlo Ghezzi, Angelo Morzenti
    A multi-paradigm Petri net based approach to process description. [Citation Graph (0, 0)][DBLP]
    ISPW, 1991, pp:41-43 [Conf]
  13. Sandro Morasca, Angelo Morzenti, Pierluigi San Pietro
    Generating Functional Test Cases in-the-large for Time-critical Systems from Logic-based Specifications. [Citation Graph (0, 0)][DBLP]
    ISSTA, 1996, pp:39-52 [Conf]
  14. Angelo Morzenti, Pierluigi San Pietro, Sandro Morasca
    A Tool for Automated System Analysis based on Modular Specifications. [Citation Graph (0, 0)][DBLP]
    ASE, 1998, pp:2-11 [Conf]
  15. Giulia Galbiati, Angelo Morzenti, Francesco Maffioli
    On the Approximability of some Maximum Spanning Tree Problems. [Citation Graph (0, 0)][DBLP]
    LATIN, 1995, pp:300-310 [Conf]
  16. Angelo Morzenti, Matteo Pradella, Matteo Rossi, Stefano Russo, Antonio Sergio
    A Case Study in Object-Oriented Modeling and Design of Distributed Multimedia Applications. [Citation Graph (0, 0)][DBLP]
    PDSE, 1999, pp:217-223 [Conf]
  17. Angelo Morzenti
    Validating Real-Time Systems by Executing Logic Specifications. [Citation Graph (0, 0)][DBLP]
    REX Workshop, 1991, pp:502-525 [Conf]
  18. Pasquale Armenise, Sergio Bandinelli, Carlo Ghezzi, Angelo Morzenti
    Software Processes Representation Languages: Survey and Assessment. [Citation Graph (0, 0)][DBLP]
    SEKE, 1992, pp:455-462 [Conf]
  19. Angelo Gargantini, Angelo Morzenti
    Automated Verification of Continuous Time Systems by Discrete Temporal Induction. [Citation Graph (0, 0)][DBLP]
    TIME, 2006, pp:19-26 [Conf]
  20. Sandro Morasca, Angelo Morzenti, Pierluigi San Pietro
    A Case Study on Applying a Tool for Automated System Analysis Based on Modular Specifications Written in TRIO. [Citation Graph (0, 0)][DBLP]
    Autom. Softw. Eng., 2000, v:7, n:2, pp:125-155 [Journal]
  21. Riccardo Capobianchi, Alberto Coen-Porisini, Dino Mandrioli, Angelo Morzenti
    A framework architecture for supervision and control systems. [Citation Graph (0, 0)][DBLP]
    ACM Comput. Surv., 2000, v:32, n:1es, pp:26- [Journal]
  22. Luigi Lavazza, Sandro Morasca, Angelo Morzenti
    A Dual Language Approach Extension to UML for the Development of Time-Critical Component-Based Systems. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2003, v:82, n:6, pp:- [Journal]
  23. Luigi Lavazza, Sandro Morasca, Angelo Morzenti
    A Dual Language Approach to the Development of Time-Critical Systems. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2005, v:116, n:, pp:227-239 [Journal]
  24. Angelo Gargantini, Dino Mandrioli, Angelo Morzenti
    Dealing with Zero-Time Transitions in Axiom Systems. [Citation Graph (0, 0)][DBLP]
    Inf. Comput., 1999, v:150, n:2, pp:119-131 [Journal]
  25. Giulia Galbiati, Francesco Maffioli, Angelo Morzenti
    A Short Note on the Approximability of the Maximum Leaves Spanning Tree Problem. [Citation Graph (0, 0)][DBLP]
    Inf. Process. Lett., 1994, v:52, n:1, pp:45-49 [Journal]
  26. Carlo Ghezzi, Dino Mandrioli, Angelo Morzenti
    TRIO: A logic language for executable specifications of real-time systems. [Citation Graph (0, 0)][DBLP]
    Journal of Systems and Software, 1990, v:12, n:2, pp:107-123 [Journal]
  27. Alfonso Fuggetta, Carlo Ghezzi, Dino Mandrioli, Angelo Morzenti
    Executable Specifications with Data-flow Diagrams. [Citation Graph (0, 0)][DBLP]
    Softw., Pract. Exper., 1993, v:23, n:6, pp:629-653 [Journal]
  28. Miguel Felder, Angelo Gargantini, Angelo Morzenti
    A Theory of Implementation and Refinement in Timed Petri Nets. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 1998, v:202, n:1-2, pp:127-161 [Journal]
  29. Giulia Galbiati, Angelo Morzenti, Francesco Maffioli
    On the Approximability of Some Maximum Spanning Tree Problems. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 1997, v:181, n:1, pp:107-118 [Journal]
  30. Carlo A. Furia, Matteo Rossi, Dino Mandrioli, Angelo Morzenti
    Automated compositional proofs for real-time systems. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 2007, v:376, n:3, pp:164-184 [Journal]
  31. Dino Mandrioli, Sandro Morasca, Angelo Morzenti
    Generating Test Cases for Real-Time Systems from Logic Specifications. [Citation Graph (0, 0)][DBLP]
    ACM Trans. Comput. Syst., 1995, v:13, n:4, pp:365-398 [Journal]
  32. Angelo Gargantini, Angelo Morzenti
    Automated deductive requirements analysis of critical systems. [Citation Graph (0, 0)][DBLP]
    ACM Trans. Softw. Eng. Methodol., 2001, v:10, n:3, pp:255-307 [Journal]
  33. Miguel Felder, Angelo Morzenti
    Validating Real-Time Systems by History-Checking TRIO Specifications. [Citation Graph (0, 0)][DBLP]
    ACM Trans. Softw. Eng. Methodol., 1994, v:3, n:4, pp:308-339 [Journal]
  34. Emanuele Ciapessoni, Piergiorgio Mirandola, Alberto Coen-Porisini, Dino Mandrioli, Angelo Morzenti
    From Formal Models to Formally Based Methods: An Industrial Experience. [Citation Graph (0, 0)][DBLP]
    ACM Trans. Softw. Eng. Methodol., 1999, v:8, n:1, pp:79-113 [Journal]
  35. Angelo Morzenti, Pierluigi San Pietro
    Object-Oriented Logical Specification of Time-Critical Systems. [Citation Graph (0, 0)][DBLP]
    ACM Trans. Softw. Eng. Methodol., 1994, v:3, n:1, pp:56-98 [Journal]
  36. Miguel Felder, Dino Mandrioli, Angelo Morzenti
    Proving Properties of Real-Time Systems Through Logical Specifications and Petri Net Models. [Citation Graph (0, 0)][DBLP]
    IEEE Trans. Software Eng., 1994, v:20, n:2, pp:127-141 [Journal]
  37. Carlo A. Furia, Angelo Morzenti, Matteo Pradella, Matteo Rossi
    Comments on "An Interval Logic for Real-Time System Specification'. [Citation Graph (0, 0)][DBLP]
    IEEE Trans. Software Eng., 2006, v:32, n:6, pp:424-427 [Journal]
  38. Pierluigi San Pietro, Angelo Morzenti, Sandro Morasca
    Generation of Execution Sequences for Modular Time Critical Systems. [Citation Graph (0, 0)][DBLP]
    IEEE Trans. Software Eng., 2000, v:26, n:2, pp:128-149 [Journal]
  39. Domenico Bianculli, Angelo Morzenti, Matteo Pradella, Pierluigi San Pietro, Paola Spoletini
    Trio2Promela: A Model Checker for Temporal Metric Specifications. [Citation Graph (0, 0)][DBLP]
    ICSE Companion, 2007, pp:61-62 [Conf]
  40. Matteo Pradella, Angelo Morzenti, Pierluigi San Pietro
    The symmetry of the past and of the future: bi-infinite time in the verification of temporal properties. [Citation Graph (0, 0)][DBLP]
    ESEC/SIGSOFT FSE, 2007, pp:312-320 [Conf]
  41. Domenico Bianculli, Paola Spoletini, Angelo Morzenti, Matteo Pradella, Pierluigi San Pietro
    Model Checking Temporal Metric Specifications with Trio2Promela. [Citation Graph (0, 0)][DBLP]
    FSEN, 2007, pp:388-395 [Conf]

  42. A Metric Encoding for Bounded Model Checking. [Citation Graph (, )][DBLP]


  43. Benchmarking Model- and Satisfiability-Checking on Bi-infinite Time. [Citation Graph (, )][DBLP]


  44. Refining Real-Time System Specifications through Bounded Model- and Satisfiability-Checking. [Citation Graph (, )][DBLP]


  45. Modeling Time in Computing: A Taxonomy and a Comparative Survey [Citation Graph (, )][DBLP]


  46. A Metric Encoding for Bounded Model Checking (extended version) [Citation Graph (, )][DBLP]


  47. Bounded Reachability for Temporal Logic over Constraint Systems [Citation Graph (, )][DBLP]


  48. Modeling time in computing: A taxonomy and a comparative survey. [Citation Graph (, )][DBLP]


Search in 0.006secs, Finished in 0.008secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002