Daniel Yankelevich

28 papers A* 3A 1B 2C 2Journal 8Unranked 10
YearRankTypeTitle / Venue / Authors
2017 — conf
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
Daniel Yankelevich
2016 J jnl
Un caso de big data punta a punta: análisis de datos de transporte y su uso en el negocio.
CoRR
Camilo Melani, Juan V. Echagüe, Joaquín Torré Zaffaroni, Daniel Yankelevich
2009 J jnl
Guest editorial.
J. Syst. Softw.
Vittorio Cortellessa, Sebastián Uchitel, Daniel Yankelevich
2008 — conf
Abstraction for a Career in Industry: A Praise for Ugo's 65 Years.
Concurrency, Graphs and Models
Daniel Yankelevich
2007 J jnl
A Swiss army knife approach to DQ assessments.
Int. J. Inf. Qual.
Viviana Cotik, P. Lujan, D. Scotton, Daniel Yankelevich
2007 — ed.
Proceedings of the 6th International Workshop on Software and Performance, WOSP 2007, Buenes Aires, Argentina, February 5-8, 2007
WOSP
Vittorio Cortellessa, Sebastián Uchitel, Daniel Yankelevich
2002 — ch.
A NEAT Approach for Data Quality Assessment - Industrial Experiences using a DQ Assessment Methodology.
Information and Database Quality
Monica Bobrowski, Martina Marré, Daniel Yankelevich
2001 — conf
Quality Mining: A Data Mining Based Method for Data Quality Evaluation.
IQ
Sabrina Vazquez Soler, Daniel Yankelevich
2000 — conf
Enhancing Architectural Mismatch Detection with Assumptions.
ECBS
Sebastián Uchitel, Daniel Yankelevich
2000 J jnl
Static checking of system behaviors using derived component assumptions.
ACM Trans. Softw. Eng. Methodol.
Paola Inverardi, Alexander L. Wolf, Daniel Yankelevich
1999 — conf
A Homogeneous Framework to Measure Data Quality.
IQ
Monica Bobrowski, Martina Marré, Daniel Yankelevich
1999 C conf
Towards a Periodic Table of Connectors.
COORDINATION
Dan Hirsch, Sebastián Uchitel, Daniel Yankelevich
1998 — conf
Modal Logic as a Design Notation.
IWSSD
Carlos Areces, Miguel Felder, Dan Hirsch, Daniel Yankelevich
1997 C conf
Checking Assumptions in Component Dynamics as the Architectural Level.
COORDINATION
Paola Inverardi, Alexander L. Wolf, Daniel Yankelevich
1996 A conf
Efficient Minimization up to Location Equivalence.
ESOP
Ugo Montanari, Marco Pistore, Daniel Yankelevich
1996 — conf
Relating CHAM Descriptions of Software Architectures.
IWSSD
Paola Inverardi, Daniel Yankelevich
1995 J jnl
Location Equivalence in Parametric Setting.
Theor. Comput. Sci.
Ugo Montanari, Daniel Yankelevich
1995 B conf
Optimality in Abstractions of Model Checking
SAS
Rance Cleaveland, S. Purushothaman Iyer, Daniel Yankelevich
1994 A* conf
An Operational Framework for Value-Passing Processes.
POPL
Rance Cleaveland, Daniel Yankelevich
1994 J jnl
Automatizing Parametric Reasoning on Distributed Concurrent Systems.
Formal Aspects Comput.
Paola Inverardi, Corrado Priami, Daniel Yankelevich
1994 J jnl
Combining CCS and Petri Nets Via Structural Axioms.
Fundam. Informaticae
Ugo Montanari, Daniel Yankelevich
1994 — conf
On the Operational Sematics of a Coordination Language.
ECOOP Workshop
Paolo Ciancarini, Keld K. Jensen, Daniel Yankelevich
1994 B conf
Read-Write Causality.
MFCS
Corrado Priami, Daniel Yankelevich
1993 J jnl
Axiomatizing CCS, Nets and Processes.
Sci. Comput. Program.
Nicoletta De Francesco, Ugo Montanari, Daniel Yankelevich
1993 A* conf
Extended Transition Systems for Parametric Bisimulation.
ICALP
Paola Inverardi, Corrado Priami, Daniel Yankelevich
1993 — conf
Yeast: A Case Study for a Practical Use of Formal Methods.
TAPSOFT
Paola Inverardi, Balachander Krishnamurthy, Daniel Yankelevich
1992 A* conf
A Parametric Approach to Localities.
ICALP
Ugo Montanari, Daniel Yankelevich
1989 — conf
An Algebraic View of Interleaving and Distributed Operational Semantics for CCS.
Category Theory and Computer Science
Ugo Montanari, Daniel Yankelevich