Works (7)
Updated: July 5th, 2023 15:59
2006 journal article
A formal methods approach to medical device review
COMPUTER, 39(4), 61-+.
TL;DR:
The research presented here applies formal modeling methods and static analysis techniques to improve the review process of the FDA's premarket review of medical device software.
(via Semantic Scholar)
Source: Web Of Science
Added: August 6, 2018
2005 chapter
An approach to unfolding asynchronous communication protocols
In I. J. H. J. Fitzgerald & A. Tarlecki (Eds.), FM 2005: Formal methods: International Symposium of Formal Methods Europe, Newcastle, UK, July 18-22, 2005: proceedings (Lecture notes in computer science ; 3582) (Vol. 3582, pp. 334–349). Berlin; New York: Springer.
Ed(s): I. J. Fitzgerald & A. Tarlecki
Source: NC State University Libraries
Added: August 6, 2018
2005 journal article
Probabilistic temporal logics via the modal mu-calculus
THEORETICAL COMPUTER SCIENCE, 342(2-3), 316–350.
author keywords: probabilistic transition systems; reactive systems; probabilistic temporal logic; model-checking; Probabilistic bisimulation
TL;DR:
A mu-calculus-based modal logic for describing properties of probabilistic labeled transition systems (PLTSs) and a model-checking algorithm for determining whether or not states in finite-state PLTSs satisfy formulas in the logic are presented.
(via Semantic Scholar)
doi.org (publisher)
UN Sustainable Development Goal Categories
11. Sustainable Cities and Communities
(Web of Science)
Source: Web Of Science
Added: August 6, 2018
2005 journal article
Simulating perfect channels with probabilistic lossy channels
INFORMATION AND COMPUTATION, 197(1-2), 22–40.
TL;DR:
This paper focuses on the model of probabilistic lossy channel systems consisting of finite-state processes that communicate over unbounded lossy FIFO channels and shows that checking whether safety properties hold with probability 1 is undecidable for this model.
(via Semantic Scholar)
UN Sustainable Development Goal Categories
11. Sustainable Cities and Communities
(Web of Science)
Source: Web Of Science
Added: August 6, 2018
2004 journal article
SAT-solving the coverability problem for Petri nets
FORMAL METHODS IN SYSTEM DESIGN, 24(1), 25–43.
author keywords: infinite state systems; Petri nets; coverability; partial-order methods; unfoldings
TL;DR:
The experiments show that the use of unfoldings, in spite of the two-step process for solving coverability, has better time and space characteristics compared to a traditional reachability based implementation that considers all interleavings for solving the coverability problem.
(via Semantic Scholar)
UN Sustainable Development Goal Categories
11. Sustainable Cities and Communities
(Web of Science)
13. Climate Action
(OpenAlex)
Source: Web Of Science
Added: August 6, 2018
2003 journal article
Well-abstracted transition systems: application to FIFO automata
INFORMATION AND COMPUTATION, 181(1), 1–31.
author keywords: infinite state systems; abstraction; symbolic representation; acceleration; protocols; FIFO automata; regular expressions; flatness
TL;DR:
This work investigates SemiLinear Regular Expressions (SLREs) as symbolic representations for FIFO automata and shows that SLREs are easy to manipulate and sufficient to represent the effect of arbitrary iterations of a loop for FIFE automata with one channel.
(via Semantic Scholar)
UN Sustainable Development Goal Categories
11. Sustainable Cities and Communities
(Web of Science)
16. Peace, Justice and Strong Institutions
(OpenAlex)
Source: Web Of Science
Added: August 6, 2018
1999 chapter
Probabilistic temporal logics via the modal mu-calculus
In Foundations of software science and computation structures: Second International Conference, FOSSACS '99 held as part of the joint European Conferences on Theory and Practice of Software, ETAPS'99, Amsterdam, The Netherlands, March 22-28, 1999: proceedings (Vol. 1578, pp. 288–305). Berlin; New York: Springer.
Source: NC State University Libraries
Added: August 6, 2018
Citation Index includes data from a number of different sources. If you have questions about the sources of data in the Citation Index or need a set of data which is free to re-distribute, please contact us.
Certain data included herein are derived from the Web of Science© and InCites© (2024) of Clarivate Analytics. All rights reserved. You may not copy or re-distribute this material in whole or in part without the prior written consent of Clarivate Analytics.
