Abstraction and Counterexample-Guided Refinement in Model Checking of Hybrid Systems

Edmund M. Clarke, Ansgar Fehnker, Zhi Han, +4

International Journal of Foundations of Computer Science

Hybrid System AbstractionsEngineeringReachability ProblemVerificationComputer-aided Verification +15

Scheduling a steel plant with timed automata

Ansgar Fehnker

EngineeringReachability ProblemIndustrial EngineeringVerificationFormal Verification +21

Minimum-Cost Reachability for Priced Timed Automata

Gerd Behrmann, Ansgar Fehnker, Thomas Hune, +4

BRICS Report Series

EngineeringReachability ProblemVerificationComputational ComplexityFormal Verification +15

Verification and optimization of a PLC control schedule

Ed Brinksma, Angelika Mader, Ansgar Fehnker

International Journal on Software Tools for Technology Transfer

Verification of a cruise control system using counterexample-guided search

Olaf Stursberg, Ansgar Fehnker, Zhi Han, +1

Control Engineering Practice

Naval ArchitectureEngineeringShip ManeuveringCruise Control SystemVerification +3

Efficient Guiding Towards Cost-Optimality in UPPAAL

Gerd Behrmann, Ansgar Fehnker, Thomas Hune, +3

BRICS Report Series

Mathematical ProgrammingEngineeringReachability ProblemComputational ComplexityWeighted Automaton +22

A Process Algebra for Wireless Mesh Networks used for Modelling, Verifying and Analysing AODV

Ansgar Fehnker, Rob van Glabbeek, Peter Höfner, +3

arXiv (Cornell University)

EngineeringWireless RoutingWireless LanVerificationComputer-aided Design +22

Model Checking Software at Compile Time

Ansgar Fehnker, Ralf Huuck, Patrick Jayet, +2

Software MaintenanceProgram CheckingEngineeringVerificationSoftware Engineering +18

Modeling and verifying a Lego car using hybrid I/O automata

Ansgar Fehnker, Frits Vaandrager, Miaomiao Zhang

Automotive EngineeringEngineeringVehicle Conceptual DesignVerificationLego Car +18

Modeling and Verification of the Bitcoin Protocol

Kaylash Chaudhary, Ansgar Fehnker, Jaco van de Pol, +1

Electronic Proceedings in Theoretical Computer Science

Blockchain Consensus ProtocolBitcoin ProtocolEngineeringInformation SecurityVerification +16