| Static checking of system behaviors using derived component assumptions P Inverardi, AL Wolf, D Yankelevich ACM Transactions on Software Engineering and Methodology (TOSEM) 9 (3), 239-272, 2000 | 118 | 2000 |
| Optimality in abstractions of model checking R Cleaveland, P Iyer, D Yankelevich Static Analysis: Second International Symposium, SAS'95 Glasgow, UK …, 1995 | 85 | 1995 |
| On the operational semantics of a coordination language P Ciancarini, KK Jensen, D Yankelevich European Conference on Object-Oriented Programming, 77-106, 1994 | 73 | 1994 |
| A Homogeneous Framework to Measure Data Quality. M Bobrowski, M Marré, D Yankelevich IQ, 115-124, 1999 | 62 | 1999 |
| Checking assumptions in component dynamics at the architectural level P Inverardi, AL Wolf, D Yankelevich Coordination Languages and Models: Second International Conference …, 1997 | 52 | 1997 |
| A parametric approach to localities U Montanari, D Yankelevich Automata, Languages and Programming: 19th International Colloquium Wien …, 1992 | 51 | 1992 |
| A software engineering view of data quality M Bobrowski, M Marré, D Yankelevich Proceedings of Second International Software Quality in Europe, 1998 | 46 | 1998 |
| Efficient minimization up to location equivalence U Montanari, M Pistore, D Yankelevich Programming Languages and Systems—ESOP'96: 6th European Symposium on …, 1996 | 34 | 1996 |
| An operational framework for value-passing processes R Cleaveland, D Yankelevich Proceedings of the 21st ACM SIGPLAN-SIGACT symposium on Principles of …, 1994 | 30 | 1994 |
| Enhancing architectural mismatch detection with assumptions S Uchitel, D Yankelevich Proceedings Seventh IEEE International Conference and Workshop on the …, 2000 | 28 | 2000 |
| Location equivalence in a parametric setting U Montanari, D Yankelevich Theoretical Computer Science 149 (2), 299-332, 1995 | 28 | 1995 |
| Towards a periodic table of connectors D Hirsch, S Uchitel, D Yankelevich COORDINATION 1594, 418, 1999 | 25 | 1999 |
| Measuring data quality M Bobrowski, M Marré, D Yankelevich Universidad de Buenos Aires. Report 1999, 99-002, 1999 | 20 | 1999 |
| Parametric views of process description languages D Yankelevich BULLETIN-EUROPEAN ASSOCIATION FOR THEORETICAL COMPUTER SCIENCE 51, 495-495, 1993 | 20 | 1993 |
| Quality Mining: A Data Mining Based Method for Data Quality Evaluation. SV Soler, D Yankelevich IQ, 162-172, 2001 | 18 | 2001 |
| An algebraic view of interleaving and distributed operational semantics for CCS U Montanari, DN Yankelevich Category Theory and Computer Science: Manchester, UK, September 5–8, 1989 …, 2005 | 17 | 2005 |
| Combining CCS and Petri nets via structural axioms U Montanari, D Yankelevich Fundamenta Informaticae 20 (1, 2, 3), 193-229, 1994 | 17 | 1994 |
| Relating CHAM descriptions of software architectures P Inverardi, D Yankelevich Proceedings of the 8th International Workshop on Software Specification and …, 1996 | 14 | 1996 |
| Automatizing parametric reasoning on distributed concurrent systems P Inverardi, C Priami, D Yankelevich Formal Aspects of Computing 6, 676-695, 1994 | 14 | 1994 |
| Abstractions for preserving all CTL* formulae R Cleaveland, SP Iyer, D Yankelevich North Carolina State University at Raleigh, 1994 | 11 | 1994 |
