Skip to content

Dr. Istvan David

Menu
  • Home
  • Lab/Team
    • Team
    • About the lab
    • 🚩2025 Call: PhD in sustainable and green software engineering
    • Positions and topics (General call for every level)
  • Publications
  • Events&service
  • Teaching
  • Contact

Tag: inconsistency

News

Call for Papers: 1st International Workshop on (In-)Consistency Management in Modeling (co-located with STAF)

About Modeling serves as a fundamental tool for understanding and designing modern software systems, including cyber-physical systems, digital twins, and system- of-systems. By providing abstractions that simplify complexity and align …

News

New journal article on how model consistency can serve as a heuristic for eventual correctness

Our article Model consistency as a heuristic for eventual correctness, co-authored by Hans Vangheluwe and Eugene Syriani has been accepted for publication in the Journal of Computer Languages (COLA). Pre-print …

Copyright © 2025 Dr. Istvan David – OnePress theme by FameThemes