Metadata Search Funding Data Link References Status API Help
Facet browsing currently unavailable
Page 3 of 1117 results
Sort by: relevance publication year
Showing results for ISSN matching 0934-5043

Editorial

JOURNAL ARTICLE published December 1994 in Formal Aspects of Computing

Authors: John Cooke

https://doi.org/10.1007/bf03259386 Actions

A compositional automata-based semantics and preserving transformation rules for testing property patterns

JOURNAL ARTICLE published July 2015 in Formal Aspects of Computing

Authors: Safouan Taha | Jacques Julliand | Frédéric Dadeau | Kalou Cabrera Castillos | Bilal Kanso

https://doi.org/10.1007/s00165-014-0328-5 Actions

Time-budgeting : a component based development methodology for real-time embedded systems

JOURNAL ARTICLE published May 2014 in Formal Aspects of Computing

Authors: Manoj G. Dixit | S. Ramesh | Pallab Dasgupta

https://doi.org/10.1007/s00165-012-0273-0 Actions

Discovery of invariants through automated theory formation

JOURNAL ARTICLE published March 2014 in Formal Aspects of Computing

Authors: Maria Teresa Llano | Andrew Ireland | Alison Pease

https://doi.org/10.1007/s00165-012-0264-1 Actions

A Refinement Strategy for Circus

JOURNAL ARTICLE published November 2003 in Formal Aspects of Computing

Authors: Ana Cavalcanti | Augusto Sampaio | Jim Woodcock

https://doi.org/10.1007/s00165-003-0006-5 Actions

Editorial

JOURNAL ARTICLE published April 2016 in Formal Aspects of Computing

Authors: Dimitra Giannakopoulou | Gwen Salaün | Michael Butler

https://doi.org/10.1007/s00165-016-0368-0 Actions

The Humble Humorous Researcher: A Tribute to Michel Sintzoff

JOURNAL ARTICLE published May 2011 in Formal Aspects of Computing

Authors: Axel van Lamsweerde

https://doi.org/10.1007/s00165-011-0176-5 Actions

Infinite Concurrent Systems — I. The Relationship between Metric and Order Convergence

JOURNAL ARTICLE published December 1994 in Formal Aspects of Computing

Authors: Mike Stannett

https://doi.org/10.1007/bf03259393 Actions

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)

Authors: Emilio Jesús Gallego Arias | James Lipton | Julio Mariño

https://doi.org/10.1007/s00165-016-0369-z Actions

Kaisa Sere: In Memoriam

JOURNAL ARTICLE published March 2014 in Formal Aspects of Computing

Authors: Luigia Petre | Elena Troubitsyna | Marina Waldén

https://doi.org/10.1007/s00165-013-0292-5 Actions

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

Authors: Greg Michaelson

https://doi.org/10.1007/s00165-019-00496-x Actions

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)

Authors: Yamine Aït-Ameur | Sergiy Bogomolov | Guillaume Dupont | Alexei Iliasov | Alexander Romanovsky | Paulius Stankaitis

https://doi.org/10.1145/3524052 Actions

Theoretical and Practical Approaches to the Denotational Semantics for MDESL based on UTP

JOURNAL ARTICLE published July 2020 in Formal Aspects of Computing

Research funded by National Natural Science Foundation of China (61872145) | National Key Research and Development Program of China (2018YFB2101300)

Authors: Feng Sheng | Huibiao Zhu | Jifeng He | Zongyuan Yang | Jonathan P. Bowen

https://doi.org/10.1007/s00165-020-00513-4 Actions

Case Study: Formal Verification of a Computerized Railway Interlocking

JOURNAL ARTICLE published April 1998 in Formal Aspects of Computing

Authors: Arne Borälv

https://doi.org/10.1007/s001650050021 Actions

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)

Authors: Wenbo Zhang | Xian Xu | Qiang Yin | Huan Long

https://doi.org/10.1007/s00165-020-00524-1 Actions

Cut branches before looking for bugs: certifiably sound verification on relaxed slices

JOURNAL ARTICLE published January 2018 in Formal Aspects of Computing

Authors: Jean-Christophe Léchenet | Nikolai Kosmatov | Pascale Le Gall

https://doi.org/10.1007/s00165-017-0439-x Actions

Compositional Verification of Railway Interlocking Systems

JOURNAL ARTICLE published 31 March 2023 in Formal Aspects of Computing

Authors: Anne Elisabeth Haxthausen | Alessandro Fantechi

https://doi.org/10.1145/3549736 Actions

Synthesizing bounded-time 2-phase fault recovery

JOURNAL ARTICLE published January 2015 in Formal Aspects of Computing

Authors: Borzoo Bonakdarpour | Sandeep S. Kulkarni

https://doi.org/10.1007/s00165-014-0325-8 Actions

Introducing extra operations in refinement

JOURNAL ARTICLE published March 2014 in Formal Aspects of Computing

Authors: Eerke A. Boiten

https://doi.org/10.1007/s00165-012-0266-z Actions

Model checking RAISE applicative specifications

JOURNAL ARTICLE published May 2013 in Formal Aspects of Computing

Authors: Juan I. Perna | Chris George

https://doi.org/10.1007/s00165-011-0217-0 Actions
Feedback: support@crossref.org