Urmăriți
Matteo Pradella
Matteo Pradella
associate professor, Politecnico di Milano
Adresă de e-mail confirmată pe polimi.it - Pagina de pornire
Titlu
Citat de
Citat de
Anul
Context-oriented programming: A software engineering perspective
G Salvaneschi, C Ghezzi, M Pradella
Journal of Systems and Software 85 (8), 1801-1817, 2012
1472012
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
892003
An Automatic Approach to Enable Replacement of Conversational Services.
L Cavallaro, E Di Nitto, M Pradella
ICSOC/ServiceWave 5900, 159-174, 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
582005
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
552013
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
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
352011
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
352010
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
352010
Parallel parsing made practical
A Barenghi, SC Reghizzi, D Mandrioli, F Panella, M Pradella
Science of Computer Programming 112, 195-226, 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 unifying approach to picture grammars
M Pradella, A Cherubini, SC Reghizzi
Information and Computation 209 (9), 1246-1267, 2011
322011
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
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
Analyzing security-enhanced Linux policy specifications
M Archer, E Leonard, M Pradella
NAVAL RESEARCH LAB WASHINGTON DC CENTER FOR COMPUTER HIGH ASSURANCE SYSTEMS, 2003
282003
Model-checking TRIO specifications in SPIN
A Morzenti, M Pradella, P San Pietro, P Spoletini
FME 2003: Formal Methods: International Symposium of Formal Methods Europe …, 2003
282003
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
272015
Sistemul nu poate realiza operația în acest moment. Încercați din nou mai târziu.
Articole 1–20