| A Patient-Centric Nurse Scheduling Algorithm. | 0 | 0.34 | 2022 |
| ALEA - An Anonymous Leader Election Algorithm for Synchronous Distributed Systems. | 0 | 0.34 | 2021 |
| Twinning automata and regular expressions for string static analysis | 0 | 0.34 | 2021 |
| Sentence Embedding Models for Similarity Detection of Software Requirements. | 1 | 0.35 | 2021 |
| Generation of Safety and Liveness Complaint Automata from Goal Model Specifications | 0 | 0.34 | 2020 |
| Legodroid: A Type-Driven Library for Android and LEGO Mindstorms Interoperability. | 0 | 0.34 | 2020 |
| From CIL to Java bytecode: Semantics-based translation for static analysis leveraging | 0 | 0.34 | 2020 |
| Cross-Programming Language Taint Analysis for the IoT Ecosystem. | 0 | 0.34 | 2019 |
| Replaceability and negotiation in a cloud service ecosystem | 0 | 0.34 | 2019 |
| Network Reconnaissance and Vulnerability Excavation of Secure DDS Systems | 0 | 0.34 | 2019 |
| Preventing Additive Attacks To Relational Database Watermarking | 0 | 0.34 | 2019 |
| Type-Driven Cross-Programming for Android and LEGO Mindstorms Interoperability. | 0 | 0.34 | 2019 |
| Geographic Location Based Dynamic and Opportunistic RPL for Distributed Networks. | 0 | 0.34 | 2019 |
| String Abstraction for Model Checking of C Programs. | 0 | 0.34 | 2019 |
| CIL to Java-bytecode translation for static analysis leveraging. | 0 | 0.34 | 2018 |
| Combining Symbolic and Numerical Domains for Information Leakage Analysis. | 0 | 0.34 | 2018 |
| Metacasanova: an optimized meta-compiler for domain-specific languages. | 0 | 0.34 | 2017 |
| Blockchain Transaction Analysis Using Dominant Sets. | 2 | 0.37 | 2017 |
| Wifi-Related Energy Consumption Analysis Of Mobile Devices In A Walkable Area By Abstract Interpretation | 1 | 0.39 | 2017 |
| Rolap Based Data Warehouse Schema To Xml Schema Conversion | 0 | 0.34 | 2016 |
| Data Leakage Analysis of the Hibernate Query Language on a Propositional Formulae Domain. | 1 | 0.35 | 2016 |
| DAPA: Degradation-Aware Privacy Analysis of Android Apps. | 5 | 0.45 | 2016 |
| Building Game Scripting DSL's with the Metacasanova Metacompiler. | 1 | 0.36 | 2016 |
| A uniform representation of multi-variant data in intensive-query databases. | 1 | 0.34 | 2016 |
| Materialized View Construction Using Linearizable Nonlinear Regression | 0 | 0.34 | 2015 |
| The abstract domain of Trapezoid Step Functions | 1 | 0.36 | 2015 |
| A suite of abstract domains for static analysis of string values | 8 | 0.51 | 2015 |
| Casanova: A Simple, High-Performance Language for Game Development | 3 | 0.49 | 2015 |
| Verification of Hibernate Query Language by Abstract Interpretation. | 1 | 0.35 | 2015 |
| Information leakage analysis of database query languages | 5 | 0.45 | 2014 |
| Information-Flow Analysis of Hibernate Query Language. | 1 | 0.35 | 2014 |
| A New Intrusion Prevention System for Protecting Smart Grids from ICMPv6 Vulnerabilities. | 1 | 0.37 | 2014 |
| Static analysis techniques for robotics software verification | 1 | 0.43 | 2013 |
| Abstract program slicing on dependence condition graphs. | 1 | 0.35 | 2013 |
| Abstract Interpretation of Recursive Queries. | 5 | 0.46 | 2013 |
| The Domain of Parametric Hypercubes for Static Analysis of Computer Games Software. | 1 | 0.35 | 2013 |
| Modeling the Bullwhip effect in a multi-stage multi-tier retail network by Generalized Stochastic Petri nets | 0 | 0.34 | 2013 |
| A new scale for attribute dependency in large database systems | 4 | 0.48 | 2012 |
| Tukra: An Abstract Program Slicing Tool. | 0 | 0.34 | 2012 |
| SAILS: static analysis of information leakage with sample | 18 | 0.69 | 2012 |
| Engaging high school students in computer science via challenging applications | 1 | 0.35 | 2011 |
| Cooperative query answering by abstract interpretation | 10 | 0.63 | 2011 |
| Widening and narrowing operators for abstract interpretation | 21 | 0.90 | 2011 |
| Typing Legacy COBOL Code. | 0 | 0.34 | 2011 |
| Static analysis of string values | 17 | 0.67 | 2011 |
| Information leakage analysis by abstract interpretation | 8 | 0.51 | 2011 |
| KPI-spported PDCA model for innovation policy management in local government | 0 | 0.34 | 2011 |
| Dependence condition graph for semantics-based abstract program slicing | 1 | 0.35 | 2010 |
| Watermarking Techniques for Relational Databases: Survey, Classification and Comparison | 27 | 1.07 | 2010 |
| Non-repudiation analysis using LySa with annotations | 1 | 0.36 | 2010 |
