Concepedia

Daniel Yankelevich

DY

7

Publications

184

Citations

7

H-Index

1994

Active since

Affiliations

North Carolina State University(Current)

University of Pisa

Universidad de Buenos Aires

Daniel Yankelevich is an author at North Carolina State University specializing in engineering, formal methods, and systems engineering.

Top concepts

EngineeringFormal MethodsSoftware DesignComputer ScienceFormal VerificationSystems EngineeringSystem SoftwareProgram AnalysisVerificationProcess Control

Publications per year

1994–2002

7

Publications

7

Static checking of system behaviors using derived component assumptions

Paola Inverardi, Alexander L. Wolf, Daniel Yankelevich · ACM Transactions on Software Engineering and Methodology · 2000 · 86 citations · Full text

Engineering, Type Theory, Verification +20

A Homogeneous Framework to Measure Data Quality.

Mónica Bobrowski, Martina Marré, Daniel Yankelevich · IQ · 1999 · 28 citations

Homogeneous Framework, Engineering, Data Science +6

Enhancing architectural mismatch detection with assumptions

Sebastián Uchitel, Daniel Yankelevich · 2002 · 20 citations

Software Maintenance, Engineering, Verification +20

Location equivalence in a parametric setting

Ugo Montanari, Daniel Yankelevich · Theoretical Computer Science · 1995 · 17 citations

Cartography, Engineering, Geometry +5

An operational framework for value-passing processes

Rance Cleaveland, Daniel Yankelevich · 1994 · 12 citations · Full text

Engineering, Value Theory, Concurrent System +26

Rows per page

1–5 of 7