Следене
Daniel Yankelevich
Daniel Yankelevich
Director de Datos, Fundar
Потвърден имейл адрес: fund.ar - Начална страница
Заглавие
Позовавания
Позовавания
Година
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
1182000
Optimality in abstractions of model checking
R Cleaveland, P Iyer, D Yankelevich
Static Analysis: Second International Symposium, SAS'95 Glasgow, UK …, 1995
891995
On the operational semantics of a coordination language
P Ciancarini, KK Jensen, D Yankelevich
European Conference on Object-Oriented Programming, 77-106, 1994
721994
A Homogeneous Framework to Measure Data Quality.
M Bobrowski, M Marré, D Yankelevich
IQ, 115-124, 1999
621999
Checking assumptions in component dynamics at the architectural level
P Inverardi, AL Wolf, D Yankelevich
Coordination Languages and Models: Second International Conference …, 1997
531997
A parametric approach to localities
U Montanari, D Yankelevich
Automata, Languages and Programming: 19th International Colloquium Wien …, 1992
481992
A software engineering view of data quality
M Bobrowski, M Marré, D Yankelevich
Proceedings of Second International Software Quality in Europe, 1998
451998
Efficient minimization up to location equivalence
U Montanari, M Pistore, D Yankelevich
Programming Languages and Systems—ESOP'96: 6th European Symposium on …, 1996
321996
An operational framework for value-passing processes
R Cleaveland, D Yankelevich
Proceedings of the 21st ACM SIGPLAN-SIGACT symposium on Principles of …, 1994
311994
Enhancing architectural mismatch detection with assumptions
S Uchitel, D Yankelevich
Proceedings Seventh IEEE International Conference and Workshop on the …, 2000
262000
Location equivalence in a parametric setting
U Montanari, D Yankelevich
Theoretical Computer Science 149 (2), 299-332, 1995
261995
Towards a periodic table of connectors
D Hirsch, S Uchitel, D Yankelevich
COORDINATION 1594, 418, 1999
231999
Measuring data quality
M Bobrowski, M Marré, D Yankelevich
Universidad de Buenos Aires. Report 1999, 99-002, 1999
211999
Quality Mining: A Data Mining Based Method for Data Quality Evaluation.
SV Soler, D Yankelevich
IQ, 162-172, 2001
202001
Parametric views of process description languages
D Yankelevich
BULLETIN-EUROPEAN ASSOCIATION FOR THEORETICAL COMPUTER SCIENCE 51, 495-495, 1993
181993
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
172005
Combining CCS and Petri nets via structural axioms
U Montanari, D Yankelevich
Fundamenta Informaticae 20 (1, 2, 3), 193-229, 1994
151994
Relating CHAM descriptions of software architectures
P Inverardi, D Yankelevich
Proceedings of the 8th International Workshop on Software Specification and …, 1996
141996
Automatizing parametric reasoning on distributed concurrent systems
P Inverardi, C Priami, D Yankelevich
Formal Aspects of Computing 6, 676-695, 1994
141994
Abstractions for preserving all CTL* formulae
R Cleaveland, SP Iyer, D Yankelevich
North Carolina State University at Raleigh, 1994
111994
Системата не може да изпълни операцията сега. Опитайте отново по-късно.
Статии 1–20