|
|
|
|
Venues (Conferences, Journals, ...)
|
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 72 occurrences of 38 keywords
|
|
|
|
|
Results
Found 52 publication records. Showing 52 according to the selection in the facets
| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Marcello M. Bersani, Achille Frigeri, Angelo Morzenti, Matteo Pradella, Matteo Rossi, Pierluigi San Pietro |
Bounded Reachability for Temporal Logic over Constraint Systems  |
CoRR  |
2010 |
DBLP BibTeX RDF |
|
| 1 | Carlo A. Furia, Dino Mandrioli, Angelo Morzenti, Matteo Rossi |
Modeling time in computing: A taxonomy and a comparative survey. |
ACM Comput. Surv. |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Marcello M. Bersani, Achille Frigeri, Angelo Morzenti, Matteo Pradella, Matteo Rossi, Pierluigi San Pietro |
Bounded Reachability for Temporal Logic over Constraint Systems. |
TIME |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Luciano Baresi, Angelo Morzenti, Alfredo Motta, Matteo Rossi |
Towards the UML-Based Formal Verification of Timed Systems. |
FMCO |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Luciano Baresi, Angelo Morzenti, Alfredo Motta, Matteo Rossi |
From Interaction Overview Diagrams to Temporal Logic. |
MoDELS Workshops |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Matteo Pradella, Angelo Morzenti, Pierluigi San Pietro |
A Metric Encoding for Bounded Model Checking (extended version) |
CoRR |
2009 |
DBLP BibTeX RDF |
|
| 1 | Matteo Pradella, Angelo Morzenti, Pierluigi San Pietro |
A Metric Encoding for Bounded Model Checking. |
FM |
2009 |
DBLP DOI BibTeX RDF |
Bounded model checking, metric temporal logic |
| 1 | Carlo A. Furia, Dino Mandrioli, Angelo Morzenti, Matteo Rossi |
Modeling Time in Computing: A Taxonomy and a Comparative Survey |
CoRR |
2008 |
DBLP BibTeX RDF |
|
| 1 | Matteo Pradella, Angelo Morzenti, Pierluigi San Pietro |
Refining Real-Time System Specifications through Bounded Model- and Satisfiability-Checking. |
ASE |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Matteo Pradella, Angelo Morzenti, Pierluigi San Pietro |
Benchmarking Model- and Satisfiability-Checking on Bi-infinite Time. |
ICTAC |
2008 |
DBLP DOI BibTeX RDF |
bi-infinite words and automata, Bounded model checking, metric temporal logic |
| 1 | Carlo A. Furia, Matteo Rossi, Dino Mandrioli, Angelo Morzenti |
Automated compositional proofs for real-time systems. |
Theor. Comput. Sci. |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Domenico Bianculli, Paola Spoletini, Angelo Morzenti, Matteo Pradella, Pierluigi San Pietro |
Model Checking Temporal Metric Specifications with Trio2Promela. |
FSEN |
2007 |
DBLP DOI BibTeX RDF |
model checking, temporal logic, Spin |
| 1 | Domenico Bianculli, Angelo Morzenti, Matteo Pradella, Pierluigi San Pietro, Paola Spoletini |
Trio2Promela: A Model Checker for Temporal Metric Specifications. |
ICSE Companion |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | 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. |
ESEC/SIGSOFT FSE |
2007 |
DBLP DOI BibTeX RDF |
bi-infinite time, satisfiability checking, temporal logic, bounded model checking |
| 1 | Carlo A. Furia, Angelo Morzenti, Matteo Pradella, Matteo Rossi |
Comments on "An Interval Logic for Real-Time System Specification'. |
IEEE Trans. Software Eng. |
2006 |
DBLP DOI BibTeX RDF |
real-time systems, Formal methods, temporal logic |
| 1 | Angelo Gargantini, Angelo Morzenti |
Automated Verification of Continuous Time Systems by Discrete Temporal Induction. |
TIME |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Luigi Lavazza, Sandro Morasca, Angelo Morzenti |
A Dual Language Approach to the Development of Time-Critical Systems. |
Electr. Notes Theor. Comput. Sci. |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Carlo A. Furia, Matteo Rossi, Dino Mandrioli, Angelo Morzenti |
Automated Compositional Proofs for Real-Time Systems. |
FASE |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Luigi Lavazza, Sandro Morasca, Angelo Morzenti |
A Dual Language Approach Extension to UML for the Development of Time-Critical Component-Based Systems. |
Electr. Notes Theor. Comput. Sci. |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Angelo Morzenti, Matteo Pradella, Pierluigi San Pietro, Paola Spoletini |
Model-Checking TRIO Specifications in SPIN. |
FME |
2003 |
DBLP DOI BibTeX RDF |
model checking, temporal logic, Spin, modular specifications |
| 1 | Angelo Gargantini, Angelo Morzenti |
Automated deductive requirements analysis of critical systems. |
ACM Trans. Softw. Eng. Methodol. |
2001 |
DBLP DOI BibTeX RDF |
finite variability, temporal logic, theorem proving, hybrid systems, state-transition systems |
| 1 | Fernando Marotta, Angelo Morzenti, Dino Mandrioli |
Modeling and Analyzing Real-Time CORBA and Supervision & Control Framework and Applications. |
ICDCS |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Pierluigi San Pietro, Angelo Morzenti, Sandro Morasca |
Generation of Execution Sequences for Modular Time Critical Systems. |
IEEE Trans. Software Eng. |
2000 |
DBLP DOI BibTeX RDF |
time critical systems, modular notations, formal specifications, Functional testing, structural testing, specification testing |
| 1 | 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. |
Autom. Softw. Eng. |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | Riccardo Capobianchi, Alberto Coen-Porisini, Dino Mandrioli, Angelo Morzenti |
A framework architecture for supervision and control systems. |
ACM Comput. Surv. |
2000 |
DBLP DOI BibTeX RDF |
CORBA |
| 1 | Angelo Gargantini, Dino Mandrioli, Angelo Morzenti |
Dealing with Zero-Time Transitions in Axiom Systems. |
Inf. Comput. |
1999 |
DBLP DOI BibTeX RDF |
|
| 1 | Emanuele 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. |
1999 |
DBLP DOI BibTeX RDF |
supervision and control, object orientation, specification, formal models, technology transfer, industrial applications |
| 1 | Angelo Morzenti, Matteo Pradella, Matteo Rossi, Stefano Russo, Antonio Sergio |
A Case Study in Object-Oriented Modeling and Design of Distributed Multimedia Applications. (PDF / PS) |
PDSE |
1999 |
DBLP DOI BibTeX RDF |
|
| 1 | Miguel Felder, Angelo Gargantini, Angelo Morzenti |
A Theory of Implementation and Refinement in Timed Petri Nets. |
Theor. Comput. Sci. |
1998 |
DBLP DOI BibTeX RDF |
|
| 1 | Angelo Morzenti, Pierluigi San Pietro, Sandro Morasca |
A Tool for Automated System Analysis based on Modular Specifications. (PDF / PS) |
ASE |
1998 |
DBLP DOI BibTeX RDF |
|
| 1 | Giulia Galbiati, Angelo Morzenti, Francesco Maffioli |
On the Approximability of Some Maximum Spanning Tree Problems. |
Theor. Comput. Sci. |
1997 |
DBLP DOI BibTeX RDF |
|
| 1 | Andrea Alborghetti, Angelo Gargantini, Angelo Morzenti |
Providing Automated Support to Deductive Analysis of Time Critical Systems. |
ESEC / SIGSOFT FSE |
1997 |
DBLP DOI BibTeX RDF |
time- and safety-critical systems, verification, formal methods, specification, temporal logic, validation, case study, automated theorem proving, experience report |
| 1 | Sandro Morasca, Angelo Morzenti, Pierluigi San Pietro |
Generating Functional Test Cases in-the-large for Time-critical Systems from Logic-based Specifications. |
ISSTA |
1996 |
DBLP DOI BibTeX RDF |
|
| 1 | Dino Mandrioli, Sandro Morasca, Angelo Morzenti |
Generating Test Cases for Real-Time Systems from Logic Specifications. |
ACM Trans. Comput. Syst. |
1995 |
DBLP DOI BibTeX RDF |
|
| 1 | Giulia Galbiati, Angelo Morzenti, Francesco Maffioli |
On the Approximability of some Maximum Spanning Tree Problems. |
LATIN |
1995 |
DBLP DOI BibTeX RDF |
|
| 1 | Angelo Gargantini, Angelo Morzenti |
TRIO Specification of a Steam Boiler Controller. |
Formal Methods for Industrial Applications |
1995 |
DBLP DOI BibTeX RDF |
|
| 1 | Miguel Felder, Dino Mandrioli, Angelo Morzenti |
Proving Properties of Real-Time Systems Through Logical Specifications and Petri Net Models. |
IEEE Trans. Software Eng. |
1994 |
DBLP DOI BibTeX RDF |
property proving, logical specifications, TRIO, Hoare method, dual language, real-time systems, real-time systems, embedded systems, formal specification, formal specification, Petri nets, temporal logic, temporal logic, theorem proving, first-order logic, timed Petri net, formal analysis, axiomatization |
| 1 | Giulia Galbiati, Francesco Maffioli, Angelo Morzenti |
A Short Note on the Approximability of the Maximum Leaves Spanning Tree Problem. |
Inf. Process. Lett. |
1994 |
DBLP DOI BibTeX RDF |
|
| 1 | Miguel Felder, Angelo Morzenti |
Validating Real-Time Systems by History-Checking TRIO Specifications. |
ACM Trans. Softw. Eng. Methodol. |
1994 |
DBLP DOI BibTeX RDF |
formal specifications, first-order logic, requirements validation, model-theoretic semantics |
| 1 | Angelo Morzenti, Pierluigi San Pietro |
Object-Oriented Logical Specification of Time-Critical Systems. |
ACM Trans. Softw. Eng. Methodol. |
1994 |
DBLP DOI BibTeX RDF |
TRIO+, real-time systems, formal specifications, temporal logic, first-order logic, object-oriented methodologies, model-theoretic semantics |
| 1 | Miguel Felder, Angelo Morzenti |
A Temporal Logic Approach to Implementation and Refinement in Timed Petri Nets. |
ICTL |
1994 |
DBLP DOI BibTeX RDF |
|
| 1 | Alfonso Fuggetta, Carlo Ghezzi, Dino Mandrioli, Angelo Morzenti |
Executable Specifications with Data-flow Diagrams. |
Softw., Pract. Exper. |
1993 |
DBLP DOI BibTeX RDF |
|
| 1 | Pasquale Armenise, Sergio Bandinelli, Carlo Ghezzi, Angelo Morzenti |
A Survey and Assessment of Software Process Representation Formalisms. |
International Journal of Software Engineering and Knowledge Engineering |
1993 |
DBLP DOI BibTeX RDF |
|
| 1 | Angelo Morzenti, Dino Mandrioli, Carlo Ghezzi |
A Model Parametric Real-Time Logic. |
ACM Trans. Program. Lang. Syst. |
1992 |
DBLP DOI BibTeX RDF |
real-time systems, formal specifications, temporal logic, first-order logic, requirements validation, model-theoretic semantics |
| 1 | Pasquale Armenise, Sergio Bandinelli, Carlo Ghezzi, Angelo Morzenti |
Software Processes Representation Languages: Survey and Assessment. |
SEKE |
1992 |
DBLP DOI BibTeX RDF |
|
| 1 | Miguel Felder, Angelo Morzenti |
Validating Real-Time Systems by History-Checking TRIO Specifications. |
ICSE |
1992 |
DBLP DOI BibTeX RDF |
Prolog |
| 1 | Sergio Bandinelli, Alfonso Fuggetta, Carlo Ghezzi, Angelo Morzenti |
A multi-paradigm Petri net based approach to process description. |
ISPW |
1991 |
DBLP BibTeX RDF |
|
| 1 | Angelo Morzenti, Pierluigi San Pietro |
An Object-Oriented Logic Language for Modular System Specification. |
ECOOP |
1991 |
DBLP DOI BibTeX RDF |
|
| 1 | Angelo Morzenti |
Validating Real-Time Systems by Executing Logic Specifications. |
REX Workshop |
1991 |
DBLP DOI BibTeX RDF |
real-time, formal specifications, temporal logic, first-order logic, software requirements, requirements validation, model-theoretic semantics |
| 1 | Carlo Ghezzi, Dino Mandrioli, Angelo Morzenti |
TRIO: A logic language for executable specifications of real-time systems. |
Journal of Systems and Software |
1990 |
DBLP DOI BibTeX RDF |
|
| 1 | Franca Garzotto, Carlo Ghezzi, Dino Mandrioli, Angelo Morzenti |
On the Specification of Real-Time Systems Using Logic Programming. |
ESEC |
1987 |
DBLP DOI BibTeX RDF |
|
| 1 | Carlo Ghezzi, Angelo Morzenti, Mauro Pezzè |
On the Role of Software Reliability in Software Engineering. |
Software Reliability Modelling and Identification |
1987 |
DBLP DOI BibTeX RDF |
|
Displaying result #1 - #52 of 52 (100 per page; Change: )
|
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")