On the public citation graph
CONIC: an integrated approach to distributed computer control systems
0 signed · 129 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.1145/800027.808431openalex-snapshot
Programming-in-the large versus programming-in-the-small
What points at this work
Incoming claims: where this work appears in other papers’ reference lists and arguments.
inferred← citeshttps://doi.org/10.1002/spe.4380230405openalex-snapshot
Object identification in the lego kernel
inferred← citeshttps://doi.org/10.1002/spe.4380240603openalex-snapshot
STRESS: A simulator for hard real‐time systems
inferred← citeshttps://doi.org/10.1007/11813040_8openalex-snapshot
Properties of Behavioural Model Merging
inferred← citeshttps://doi.org/10.1007/3-540-57209-0_20openalex-snapshot
Tractable flow analysis for anomaly detection in distributed programs
inferred← citeshttps://doi.org/10.1007/978-1-4471-2297-5_13openalex-snapshot
Modelling Temporal Behaviour in Complex Systems with Timebands
inferred← citeshttps://doi.org/10.1007/978-3-030-45234-6_12openalex-snapshot
Family-Based SPL Model Checking Using Parity Games with Variability
inferred← citeshttps://doi.org/10.1007/978-3-030-45234-6_15openalex-snapshot
Statistical Model Checking for Variability-Intensive Systems
inferred← citeshttps://doi.org/10.1007/978-3-031-19759-8_27openalex-snapshot
Verification of Variability-Intensive Stochastic Systems with Statistical Model Checking
inferred← citeshttps://doi.org/10.1007/978-3-031-30826-0openalex-snapshot
Fundamental Approaches to Software Engineering
inferred← citeshttps://doi.org/10.1007/978-3-031-30826-0_1openalex-snapshot
ACoRe: Automated Goal-Conflict Resolution
inferred← citeshttps://doi.org/10.1007/978-3-540-73847-3_14openalex-snapshot
Extracting Requirements from Scenarios with ILP
inferred← citeshttps://doi.org/10.1007/978-3-540-78743-3_1openalex-snapshot
Deriving Non-zeno Behavior Models from Goal Models Using ILP
inferred← citeshttps://doi.org/10.1007/978-3-642-28872-2_26openalex-snapshot
Learning from Vacuously Satisfiable Scenario-Based Specifications
inferred← citeshttps://doi.org/10.1007/978-3-642-58049-9_3openalex-snapshot
Software Development for Parallel Processing
inferred← citeshttps://doi.org/10.1007/978-3-642-68829-4_35openalex-snapshot
The CONIC Communication System for Distributed Process Control
inferred← citeshttps://doi.org/10.1007/978-3-642-73445-8_44openalex-snapshot
Mehrrechner-PEARL: Normung Eines Sprachvorschlags aus Einsatzerfahrungen
inferred← citeshttps://doi.org/10.1007/978-3-642-74127-2_5openalex-snapshot
Entwurfskonzepte für verteilte Systeme
inferred← citeshttps://doi.org/10.1007/978-3-642-74135-7_41openalex-snapshot
System DESIGN; Softwaretechnik für verteilte Anwendungen
inferred← citeshttps://doi.org/10.1007/978-3-642-74570-6_7openalex-snapshot
Using the Object Paradigm for Distributed Application Development
inferred← citeshttps://doi.org/10.1007/978-3-642-76309-0_6openalex-snapshot
Design Rationale for the MOSKITO Kernel
inferred← citeshttps://doi.org/10.1007/978-3-642-95506-8_17openalex-snapshot
Architektur und Operationsprinzip Moderner Leitsysteme
inferred← citeshttps://doi.org/10.1007/978-3-642-95506-8_26openalex-snapshot
Rechnergestützte Methode für den Funktionsorientierten Entwurf und die Realisierung Verteilter Prozessautomatisierungseinrichtungen
inferred← citeshttps://doi.org/10.1007/978-3-662-46675-9_6openalex-snapshot
Facilitating Reuse in Multi-goal Test-Suite Generation for Software Product Lines
inferred← citeshttps://doi.org/10.1007/978-3-662-54494-5_23openalex-snapshot
Family-Based Model Checking with mCRL2
inferred← citeshttps://doi.org/10.1007/978-3-662-54494-5_24openalex-snapshot
Variability-Specific Abstraction Refinement for Family-Based Model Checking
inferred← citeshttps://doi.org/10.1007/bf00873407openalex-snapshot
Contextual local analysis in the design of distributed systems
inferred← citeshttps://doi.org/10.1007/bf01245300openalex-snapshot
HRT-HOOD: A structured design method for hard real-time systems
inferred← citeshttps://doi.org/10.1007/bfb0008358openalex-snapshot
On parallel programming environments and multilevel optimization
inferred← citeshttps://doi.org/10.1007/s00165-006-0021-4openalex-snapshot
An engineering process for the verification of real-time systems
inferred← citeshttps://doi.org/10.1007/s00165-009-0128-5openalex-snapshot
Deriving non-Zeno behaviour models from goal models using ILP
inferred← citeshttps://doi.org/10.1007/s00165-021-00563-2openalex-snapshot
Statistical model checking for variability-intensive systems: applications to bug detection and minimization
inferred← citeshttps://doi.org/10.1007/s00450-012-0233-1openalex-snapshot
Supporting incremental behaviour model elaboration
inferred← citeshttps://doi.org/10.1007/s10009-012-0234-1openalex-snapshot
Model checking software product lines with SNIP
inferred← citeshttps://doi.org/10.1007/s10009-016-0425-2openalex-snapshot
Efficient family-based model checking via variability abstractions
inferred← citeshttps://doi.org/10.1007/s10009-019-00537-zopenalex-snapshot
Verification and abstraction of real-time variability-intensive systems
inferred← citeshttps://doi.org/10.1007/s10270-016-0569-2openalex-snapshot
Effective product-line testing using similarity-based product prioritization
inferred← citeshttps://doi.org/10.1007/s10515-008-0027-7openalex-snapshot
Deriving event-based transition systems from goal-oriented requirements models
inferred← citeshttps://doi.org/10.1007/s10664-015-9367-7openalex-snapshot
Inferring extended finite state machine models from software executions
inferred← citeshttps://doi.org/10.1007/s10703-013-0193-5openalex-snapshot
Modelling temporal behaviour in complex systems with Timebands
inferred← citeshttps://doi.org/10.1016/0140-3664(88)90004-7openalex-snapshot
Chat: an N-party talk facility for the Unix 4.2 operating system
inferred← citeshttps://doi.org/10.1016/0140-3664(89)90108-4openalex-snapshot
Gateway designs for internetwork multicast communication
inferred← citeshttps://doi.org/10.1016/0141-9331(86)90176-6openalex-snapshot
Distributed programs: an overview of implementations
inferred← citeshttps://doi.org/10.1016/0141-9331(88)90137-8openalex-snapshot
Design and implementation of a multicast messaging kernel
inferred← citeshttps://doi.org/10.1016/0141-9331(89)90015-xopenalex-snapshot
Survey of multicast address handling techniques for Ethernet communication controllers
inferred← citeshttps://doi.org/10.1016/0164-1212(92)90046-mopenalex-snapshot
The evolution and state-of-the-art of real-time languages
inferred← citeshttps://doi.org/10.1016/0169-7552(85)90024-8openalex-snapshot
A routing algorithm for interconnected local area networks
inferred← citeshttps://doi.org/10.1016/b978-0-08-031664-2.50013-9openalex-snapshot
Broadcast protocols in distributed computer control systems
inferred← citeshttps://doi.org/10.1016/b978-0-08-031664-2.50019-xopenalex-snapshot
The CONIC toolkit for building distributed systems
inferred← citeshttps://doi.org/10.1016/b978-0-08-034083-8.50032-6openalex-snapshot
KNOWLEDGE BASED SUPPORT FOR ONLINE PROGRAM CHANGES
inferred← citeshttps://doi.org/10.1016/b978-0-08-034083-8.50034-xopenalex-snapshot
SOFTWARE AND HARDWARE TO SUPPORT THE TEACHING OF REAL-TIME DISTRIBUTED SYSTEMS
inferred← citeshttps://doi.org/10.1016/b978-0-08-037870-1.50020-4openalex-snapshot
Distributed Computation and Control Using a Conic Like Toolkit and a Multitransputer Network
inferred← citeshttps://doi.org/10.1016/j.comnet.2013.02.025openalex-snapshot
Feature-interaction detection based on feature-based specifications
inferred← citeshttps://doi.org/10.1016/j.infsof.2017.10.001openalex-snapshot
Feature-family-based reliability analysis of software product lines
inferred← citeshttps://doi.org/10.1016/j.jal.2008.10.002openalex-snapshot
Using abduction and induction for operational requirements elaboration
inferred← citeshttps://doi.org/10.1016/j.jss.2017.08.010openalex-snapshot
Time-space efficient regression testing for configurable systems
inferred← citeshttps://doi.org/10.1016/j.jss.2024.112036openalex-snapshot
Goal-conflict identification based on local search and fast boundary-condition verification based on incremental satisfiability filter
inferred← citeshttps://doi.org/10.1016/j.scico.2013.06.009openalex-snapshot
Reducing the verification cost of evolving product families using static analysis techniques
inferred← citeshttps://doi.org/10.1016/s1474-6670(17)48510-7openalex-snapshot
Function Block Diagram Approach for Manufacturing Process Control Programming
inferred← citeshttps://doi.org/10.1016/s1474-6670(17)59742-6openalex-snapshot
Knowledge Based Support for Online Program Changes
inferred← citeshttps://doi.org/10.1016/s1474-6670(17)59744-xopenalex-snapshot
Software and Hardware to support the Teaching of Real-time distributed systems
inferred← citeshttps://doi.org/10.1016/s1474-6670(17)61384-3openalex-snapshot
Program Adjustment Techniques for Distributed Computer Complexes
inferred← citeshttps://doi.org/10.1016/s1474-6670(17)62524-2openalex-snapshot
A Flexible Communication System for Distributed Computer Control
inferred← citeshttps://doi.org/10.1016/s1474-6670(17)62594-1openalex-snapshot
Dynamic System Configuration for Distributed Real-Time Systems
inferred← citeshttps://doi.org/10.1016/s1474-6670(17)64110-7openalex-snapshot
FMS Software Development Systems
inferred← citeshttps://doi.org/10.1016/s1572-5960(06)x8001-4openalex-snapshot
HRT-HOOD™: A Structured Design Method for Hard Real-Time Ada Systems
inferred← citeshttps://doi.org/10.1023/a:1008680612960openalex-snapshot
Requirements and Specification Exemplars
inferred← citeshttps://doi.org/10.1049/ip-d.1990.0028openalex-snapshot
Tracking multiple targets using parallel processing
inferred← citeshttps://doi.org/10.1088/0967-1846/1/3/003openalex-snapshot
Supporting distribution and dynamic reconfiguration in AdaPT
inferred← citeshttps://doi.org/10.1109/32.310668openalex-snapshot
Tractable dataflow analysis for distributed systems
inferred← citeshttps://doi.org/10.1109/apsec51365.2020.00037openalex-snapshot
Structural Similarity of Boundary Conditions and an Efficient Local Search Algorithm for Goal Conflict Identification
inferred← citeshttps://doi.org/10.1109/cmpeur.1993.289863openalex-snapshot
Method for a design of distributed control systems
inferred← citeshttps://doi.org/10.1109/etfa.1992.683223openalex-snapshot
Design of Line Controller for Continuous Manufacturing Process Automation in Steel Industry
inferred← citeshttps://doi.org/10.1109/euc50751.2020.00012openalex-snapshot
Efficient Difference Analysis Algorithm for Runtime Requirement Degradation under System Functional Fault
inferred← citeshttps://doi.org/10.1109/icse.2009.5070527openalex-snapshot
Learning operational requirements from goal models
inferred← citeshttps://doi.org/10.1109/icse.2012.6227150openalex-snapshot
Simulation-based abstractions for software product-line model checking
inferred← citeshttps://doi.org/10.1109/icse.2013.6606593openalex-snapshot
Beyond Boolean product-line model checking: Dealing with feature attributes and multi-features
inferred← citeshttps://doi.org/10.1109/icse.2013.6606594openalex-snapshot
Strategies for product-line verification: Case studies and experiments
inferred← citeshttps://doi.org/10.1109/icse.2013.6606605openalex-snapshot
Requirements modelling by synthesis of deontic input-output automata
inferred← citeshttps://doi.org/10.1109/icse43902.2021.00132openalex-snapshot
How to Identify Boundary Conditions with Contrasty Metric?
inferred← citeshttps://doi.org/10.1109/icse55347.2025.00031openalex-snapshot
Unavoidable Boundary Conditions: a Control Perspective on Goal Conflicts
inferred← citeshttps://doi.org/10.1109/lcn.1990.128679openalex-snapshot
The Multidriver: a reliable multicast service using the Xpress transfer protocol
inferred← citeshttps://doi.org/10.1109/pccc.1988.10099openalex-snapshot
Extending the computational bandwidth of engineering workstations
inferred← citeshttps://doi.org/10.1109/pccc.1990.101650openalex-snapshot
Software engineering in distributed systems-approaches and issues
inferred← citeshttps://doi.org/10.1109/tse.1985.232231openalex-snapshot
Dynamic Configuration for Distributed Systems
inferred← citeshttps://doi.org/10.1109/tse.1986.6312995openalex-snapshot
Functional addressing in Gutenberg: Interprocess communication without process identifiers
inferred← citeshttps://doi.org/10.1109/tse.2005.138openalex-snapshot
Generating annotated behavior models from end-user scenarios
inferred← citeshttps://doi.org/10.1109/tse.2008.107openalex-snapshot
Synthesis of Partial Behavior Models from Properties and Scenarios
inferred← citeshttps://doi.org/10.1109/tse.2012.41openalex-snapshot
Elaborating Requirements Using Model Checking and Inductive Learning
inferred← citeshttps://doi.org/10.1109/tse.2012.86openalex-snapshot
Featured Transition Systems: Foundations for Verifying Variability-Intensive Systems and Their Application to LTL Model Checking
inferred← citeshttps://doi.org/10.1109/wcre.2013.6671305openalex-snapshot
Inferring Extended Finite State Machine models from software executions
inferred← citeshttps://doi.org/10.1115/detc2006-99554openalex-snapshot
Module Interface Representation
inferred← citeshttps://doi.org/10.1145/1029894.1029905openalex-snapshot
Reasoning about partial goal satisfaction for requirements and design engineering
inferred← citeshttps://doi.org/10.1145/1081706.1081719openalex-snapshot
Fluent temporal logic for discrete-time event-based models
inferred← citeshttps://doi.org/10.1145/1138953.1138960openalex-snapshot
Inferring operational requirements from scenarios and goal models using inductive learning
inferred← citeshttps://doi.org/10.1145/1368088.1368095openalex-snapshot
Existential live sequence charts revisited
inferred← citeshttps://doi.org/10.1145/1453101.1453144openalex-snapshot
On correct and complete strong merging of partial behaviour models
inferred← citeshttps://doi.org/10.1145/1806799.1806850openalex-snapshot
Model checking lots of systems
inferred← citeshttps://doi.org/10.1145/2089116.2089119openalex-snapshot
Weak Alphabet Merging of Partial Behavior Models
inferred← citeshttps://doi.org/10.1145/2362536.2362549openalex-snapshot
Behavioural modelling and verification of real-time software product lines
inferred← citeshttps://doi.org/10.1145/2491411.2491459openalex-snapshot
SPLat: lightweight dynamic analysis for reducing combinatorics in testing configurable systems
inferred← citeshttps://doi.org/10.1145/255129.255190openalex-snapshot
A run time support system for multiprocessor machines
inferred← citeshttps://doi.org/10.1145/2568225.2568323openalex-snapshot
Automated goal operationalisation based on interpolation and SAT solving
inferred← citeshttps://doi.org/10.1145/2635868.2635919openalex-snapshot
Counterexample guided abstraction refinement of product-line behavioural models
inferred← citeshttps://doi.org/10.1145/2970276.2970322openalex-snapshot
On essential configuration complexity: measuring interactions in highly-configurable systems
inferred← citeshttps://doi.org/10.1145/2970276.2970349openalex-snapshot
Goal-conflict detection based on temporal satisfiability checking
inferred← citeshttps://doi.org/10.1145/3109729.3109758openalex-snapshot
Family-Based Model Checking of SPL based on mCRL2
inferred← citeshttps://doi.org/10.1145/3180155.3180261openalex-snapshot
Goal-conflict likelihood assessment based on model counting
inferred← citeshttps://doi.org/10.1145/3238147.3238220openalex-snapshot
A genetic algorithm for goal-conflict identification
inferred← citeshttps://doi.org/10.1145/3313789openalex-snapshot
Automated N-way Program Merging for Facilitating Family-based Analyses of Variant-rich Software
inferred← citeshttps://doi.org/10.1145/3486609.3487200openalex-snapshot
Delta-based verification of software product families
inferred← citeshttps://doi.org/10.1145/3583131.3590454openalex-snapshot
Automated Repair of Unrealisable LTL Specifications Guided by Model Counting
inferred← citeshttps://doi.org/10.1145/3597503.3639087openalex-snapshot
SpecBCFuzz: Fuzzing LTL Solvers with Boundary Conditions
inferred← citeshttps://doi.org/10.1145/3808154openalex-snapshot
Active Learning of Symbolic Automata for Reactive Programs via Dynamic Symbolic Mapper
inferred← citeshttps://doi.org/10.1145/581339.581353openalex-snapshot
Agent-based tactics for goal-oriented requirements elaboration
inferred← citeshttps://doi.org/10.1145/587051.587070openalex-snapshot
Deriving operational software specifications from system goals
inferred← citeshttps://doi.org/10.17771/pucrio.acad.23877openalex-snapshot
SUPORTE À EVOLUÇÃO ARQUITETURAL DE SISTEMAS DISTRIBUÍDOS BASEADOS EM COMPONENTES DE SOFTWARE
inferred← citeshttps://doi.org/10.18130/v36r48openalex-snapshot
Issues in Designing Transport Layer Multicast Facilities
inferred← citeshttps://doi.org/10.2197/ipsjjip.31.186openalex-snapshot
Efficient Difference Analysis of Guaranteeable Requirements for Fault-tolerant Self-adaptation
inferred← citeshttps://doi.org/10.26190/unsworks/22938openalex-snapshot
Modelling and programming embedded controllers with timed automata and synchronous languages
inferred← citeshttps://doi.org/10.26512/2016.11.d.22680openalex-snapshot
Estratégias comutativas para análise de confiabilidade em linha de produtos de software
inferred← citeshttps://doi.org/10.31219/osf.io/8nwpvopenalex-snapshot
Master Thesis: The Role of Similarity in Detecting Feature Interaction in Software Product Lines
inferred← citeshttps://doi.org/10.31274/td-20240329-469openalex-snapshot
Learning feature interactions with and without specifications
inferred← citeshttps://doi.org/10.3217/jucs-019-02-0207openalex-snapshot
Modeling and Verification of Reconfigurable Actor Families
inferred← citeshttps://doi.org/10.5381/jot.2010.9.5.a3openalex-snapshot
Enhancing NetBeans with Transparent Fault Tolerance Using Meta-Level Architecture.
inferred← citeshttps://doi.org/10.5555/2486788.2486852openalex-snapshot
Strategies for product-line verification: case studies and experiments
inferred← citeshttps://doi.org/10.5555/2486788.2486866openalex-snapshot
Requirements modelling by synthesis of deontic input-output automata
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.