Facet browsing currently unavailable
Page 10 of 1117 results
Sort by: relevance publication year
Testing methods for X-machines: a review JOURNAL ARTICLE published March 2006 in Formal Aspects of Computing |
Statistical model checking for variability-intensive systems: applications to bug detection and minimization JOURNAL ARTICLE published December 2021 in Formal Aspects of Computing Research funded by Fonds National de la Recherche Luxembourg (C19/IS/13566661/BEEHIVE/Cordy) |
CaPiTo: protocol stacks for services JOURNAL ARTICLE published July 2011 in Formal Aspects of Computing |
A program analysis framework for tccp based on abstract interpretation JOURNAL ARTICLE published May 2017 in Formal Aspects of Computing Research funded by Agencia de Innovación y Desarrollo de Andalucía (P11-TIC-7659) | Secretaría de Estado de Investigación, Desarrollo e Innovación (TIN 2015-69175-C4-1-R,TIN 2013-45732-C4-1-P) | Generalitat Valenciana (ES) (PROMETEOII/2015/013) |
Compensation by design JOURNAL ARTICLE published July 2014 in Formal Aspects of Computing |
Experiments in program verification using Event-B JOURNAL ARTICLE published January 2012 in Formal Aspects of Computing |
A Weakness Measure for GR(1) Formulae JOURNAL ARTICLE published January 2021 in Formal Aspects of Computing |
A formal approach for detection of security flaws in the android permission system JOURNAL ARTICLE published September 2018 in Formal Aspects of Computing |
Milestones from the Pure Lisp theorem prover to ACL2 JOURNAL ARTICLE published December 2019 in Formal Aspects of Computing |
Formal Verification of Robotic Cell Injection systems up to 4-DOF using HOL Light JOURNAL ARTICLE published July 2020 in Formal Aspects of Computing |
Operational semantics of resolution and productivity in Horn clause logic JOURNAL ARTICLE published May 2017 in Formal Aspects of Computing Research funded by Engineering and Physical Sciences Research Council (EP/K031864/1-2) |
Three tokens in Herman’s algorithm JOURNAL ARTICLE published July 2012 in Formal Aspects of Computing |
Security invariants in discrete transition systems JOURNAL ARTICLE published January 2013 in Formal Aspects of Computing |
Sharp Retrenchment, Modulated Refinement and Simulation JOURNAL ARTICLE published December 1999 in Formal Aspects of Computing |
Fast Automated Abstract Machine Repair Using Simultaneous Modifications and Refactoring JOURNAL ARTICLE published 30 June 2022 in Formal Aspects of Computing |
A theory of processes with localities JOURNAL ARTICLE published March 1994 in Formal Aspects of Computing |
Processes with probabilities, priority and time JOURNAL ARTICLE published September 1994 in Formal Aspects of Computing |
Formalizing and testing the consistency of DSL transformations JOURNAL ARTICLE published April 2016 in Formal Aspects of Computing |
Editorial JOURNAL ARTICLE published July 2015 in Formal Aspects of Computing |
Editorial JOURNAL ARTICLE published January 2021 in Formal Aspects of Computing |