|
|
|
|
Venues (Conferences, Journals, ...)
|
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 52 occurrences of 28 keywords
|
|
|
|
|
Results
Found 55 publication records. Showing 55 according to the selection in the facets
| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Violetta Lonati, Dino Mandrioli, Matteo Pradella |
Logic Characterization of Floyd Languages  |
CoRR  |
2012 |
DBLP BibTeX RDF |
|
| 1 | Guido Salvaneschi, Carlo Ghezzi, Matteo Pradella |
ContextErlang: introducing context-oriented programming in the actor model. |
AOSD |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Violetta Lonati, Matteo Pradella |
Strategies to scan pictures with automata based on Wang tiles. |
RAIRO - Theor. Inf. and Applic. |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Matteo Pradella, Alessandra Cherubini, Stefano Crespi-Reghizzi |
A unifying approach to picture grammars. |
Inf. Comput. |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Guido Salvaneschi, Carlo Ghezzi, Matteo Pradella |
Context-Oriented Programming: A Programming Paradigm for Autonomic Systems |
CoRR |
2011 |
DBLP BibTeX RDF |
|
| 1 | Guido Salvaneschi, Carlo Ghezzi, Matteo Pradella |
JavaCtx: Seamless Toolchain Integration for Context-Oriented Programming |
CoRR |
2011 |
DBLP BibTeX RDF |
|
| 1 | Violetta Lonati, Dino Mandrioli, Matteo Pradella |
Precedence Automata and Languages. |
CSR |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Carlo Ghezzi, Matteo Pradella, Guido Salvaneschi |
An evaluation of the adaptation capabilities in programming languages. |
SEAMS |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Violetta Lonati, Matteo Pradella |
Towards More Expressive 2D Deterministic Automata. |
CIAA |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Violetta Lonati, Matteo Pradella |
Deterministic recognizability of picture languages with Wang automata. |
Discrete Mathematics & Theoretical Computer Science |
2010 |
DBLP BibTeX RDF |
|
| 1 | Violetta Lonati, Dino Mandrioli, Matteo Pradella |
Precedence Automata and Languages |
CoRR |
2010 |
DBLP 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 | 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 | Luca Cavallaro, Elisabetta Di Nitto, Carlo A. Furia, Matteo Pradella |
A Tile-Based Approach for Self-Assembling Service Compositions. |
ICECCS |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Violetta Lonati, Matteo Pradella |
Picture Recognizability with Automata Based on Wang Tiles. |
SOFSEM |
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 | 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 | Matteo Pradella |
A User's Guide to Zot |
CoRR |
2009 |
DBLP BibTeX RDF |
|
| 1 | Matteo Pradella, Alessandra Cherubini, Stefano Crespi-Reghizzi |
A unifying approach to picture grammars |
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 | Alessandra Cherubini, Matteo Pradella |
Picture Languages: From Wang Tiles to 2D Grammars. |
CAI |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Violetta Lonati, Matteo Pradella |
Deterministic recognizability of picture languages by Wang automata. |
ICTCS |
2009 |
DBLP BibTeX RDF |
|
| 1 | Violetta Lonati, Matteo Pradella |
Snake-Deterministic Tiling Systems. |
MFCS |
2009 |
DBLP DOI BibTeX RDF |
2D language, tiling systems, online tessellation automata, unambiguity, determinism, picture language |
| 1 | Luca Cavallaro, Elisabetta Di Nitto, Matteo Pradella |
An Automatic Approach to Enable Replacement of Conversational Services. |
ICSOC/ServiceWave |
2009 |
DBLP DOI 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 | Stefano Crespi-Reghizzi, Matteo Pradella |
A CKY parser for picture grammars. |
Inf. Process. Lett. |
2008 |
DBLP DOI 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 | Matteo Pradella, Stefano Crespi-Reghizzi |
A SAT-based parser and completer for pictures specified by tiling. |
Pattern Recognition |
2008 |
DBLP DOI 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 | 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 | Alessandra Cherubini, Stefano Crespi-Reghizzi, Matteo Pradella |
Regional Languages and Tiling: A Unifying Approach to Picture Grammars. |
MFCS |
2008 |
DBLP DOI BibTeX RDF |
picture grammar, 2D language, CKY algorithm, tiling, syntactic pattern recognition, Picture language |
| 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 | 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 | Alessandra Cherubini, Stefano Crespi-Reghizzi, Matteo Pradella, Pierluigi San Pietro |
Picture languages: Tiling systems versus tile rewriting grammars. |
Theor. Comput. Sci. |
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 | Stefano Crespi-Reghizzi, Matteo Pradella |
Tile rewriting grammars and picture languages. |
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 | Matteo Pradella, Matteo Rossi, Dino Mandrioli |
A UML-Compatible Formal Language for System Architecture Description. |
SDL Forum |
2005 |
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 | Myla Archer, Elizabeth I. Leonard, Matteo Pradella |
Analyzing Security-Enhanced Linux Policy Specifications. |
POLICY |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Stefano Crespi-Reghizzi, Matteo Pradella |
Tile Rewriting Grammars. |
Developments in Language Theory |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Myla Archer, Elizabeth I. Leonard, Matteo Pradella |
Modeling Security-Enhanced Linux Policy Specifications for Analysis. |
DISCEX |
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 | Stefano Crespi-Reghizzi, Matteo Pradella, Pierluigi San Pietro |
Associative definition of programming languages. |
Comput. Lang. |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | Matteo Pradella, Marco Colombetti |
A Formal Description of a Practical Agent for E-Commerce. |
AMEC |
2000 |
DBLP DOI BibTeX RDF |
|
| 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 |
|
| 1 | Alberto Coen-Porisini, Matteo Pradella, Pierluigi San Pietro |
A Finite-Domain Semantics for Testing Temporal Logic Specifications. |
FTRTFT |
1998 |
DBLP DOI BibTeX RDF |
|
Displaying result #1 - #55 of 55 (100 per page; Change: )
|
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")