Daniel Yankelevich - researchr alias

researchr

You are not signed in
Sign in
Sign up

Viewing Publication 1 - 26 from 26

2017

Keynote: You Don't Need to Be Rich to Do Research, You Don't Need to Be Google to Rule the WorldDaniel Yankelevich. ICSE 2017: 31-33 [doi]

2009

Guest editorialVittorio Cortellessa, Sebastián Uchitel, Daniel Yankelevich. jss, 82(1):1-2, 2009. [doi]

2008

Abstraction for a Career in Industry: A Praise for Ugo s 65 YearsDaniel Yankelevich. birthday 2008: 806-808 [doi]

2007

A Swiss army knife approach to DQ assessmentsV. Cotik, P. Lujan, D. Scotton, Daniel Yankelevich. ijiq, 1(2):145-161, 2007. [doi]

2002

A NEAT Approach for Data Quality Assessment - Industrial Experiences using a DQ Assessment MethodologyMonica Bobrowski, Martina Marré, Daniel Yankelevich. In Mario Piattini, Coral Calero, Marcela Genero, editors, Information and Database Quality. Volume 25 of Advances in Database Systems, pages 135-162, Springer, 2002. [doi]

2001

Quality Mining: A Data Mining Based Method for Data Quality EvaluationSabrina Vazquez Soler, Daniel Yankelevich. iq 2001: 162-172

2000

Static checking of system behaviors using derived component assumptionsPaola Inverardi, Alexander L. Wolf, Daniel Yankelevich. TOSEM, 9(3):239-272, 2000. [doi]

Enhancing Architectural Mismatch Detection with AssumptionsSebastián Uchitel, Daniel Yankelevich. ECBS 2000: 138 [doi]

1999

A Homogeneous Framework to Measure Data QualityMonica Bobrowski, Martina Marré, Daniel Yankelevich. iq 1999: 115-124

Towards a Periodic Table of ConnectorsDan Hirsch, Sebastián Uchitel, Daniel Yankelevich. coordination 1999: 418 [doi]

1998

Modal Logic as a Design NotationCarlos Areces, Miguel Felder, Dan Hirsch, Daniel Yankelevich. iwssd 1998: 150-152 [doi]

1997

Checking Assumptions in Component Dynamics as the Architectural LevelPaola Inverardi, Alexander L. Wolf, Daniel Yankelevich. coordination 1997: 46-63

1996

Relating CHAM Descriptions of Software ArchitecturesPaola Inverardi, Daniel Yankelevich. iwssd 1996: 66-74 [doi]

Efficient Minimization up to Location EquivalenceUgo Montanari, Marco Pistore, Daniel Yankelevich. ESOP 1996: 265-279

1995

Optimality in Abstractions of Model CheckingRance Cleaveland, S. Purushothaman Iyer, Daniel Yankelevich. SAS 1995: 51-63

Location Equivalence in Parametric SettingUgo Montanari, Daniel Yankelevich. TCS, 149(2):299-332, 1995. [doi]

1994

1993

Axiomatizing CCS, Nets and ProcessesNicoletta De Francesco, Ugo Montanari, Daniel Yankelevich. SCP, 21(3):225-261, 1993.

Extended Transition Systems for Parametric BisimulationPaola Inverardi, Corrado Priami, Daniel Yankelevich. icalp 1993: 558-569

Yeast: A Case Study for a Practical Use of Formal MethodsPaola Inverardi, Balachander Krishnamurthy, Daniel Yankelevich. tapsoft 1993: 105-120

1992

A Parametric Approach to LocalitiesUgo Montanari, Daniel Yankelevich. icalp 1992: 617-628

1989

An Algebraic View of Interleaving and Distributed Operational Semantics for CCSUgo Montanari, Daniel Yankelevich. ctcs 1989: 5-20

Sign in or sign up to see more results.

runs on WebDSL