On the public citation graph
Model-Based Development of Embedded Systems: The SysWeaver Approach
0 signed · 70 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/978-1-4615-2796-1openalex-snapshot
A Practitioner’s Handbook for Real-Time Analysis
inferredcites →https://doi.org/10.1007/bf00365439openalex-snapshot
Mode change protocols for priority-driven preemptive scheduling
inferredcites →https://doi.org/10.1016/s1383-7621(98)00067-8openalex-snapshot
Actors: A unifying model for parallel and distributed computing
inferredcites →https://doi.org/10.1023/a:1018986121470openalex-snapshot
Towards reusable real-time objects
inferredcites →https://doi.org/10.1109/2.846318openalex-snapshot
The real-time specification for Java
inferredcites →https://doi.org/10.1109/32.637390openalex-snapshot
Design of dynamically reconfigurable real-time software using port-based objects
inferredcites →https://doi.org/10.1109/dasc.1998.741493openalex-snapshot
Fitting the pieces together: system/software analysis and code integration using METAH
inferredcites →https://doi.org/10.1109/icse.2003.1201197openalex-snapshot
Cadena: an integrated development, analysis, and verification environment for component-based systems
inferredcites →https://doi.org/10.1109/iwcds.1994.289928openalex-snapshot
Mode changes in a real-time architecture description language
inferredcites →https://doi.org/10.1109/jproc.2002.805824openalex-snapshot
Model-integrated development of embedded software
inferredcites →https://doi.org/10.1109/rttas.2000.852471openalex-snapshot
Chocolate: a reservation-based real-time Java environment on Windows/NT
inferredcites →https://doi.org/10.1145/216591.216611openalex-snapshot
Architecture blueprints—the “4+1” view model of software architecture
inferredcites →https://doi.org/10.1145/354880.354896openalex-snapshot
An architecture for embedded software integration using reusable components
inferredcites →https://doi.org/10.1504/ijes.2006.014855openalex-snapshot
Partitioning bin-packing algorithms for distributed real-time systems
inferredcites →https://doi.org/10.21236/ada387086openalex-snapshot
Improving Predictability in Embedded Real-Time Systems
inferredcites →https://doi.org/10.7146/brics.v5i44.19489openalex-snapshot
Towards Re-usable Real-Time Objects
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.1099openalex-snapshot
The Real‐Time Systems Compiler: migrating event‐triggered systems to time‐triggered systems
inferred← citeshttps://doi.org/10.1007/11796435_8openalex-snapshot
Domain-Specific Modeling of Power Aware Distributed Real-Time Embedded Systems
inferred← citeshttps://doi.org/10.1007/978-3-319-20822-0_3openalex-snapshot
Development of Distributed Embedded Controllers
inferred← citeshttps://doi.org/10.1007/978-3-319-74183-3_9openalex-snapshot
Contracts-Based Control Integration into Software Systems
inferred← citeshttps://doi.org/10.1007/978-3-642-04284-3_4openalex-snapshot
An Infrastructure for UML-Based Code Generation Tools
inferred← citeshttps://doi.org/10.1007/978-3-642-10619-4_5openalex-snapshot
Embedded Control Software Design with Aspect Patterns
inferred← citeshttps://doi.org/10.1007/978-3-642-28255-3_16openalex-snapshot
Asynchronous-Channels and Time-Domains Extending Petri Nets for GALS Systems
inferred← citeshttps://doi.org/10.1007/978-3-642-37291-9_24openalex-snapshot
Augmenting High-Level Petri Nets to Support GALS Distributed Embedded Systems Specification
inferred← citeshttps://doi.org/10.1016/j.jss.2019.110478openalex-snapshot
An OSLC-based environment for system-level functional testing of ERTMS/ETCS controllers
inferred← citeshttps://doi.org/10.1016/j.mechatronics.2013.12.008openalex-snapshot
Combining aspects and object-orientation in model-driven engineering for distributed industrial mechatronics systems
inferred← citeshttps://doi.org/10.1016/j.sysarc.2015.07.002openalex-snapshot
Automatic synthesis of communication and concurrency for exploring component-based system implementations considering UML channel semantics
inferred← citeshttps://doi.org/10.1080/02533839.2011.565579openalex-snapshot
Embedded control software design with aspect patterns
inferred← citeshttps://doi.org/10.1080/17517575.2014.939107openalex-snapshot
A new practice-driven approach to develop software in a cyber-physical system environment
inferred← citeshttps://doi.org/10.1109/date.2007.364410openalex-snapshot
Simulation Platform for UHF RFID
inferred← citeshttps://doi.org/10.1109/date.2010.5457184openalex-snapshot
Integrated end-to-end timing analysis of networked AUTOSAR-compliant systems
inferred← citeshttps://doi.org/10.1109/ecbs.2009.24openalex-snapshot
CQML: Aspect-Oriented Modeling for Modularizing and Weaving QoS Concerns in Component-Based Systems
inferred← citeshttps://doi.org/10.1109/edocw.2008.60openalex-snapshot
Towards a QoS Modeling and Modularization Framework for Component-based Systems
inferred← citeshttps://doi.org/10.1109/etfa.2008.4638481openalex-snapshot
Leveraging model-driven development for automation systems development
inferred← citeshttps://doi.org/10.1109/i2ct.2018.8529446openalex-snapshot
Clone Detection in Model-Based Development Using Formal Methods to Enhance Performance in Software Development
inferred← citeshttps://doi.org/10.1109/iccps.2011.17openalex-snapshot
View Consistency in Architectures for Cyber-Physical Systems
inferred← citeshttps://doi.org/10.1109/iceccs.2010.12openalex-snapshot
An MDE-Based Process for the Design, Implementation and Validation of Safety-Critical Systems
inferred← citeshttps://doi.org/10.1109/icit.2013.6505879openalex-snapshot
Towards distributed execution of Petri net conflicts through model transformation
inferred← citeshttps://doi.org/10.1109/icit.2015.7125319openalex-snapshot
Distributed controllers modeling through Petri nets with multi-asynchronous-channels
inferred← citeshttps://doi.org/10.1109/iecon.2012.6389080openalex-snapshot
Extending a net splitting operation for decomposition of high-level Petri nets
inferred← citeshttps://doi.org/10.1109/isie.2012.6237288openalex-snapshot
Asynchronous wrappers configuration within GALS systems specified by Petri nets
inferred← citeshttps://doi.org/10.1109/isie.2013.6563867openalex-snapshot
Configuring communication nodes for networked embedded systems specified by Petri nets
inferred← citeshttps://doi.org/10.1109/isorc.2010.11openalex-snapshot
The RTSC: Leveraging the Migration from Event-Triggered to Time-Triggered Systems
inferred← citeshttps://doi.org/10.1109/jproc.2018.2841339openalex-snapshot
Tools and Methodologies for Autonomous Driving Systems
inferred← citeshttps://doi.org/10.1109/jproc.2018.2864271openalex-snapshot
Codesign Methodologies and Tools for Cyber–Physical Systems
inferred← citeshttps://doi.org/10.1109/rsp.2009.32openalex-snapshot
An Experimental Model-Based Rapid Prototyping Environment for High-Confidence Embedded Software
inferred← citeshttps://doi.org/10.1109/rtas.2008.32openalex-snapshot
NetQoPE: A Model-Driven Network QoS Provisioning Engine for Distributed Real-time and Embedded Systems
inferred← citeshttps://doi.org/10.1109/rtas.2010.30openalex-snapshot
Middleware for Resource-Aware Deployment and Configuration of Fault-Tolerant Real-time Systems
inferred← citeshttps://doi.org/10.1109/rtss.2012.74openalex-snapshot
SAFER: System-level Architecture for Failure Evasion in Real-time Applications
inferred← citeshttps://doi.org/10.1109/tac.2014.2351672openalex-snapshot
Supporting Heterogeneity in Cyber-Physical Systems Architectures
inferred← citeshttps://doi.org/10.1109/wises.2007.4408506openalex-snapshot
Towards a Real-Time Systems Compiler
inferred← citeshttps://doi.org/10.1109/wsc57314.2022.10015393openalex-snapshot
Discrete- Event Supervisory Control for the Landing Phase of a Helicopter Flight
inferred← citeshttps://doi.org/10.1145/1229375.1229378openalex-snapshot
Aspects in the industry standard AADL
inferred← citeshttps://doi.org/10.1145/2492385.2492390openalex-snapshot
Towards dependable autonomous driving vehicles
inferred← citeshttps://doi.org/10.1145/2583687.2583695openalex-snapshot
Realizing a fault-tolerant embedded controller on distributed real-time systems
inferred← citeshttps://doi.org/10.1155/2022/7632892openalex-snapshot
Autonomous Vehicles and Intelligent Automation: Applications, Challenges, and Opportunities
inferred← citeshttps://doi.org/10.1177/0037549716659753openalex-snapshot
An extensible modeling methodology for embedded and cyber-physical system design
inferred← citeshttps://doi.org/10.1184/r1/6468206openalex-snapshot
A Model-Based Design Approach for Wireless Sensor-Actuator Networks
inferred← citeshttps://doi.org/10.1184/r1/6624503openalex-snapshot
Multi-domain Modeling of Cyber-Physical Systems Using Architectural Views
inferred← citeshttps://doi.org/10.1184/r1/6720761openalex-snapshot
Multi-Model Heterogeneous Verification of Cyber-Physical Systems
inferred← citeshttps://doi.org/10.23939/cds2025.01.229openalex-snapshot
ANALYSIS OF METHODS AND TOOLS FOR DESIGNING EMBEDDED SYSTEMS OF THE INTERNET OF THINGS
inferred← citeshttps://doi.org/10.4271/2011-01-0448openalex-snapshot
An AUTOSAR-Compliant Automotive Platform for Meeting Reliability and Timing Constraints
inferred← citeshttps://doi.org/10.5555/1266366.1266564openalex-snapshot
Simulation platform for UHF RFID
inferred← citeshttps://doi.org/10.70675/96345abcz0d7fz422czaf42z1f1af50ba713openalex-snapshot
MARTE based model driven design methodology for targeting dynamically reconfigurable FPGA based SoCs
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.