Daniel Yankelevich

Publication Activity (10 Years)

Years Active: 1989-2017
Publications (10 Years): 2

Top Topics

Big Data Analytics

Top Venues

Publications

Daniel Yankelevich
Keynote: You Don't Need to Be Rich to Do Research, You Don't Need to Be Google to Rule the World. SER&IP@ICSE (2017)
Camilo Melani, Juan V. Echagüe, Joaquín Torré Zaffaroni, Daniel Yankelevich
Un caso de big data punta a punta: análisis de datos de transporte y su uso en el negocio. CoRR (2016)
Vittorio Cortellessa, Sebastián Uchitel, Daniel Yankelevich
Guest editorial. J. Syst. Softw. 82 (1) (2009)
Daniel Yankelevich
Abstraction for a Career in Industry: A Praise for Ugo's 65 Years. Concurrency, Graphs and Models (2008)
Viviana Cotik, P. Lujan, D. Scotton, Daniel Yankelevich
A Swiss army knife approach to DQ assessments. Int. J. Inf. Qual. 1 (2) (2007)
Sabrina Vazquez Soler, Daniel Yankelevich
Quality Mining: A Data Mining Based Method for Data Quality Evaluation. IQ (2001)
Sebastián Uchitel, Daniel Yankelevich
Enhancing Architectural Mismatch Detection with Assumptions. ECBS (2000)
Paola Inverardi, Alexander L. Wolf, Daniel Yankelevich
Static checking of system behaviors using derived component assumptions. ACM Trans. Softw. Eng. Methodol. 9 (3) (2000)
Dan Hirsch, Sebastián Uchitel, Daniel Yankelevich
Towards a Periodic Table of Connectors. COORDINATION (1999)
Monica Bobrowski, Martina Marré, Daniel Yankelevich
A Homogeneous Framework to Measure Data Quality. IQ (1999)
Carlos Areces, Miguel Felder, Dan Hirsch, Daniel Yankelevich
Modal Logic as a Design Notation. IWSSD (1998)
Paola Inverardi, Alexander L. Wolf, Daniel Yankelevich
Checking Assumptions in Component Dynamics as the Architectural Level. COORDINATION (1997)
Paola Inverardi, Daniel Yankelevich
Relating CHAM Descriptions of Software Architectures. IWSSD (1996)
Ugo Montanari, Marco Pistore, Daniel Yankelevich
Efficient Minimization up to Location Equivalence. ESOP (1996)
Rance Cleaveland, S. Purushothaman Iyer, Daniel Yankelevich
Optimality in Abstractions of Model Checking SAS (1995)
Ugo Montanari, Daniel Yankelevich
Location Equivalence in Parametric Setting. Theor. Comput. Sci. 149 (2) (1995)
Corrado Priami, Daniel Yankelevich
Read-Write Causality. MFCS (1994)
Rance Cleaveland, Daniel Yankelevich
An Operational Framework for Value-Passing Processes. POPL (1994)
Ugo Montanari, Daniel Yankelevich
Combining CCS and Petri Nets Via Structural Axioms. Fundam. Informaticae 20 (1/2/3) (1994)
Paola Inverardi, Corrado Priami, Daniel Yankelevich
Automatizing Parametric Reasoning on Distributed Concurrent Systems. Formal Aspects Comput. 6 (6) (1994)
Paolo Ciancarini, Keld K. Jensen, Daniel Yankelevich
On the Operational Sematics of a Coordination Language. ECOOP Workshop (1994)
Nicoletta De Francesco, Ugo Montanari, Daniel Yankelevich
Axiomatizing CCS, Nets and Processes. Sci. Comput. Program. 21 (3) (1993)
Paola Inverardi, Corrado Priami, Daniel Yankelevich
Extended Transition Systems for Parametric Bisimulation. ICALP (1993)
Paola Inverardi, Balachander Krishnamurthy, Daniel Yankelevich
Yeast: A Case Study for a Practical Use of Formal Methods. TAPSOFT (1993)
Ugo Montanari, Daniel Yankelevich
A Parametric Approach to Localities. ICALP (1992)
Ugo Montanari, Daniel Yankelevich
An Algebraic View of Interleaving and Distributed Operational Semantics for CCS. Category Theory and Computer Science (1989)