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

Combining human error verification and timing analysis: a case study on an infusion pump

JOURNAL ARTICLE published September 2014 in Formal Aspects of Computing

Authors: Rimvydas Rukšėnas | Paul Curzon | Ann Blandford | Jonathan Back

https://doi.org/10.1007/s00165-013-0288-1 Actions

Formal Verification of a Railway Interlocking System using Model Checking

JOURNAL ARTICLE published April 1998 in Formal Aspects of Computing

Authors: A. Cimatti | F. Giunchiglia | G. Mongardi | D. Romano | F. Torielli | P. Traverso

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

The dynamic frames theory

JOURNAL ARTICLE published May 2011 in Formal Aspects of Computing

Authors: I. T. Kassios

https://doi.org/10.1007/s00165-010-0152-5 Actions

JMLKelinci+: Detecting Semantic Bugs and Covering Branches with Valid Inputs Using Coverage-guided Fuzzing and Runtime Assertion Checking

JOURNAL ARTICLE published 31 March 2024 in Formal Aspects of Computing

Research funded by NSF (1901136)

Authors: Amirfarhad Nilizadeh | Gary T. Leavens | Corina S. Păsăreanu | Yannic Noller

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

The stream-based service-centred calculus: a foundation for service-oriented programming

JOURNAL ARTICLE published September 2014 in Formal Aspects of Computing

Authors: Luís Cruz-Filipe | Ivan Lanese | Francisco Martins | António Ravara | Vasco Thudichum Vasconcelos

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

A modeling and verification framework for optical quantum circuits

JOURNAL ARTICLE published June 2019 in Formal Aspects of Computing

Authors: Sidi Mohamed Beillahi | Mohamed Yousri Mahmoud | Sofiène Tahar

https://doi.org/10.1007/s00165-019-00480-5 Actions

Edmund M. Clarke, Thomas A. Henzinger, Helmut Veith, and Roderick Bloem (eds):Handbook of model checking

JOURNAL ARTICLE published August 2019 in Formal Aspects of Computing

Authors: Igor Konnov

https://doi.org/10.1007/s00165-019-00486-z Actions

Preserving correctness during business process model configuration

JOURNAL ARTICLE published May 2010 in Formal Aspects of Computing

Authors: Wil M. P. van der Aalst | Marlon Dumas | Florian Gottschalk | Arthur H. M. ter Hofstede | Marcello La Rosa | Jan Mendling

https://doi.org/10.1007/s00165-009-0112-0 Actions

When is partial trace equivalence adequate?

JOURNAL ARTICLE published May 1994 in Formal Aspects of Computing

Authors: Bard Bloom

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

Probabilistic verification of Herman’s self-stabilisation algorithm

JOURNAL ARTICLE published July 2012 in Formal Aspects of Computing

Authors: Marta Kwiatkowska | Gethin Norman | David Parker

https://doi.org/10.1007/s00165-012-0227-6 Actions

Birkhoff style calculi for hybrid logics

JOURNAL ARTICLE published September 2017 in Formal Aspects of Computing

Research funded by Ministry of Education, Culture, Sports, Science, and Technology (JP) (16812096)

Authors: Daniel Găină

https://doi.org/10.1007/s00165-016-0414-y Actions

The relation between preset distinguishing sequences and synchronizing sequences

JOURNAL ARTICLE published November 2014 in Formal Aspects of Computing

Authors: Canan Güniçen | Kemal İnan | Uraz Cengiz Türker | Hüsnü Yenigün

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

An explicit transition system construction approach to LTL satisfiability checking

JOURNAL ARTICLE published March 2018 in Formal Aspects of Computing

Research funded by National Natural Science Foundation of China (91118007,61021004,61361136002) | National Science Foundation (CNS 1049862)

Authors: Jianwen Li | Lijun Zhang | Shufang Zhu | Geguang Pu | Moshe Y. Vardi | Jifeng He

https://doi.org/10.1007/s00165-017-0442-2 Actions

Maximal incompleteness as obfuscation potency

JOURNAL ARTICLE published January 2017 in Formal Aspects of Computing

Authors: Roberto Giacobazzi | Isabella Mastroeni | Mila Dalla Preda

https://doi.org/10.1007/s00165-016-0374-2 Actions

Toward automatic verification of quantum programs

JOURNAL ARTICLE published 12 February 2019 in Formal Aspects of Computing

Research funded by Australian Research Council (DP160101652)

Authors: Mingsheng Ying

https://doi.org/10.1007/s00165-018-0465-3 Actions

Formal Aspects of Correctness and Optimality of Interval Computations

JOURNAL ARTICLE published June 2006 in Formal Aspects of Computing

Authors: Regivan H. Nunes Santiago | Benjamín R. Callejas Bedregal | Benedito Melo Acióly

https://doi.org/10.1007/s00165-006-0089-x Actions

Parametric probabilistic transition systems for system design and analysis

JOURNAL ARTICLE published March 2007 in Formal Aspects of Computing

Authors: Ruggero Lanotte | Andrea Maggiolo-Schettini | Angelo Troina

https://doi.org/10.1007/s00165-006-0015-2 Actions

Testing methods for X-machines: a review

JOURNAL ARTICLE published March 2006 in Formal Aspects of Computing

Authors: K. Bogdanov | M. Holcombe | F. Ipate | L. Seed | S. Vanak

https://doi.org/10.1007/s00165-005-0085-6 Actions

Probabilistic Bigraphs

JOURNAL ARTICLE published 30 June 2022 in Formal Aspects of Computing

Research funded by Engineering and Physical Sciences Research Council (EP/N007565/1) | S4: Science of Sensor Systems Software, and by PETRAS SRF (EP/S035362/1)

Authors: Blair Archibald | Muffy Calder | Michele Sevegnani

https://doi.org/10.1145/3545180 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
Feedback: support@crossref.org