| Context-oriented programming: A software engineering perspective G Salvaneschi, C Ghezzi, M Pradella Journal of Systems and Software 85 (8), 1801-1817, 2012 | 164 | 2012 |
| 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 | 92 | 2003 |
| 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 | 87 | 2009 |
| 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 | 60 | 2012 |
| Tile rewriting grammars and picture languages SC Reghizzi, M Pradella Theoretical Computer Science 340 (2), 257-272, 2005 | 59 | 2005 |
| 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 | 58 | 2013 |
| 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 | 53 | 2007 |
| 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 | 44 | 2010 |
| Parallel parsing made practical A Barenghi, SC Reghizzi, D Mandrioli, F Panella, M Pradella Science of Computer Programming 112, 195-226, 2015 | 42 | 2015 |
| 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 | 38 | 2010 |
| 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 | 37 | 2015 |
| 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 | 37 | 2010 |
| 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 | 37 | 2008 |
| A unifying approach to picture grammars M Pradella, A Cherubini, SC Reghizzi Information and Computation 209 (9), 1246-1267, 2011 | 36 | 2011 |
| Context-oriented programming: A programming paradigm for autonomic systems G Salvaneschi, C Ghezzi, M Pradella arXiv preprint arXiv:1105.0069, 2011 | 36 | 2011 |
| 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 | 34 | 2013 |
| 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 | 33 | 2003 |
| 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 | 32 | 2010 |
| 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 | 31 | 2015 |
| 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 | 30 | 2006 |
Pierluigi San PietroPolitecnico di Milanopolimi.it의 이메일 확인됨