Theo dõi
Matteo Pradella
Matteo Pradella
associate professor, Politecnico di Milano
Email được xác minh tại polimi.it - Trang chủ
Tiêu đề
Trích dẫn bởi
Trích dẫn bởi
Năm
Context-oriented programming: A software engineering perspective
G Salvaneschi, C Ghezzi, M Pradella
Journal of Systems and Software 85 (8), 1801-1817, 2012
1702012
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
European Conference on a Service-Based Internet, 159-174, 2009
852009
Tile rewriting grammars and picture languages
SC Reghizzi, M Pradella
Theoretical Computer Science 340 (2), 257-272, 2005
622005
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
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
592013
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
542007
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
422015
A unifying approach to picture grammars
M Pradella, A Cherubini, SC Reghizzi
Information and Computation 209 (9), 1246-1267, 2011
392011
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
382015
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
382010
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
382008
Context-oriented programming: A programming paradigm for autonomic systems
G Salvaneschi, C Ghezzi, M Pradella
arXiv preprint arXiv:1105.0069, 2011
372011
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
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
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
342003
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
312015
Model-checking TRIO specifications in SPIN
A Morzenti, M Pradella, P San Pietro, P Spoletini
International Symposium of Formal Methods Europe, 542-561, 2003
312003
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
302010
Hệ thống không thể thực hiện thao tác ngay bây giờ. Hãy thử lại sau.
Bài viết 1–20