Personensuche
X
?
Tools and Algorithms for the Construction and Analysis of Systems; Lecture Notes in Computer Science ,
1
VeriAbsL: Scalable Verification by Abstraction and Strategy..:
, In:
?
2023 IEEE International Conference on Software Maintenance and Evolution (ICSME) ,
2
OLA: Property Directed Outer Loop Abstraction for Efficient..:
, In:
?
15th Innovations in Software Engineering Conference ,
3
IR Mapping: Intermediate Representation (IR) based Mapping ..:
, In:
?
2022 IEEE International Conference on Software Analysis, Evolution and Reengineering (SANER) ,
4
Identifying Relevant Changes for Incremental Verification o..:
, In:
?
2022 IEEE International Symposium on Software Reliability Engineering Workshops (ISSREW) ,
5
Fast Analysis of Evolving Software Systems:
, In:
?
Proceedings of the 22nd ACM SIGPLAN/SIGBED International Conference on Languages, Compilers, and Tools for Embedded Systems ,
6
Selective path-sensitive interval analysis (WIP paper):
, In:
?
2021 IEEE 32nd International Symposium on Software Reliability Engineering (ISSRE) ,
7
Fast Change-Based Alarm Reporting for Evolving Software Sys..:
, In:
?
Tools and Algorithms for the Construction and Analysis of Systems; Lecture Notes in Computer Science ,
8
VeriAbs : Verification by Abstraction and Test Generation (..:
, In:
?
Proceedings of the 34th IEEE/ACM International Conference on Automated Software Engineering ,
9
VeriAbs : verification by abstraction and test generatio:
, In:
?
2019 34th IEEE/ACM International Conference on Automated Software Engineering (ASE) ,
10
VeriAbs : Verification by Abstraction and Test Generation:
, In:
?
Tools and Algorithms for the Construction and Analysis of Systems; Lecture Notes in Computer Science ,
11
VeriAbs: Verification by Abstraction and Test Generation: (..:
, In:
?
Proceedings of the 19th ACM SIGPLAN/SIGBED International Conference on Languages, Compilers, and Tools for Embedded Systems ,
12
Statically relating program properties for efficient verifi..:
, In:
?
Proceedings of the 2015 Design, Automation & Test in Europe Conference & Exhibition ,
14
Over-approximating loops to prove properties using bounded ..:
, In:
?
Proceedings of the 2013 9th Joint Meeting on Foundations of Software Engineering ,
15