Cryptoscope: Analyzing cryptographic usages in modern software.
CoRR, March, 2025
On Defining Rules for Cancer Data Fabrication.
Proceedings of the Rules and Reasoning - 4th International Joint Conference, 2020
Solving Constraint Satisfaction Problems Containing Vectors of Unknown Size.
Proceedings of the Principles and Practice of Constraint Programming, 2017
Guaranteeing High Availability Goals for Virtual Machine Placement.
Proceedings of the 2011 International Conference on Distributed Computing Systems, 2011
Ontology-Based Tools in the Service of Hardware Verification.
Proceedings of the 22nd International Conference on Software Engineering & Knowledge Engineering (SEKE'2010), Redwood City, San Francisco Bay, CA, USA, July 1, 2010
An ontology and constraint based approach to cache preloading.
Proceedings of the IEEE International High Level Design Validation and Test Workshop, 2010
A generic micro-architectural test plan approach for microprocessor verification.
Proceedings of the 42nd Design Automation Conference, 2005
Micro-Architecture Verification for Microprocessors.
Proceedings of the Fifth International Workshop on Microprocessor Test and Verification (MTV 2004), 2004
Piparazzi: a test program generator for micro-architecture flow verification.
Proceedings of the Eighth IEEE International High-Level Design Validation and Test Workshop 2003, 2003
Using a constraint satisfaction formulation and solution techniques for random test program generation.
IBM Syst. J., 2002
Generating Random Solutions for Constraint Satisfaction Problems.
Proceedings of the Eighteenth National Conference on Artificial Intelligence and Fourteenth Conference on Innovative Applications of Artificial Intelligence, July 28, 2002