Daniel Yankelevich

According to our database, Daniel Yankelevich authored at least 27 papers between 1989 and 2017.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

2017

Keynote: You Don't Need to Be Rich to Do Research, You Don't Need to Be Google to Rule the World.

Daniel Yankelevich

Proceedings of the 4th IEEE/ACM International Workshop on Software Engineering Research and Industrial Practice, 2017

2016

Un caso de big data punta a punta: análisis de datos de transporte y su uso en el negocio.

Camilo Melani, Juan V. Echagüe, Joaquín Torré Zaffaroni, Daniel Yankelevich

CoRR, 2016

2009

Guest editorial.

Vittorio Cortellessa, Sebastián Uchitel, Daniel Yankelevich

J. Syst. Softw., 2009

2008

Abstraction for a Career in Industry: A Praise for Ugo's 65 Years.

Daniel Yankelevich

Proceedings of the Concurrency, 2008

2007

A Swiss army knife approach to DQ assessments.

Viviana Cotik, P. Lujan, D. Scotton, Daniel Yankelevich

Int. J. Inf. Qual., 2007

2002

A NEAT Approach for Data Quality Assessment - Industrial Experiences using a DQ Assessment Methodology.

Monica Bobrowski, Martina Marré, Daniel Yankelevich

Proceedings of the Information and Database Quality, 2002

2001

Quality Mining: A Data Mining Based Method for Data Quality Evaluation.

Sabrina Vazquez Soler, Daniel Yankelevich

Proceedings of the Sixth Conference on Information Quality (IQ 2001), 2001

2000

Static checking of system behaviors using derived component assumptions.

Paola Inverardi, Alexander L. Wolf, Daniel Yankelevich

ACM Trans. Softw. Eng. Methodol., 2000

Enhancing Architectural Mismatch Detection with Assumptions.

Sebastián Uchitel, Daniel Yankelevich

Proceedings of the 7th IEEE International Symposium on Engineering of Computer-Based Systems (ECBS 2000), 2000

1999

A Homogeneous Framework to Measure Data Quality.

Monica Bobrowski, Martina Marré, Daniel Yankelevich

Proceedings of the Fourth Conference on Information Quality (IQ 1999), 1999

Towards a Periodic Table of Connectors.

Dan Hirsch, Sebastián Uchitel, Daniel Yankelevich

Proceedings of the Coordination Languages and Models, Third International Conference, 1999

1998

Modal Logic as a Design Notation.

Carlos Areces, Miguel Felder, Dan Hirsch, Daniel Yankelevich

Proceedings of the 9th International Workshop on Software Specification and Design, 1998

1997

Checking Assumptions in Component Dynamics as the Architectural Level.

Paola Inverardi, Alexander L. Wolf, Daniel Yankelevich

Proceedings of the Coordination Languages and Models, Second International Conference, 1997

1996

Relating CHAM Descriptions of Software Architectures.

Paola Inverardi, Daniel Yankelevich

Proceedings of the 8th International Workshop on Software Specification and Design, 1996

Efficient Minimization up to Location Equivalence.

Ugo Montanari, Marco Pistore, Daniel Yankelevich

Proceedings of the Programming Languages and Systems, 1996

1995

Location Equivalence in Parametric Setting.

Ugo Montanari, Daniel Yankelevich

Theor. Comput. Sci., 1995

Optimality in Abstractions of Model Checking

Rance Cleaveland, S. Purushothaman Iyer, Daniel Yankelevich

Proceedings of the Static Analysis, 1995

1994

Combining CCS and Petri Nets Via Structural Axioms.

Ugo Montanari, Daniel Yankelevich

Fundam. Informaticae, 1994

Automatizing Parametric Reasoning on Distributed Concurrent Systems.

Paola Inverardi, Corrado Priami, Daniel Yankelevich

Formal Aspects Comput., 1994

An Operational Framework for Value-Passing Processes.

Rance Cleaveland, Daniel Yankelevich

Proceedings of the Conference Record of POPL'94: 21st ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 1994

Read-Write Causality.

Corrado Priami, Daniel Yankelevich

Proceedings of the Mathematical Foundations of Computer Science 1994, 1994

On the Operational Sematics of a Coordination Language.

Paolo Ciancarini, Keld K. Jensen, Daniel Yankelevich

Proceedings of the Object-Based Models and Languages for Concurrent Systems, 1994

1993

Axiomatizing CCS, Nets and Processes.

Nicoletta De Francesco, Ugo Montanari, Daniel Yankelevich

Sci. Comput. Program., 1993

Yeast: A Case Study for a Practical Use of Formal Methods.

Paola Inverardi, Balachander Krishnamurthy, Daniel Yankelevich

Proceedings of the TAPSOFT'93: Theory and Practice of Software Development, 1993

Extended Transition Systems for Parametric Bisimulation.

Paola Inverardi, Corrado Priami, Daniel Yankelevich

Proceedings of the Automata, Languages and Programming, 20nd International Colloquium, 1993

1992

A Parametric Approach to Localities.

Ugo Montanari, Daniel Yankelevich

Proceedings of the Automata, Languages and Programming, 19th International Colloquium, 1992

1989

An Algebraic View of Interleaving and Distributed Operational Semantics for CCS.

Ugo Montanari, Daniel Yankelevich

Proceedings of the Category Theory and Computer Science, 1989