6 citations · 15 across the 9 of their papers we have counts for
9 papers
Lessons from Formally Verified Deployed Software Systems (Extended version)
Li Huang, Sophie Ebersold, Alexander Kogtenkov +2
The technology of formal software verification has made spectacular advances, but how much does it actually benefit the development of practical software? Considerable disagreement…
Improving Counterexample Quality from Failed Program Verification
Li Huang, Bertrand Meyer, Manuel Oriol
In software verification, a successful automated program proof is the ultimate triumph. The road to such success is, however, paved with many failed proof attempts. The message pro…
Formal Verification of Dynamic and Stochastic Behaviors for Automotive Systems
Li Huang, Tian Liang, Eun-Young Kang
Formal analysis of functional and non-functional requirements is crucial in automotive systems. The behaviors of those systems often rely on complex dynamics as well as on stochast…
Formal Analysis of Hybrid-Dynamic Timing Behaviors in Cyber-Physical Systems
Li Huang, Eun-Young Kang
Ensuring correctness of timed behaviors in cyber-physical systems (CPS) using closed-loop verification is challenging due to the hybrid dynamics in both systems and environments. S…
SMT-based Probabilistic Analysis of Timing Constraints in Cyber-Physical Systems
Li Huang, Eun-Young Kang
Modeling and analysis of timing constraints is crucial in cyber-physical systems (CPS). EAST-ADL is an architectural language dedicated to safety-critical embedded system design. S…
Probabilistic Analysis of Weakly-Hard Real-Time Systems
Eun-Young Kang, Dongrui Mu, Li Huang
Modeling and analysis of non-functional properties, such as timing constraints, is crucial in automotive real-time embedded systems. EAST-ADL is a domain specific architectural lan…
Formal Specification & Analysis of Autonomous Systems in PrCCSL/Simulink Design Verifier
Eun-Young Kang, Li Huang
Modeling and analysis of timing constraints is crucial in automotive systems. EAST-ADL is a domain specific architectural language dedicated to safety-critical automotive embedded…
Model-based Verification and Validation of an Autonomous Vehicle System
Eun-Young Kang, Dongrui Mu, Li Huang +1
The software development for Cyber-Physical Systems (CPS), e.g., autonomous vehicles, requires both functional and non-functional quality assurance to guarantee that the CPS operat…
Formal Analysis of Non-functional Properties for a Cooperative Automotive System
Eun-Young Kang, Li Huang, Dongrui Mu
Modeling and analysis of nonfunctional requirements is crucial in automotive systems. EAST-ADL is an architectural language dedicated to safety-critical automotive system design. W…