|
|
|
|
Venues (Conferences, Journals, ...)
|
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 46 occurrences of 28 keywords
|
|
|
|
|
Results
Found 38 publication records. Showing 38 according to the selection in the facets
| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Marcello M. Bersani, Achille Frigeri, Matteo Rossi, Pierluigi San Pietro |
Completeness of the Bounded Satisfiability Problem for Constraint LTL.  |
RP  |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Matteo Rossi, Michal Young |
SCORE 2011: the second student contest on software engineering. |
ICSE |
2011 |
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 |
CoRR |
2010 |
DBLP BibTeX RDF |
|
| 1 | Marcello M. Bersani, Luca Cavallaro, Achille Frigeri, Matteo Pradella, Matteo Rossi |
SMT-based Verification of LTL Specifications with Integer Constraints and its Application to Runtime Checking of Service Substitutability |
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 | Carlo A. Furia, Matteo Rossi |
A theory of sampling for continuous-time metric temporal logic. |
ACM Trans. Comput. Log. |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Dino Mandrioli, Stephen Fickas, Carlo A. Furia, Mehdi Jazayeri, Matteo Rossi, Michal Young |
SCORE: the first student contest on software engineering. |
ACM SIGSOFT Software Engineering Notes |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Marcello M. Bersani, Luca Cavallaro, Achille Frigeri, Matteo Pradella, Matteo Rossi |
SMT-based Verification of LTL Specification with Integer Constraints and its Application to Runtime Checking of Service Substitutability. |
SEFM |
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 | Silvia Bindelli, Elisabetta Di Nitto, Carlo A. Furia, Matteo Rossi |
Using Compositionality to Formally Model and Analyze Systems Built of a High Number of Components. |
ICECCS |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Carlo A. Furia, Matteo Rossi |
A Theory of Sampling for Continuous-time Metric Temporal Logic |
CoRR |
2009 |
DBLP BibTeX RDF |
|
| 1 | Marcello M. Bersani, Carlo A. Furia, Matteo Pradella, Matteo Rossi |
Integrated Modeling and Verification of Real-Time Systems through Multiple Paradigms |
CoRR |
2009 |
DBLP BibTeX RDF |
|
| 1 | Carlo A. Furia, Matteo Pradella, Matteo Rossi |
Comments on temporal logics for real-time system specification. |
ACM Comput. Surv. |
2009 |
DBLP DOI BibTeX RDF |
Temporal logic |
| 1 | Marcello M. Bersani, Carlo A. Furia, Matteo Pradella, Matteo Rossi |
Integrated Modeling and Verification of Real-Time Systems through Multiple Paradigms. |
SEFM |
2009 |
DBLP DOI BibTeX RDF |
|
| 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 | Carlo A. Furia, Matteo Pradella, Matteo Rossi |
Practical Automated Partial Verification of Multi-Paradigm Real-Time Models |
CoRR |
2008 |
DBLP BibTeX RDF |
|
| 1 | Carlo A. Furia, Matteo Pradella, Matteo Rossi |
Practical Automated Partial Verification of Multi-paradigm Real-Time Models. |
ICFEM |
2008 |
DBLP DOI BibTeX RDF |
timed automata, discretization, bounded model checking, Metric temporal logic, dense time |
| 1 | Carlo A. Furia, Matteo Rossi |
MTL with Bounded Variability: Decidability and Complexity. |
FORMATS |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Carlo A. Furia, Matteo Pradella, Matteo Rossi |
Automated Verification of Dense-Time MTL Specifications Via Discrete-Time Approximation. |
FM |
2008 |
DBLP DOI BibTeX RDF |
real-time, sampling, discretization, metric temporal logic, verification techniques, dense time |
| 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 | Carlo A. Furia, Matteo Rossi |
No Need to Be Strict: On the Expressiveness of Metric Temporal Logics with (Non-)strict Operators. |
Bulletin of the EATCS |
2007 |
DBLP BibTeX RDF |
|
| 1 | Andrea Matta, Matteo Rossi, Paola Spoletini, Dino Mandrioli, Quirico Semeraro, Tullio Tolio |
FM for FMS: Lessons Learned While Applying Formal Methods to the Study of Flexible Manufacturing Systems. |
ICTAC |
2007 |
DBLP DOI BibTeX RDF |
Formal Methods, Formal Verification, Temporal Logics, Experience, System Design, Production Systems, Finite-State Models |
| 1 | Carlo A. Furia, Matteo Rossi |
On the Expressiveness of MTL Variants over Dense Time. |
FORMATS |
2007 |
DBLP DOI BibTeX RDF |
|
| 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 | Carlo A. Furia, Matteo Rossi |
Integrating Discrete- and Continuous-Time Metric Temporal Logics Through Sampling. |
FORMATS |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Pietro Colombo, Matteo Pradella, Matteo Rossi |
A UML 2-compatible language and tool for formal modeling real-time system architectures. |
SAC |
2006 |
DBLP DOI BibTeX RDF |
real-time systems, formal methods, system architectures |
| 1 | Mauro Pezzè, Andrea Baldini, Giovanni Denaro, Giuseppe Lipari, Matteo Rossi, Davide Rogai |
QUACK: A Platform for the Quality of New Generation Integrated Embedded Systems. |
Electr. Notes Theor. Comput. Sci. |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Carlo A. Furia, Matteo Rossi |
A Compositional Framework for Formally Verifying Modular Systems. |
Electr. Notes Theor. Comput. Sci. |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Matteo Pradella, Matteo Rossi, Dino Mandrioli |
ArchiTRIO: A UML-Compatible Language for Architectural Description and Its Formal Semantics. |
FORTE |
2005 |
DBLP DOI BibTeX RDF |
UML, real-time, software architecture, formal methods |
| 1 | Carlo A. Furia, Matteo Rossi, Dino Mandrioli, Angelo Morzenti |
Automated Compositional Proofs for Real-Time Systems. |
FASE |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Matteo Pradella, Matteo Rossi, Dino Mandrioli |
A UML-Compatible Formal Language for System Architecture Description. |
SDL Forum |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Matteo Rossi, Dino Mandrioli |
A formal approach for modeling and verification of RTCORBA-based applications. |
ISSTA |
2004 |
DBLP DOI BibTeX RDF |
real-time, middleware, formal verification, CORBA, distributed applications |
| 1 | Andrea Matta, Carlo A. Furia, Matteo Rossi |
Semi-formal and Formal Models Applied to Flexible Manufacturing Systems. |
ISCIS |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Alberto Coen-Porisini, Matteo Pradella, Matteo Rossi, Dino Mandrioli |
A formal approach for designing CORBA-based applications. |
ACM Trans. Softw. Eng. Methodol. |
2003 |
DBLP DOI BibTeX RDF |
formal methods, object orientation, frameworks, temporal logic, CORBA, control systems, architectural design, supervision |
| 1 | Matteo Pradella, Matteo Rossi, Dino Mandrioli, Alberto Coen-Porisini |
A formal approach for designing CORBA based applications. |
ICSE |
2000 |
DBLP DOI BibTeX RDF |
supervision and control system, design, formal methods, temporal logic, CORBA, CORBA |
| 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 |
|
Displaying result #1 - #38 of 38 (100 per page; Change: )
|
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")