2024
A Contrastive Explanation Tool for Plans in Hybrid Domains.
Proceedings of the 17th Innovations in Software Engineering Conference, 2024
Data-Driven Falsification of Cyber-Physical Systems.
Proceedings of the 17th Innovations in Software Engineering Conference, 2024
Collision-Free Linear Time Mutual Visibility for Asynchronous Fat Robots.
Proceedings of the 25th International Conference on Distributed Computing and Networking, 2024
2023
Optimal relaying nodes selection for IEEE 802.15.6-based two-hop star topology WBAN.
Internet Things, July, 2023
A Contrastive Plan Explanation Framework for Hybrid System Models.
ACM Trans. Embed. Comput. Syst., March, 2023
SAT-Reach: A Bounded Model Checker for Affine Hybrid Systems.
ACM Trans. Embed. Comput. Syst., March, 2023
Explaining Unsolvability of Planning Problems in Hybrid Systems with Model Reconciliation.
Proceedings of the 21st ACM-IEEE International Symposium on Formal Methods and Models for System Design, 2023
ARCH-COMP23 Category Report: Falsification.
,
,
,
,
,
,
,
,
,
,
,
,
,
,
Proceedings of 10th International Workshop on Applied Verification of Continuous and Hybrid Systems (ARCH23), 2023
2022
ARCH-COMP22 Category Report: Hybrid Systems with Piecewise Constant Dynamics and Bounded Model Checking.
Proceedings of 9th International Workshop on Applied Verification of Continuous and Hybrid Systems (ARCH22), 2022
2021
Parallel simulation of cyber-physical systems.
Innov. Syst. Softw. Eng., 2021
Fast Falsification of Neural Networks using Property Directed Testing.
CoRR, 2021
A Lizard-Inspired Quadruped Robot Based on Pressure Sensitive Adhesion Mechanism for Wall Climbing.
Proceedings of the AIR 2021: Advances in Robotics - 5th International Conference of The Robotics Society, Kanpur, India, 30 June 2021, 2021
2020
ARCH-COMP20 Category Report: Hybrid Systems with Piecewise Constant Dynamics and Bounded Model Checking.
Proceedings of the ARCH20. 7th International Workshop on Applied Verification of Continuous and Hybrid Systems (ARCH20), 2020
ARCH-COMP20 Category Report: Continuous and Hybrid Systems with Linear Continuous Dynamics.
,
,
,
,
,
,
,
,
,
,
,
,
Proceedings of the ARCH20. 7th International Workshop on Applied Verification of Continuous and Hybrid Systems (ARCH20), 2020
2019
Enhancing Speculative Execution With Selective Approximate Computing.
ACM Trans. Design Autom. Electr. Syst., 2019
Parallel reachability analysis of hybrid systems in XSpeed.
Int. J. Softw. Tools Technol. Transf., 2019
Simultaneous Solving of Batched Linear Programs on a GPU.
Proceedings of the 2019 ACM/SPEC International Conference on Performance Engineering, 2019
Approximate computing for multithreaded programs in shared memory architectures.
Proceedings of the 17th ACM-IEEE International Conference on Formal Methods and Models for System Design, 2019
Falsification of hybrid systems using symbolic reachability and trajectory splicing.
Proceedings of the 22nd ACM International Conference on Hybrid Systems: Computation and Control, 2019
ARCH-COMP19 Category Report: Bounded Model Checking of Hybrid Systems with Piecewise Constant Dynamics.
Proceedings of the ARCH19. 6th International Workshop on Applied Verification of Continuous and Hybrid Systemsi, 2019
ARCH-COMP19 Category Report: Continuous and Hybrid Systems with Linear Continuous Dynamics.
Proceedings of the ARCH19. 6th International Workshop on Applied Verification of Continuous and Hybrid Systemsi, 2019
2018
ARCH-COMP18 Category Report: Bounded Model Checking of Hybrid Systems with Piecewise Constant Dynamics.
Proceedings of the ARCH18. 5th International Workshop on Applied Verification of Continuous and Hybrid Systems, 2018
ARCH-COMP18 Category Report: Continuous and Hybrid Systems with Linear Continuous Dynamics.
,
,
,
,
,
,
,
,
,
,
,
Proceedings of the ARCH18. 5th International Workshop on Applied Verification of Continuous and Hybrid Systems, 2018
2017
AutoSense: A Framework for Automated Sensitivity Analysis of Program Data.
IEEE Trans. Software Eng., 2017
Exact Synthesis of Reversible Logic Circuits using Model Checking.
CoRR, 2017
ARCH-COMP17 Category Report: Bounded Model Checking of Hybrid Systems with Piecewise Constant Dynamics.
Proceedings of the ARCH17. 4th International Workshop on Applied Verification of Continuous and Hybrid Systems, 2017
ARCH-COMP17 Category Report: Continuous and Hybrid Systems with Linear Continuous Dynamics.
Proceedings of the ARCH17. 4th International Workshop on Applied Verification of Continuous and Hybrid Systems, 2017
2016
An Efficient Algorithm for Vertex Enumeration of Two-Dimensional Projection of Polytopes.
CoRR, 2016
Solving Batched Linear Programs on GPU and Multicore CPU.
CoRR, 2016
Parallel reachability analysis for hybrid systems.
Proceedings of the 2016 ACM/IEEE International Conference on Formal Methods and Models for System Design, 2016
2015
Parallel state space exploration of linear systems with inputs using XSpeed.
Proceedings of the 18th International Conference on Hybrid Systems: Computation and Control, 2015
XSpeed: Accelerating Reachability Analysis on Multi-core Processors.
Proceedings of the Hardware and Software: Verification and Testing, 2015
2014
ASAC: automatic sensitivity analysis for approximate computing.
Proceedings of the SIGPLAN/SIGBED Conference on Languages, 2014
2013
Accelerating sparse matrix-vector multiplication on GPUs using bit-representation-optimized schemes.
Proceedings of the International Conference for High Performance Computing, 2013
2012
Calcul d'Atteignabilité des systèmes hybrides avec des fonctions de support. (Reachability Analysis of Hybrid Systems using Support Functions).
PhD thesis, 2012
Flowpipe-Guard Intersection for Reachability Computations with Support Functions.
Proceedings of the 4th IFAC Conference on Analysis and Design of Hybrid Systems, 2012
2011
SpaceEx: Scalable Verification of Hybrid Systems.
Proceedings of the Computer Aided Verification - 23rd International Conference, 2011
2009
Design Principles for an Extendable Verification Tool for Hybrid Systems.
Proceedings of the 3rd IFAC Conference on Analysis and Design of Hybrid Systems, 2009