Seguir
Matteo Pradella
Matteo Pradella
associate professor, Politecnico di Milano
Dirección de correo verificada de polimi.it - Página principal
Título
Citado por
Citado por
Año
Context-oriented programming: A software engineering perspective
G Salvaneschi, C Ghezzi, M Pradella
Journal of Systems and Software 85 (8), 1801-1817, 2012
1612012
A formal approach for designing CORBA-based applications
A Coen-Porisini, M Pradella, M Rossi, D Mandrioli
ACM Transactions on Software Engineering and Methodology (TOSEM) 12 (2), 107-151, 2003
922003
An automatic approach to enable replacement of conversational services
L Cavallaro, E Di Nitto, M Pradella
Service-Oriented Computing: 7th International Joint Conference, ICSOC …, 2009
852009
ContextErlang: Introducing context-oriented programming in the actor model
G Salvaneschi, C Ghezzi, M Pradella
Proceedings of the 11th annual international conference on Aspect-oriented …, 2012
602012
Tile rewriting grammars and picture languages
SC Reghizzi, M Pradella
Theoretical Computer Science 340 (2), 257-272, 2005
602005
Bounded satisfiability checking of metric temporal logic specifications
M Pradella, A Morzenti, PS Pietro
ACM Transactions on Software Engineering and Methodology (TOSEM) 22 (3), 1-54, 2013
572013
The symmetry of the past and of the future: bi-infinite time in the verification of temporal properties
M Pradella, A Morzenti, P San Pietro
Proceedings of the the 6th joint meeting of the European software …, 2007
532007
Programming language support to context-aware adaptation: a case-study with Erlang
C Ghezzi, M Pradella, G Salvaneschi
Proceedings of the 2010 ICSE Workshop on Software Engineering for Adaptive …, 2010
442010
Parallel parsing made practical
A Barenghi, SC Reghizzi, D Mandrioli, F Panella, M Pradella
Science of Computer Programming 112, 195-226, 2015
382015
Bounded reachability for temporal logic over constraint systems
MM Bersani, A Frigeri, A Morzenti, M Pradella, M Rossi, P San Pietro
2010 17th International Symposium on Temporal Representation and Reasoning …, 2010
372010
Synthesizing adapters for conversational web-services from their WSDL interface
L Cavallaro, E Di Nitto, P Pelliccione, M Pradella, M Tivoli
Proceedings of the 2010 ICSE Workshop on Software Engineering for Adaptive …, 2010
372010
Refining real-time system specifications through bounded model-and satisfiability-checking
M Pradella, A Morzenti, P San Pietro
2008 23rd IEEE/ACM International Conference on Automated Software …, 2008
372008
Context-oriented programming: A programming paradigm for autonomic systems
G Salvaneschi, C Ghezzi, M Pradella
arXiv preprint arXiv:1105.0069, 2011
362011
A unifying approach to picture grammars
M Pradella, A Cherubini, SC Reghizzi
Information and Computation 209 (9), 1246-1267, 2011
352011
Operator precedence languages: Their automata-theoretic and logic characterization
V Lonati, D Mandrioli, F Panella, M Pradella
SIAM Journal on Computing 44 (4), 1026-1088, 2015
342015
An analysis of language-level support for self-adaptive software
G Salvaneschi, C Ghezzi, M Pradella
ACM Transactions on Autonomous and Adaptive Systems (TAAS) 8 (2), 1-29, 2013
342013
A tile-based approach for self-assembling service compositions
L Cavallaro, E Di Nitto, CA Furia, M Pradella
2010 15th IEEE International Conference on Engineering of Complex Computer …, 2010
322010
Practical model checking of LTL with past
M Pradella, P San Pietro, P Spoletini, A Morzenti
ATVA03: 1st Workshop on Automated Technology for Verification and Analysis, 2003
322003
Picture languages: Tiling systems versus tile rewriting grammars
A Cherubini, SC Reghizzi, M Pradella, P San Pietro
Theoretical Computer Science 356 (1-2), 90-103, 2006
302006
Efficient analysis of event processing applications
G Cugola, A Margara, M Pezzè, M Pradella
Proceedings of the 9th ACM International Conference on Distributed Event …, 2015
292015
El sistema no puede realizar la operación en estos momentos. Inténtalo de nuevo más tarde.
Artículos 1–20