Facet browsing currently unavailable
Page 3 of 1121 results
Sort by: relevance publication year
A compositional automata-based semantics and preserving transformation rules for testing property patterns JOURNAL ARTICLE published July 2015 in Formal Aspects of Computing |
Time-budgeting : a component based development methodology for real-time embedded systems JOURNAL ARTICLE published May 2014 in Formal Aspects of Computing |
Discovery of invariants through automated theory formation JOURNAL ARTICLE published March 2014 in Formal Aspects of Computing |
A Refinement Strategy for Circus JOURNAL ARTICLE published November 2003 in Formal Aspects of Computing |
Editorial JOURNAL ARTICLE published April 2016 in Formal Aspects of Computing |
The Humble Humorous Researcher: A Tribute to Michel Sintzoff JOURNAL ARTICLE published May 2011 in Formal Aspects of Computing |
Infinite Concurrent Systems — I. The Relationship between Metric and Order Convergence JOURNAL ARTICLE published December 1994 in Formal Aspects of Computing |
Constraint logic programming with a relational machine JOURNAL ARTICLE published January 2017 in Formal Aspects of Computing Research funded by Comunidad de Madrid (S2013/ICE-2731) | MINECO (TIN2012-39391-C04-03 (StrongSoft)) | ANR (Feever) |
Kaisa Sere: In Memoriam JOURNAL ARTICLE published March 2014 in Formal Aspects of Computing |
Bernhard Steffen, Oliver R¨uthing, and MichaelHuth: Mathematical Foundations of Advanced Informatics—Volume 1: Inductive Approaches JOURNAL ARTICLE published November 2019 in Formal Aspects of Computing |
A Refinement-based Formal Development of Cyber-physical Railway Signalling Systems JOURNAL ARTICLE published 31 March 2023 in Formal Aspects of Computing Research funded by EPSRC STRATA platform (EP/N023641/1) | Air Force Office of Scientific Research (FA2386-17-1-4065) | DISCONT Project of the French National Research Agency (ANR-17-CE25-0005) |
Case Study: Formal Verification of a Computerized Railway Interlocking JOURNAL ARTICLE published April 1998 in Formal Aspects of Computing |
On the Interactive Power of Higher-order Processes Extended with Parameterization JOURNAL ARTICLE published March 2021 in Formal Aspects of Computing Research funded by National Natural Science Foundation of China (61872142) | National Natural Science Foundation of China (61772336) | National Natural Science Foundation of China (61572318) |
Cut branches before looking for bugs: certifiably sound verification on relaxed slices JOURNAL ARTICLE published January 2018 in Formal Aspects of Computing |
Compositional Verification of Railway Interlocking Systems JOURNAL ARTICLE published 31 March 2023 in Formal Aspects of Computing |
Synthesizing bounded-time 2-phase fault recovery JOURNAL ARTICLE published January 2015 in Formal Aspects of Computing |
Introducing extra operations in refinement JOURNAL ARTICLE published March 2014 in Formal Aspects of Computing |
Model checking RAISE applicative specifications JOURNAL ARTICLE published May 2013 in Formal Aspects of Computing |
Preface JOURNAL ARTICLE published January 2013 in Formal Aspects of Computing |
Relating trace refinement and linearizability JOURNAL ARTICLE published November 2017 in Formal Aspects of Computing Research funded by Australian Research Council (DP160102457,DP130102901) |