On the public citation graph
Hybrid Input-Output Conformance and Test Generation
0 signed · 38 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.
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.
What this work says
Outgoing claims: the papers this work cites, builds on, or argues with.
inferredcites →https://doi.org/10.1007/11940197_5openalex-snapshot
Hybrid Input-Output Conformance and Test Generation
inferredcites →https://doi.org/10.1007/3-540-45449-7_2openalex-snapshot
Hierarchical Hybrid Modeling of Embedded Systems
inferredcites →https://doi.org/10.1007/3-540-48320-9_6openalex-snapshot
Testing Concurrent Systems: A Formal Approach
inferredcites →https://doi.org/10.1007/3-540-63166-6_48openalex-snapshot
HyTech: A model checker for hybrid systems
inferredcites →https://doi.org/10.1007/978-3-540-24732-6_8openalex-snapshot
Black-Box Conformance Testing for Real-Time Systems
inferredcites →https://doi.org/10.1007/978-3-540-31848-4_1openalex-snapshot
Test Generation Based on Symbolic Specifications
inferredcites →https://doi.org/10.1007/978-3-540-31848-4_5openalex-snapshot
A Test Generation Framework for quiescent Real-Time Systems
inferredcites →https://doi.org/10.1007/978-3-540-31848-4_6openalex-snapshot
Online Testing of Real-time Systems Using Uppaal
inferredcites →https://doi.org/10.1016/j.jlap.2005.10.005openalex-snapshot
Syntax and consistent equation semantics of hybrid Chi
inferredcites →https://doi.org/10.1109/iri.2004.1431509openalex-snapshot
Specification-based testing with linear temporal logic
What points at this work
Incoming claims: where this work appears in other papers’ reference lists and arguments.
inferred← citeshttps://doi.org/10.1007/978-3-030-50086-3_4openalex-snapshot
Conformance-Based Doping Detection for Cyber-Physical Systems
inferred← citeshttps://doi.org/10.1007/978-3-032-12086-1_7openalex-snapshot
Executable Conformance Testing Theories: From Theory to Practice and Back
inferred← citeshttps://doi.org/10.1007/978-3-319-25150-9_32openalex-snapshot
A Tool Prototype for Model-Based Testing of Cyber-Physical Systems
inferred← citeshttps://doi.org/10.1007/978-3-642-24580-0_9openalex-snapshot
Monitoring Dynamical Signals While Testing Timed Aspects of a System
inferred← citeshttps://doi.org/10.1007/s00165-017-0440-4openalex-snapshot
Model-based testing of probabilistic systems
inferred← citeshttps://doi.org/10.1016/j.entcs.2009.09.051openalex-snapshot
Conformance Testing of Hybrid Systems with Qualitative Reasoning Models
inferred← citeshttps://doi.org/10.1016/j.robot.2023.104426openalex-snapshot
Implementation relations and testing for cyclic systems: Adding probabilities
inferred← citeshttps://doi.org/10.1016/j.scico.2017.07.002openalex-snapshot
Sound conformance testing for cyber-physical systems: Theory and implementation
inferred← citeshttps://doi.org/10.1016/j.tcs.2011.12.072openalex-snapshot
A formal abstract framework for modelling and testing complex software systems
inferred← citeshttps://doi.org/10.1109/codit.2019.8820518openalex-snapshot
A theoretical framework for testing cyber-physical systems
inferred← citeshttps://doi.org/10.1109/icst.2013.25openalex-snapshot
A Functional Testing Approach for Hybrid Safety Properties with Incomplete Information
inferred← citeshttps://doi.org/10.1109/memcod.2014.6961854openalex-snapshot
Formal property verification in a conformance testing framework
inferred← citeshttps://doi.org/10.1109/qsic.2010.53openalex-snapshot
Automated Conformance Verification of Hybrid Systems
inferred← citeshttps://doi.org/10.1109/tase.2016.33openalex-snapshot
Sound Test-Suites for Cyber-Physical Systems
inferred← citeshttps://doi.org/10.1145/2362336.2362351openalex-snapshot
Conformance testing for cyber-physical systems
inferred← citeshttps://doi.org/10.1145/3306157openalex-snapshot
Model Conformance for Cyber-Physical Systems
inferred← citeshttps://doi.org/10.29007/5v1gopenalex-snapshot
Checking and Establishing Reachset Conformance in CORA 2023
inferred← citeshttps://doi.org/10.3990/1.9789036531955openalex-snapshot
On changing models in model-based testing
inferred← citeshttps://doi.org/10.3990/1.9789036546959openalex-snapshot
Choice and Chance : Model-Based Testing of Stochastic Behaviour
inferred← citeshttps://doi.org/10.4204/eptcs.180.2openalex-snapshot
ioco theory for probabilistic automata
inferred← citeshttps://doi.org/10.4204/eptcs.232.8openalex-snapshot
Towards an Approximate Conformance Relation for Hybrid I/O Automata
inferred← citeshttps://doi.org/10.4230/lipics.concur.2015.18openalex-snapshot
Notions of Conformance Testing for Cyber-Physical Systems: Overview and Roadmap (Invited Paper)
inferred← citeshttps://doi.org/10.46298/lmcs-18(1:14)2022openalex-snapshot
Conformance Relations and Hyperproperties for Doping Detection in Time and Space
inferred← citeshttps://doi.org/10.48550/arxiv.1401.5200openalex-snapshot
Conformance Testing as Falsification for Cyber-Physical Systems
inferred← citeshttps://doi.org/10.70675/f2bf0c4fz7e23z48f3za842z162ece931209openalex-snapshot
Modélisation et validation des systèmes informatiques complexes
showing the first 27 of 28 · page through all 28
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.