yusuke1997/dblp-id-title huggingface dataset:
Guiding the Selection of Security Patterns for Real-Time Systems
Product Line Enabled Intelligent Mobile Middleware
Versatile Real-Time Vision Based on a Distributed System of Personal Computers
Recovery of Software Design, State-Machines, and Specifications from Source Code
Architecture and Language support for Fault-tolerance in Complex Real-Time Systems
A Cost-Efficient Server Architecture for Real-Time Credit-Control
Message from Program Co-chairs
Optimal Solution Guided Branching Strategy for Neural Network Branch and Bound Verification
Analysis and Verification of the Interaction Model in Software Design
A Perturbation-based Testing Strategy
Securing Internet Sessions with Sorbet
An Integrating Approach for Developing Distributed Software Systems -- Combining Formal Methods, Software Reuse, and the Experience Base
Design Patterns in Petri Net System Modeling
SafePtrX: Research on Mitigation of Heap-Based Memory Safety Violations for Intel x86-64
Intelligent Agent-Based Software Architecture for Combat Performance under Overwhelming Information Inflow and Uncertainty
Spatio-temporal UML Statechart for Cyber-Physical Systems
A first approach to the closed-form specification and analysis of an autonomic control system
Common Pitfalls of Using QVT Relations - Graphical Debugging as Remedy
Automated Result Verification with AWK
Parallel Machine Translation: Principles and Practice
14th IEEE International Conference on Engineering of Complex Computer Systems, ICECCS 2009, Potsdam, Germany, 2-4 June 2009
Slicing Component-Based Systems
Evaluation of Three Specification-Based Testing Criteria
Back Propagating B System Updates on SysML/KAOS Domain Models
Orion: A Software Project Search Engine with Integrated Diverse Software Artifacts
Towards a User-Guided Difference-Based Detection of Atomic Changes
Control and supervision of a complex production process using hybrid systems techniques
Formal Ontology Driven Model Refactoring
Arcade - A Formal, Extensible, Model-Based Dependability Evaluation Framework
Analysis of Self-Stabilization for Infinite-State Systems
MARTE: Also an UML Profile for Modeling AADL Applications
A tool for modeling and verifying real-time systems
A Control Theoretic Approach for Workflow Management
Goal Model Elaboration for Software Evolution
A Flexible Scheduling for Automobile Control Using Imprecise Computation and Its Fundamental Evaluation
Testing an Open Source Suite for Open Queuing Network Modelling Using Metamorphic Testing Technique
Client--Access Protocols for Replicated Services
CostDL: A Cost Models Description Language for Performance Metrics in Database
Validating communication of a dynamic traffic management system
Independent Proprietorship and Competition in Distributed Web Search
RL: a Language for Formal Engineering
Empowering Embodied Agents with Semantic Intelligence
A Formal Methods Approach to Security Requirements Specification and Verification
A construction of neural-net based AI systems
A Software Environment for Confining Malicious Android Applications via Resource Virtualization
Performance Antipatterns as Logical Predicates
Kinship Determination in Mobile Social Networks
An agent based approach to examining shared situation awareness
Effects of Component-Subscription Network Topology on Large-Scale Data Centre Performance Scaling
Knowledge-Based assistance for real-time systems
Resource Conscious Design of Distributed Real-Time Systems: An End-to-End Approach
Inconsistency Measurement of Software Requirements Specifications: An Ontology-Based Approach
A Conceptual Framework for State-Based and Event-Based Formal Behavioural Specification Languages
Gathering GitHub OSS Requirements from Q&A Community: an Empirical Study
Formal Semantics and Verification for Feature Modeling
Verifying Neural Network Controlled Systems by Combining Taylor Models and Linear Abstract Domains
A Light-Weight Process for Capturing and Evolving Defect Reduction Experience
Uncover the Risks of Outdated Dependencies in Software Supply Chains: Insights from the npm Ecosystem
ORIENTAIS: Formal Verified OSEK/VDX Real-Time Operating System
Ringed Petersen Spheres Connected Hypercube Interconnection Networks
Revisiting Safe Realizability of Message Sequence Charts Specifications
Efficient Contention-Aware Scheduling of SDF Graphs on Shared Multi-Bank Memory
IFIX: Fixing Concurrency Bugs While They Are Introduced
Model Checking Rate-Monotonic Scheduler with TMSVL
Quantitative Explainable AI For Face Recognition
Grammar-Specified Model-Driven Architectures
Model Checking UML Specifications of Real Time Software
11th International Conference on Engineering of Complex Computer Systems (ICECCS 2006), 15-17 August 2006, Stanford, California, USA
Confidentiality Management in Complex Systems Design
Generating Adversarial Source Programs Using Important Tokens-based Structural Transformations
Model-Based Verification of Energy-Aware Real-Time Automotive Systems
Motivating the Corrective Maintenance Maturity Model (CM3)
Formal Guides for Experimentally Verifying Complex Software-Implemented Fault Tolerance Mechanisms
A Study of Secure Communications between Mobile Objects
What Use is Verified Software?
Interworking among Intelligent Networks and Different Networks: Service Control Interfaces and Their Applications
An Adequate Logic for Heterogeneous Systems
Modeling Architecture Based Development in UML
Customizable notations for kernel formalisms
On the Generation of Object Databases using Booster
On Extracting Tests from a Testable Model in the Context of Domain Engineering
Assessing Complex Computer Based Systems using the Goal Structuring Notation
A Trace-Based JIT Compilation Framework for XQuery
A Behavior-Aware Systematic Approach for Merging Business Process Fragments
Formal Modelling and Analysis of AODV
Measuring Various Properties of Execution Traces to Help Build Better Trace Analysis Tools
Control Systems: Phenomena and Structuring Functional Requirement Documents
POSD-a notation for presenting complex systems of processes
Representing Plankton Functional Types in Ocean General Circulation Models: Competition, Tradeoffs and Self-Organizing Architecture
A CSCW Framework for the Flexible Coupling of Groupware Widgets
Mediation Systems Modeling and Verification
13th International Conference on Engineering of Complex Computer Systems (ICECCS 2008), March 31 2008 - April 3 2008, Belfast, Northern Ireland
Just-in-Time Certification
Open Complex Computer Systems are No Silver Bullet
Safe Inputs Approximation for Black-Box Systems
Sports Strategy Analytics Using Probabilistic Reasoning
Formal Verification of Access Control Model for My Health Record System
A system engineering methodology for predicting scalability of very large real-time databases
In Search of Sound 'in silico' Research - Validating a Complex System Simulation
Compositional reasoning about projected and infinite time
P/S-CoM+: A Formal Approach to Design Correct Publish/Subscribe Architectural Styles
3rd IEEE International Conference on Engineering of Complex Computer Systems (ICECCS '97), 8-12 September 1997, Lake Como, Italy
Model-embedded on-line problem solving environment for chemical engineering
A Refinement Driven Component-Based Design
Efficient Dynamic Multikeys in Enterprise JavaBeans
A Process for Specifying Black Box Behavior, Demonstrated in a Case Study
Model Checking-based Verification of Web Application
A Reference Framework for the Automated Exploration of Web Applications
Contract-Based Approach to Analyze Software Components
From PIMs to PSMs
Automating the Generation of Platform Specific Models
22nd International Conference on Engineering of Complex Computer Systems, ICECCS 2017, Fukuoka, Japan, November 5-8, 2017
Self-Calibration: Enabling Self-Management in Autonomous Systems by Preserving Model Fidelity
A Progressive Software Development Lifecycle
An Investigation of the Approach to Specification-Based Program Review through Case Studies
Evaluating Software Quality Attributes of Communication Components in an Automated Guided Vehicle System
A B2B Conversational Architecture for Semantic Web Services Based on BPIMS-WS
Modeling Diverse and Complex Interactions Enabled by Middleware as Connectors in Software Architectures
REMES: A Resource Model for Embedded Systems
UFPC: A Unified Framework for Source and Binary Program Comprehension
A software design for integrating DESTINATION with ACEIT
Using TILCO for Specifying Real-Time Systems
Managing Software Evolution with a Formalized Abstraction Hierarchy
Using Design Patterns, Frameworks and CORBA to Reduce the Complexity of Developing Reusable Large-Scale Object-Oriented Concurrent Communication Components and Systems
Discrete event process controller synthesis using VDM ++
Expressing and Enforcing User-Defined Constraints of AADL Models
Requirements Elicitation with Adapted CUTA Cards: First Experiences with Business Process Analysis
A Formal Model for Fault Tolerant Parallel Matrix Factorization
An Energy-Efficient Real-Time Routing Protocol for Differentiated Data in Wireless Sensor Networks
Formal specification of real-time dependable systems
Efficient Embedded Runtime Systems through Port Communication Optimization
Lessons Learned from Wrapping Systems
Formal Modeling for UML/MARTE Concurrency Resources
An Analytical Perspective on Software Engineering for Large Language Models
The computational requirements of mobile machines
Modeling and Verification of Component-Based Systems with Data Passing Using BIP
Temporal Abstract Domains
Decomposition and Collaboration of Industrial Control System with Resource Constraints
DLGR: A Rule-Based Approach to Graph Replacement for Deep Learning
Maintaining Stable Node Populations in Long-Lifetime Sensornets
An Introduction to Self-Healing Web Services
Enriching Use Cases with CTTs
Improving Hardware Reuse through XML-based Interface Encapsulation
Stability-aware Exploration of Design Space of Autonomous Robots for Goods Delivery
DroidVault: A Trusted Data Vault for Android Devices
Towards a Tool for Derivation of Implementation Constraints
Identification of Faulty Links in LEO/MEO Satellite Communication Networks
Formal Development of a Real-Time Operating System Memory Manager
Symbolic Analysis of an Electric Vehicle Charging Protocol
QScheduler: A Tool for Parallel Query Processing in Database Systems
Engineering Optimization Models at Runtime for Dynamically Adaptive Systems
On Cost Function Synthesis for Multi-Objective Design Decisions in Complex Real-Time Systems
iPSL: An Environment for IP-Based PSL Specification
Rigorous Analysis of Temporal Access Control Properties in Mobile Systems
Bi-Abductive Inference for Shape and Ordering Properties
Building Soft Real-Time Monitors Based on Software Reuse
A Formal Model for Compensable Transactions
Managing Complexity in Real-Time Reactive Systems
An Evaluation of the NSGA-II and MOCell Genetic Algorithms for Self-Management Planning in a Pervasive Service Middleware
Formal Verification of Dynamic and Stochastic Behaviors for Automotive Systems
Enhancement and real-time analysis of an adaptive impulsive noise removal method
Managing Feature Interactions in Telecommunications Systems by Temporal Colored Petri Nets
Tools for an Extended Object Modelling Environment
A Comparative Study of FIACRE and TASM to Define AADL Real Time Concepts
Adaptive Randomized Scheduling for Concurrency Bug Detection
Formally Counting Electronic Votes (But Still Only Trusting Paper)
SBAC: Service Based Access Control
Optimal mobile location tracking by multilayered model strategy
Formal Verification of Concurrent and Distributed Constraint-Based Java Programs
Relating pi-calculus to Object-Z
Computational Trust to Insure the Quality of Assistance Given to Human Actors
Extracting Permission-Based Specifications from a Sequential Java Program
Model-Based Simulation of SOAP Web Services from Temporal Logic Specifications
Modelling Bacterial Growth Patterns in the presence of Antibiotic
Modeling the Implementation of State-Based System Architectures
Module Testing Embedded Software--An Industrial Pilot Project
Testing .NET Code with YETI
A Framework for Software Engineering Experimental Replications
Evolving Commitments for Self-Adaptive Socio-technical Systems
A Method for Verifying Real-Time Properties of Ada Programs
SeBip: A Symbolic Executor for BIP
Conversing at Many Layers: Multi-layer System-on-Chip Protocol Conversion
Tracing complexity through the software process
From TiMo to Event-B: Event-Driven Timed Mobility
SMURF: Supporting Multi-tenancy Using Re-aspects Framework
An Efficient Distributed Dispatching Vehicles Protocol for Intersection Traffic Control
Fault Detection Effectiveness of Spathic Test Data
A Framework for Specification-Based Class Testing
Group Selection by Nodes in Wireless Sensor Networks Using Coalitional Game Theory
Development of a Systems Architecting Process for Computer Based Systems
Automatic analytical tools for reliability and dynamic adaptation of complex distributed systems
ASIIST: Application Specific I/O Integration Support Tool for Real-Time Bus Architecture Designs
Checking Multi-Agent Systems Against Temporal-Epistemic Specifications
Reactive Component based Service-Oriented Design - A Case Study
Learning Likely Invariants to Explain Why a Program Fails
Experiments in Verifying Low Level Concurrent C Code
Compositional Construction of Protocol Behaviours with Arbitrary Channel Capacities
A Test Class Framework for Generating Test Cases from Z Specifications
Composability for Software Components: An Approach Based on the Whole-Part Theory
Automated Reasoning for Physical Quantities, Units, and Measurements in Isabelle/HOL
GENESIS - A Framework for Automatic Generation and Steering of Testbeds of ComplexWeb Services
Design Concerns for Industrial Big Data System in the Smart Factory Domain: From Product Lifecycle View
Modelling Free Flight with Collision Avoidance
20th International Conference on Engineering of Complex Computer Systems, ICECCS 2015, Gold Coast, Australia, December 9-12, 2015
A Component-Oriented Metamodel for the Modernization of Software Applications
Using a discrete event simulation to test a generic architecture for complex real-time systems
Supporting the Design of Safety Critical Systems Using AADL
A requirements taxonomy for specifying complex systems
Functional Requirements-Based Automated Testing for Avionics
An Approach to Specifying and Verifying Safety-Critical Systems with Practical Formal Method SOFL
Modelling and Verification of Large-Scale Sensor Network Infrastructures
State Compression Based on One-Sided Communications for Distributed Model Checking
Control System with High Robust Stability Characteristics Based on Catastrophe Function
Muse over University Organisational Ecology in Action and Service-Oriented Architectures
Advances in the design and deployment of human-machine interfaces
Deriving Mode Invariants from SCR Specifications
An Intrusion Detection System for AODV
An Internet-Based System for Setup Planning in Machining Operations
A Join Algorithm Utilizing Multiple Path Indexes in Object-Oriented Database Systems
Sports Analytics Using Probabilistic Model Checking and Deep Learning
Formal Development and Validation of Java Dependable Distributed Systems
EMS-HFL: A Hybrid Based Fault Localization
Multi-Level Modeling and Distributed Agent-Based Inference: the Role of System Structure
Towards an Embedded Software Component Quality Verification Framework
Systematic Scenario-Based Analysis of UML Design Class Models
Patterns for Modelling Time and Consistency in Business Information Systems
Origins of the Grid Architectural Style
Design and Analysis of Security Attacks against Critical Smart Grid Infrastructures
Denotational and Algebraic Semantics for Cyber-physical Systems
Modeling and Verifying Real-Time Properties of Reactive Systems
Subscription as a Model for the Architecture of Embedded Systems
Supervised Robustness-preserving Data-free Neural Network Pruning
Combining Software Metrics and Text Features for Vulnerable File Prediction
Evaluating a Flexible Architecture for Distributed Control
Independence Transformations and Tools for Components
Word2Vec-BERT-bmu:Classification of RISC-V Architecture Software Package Build Failures
ATRIUM: Software Architecture Driven by Requirements
System Dependability Assessment Tool
Inter-Completion Time Scheduling (ICTS): Non-Preemptive Scheduling to Maximize the Minimum Inter-Completion Time
Interclass Testing of Object Oriented Software
Multivariate assessment of complex software systems: a comparative study
Evolvable real-time C3 systems
A Semantic Approach for Managing Trust and Uncertainty in Distributed Systems Environments
Extended SOFL Features for the Modeling of Middleware-Based Transaction Management
LTL Model Checking of Self Modifying Code
Auction-Based Caching Decision Algorithm for IoT Traffic with Popular and Fresh Content
RustMap: Towards Project-Scale C-to-Rust Migration via Program Analysis and LLM
System for the Production Control and Automatic Packaging of Plastic Air Sleeve Guides
Using the Metamodel Mechanism to Support Class Refinement
An Extended UML Method for the Verification of Security Protocols
VPDSL: A DSL for Software in the Loop Simulations Covering Material Flow
Understanding Large-Scale Behavior Patterns in Complex systems
Measurements for Adaptation Level and Efficiency of Adaptive Software Systems
QuickAdapt: Scalable Adaptation for Big Data Cyber Security Analytics
Model Checking Live Sequence Charts
Specification and Verification of Communication Paradigms for CBSE in Event B
Concolic execution for RPA testing
ViTAL: A Verification Tool for EAST-ADL Models Using UPPAAL PORT
POSIX file store in Z/Eves: an experiment in the verified software repository
Model Checking Round-Based Distributed Algorithms
An Emerging Need for a New Software Engineering Method
An Environment to Support Large Scale Experimentation in Software Engineering
Verifying Semistructured Data Normalization Using PVS
A Formal Semantic Model of the Semantic Web Service Ontology (WSMO)
Towards a Principled Design of Bio-inspired Solutions to Adaptive Information Filtering
Hardware Composition with Hardware Flowcharts and Process Algebras
Meduse: An Approach for Tailoring Software Development Process
Information System Architecture for Wearable Cardiac Sensors Personalization
Autonomous Navigation Based On a Dynamic Representation
Towards OpenWorld Software Architectures with Semantic Architectural Styles, Components and Connectors
Definitions of Equivalence for Transformational Synthesis of Embedded Systems
A Proof Based Approach for Modelling and VerifyingWeb Services Compositions
Formal Analysis of Pervasive Computing Systems
How Do Open Source Communities Document Software Architecture: An Exploratory Survey
Formal Specification and Code Generation of Programable Logic Controllers
IDEA: Integrated Design Environment for Assessment of ATM Networks
A Combined Approach for Information Flow Analysis in Fault Tolerant Hardware
Automated Formal Verification of the DHCP Failover Protocol Using Timeout Order Abstraction
A Novel Approach to the Detection of Cheating in Multiplayer Online Games
Dynamic task migration from SIMD to SPMD virtual machines
CTL Model Checking of Self Modifying Code
Performance Analysis of Data Gathering Protocol Using PRISM
DEPOSafe: Demystifying the Fake Deposit Vulnerability in Ethereum Smart Contracts
Knowledge Base Construction Process for Smart-City Services
Temporal Causal Networks for Simulation and Diagnosis
Distributed Development of Complex Software Systems with Object Make
Software Product Line Extraction from Bytecode Based Applications
A Vision for Access Control in LLM Agent Systems
An Analysis of Formal Languages for Dynamic Adaptation
Efficient Reachability Testing of Asynchronous Message-Passing Programs
UML Modeling and Formal Verification of Control/Data Driven Embedded Systems
17th IEEE International Conference on Engineering of Complex Computer Systems, ICECCS 2012, Paris, France, July 18-20, 2012
Planning Complex Systems in a Business Context
From Code to Design: A Reverse Engineering Approach
Verification of Hybrid Systems: Formalization and Proof Rules in PVS
Adaptive Majority-Based Re-routing for Differentiated Reliability in Wireless Sensor Networks
Preserving Consistency of Runtime Monitors across Protocol Changes
AADL Simulation and Performance Analysis in SystemC
Investigating the OOV Problem and Its Impacts on Neural Program Repair
A Realistic Architecture for Timed Testing
Real-Time Commit Protocol For Distributed Real-Time Database Systems
On-line Scheduling of Real-Time Distributed Computers With Complex Communication Constraints
Using Cases in Variability Analysis to Promote the Design of Flexible, Adaptable and Adaptive Systems
Web Services Testing via Goal and Mutation
Mnemosyne: Designing and Implementing Network Short-Term Memory
Semantic Network Model: A Reasoning Engine for Software Requirements
Detecting Security Vulnerabilities in Human-Machine Pair Programming with Pointer Analysis
Net-GPT: A LLM-Empowered Man-in-the-Middle Chatbot for Unmanned Aerial Vehicle
Bias Detection and Generalization in AI Algorithms on Edge for Autonomous Driving
Poster: Fine-grained Control Plane Container Profiler for MEC
Open Questions for Next Generation Chatbots
Adaptive Security Risk Mitigation in Edge Computing: Randomized Defense Meets Prospect Theory
AMVP: Adaptive CNN-based Multitask Video Processing on Mobile Stream Processing Platforms
EdgeCut: Fast and Low-Overhead Access of User-Associated Contents from Edge Servers
Developing a Self-Explanatory Transformer
Human-Autonomy Teaming on Autonomous Vehicles with Large Language Model-Enabled Human Digital Twins
Data-Driven End-to-End Delay Violation Probability Prediction with Extreme Value Mixture Models
A Contributory Public-Event Recording and Querying System
Smart Mobility Applications Supported by Non-Terrestrial Networks: Addressing the Need for Low Per-Packet Delays
Will They or Won't They?: Toward Effective Prediction of Watch Behavior for Time-Shifted Edge-Caching of Netflix Series Videos
You Can Enjoy Augmented Reality While Running Around: An Edge-based Mobile AR System
Scheduling Real-Time Applications on Edge Computing Platforms with Remote Attestation for Security
Experimental Test-Bed for Computation Offloading for Cooperative Inference on Edge Devices
TA-ASF: Attention-Sensitive Token Sampling and Fusing for Visual Transformer Models on the Edge
Poster: A Light Weight Service Discovery Mechanism in Robot Systems
Poster: Adapting XR Perception Serving for Edge Server Scalability
Risk-Based Zero Trust Scale for Tactical Edge Network Environments
Octopus: In-Network Content Adaptation to Control Congestion on 5G Links
Poster: Synchronizing Devices with Minimal Data Exchange and Applications for Graph-Based SLAM
User-Defined Privacy Preserving Data Sharing for Connected Autonomous Vehicles Utilizing Edge Computing
Secure and Energy-Efficient Offloading and Resource Allocation in a NOMA-Based MEC Network
Poster: An Assessment Framework for Edge Applications
Angler: Dark Pool Resource Allocation
FareQR: Fast and Reliable Screen-Camera Transfer System for Mobile Devices using QR Code
IEEE/ACM Symposium on Edge Computing, SEC 2024, Rome, Italy, December 4-7, 2024
Demo: A Multi-Agent Communication Framework in Cooperative Detection System
Falcon: Live Reconfiguration for Stateful Stream Processing on the Edge
Feather: Hierarchical Querying for the Edge
Traffic Safety System Edge AI Computing
Towards Edge-enabled Distributed Computing Framework for Heterogeneous Android-based Devices
Poster: A Demo of Autoware-Based Autonomous Driving Using Depth Sensing
On Quantum-Enhanced LDPC Decoding for Rayleigh Fading Channels
7th IEEE/ACM Symposium on Edge Computing, SEC 2022, Seattle, WA, USA, December 5-8, 2022
Edge-based fever screening system over private 5G
Poster: Self-Supervised Quantization-Aware Knowledge Distillation
OVIDA: Orchestrator for Video Analytics on Disaggregated Architecture
Research on Medical Data Storage and Sharing Model Based on Blockchain
6th IEEE/ACM Symposium on Edge Computing, SEC 2021, San Jose, CA, USA, December 14-17, 2021
HyperDrive: Scheduling Serverless Functions in the Edge-Cloud-Space 3D Continuum