On the public citation graph

From Verification to Implementation: A Model Translation Tool and a Pacemaker Case Study

https://doi.org/10.1109/rtas.2012.25

0 signed · 75 inferred · view as graph

Inferred edges come from two machine sources: sweeps of open repository metadata (mostly SSRN and Zenodo), and a bulk OpenAlex citation snapshot. Every row below is labelled with the one it came from. Neither is a complete citation index — absence here is not evidence of absence.

Is this your work? Sign in with ORCID and put your name on the claims that are yours.

Claim with ORCID

Reference health. See whether every reference in this work resolves to a known work and none has been retracted — and get a dated CiteStamped badge you can embed.

See reference health

What this work says

Outgoing claims: the papers this work cites, builds on, or argues with.

inferredcites →https://doi.org/10.1002/9780470750728openalex-snapshot

Cardiac Pacemakers Step by Step

inferredcites →https://doi.org/10.1007/11603009_21openalex-snapshot

Implementation of Timed Automata: An Issue of Semantics or Modeling?

inferredcites →https://doi.org/10.1007/3-540-55719-9_103openalex-snapshot

What good are digital clocks?

inferredcites →https://doi.org/10.1007/978-3-540-30080-9_7openalex-snapshot

A Tutorial on Uppaal

inferredcites →https://doi.org/10.1007/978-3-540-40903-8_6openalex-snapshot

TIMES: A Tool for Schedulability Analysis and Code Generation of Real-Time Systems

inferredcites →https://doi.org/10.1007/978-3-642-28756-5_14openalex-snapshot

Modeling and Verification of a Dual Chamber Implantable Pacemaker

inferredcites →https://doi.org/10.1007/s10009-007-0049-7openalex-snapshot

An operational semantics for Stateflow

inferredcites →https://doi.org/10.1007/s100090050010openalex-snapshot

Uppaal in a nutshell

inferredcites →https://doi.org/10.1016/0304-3975(94)00202-topenalex-snapshot

The algorithmic analysis of hybrid systems

inferredcites →https://doi.org/10.1109/jproc.2011.2161241openalex-snapshot

Cyber–Physical Modeling of Implantable Cardiac Medical Devices

inferredcites →https://doi.org/10.1109/mc.2006.127openalex-snapshot

High-Confidence Medical Device Software and Systems

inferredcites →https://doi.org/10.1109/mc.2006.180openalex-snapshot

The Problem with Threads

inferredcites →https://doi.org/10.1145/1017753.1017795openalex-snapshot

Defining and translating a "safe" subset of simulink/stateflow into lustre

inferredcites →https://doi.org/10.1145/225014.225019openalex-snapshot

Testing real-time constraints in a process algebraic setting

What points at this work

Incoming claims: where this work appears in other papers’ reference lists and arguments.

inferred← citeshttps://doi.org/10.1002/smr.1943openalex-snapshot

A systematic literature review of the use of formal methods in medical software systems

inferred← citeshttps://doi.org/10.1007/978-3-030-64991-3_6openalex-snapshot

Model-Based Analysis of Secure and Patient-Dependent Pacemaker Monitoring System

inferred← citeshttps://doi.org/10.1007/978-3-319-08867-9_25openalex-snapshot

Invariant Verification of Nonlinear Hybrid Automata Networks of Cardiac Cells

inferred← citeshttps://doi.org/10.1007/978-3-319-22689-7_33openalex-snapshot

On the Probabilistic Verification of Time Constrained SysML State Machines

inferred← citeshttps://doi.org/10.1007/978-3-642-28756-5_14openalex-snapshot

Modeling and Verification of a Dual Chamber Implantable Pacemaker

inferred← citeshttps://doi.org/10.1007/978-3-662-45231-8_26openalex-snapshot

Compositional, Approximate, and Quantitative Reasoning for Medical Cyber-Physical Systems with Application to Patient-Specific Cardiac Dynamics and Devices

inferred← citeshttps://doi.org/10.1007/978-4-431-54436-4_1openalex-snapshot

On Generating Soft Real-Time Programs for Non-Real-Time Environments

inferred← citeshttps://doi.org/10.1007/978-981-97-2614-1_21openalex-snapshot

Survey on Cyber-Security for Healthcare System

inferred← citeshttps://doi.org/10.1007/s10009-013-0289-7openalex-snapshot

Closed-loop verification of medical devices with model abstraction and refinement

inferred← citeshttps://doi.org/10.1007/s10009-017-0458-1openalex-snapshot

Hybrid automata: from verification to implementation

inferred← citeshttps://doi.org/10.1007/s10270-017-0581-1openalex-snapshot

Synthesis of verifiable concurrent Java components from formal models

inferred← citeshttps://doi.org/10.1007/s10270-026-01381-xopenalex-snapshot

SMOKE2.0 whitebox anonymization of sensitive information in Simulink with structure preservation

inferred← citeshttps://doi.org/10.1016/j.cola.2020.100972openalex-snapshot

Applications of model-driven engineering in cyber-physical systems: A systematic mapping study

inferred← citeshttps://doi.org/10.1016/j.compbiomed.2019.103576openalex-snapshot

A novel approach for model-based design of gastric pacemakers

inferred← citeshttps://doi.org/10.1016/j.ic.2014.01.014openalex-snapshot

Quantitative verification of implantable cardiac pacemakers over hybrid heart models

inferred← citeshttps://doi.org/10.1049/sfw2.12128openalex-snapshot

Formal verification of a telerehabilitation system through an abstraction and refinement approach using Uppaal

inferred← citeshttps://doi.org/10.1088/1741-2552/abc7f0openalex-snapshot

NeuroDAC: an open-source arbitrary biosignal waveform generator

inferred← citeshttps://doi.org/10.1109/access.2019.2899761openalex-snapshot

Real-Time System Modeling and Verification Through Labeled Transition System Analyzer

inferred← citeshttps://doi.org/10.1109/access.2021.3068358openalex-snapshot

Model-Driven Engineering Tools and Languages for Cyber-Physical Systems–A Systematic Literature Review

inferred← citeshttps://doi.org/10.1109/comsnets.2016.7440015openalex-snapshot

Three challenges in cyber-physical systems

inferred← citeshttps://doi.org/10.1109/cse.2013.99openalex-snapshot

Utilizing Intervals in Component-Based Design of Cyber Physical Systems

inferred← citeshttps://doi.org/10.1109/iccps.2012.42openalex-snapshot

Demo Abstract: Model-Based Testing of Implantable Cardiac Devices

inferred← citeshttps://doi.org/10.1109/iccps.2013.6604031openalex-snapshot

Poster abstract: Formal analysis of fresenius infusion pump (FIP)

inferred← citeshttps://doi.org/10.1109/iccps.2014.6843718openalex-snapshot

Linking abstract analysis to concrete design: A hierarchical approach to verify medical CPS safety

inferred← citeshttps://doi.org/10.1109/ichi.2014.11openalex-snapshot

Formal Modelling and Validation of Rate-Adaptive Pacemakers

inferred← citeshttps://doi.org/10.1109/isps.2015.7245001openalex-snapshot

A probabilistic and timed verification approach of SysML state machine diagram

inferred← citeshttps://doi.org/10.1109/jbhi.2019.2947007openalex-snapshot

Closing the Loop: Validation of Implantable Cardiac Devices With Computational Heart Models

inferred← citeshttps://doi.org/10.1109/jsyst.2014.2322503openalex-snapshot

Design Techniques and Applications of Cyberphysical Systems: A Survey

inferred← citeshttps://doi.org/10.1109/les.2015.2494459openalex-snapshot

Towards the Trustworthy Development of Active Medical Devices: A Hemodialysis Case Study

inferred← citeshttps://doi.org/10.1109/memcod.2015.7340474openalex-snapshot

Hierarchical multi-formalism proofs of cyber-physical systems

inferred← citeshttps://doi.org/10.1109/rtas.2016.7461337openalex-snapshot

From Stateflow Simulation to Verified Implementation: A Verification Approach and A Real-Time Train Controller Design

inferred← citeshttps://doi.org/10.1109/snpd.2012.115openalex-snapshot

A Model-Based Approach to Constructing Safe Soft Real-Time Programs for Non-Real-Time Environments

inferred← citeshttps://doi.org/10.1109/sp.2014.40openalex-snapshot

SoK: Security and Privacy in Implantable Medical Devices and Body Area Networks

inferred← citeshttps://doi.org/10.1109/tbme.2019.2917212openalex-snapshot

Cardiac Electrical Modeling for Closed-Loop Validation of Implantable Devices

inferred← citeshttps://doi.org/10.1109/tii.2012.2226594openalex-snapshot

Model-Driven Safety Analysis of Closed-Loop Medical Systems

inferred← citeshttps://doi.org/10.1145/2502524.2502537openalex-snapshot

A low complexity coordination architecture for networked supervisory medical systems

inferred← citeshttps://doi.org/10.1145/2502524.2502572openalex-snapshot

Formal analysis of Fresenius infusion pump (FIP)

inferred← citeshttps://doi.org/10.1145/2584651openalex-snapshot

Safety-critical medical device development using the UPP2SF model translation tool

inferred← citeshttps://doi.org/10.1145/2642937.2642938openalex-snapshot

Automated domain-specific C verification with mbeddr

inferred← citeshttps://doi.org/10.1145/2656045.2656048openalex-snapshot

Blaming in component-based real-time systems

inferred← citeshttps://doi.org/10.1145/3019612.3019681openalex-snapshot

Synthesis of ada code from graph-based task models

inferred← citeshttps://doi.org/10.1145/3078623openalex-snapshot

Dependable Model-driven Development of CPS

inferred← citeshttps://doi.org/10.1145/3152767openalex-snapshot

Closed-Loop Quantitative Verification of Rate-Adaptive Pacemakers

inferred← citeshttps://doi.org/10.1145/3357495.3357499openalex-snapshot

Towards a test and validation framework for closed-loop physiology management systems for critical and perioperative care

inferred← citeshttps://doi.org/10.1145/3623503openalex-snapshot

Proceedings of the 9th ACM SIGPLAN International Workshop on Formal Techniques for Safety-Critical Systems

inferred← citeshttps://doi.org/10.1145/3623503.3623536openalex-snapshot

Formal Verification of a Mechanical Ventilator using UPPAAL

inferred← citeshttps://doi.org/10.1155/2015/272869openalex-snapshot

A Cognitive-Radio-Based Method for Improving Availability in Body Sensor Networks

inferred← citeshttps://doi.org/10.1155/2015/939028openalex-snapshot

A Formal Verification Methodology for DDD Mode Pacemaker Control Programs

inferred← citeshttps://doi.org/10.15588/1607-3274-2020-3-5openalex-snapshot

ANALYSIS OF APPROACHES TO THE SIMULATION AND VERIFICATION OF CYBER-PHYSICAL SYSTEMS

inferred← citeshttps://doi.org/10.1561/9781680830699openalex-snapshot

High-Confidence Medical Device Software Development

inferred← citeshttps://doi.org/10.20868/upm.thesis.57809openalex-snapshot

A Model Driven Methodology for the Construction of Reliable Concurrent Software

inferred← citeshttps://doi.org/10.25100/iyc.v25isuplemento.13144openalex-snapshot

Applying parallelism to a bisimulation algorithm to improve efficiency in software testing of time-critical systems

inferred← citeshttps://doi.org/10.3384/ecp12076365openalex-snapshot

A Modelica Library for Real-Time Coordination Modeling

inferred← citeshttps://doi.org/10.3384/ecp12076765openalex-snapshot

Generating Functional Mockup Units from Software Specifications

inferred← citeshttps://doi.org/10.34961/3542openalex-snapshot

Utilizing multicore architectures to enhance software verification in real-time embedded systems

inferred← citeshttps://doi.org/10.3850/9783981537079_0190openalex-snapshot

Requirements-Centric Closed-Loop Validation of Implantable Cardiac Devices

inferred← citeshttps://doi.org/10.3990/1.9789036543590openalex-snapshot

Automated performance evaluation of service-oriented systems

inferred← citeshttps://doi.org/10.4230/oasics.mcps.2014.80openalex-snapshot

A Domain Specific Language for Performance Evaluation of Medical Imaging Systems

inferred← citeshttps://doi.org/10.48550/arxiv.1909.10493openalex-snapshot

Formalism for Supporting the Development of Verifiably Safe Medical Guidelines with Statecharts

inferred← citeshttps://doi.org/10.48550/arxiv.2103.08644openalex-snapshot

A Systematic Literature Review on Model-driven Engineering for Cyber-Physical Systems

inferred← citeshttps://doi.org/10.70675/5102e5e1zc5a3z454ezb76cz14a4520c0cb1openalex-snapshot

Using timed automata formalism for modeling and analyzing home care plans

Editorial review for independent work. ICSAC — the Institute for Complexity Science and Advanced Computing — runs a structured editorial panel for researchers publishing outside journals, and publishes on CiteStamp rails. Submission is free and goes through ORCID: icsacinstitute.org/submit.