sign in · help · news · about ·

BibSonomy :: author :: Morzenti ::

tag user group author concept BibTeX key search:all

The blue social bookmark and publication sharing system.

>
|
<

bookmarks

bookmarks per page: 5 10 20 50 100

RSS BibTeX RDF more

publications

(53)

<< < 1 | 2 | 3 > >>

Towards the UML-Based Formal Verification of Timed Systems.
Luciano Baresi, Angelo Morzenti, Alfredo Motta, and Matteo Rossi FMCO, volume 6957 of Lecture Notes in Computer Science, page 267-286. Springer, (2010)
to dblp by dblp on Dec 15, 2011, 12:00 AM
URL | BibTeX
A Metric Encoding for Bounded Model Checking extended version
Matteo Pradella, Angelo Morzenti, and Pierluigi San Pietro CoRR (2009)
to dblp by dblp on Dec 5, 2011, 12:00 AM
URL | BibTeX
Modeling Time in Computing: A Taxonomy and a Comparative Survey
Carlo A. Furia, Dino Mandrioli, Angelo Morzenti, and Matteo Rossi CoRR (2008)
to dblp by dblp and 1 other user on Dec 5, 2011, 12:00 AM
URL | BibTeX
Bounded Reachability for Temporal Logic over Constraint Systems
Marcello M. Bersani, Achille Frigeri, Angelo Morzenti, Matteo Pradella, Matteo Rossi, and Pierluigi San Pietro CoRR (2010)
to dblp by dblp and 1 other user on Dec 5, 2011, 12:00 AM
URL | BibTeX
Proving Properties of Real-Time Systems Through Logical Specifications and Petri Net Models.
Miguel Felder, Dino Mandrioli, and Angelo Morzenti IEEE Trans. Software Eng. 20(2):127-141 (1994)
to dblp by dblp on Nov 7, 2011, 12:00 AM
URL | BibTeX
Generation of Execution Sequences for Modular Time Critical Systems.
Pierluigi San Pietro, Angelo Morzenti, and Sandro Morasca IEEE Trans. Software Eng. 26(2):128-149 (2000)
to dblp by dblp on Nov 7, 2011, 12:00 AM
URL | BibTeX
Automated Compositional Proofs for Real-Time Systems.
Carlo A. Furia, Matteo Rossi, Dino Mandrioli, and Angelo Morzenti FASE, volume 3442 of Lecture Notes in Computer Science, page 326-340. Springer, (2005)
to dblp by dblp on Aug 8, 2011, 12:00 AM
URL | BibTeX
A Short Note on the Approximability of the Maximum Leaves Spanning Tree Problem.
Giulia Galbiati, Francesco Maffioli, and Angelo Morzenti Inf. Process. Lett. 52(1):45-49 (1994)
to dblp by dblp on Jul 8, 2011, 12:00 AM
URL | BibTeX
Dealing with Zero-Time Transitions in Axiom Systems.
Angelo Gargantini, Dino Mandrioli, and Angelo Morzenti Inf. Comput. 150(2):119-131 (1999)
to dblp by dblp on Jul 6, 2011, 12:00 AM
URL | BibTeX
Model-Checking TRIO Specifications in SPIN.
Angelo Morzenti, Matteo Pradella, Pierluigi San Pietro, and Paola Spoletini FME, volume 2805 of Lecture Notes in Computer Science, page 542-561. Springer, (2003)
to dblp by dblp on Jul 5, 2011, 12:00 AM
URL | BibTeX
TRIO Specification of a Steam Boiler Controller.
Angelo Gargantini, and Angelo Morzenti Formal Methods for Industrial Applications, volume 1165 of Lecture Notes in Computer Science, page 218-232. Springer, (1995)
to dblp by dblp on Jun 27, 2011, 12:00 AM
URL | BibTeX
A Dual Language Approach Extension to UML for the Development of Time-Critical Component-Based Systems.
Luigi Lavazza, Sandro Morasca, and Angelo Morzenti Electr. Notes Theor. Comput. Sci. 82(6):121-132 (2003)
to dblp by dblp on Jun 21, 2011, 12:00 AM
URL | BibTeX
From Interaction Overview Diagrams to Temporal Logic.
Luciano Baresi, Angelo Morzenti, Alfredo Motta, and Matteo Rossi MoDELS Workshops, volume 6627 of Lecture Notes in Computer Science, page 90-104. Springer, (2010)
to dblp by dblp on May 19, 2011, 12:00 AM
URL | BibTeX
A Case Study on Applying a Tool for Automated System Analysis Based on Modular Specifications Written in TRIO.
Sandro Morasca, Angelo Morzenti, and Pierluigi San Pietro Autom. Softw. Eng. 7(2):125-155 (2000)
to dblp by dblp on May 18, 2011, 12:00 AM
URL | BibTeX
Bounded Reachability for Temporal Logic over Constraint Systems.
Marcello M. Bersani, Achille Frigeri, Angelo Morzenti, Matteo Pradella, Matteo Rossi, and Pierluigi San Pietro TIME, page 43-50. IEEE Computer Society, (2010)
to dblp by dblp and 1 other user on May 3, 2011, 12:00 AM
URL | BibTeX
Modeling time in computing: A taxonomy and a comparative survey.
Carlo A. Furia, Dino Mandrioli, Angelo Morzenti, and Matteo Rossi ACM Comput. Surv. (2010)
to dblp by dblp on Mar 17, 2010, 12:00 AM
URL | BibTeX
A Metric Encoding for Bounded Model Checking.
Matteo Pradella, Angelo Morzenti, and Pierluigi San Pietro FM, volume 5850 of Lecture Notes in Computer Science, page 741-756. Springer, (2009)
to dblp by dblp on Nov 5, 2009, 12:00 AM
URL | BibTeX
Validating Real-Time Systems by Executing Logic Specifications.
Angelo Morzenti REX Workshop, volume 600 of Lecture Notes in Computer Science, page 502-525. Springer, (1991)
to dblp by dblp on Oct 8, 2009, 12:00 AM
URL | BibTeX
A Survey and Assessment of Software Process Representation Formalisms.
Pasquale Armenise, Sergio Bandinelli, Carlo Ghezzi, and Angelo Morzenti International Journal of Software Engineering and Knowledge Engineering 3(3):401-426 (1993)
to research.bizInt.bpm cites.pclass research.cs.softeng by msn and 1 other user on Jun 25, 2009, 4:49 PM
URL | BibTeX
Refining Real-Time System Specifications through Bounded Model- and Satisfiability-Checking.
Matteo Pradella, Angelo Morzenti, and Pierluigi San Pietro ASE, page 119-127. IEEE, (2008)
to dblp by dblp on Oct 29, 2008, 12:00 AM
URL | BibTeX

<< < 1 | 2 | 3 > >>publications per page: 5 10 20 50 100

a gripper