A Definition and Classification of Timing Anomalies

Jan Reineke, Björn Wachter, Reinhard Wilhelm, +3

DROPS (Schloss Dagstuhl – Leibniz Center for Informatics)

Wcet AnalysisAnomaly DetectionEngineeringDiagnosisSoftware Engineering +21

Probabilistic Logical Characterization

Holger Hermanns, Augusto Parma, Roberto Segala, +2

Information and Computation

Probabilistic OntologyProbability LogicEngineeringAutomated ReasoningProbabilistic Reasoning +4

Verifying multi-threaded software with impact

Björn Wachter, Daniel Kroening, Joël Ouaknine

Software MaintenanceEngineeringDynamic DependenciesCompiler TechnologyVerification +22

Synthesising Interprocedural Bit-Precise Termination Proofs (T)

Hongyi Chen, Cristina David, Daniel Kroening, +2

Program CheckingEngineeringVerificationSoftware EngineeringAutomated Proof +18

Game-based Abstraction and Controller Synthesis for Probabilistic Hybrid Systems

Ernst Moritz Hahn, Gethin Norman, David Parker, +2

Mathematical ProgrammingEngineeringGame TheoryAbstraction TechniquesRandom Phenomena +14

Probabilistic Model Checking Modulo Theories

Björn Wachter, Lijun Zhang, Holger Hermanns

EngineeringAutomated ReasoningState Explosion ProblemVerificationProbabilistic Verification +10

Sound static deadlock analysis for C/Pthreads

Daniel Kroening, Daniel Poetzl, Peter Schrammel, +1

EngineeringComputer ArchitecturePthreads SpecificationConcurrent SystemSoftware Analysis +15

Time-Bounded Model Checking of Infinite-State Continuous-Time Markov Chains

Ernst Moritz Hahn, Holger Hermanns, Björn Wachter, +1

Fundamenta Informaticae

Reachability AnalysisReliability EngineeringEngineeringReachability ProblemAutomated Reasoning +13

Symbolic state traversal for WCET analysis

Stephan Wilhelm, Björn Wachter

Wcet AnalysisEngineeringComputer ArchitectureSoftware EngineeringSoftware Analysis +22

Bit-Precise Procedure-Modular Termination Analysis

Hongyi Chen, Cristina David, Daniel Kroening, +2

ACM Transactions on Programming Languages and Systems

Program CheckingEngineeringHardware Verification LanguageVerificationComputer-aided Verification +16