A multi-objective cuckoo search algorithm using generalized Lèvy flight and dissimilar egg identification for multispectral image thresholding.
Appl. Soft Comput., 2025
Device-independent quantum secure direct communication under non-Markovian quantum channels.
Quantum Inf. Process., May, 2024
Achieving high coverage in hardware equivalence checking via concolic verification.
Formal Methods Syst. Des., 2022
High Coverage Concolic Equivalence Checking.
Proceedings of the Design, Automation & Test in Europe Conference & Exhibition, 2019
Efficient uninterpreted function abstraction and refinement for word-level model checking.
Proceedings of the 2016 Formal Methods in Computer-Aided Design, 2016
Modified shuffled frog leaping algorithm with genetic algorithm crossover for solving economic load dispatch problem with valve-point effect.
Appl. Soft Comput., 2013
SimCheck: a contract type system for Simulink.
Innov. Syst. Softw. Eng., 2011
Magnifying Lens Abstraction for Stochastic Games with Discounted and Long-run Average Objectives
CoRR, 2011
Pessoa 2.0: a controller synthesis tool for cyber-physical systems.
Proceedings of the 14th ACM International Conference on Hybrid Systems: Computation and Control, 2011
Solving games via three-valued abstraction refinement.
Inf. Comput., 2010
Safety-Guarantee Controller Synthesis for Cyber-Physical Systems
CoRR, 2010
Interface Building for Software by Modular Three-Valued Abstraction Refinement.
CoRR, 2010
SimCheck: An Expressive Type System for Simulink.
Proceedings of the Second NASA Formal Methods Symposium, 2010
Symbolic Magnifying Lens Abstraction in Markov Decision Processes.
Proceedings of the Fifth International Conference on the Quantitative Evaluaiton of Systems (QEST 2008), 2008
Adapting Futures: Scalability for Real-World Computing.
Proceedings of the 28th IEEE Real-Time Systems Symposium (RTSS 2007), 2007
Magnifying-Lens Abstraction for Markov Decision Processes.
Proceedings of the Computer Aided Verification, 19th International Conference, 2007
Online Testing with Reinforcement Learning.
Proceedings of the Formal Approaches to Software Testing and Runtime Verification, 2006
Ticc: A Tool for Interface Compatibility and Composition.
Proceedings of the Computer Aided Verification, 18th International Conference, 2006
Proceedings of the Frontiers of Combining Systems, 5th International Workshop, 2005