yusuke1997/dblp-id-title huggingface dataset:
Optimal deadline assignment for scheduling soft aperiodic tasks in hard real-time environments
The Problem of Platform Complexity
A GRID based Framework and tools for automating production of cross media content
Linking Algebraic Semantics and Operational Semantics for Web Services Using Maude
Target tracking: a real-time object oriented design experiment
Indexing to Efficiently Support Fussy Queries on Range Specifications
Characterizing Java Streams in the Wild
A Novel Approach Based on Gestalt Psychology for Abstracting the Content of Large Execution Traces for Program Comprehension
An Intelligent-Agent Based Decision Support System for a Complex Command and Control Application
Verifying the CICS File Control API with Z/Eves: An Experiment in the Verified Software Repository
A Refinement Calculus for Hybrid Systems
A Bounded Semantics for Improving the Efficiency of Bounded Model Checking
Engineering Quality Requirements Using Quality Models
Requirements Validation by Lifting Retrenchments in B
Integrating formal methods tools to support system design
Complexity in Human Centered Systems: The Case of Software Processes
SC-WGAN: GAN-Based Oversampling Method for Network Intrusion Detection
On the integration of heterogeneous methods for complex applications
Large complex system test: objectives and approaches
Formal Analysis of a Single Sign-On Protocol Implementation for Android
Using Model Transformation to Generate Graphical Counter-Examples for the Formal Analysis of xUML Models
A parallel control computer structure for complex high speed applications
Communicating Complex Systems
Towards Using Concurrent Java API Correctly
Reflections on the Simulation of Complex Systems for Science
Resolving Conflicts with Committing Transactions in Distributed Real-time Databases
An Evolutionary Lifecycle Model with Agile Practices for Software Development at ABB
An object-oriented approach to handle complex real-time industrial automation projects
Verification of Nash-Equilibrium for Probabilistic BAR Systems
Specifying fault tolerance in large complex computing systems
Domain Modeling of Software Process Models
Towards Self-Healing Swarm Robotic Systems Inspired by Granuloma Formation
Understanding Complex Binary Loading Behaviors
Engineering baselines in system development: using ASCII files, two-column index piles, and system numbers, engineering tags, and change set numbers
Precedence constraints in hard real-time distributed systems
Hypercharts: extended statecharts to support hypermedia specification
Search-Based Uncertainty-Wise Requirements Prioritization
A Distributed Architecture for Autonomous Robots
Code Generation from AADL to a Real-Time Operating System: An Experimentation Feedback on the Use of Model Transformation
Efficient Parameter Synthesis Using Optimized State Exploration Strategies
A Software Requirements Specification Framework for Objective Pattern Recognition: A Set-Theoretic Classification Approach
Using Contexts to Manage System Complexity
Verification of NASA Emergent Systems
MULTIGRAPH: an architecture for model-integrated computing
A Formal Specification Constructing Tool for SOFL
Fostering Software Architect and Programmer Collaboration
Template-Based Smart Contract Verification: A Case Study on Maritime Transportation Domain
Comparing Routing Protocols
History-Based Test Case Prioritization with Software Version Awareness
Using Bounded Fairness to Specify and Verify Ordered Asynchronous Multi-agent Systems
Detecting Malicious JavaScript Code in Mozilla
McC++/Java: Enabling Multi-core Based Monitoring and Fault Tolerance in C++/Java
MobiDroid: A Performance-Sensitive Malware Detection System on Mobile Platform
Cost Models for Electronic Architecture Trade Studies
Game-Based Monitors for Scenario-Based Specification
An Adaptive Auto-configuration Tool for Hadoop
Contract-Based Verification of Digital Twins
Using the Right Tool for the Job
Formal alignment of requirements models with high-level architecture models
Animation of heterogeneous prototypes of real-time systems
Principles and Mechnisms for Evolving Software Systems: A Report from a Project on Software Evolution Principles
The Operational and Denotational Semantics of rMECal Calculus for Mobile Edge Computing
A Lazy Evaluation Strategy for Assessing Network Device Configuration Correctness
An Efficient Modeling and Execution Framework for Complex Systems Development
Model-based Design of Distributed Collaborative Bioinformatics Processes in the jABC
Physiological vs. Social Complexity in Software Design
Integrating CSP and DC
Modeling Complex Systems by Separating Application and Security Concerns
Toward Compiler Optimization of Distributed Real-Time Processes
An Interaction-Driven Approach to Identifying Functional Behaviors of Service Robot Systems
Goal-oriented dynamic buffer pool management for data base systems
A case study on design for provability
Agent Behavior: The Regulatory Object of the Agent-Centric Online Ecosystem in Digital Age
A Q-Learning-Driven Multi-crossover NSGA-II Framework for Energy-Efficient Hybrid Flow Shop Scheduling
Progressive Scheduling for Real-Time Artificial Intelligence Tasks
The Allocation and Scheduling Precedence and Timing-Constrained Tasks with communication Delays
An Empirical Comparison of Modularity of Procedural and Object-oriented Software
Automated Analysis of Reliability Architectures
Complex Systems - The External Influences
Two Formal Semantics of a Subset of the AADL
Parameter Sensitive Pointer Analysis for Java
Expressiveness of Notations for Reasoning about Concurrency
Framework for documenting design decisions in product families development
A Case Study in Formal System Engineering with SysML
Verifying Statecharts with State Invariants
A Composition Mechanism for Refinement-Based Methods
Random Resampling of Training Data for Effective Verification Strategy Prediction
OMEGA2: A New Version of the Profile and the Tools
Engineering of Complex Computer Systems - 28th International Conference, ICECCS 2024, Limassol, Cyprus, June 19-21, 2024, Proceedings
Formal Test-Case Generation for UML Statecharts
An approach to integration testing based on architectural descriptions
Formal specification and verification of communication protocols using automated tools
Concurrent Programming Made Easy
Efficient Retiming of Unfolded Synchronous Dataflow Graphs
A Type System for the Relational Calculus of Object Systems
Teledesic network and space infrastructure architecture and design
Parallel and Distributed Algorithms for Model Checking Problems (Doctoral Consortium)
Required Behavior of Sequence Diagrams: Semantics and Refinement
A Comprehensive Client-Side Behavior Model for Diagnosing Attacks in Ajax Applications
The Butterfly Methodology : A Gateway-free Approach for Migrating Legacy Information Systems
A knowledge-based approach to object-oriented legacy code reuse
26th International Conference on Engineering of Complex Computer Systems, ICECCS 2022, Hiroshima, Japan, March 26-30, 2022
Evaluation and Comparison of Task Allocation and Scheduling Methods for Distributed Real-Time Systems
Formal Methods Applied to Secure Network Engineering
A Model-Driven Approach for Evaluating System of Systems
Using speculative execution for fault tolerance in a real-time system
A graphical paradigm facilitating correct programming of complex computer control systems
Formally Describing the Architectural Behavior of Software-Intensive Systems-of-Systems with SosADL
Hybrid specification of control systems
Syntactic Fault Patterns in OO Programs
Spatio-temporal Properties Analysis for Cyber-physical Systems
Managing system technical risks using a process-based, integration infrastructure
CARE: A Platform for Reliable Comparison and Analysis of Reverse-Engineering Techniques
Monitoring and Optimizing Industrial Production Processes
Object management for network-centric systems with mobile objects
Exploiting Concurrency for the ESB Architecture
Model-Checking Based Approaches to Parameter Estimation of Gene Regulatory Networks
Comparing Fault-Proneness Estimation Models
Verified Software: Theories, Tools, Experiments
How to select samples for active learning? Document clustering with active learning methodology
Leveraging Service-Orientation for Combining Code Generation Frameworks
Automated Parameter Determination for Enhancing the Product Configuration System of Renault: An Experience Report
Formal Verification Techniques for Post-quantum Cryptography: A Systematic Review
Developments in System Architecting
Analyzing Excessive Permission Requests in Google Workspace Add-Ons
Feasibility concerns in PGM graphs with bounded buffers
AutoMTLSpec: Learning to Generate MTL Specifications from Natural Language Contracts
Architecture Design for the Large-Scale Software-Intensive Systems: A Decision-Oriented Approach and the Experience
Challenges in testing of cyclic systems
Automatic Fine-Grained Issue Report Reclassification
Building Reusable Software Architectures with Ada 95
AMF-GCN: An Adaptive Graph Convolution Network for Pull-up Evaluation
Verification Criteria for a Compositional Model for Reactive Systems
Software Reliability Modeling and Analysis via Kernel-Based Approach
Verifying FreeRTOS' Cyclic Doubly Linked List Implementation: From Abstract Specification to Machine Code
Formal Specification-based Online Monitoring
An Optimized Method for Automatic Test Oracle Generation from Real-Time Specification
Design and implementation of a distributed real-time image processing system
Overcoming Software Complexity by Constructing Abstraction Hierarchies - The Principles and Applications
A Framework for Performability Modeling of Messaging Services in Distributed Systems
Parameter Synthesis for Hierarchical Concurrent Real-Time Systems
Efficient Algorithms and Tools for MITL Model-Checking and Synthesis
Generating SystemC Implementations for Clock Constraints Specified in UML/MARTE CCSL
Tighter Schedulability Analysis of Synchronization Protocols Based on Overrun without Payback for Hierarchical Scheduling Frameworks
A Goal-Based Approach to Guide the Design of an Abstract Event-B Specification
Deep Learning Application in Broadcast Tennis Video Annotation
A combined functional and object-oriented approach to software design
Model Checking of Intersection Traffic Control Protocols
Minimal Schedule with Minimal Number of Agents in Attack-Defence Trees
The DELPHI experiment control system
Developing More Reliable Software Faster and Cheaper
On Real-Time Quasi-Durable Checkpointing
Probabilistic Denotational Semantics for an Interrupt Modelling Language
Mutation Operators for Object-Z Specification
Architecture Driven Modernization in Practice - Study Results
Evaluating the Performance of Group Membership Protocols
Stepwise Formal Modeling and Verification of Self-Adaptive Systems with Event-B. The Automatic Rover Protection Case Study
Joint Prediction of Multiple Vulnerability Characteristics Through Multi-Task Learning
GPU Accelerated On-the-Fly Reachability Checking
Recovering Software Architecture Product Lines
The role of secondary attributes in formal object modelling
Efficient Algorithms for T-way Test Sequence Generation
A UML Profile utilizing Enterprise Information System Configuration
An Invariant Inference Framework by Active Learning and SVMs
Principles, Standards and Tools for Model Engineering
Integrated Fault Diagnostics on the Grid
SDT a tool for complex real-time systems
Major Threat: From Formal Methods without Tools to Tools without Formal Methods
UML + ROOM as a Standard ADL?
POSIX and the Verification Grand Challenge: A Roadmap
Reusing Formal Models via Lifting
Design of a Communication System Capable of Supporting Real-Time RPC
On-line event reconstruction using a parallel in-memory database
A Thread Behavior-Based Memory Management Framework on Multi-core Smartphone
Modelling Hybrid Train Speed Controller using Proof and Refinement
Optimizing Communication Strategies in Contested and Dynamic Environments
On Immunological Memory as a Function of a Recursive Proliferation Process
Protecting Web Browser Extensions from JavaScript Injection Attacks
HoS-ML: Socio-Technical System ADL Dedicated to Human Vulnerability Identification
A Refinement Calculus for Promela
On-the-fly model checking for C programs with extended CADP in FMICS-jETI
A Layered Behavioural Model of Platelets
Towards SDN Network Proofs - Taming a Complex System
Implementing and Evaluating a Model Checker for Transactional Memory Systems
A Concrete Syntax for UML 2.1 Action Semantics Using +CAL
SMI: Stack Management Interface
EB4EB: A Framework for Reflexive Event-B
An Experimental Investigation of the Potential of BLF-driven Scheduling of Real-time Threads
Modeling and Verification of Memory Architectures with AADL and REAL
Schedulability related issues in end-to-end systems
Architecture Exploration of Real-Time Systems Based on Multi-objective Optimization
Memory Positioning of Real-Time Code for Smaller Worst-Case Execution Times
The Two Real-Time Solitudes: computerized control and telecommunications
Bridging structural and software design of PLC-based system families
Domain Visualization for Dealing with Complex Information Systems
Coupling-based Integration Testing
Reliability Analysis of Architectural Safeguards for AI-enabled Systems
Effective Generation of Test Sequences for Structural Testing of Concurrent Programs
From chi-t to µCRL: Combining Performance and Functional Analysis
Adaptability in cooperative systems: merging flexibility and performance
VP Reservation for Rapid Restoration Using Multiagents
Can We Learn Anything from Hardware Preventive Maintenance?
Layering in Object-Oriented Control Systems
The AADL behaviour annex - experiments and roadmap
Service-Based Development of Context-Aware Automotive Telematics Systems
Automatic Defect Categorization Based on Fault Triggering Conditions
A Network Analysis of Stakeholders in Tool Visioning Process for Story Test Driven Development
RECAP: a requirements elicitation, capture and analysis process prototype tool for large complex systems
Comparison of Six Ways to Extend the Scope of Cheddar to AADL v2 with Osate
A Realistic Commercially Robust Process for the Development of Object-Oriented Software
A Scalable Approach to Multi-style Architectural Modeling and Verification
Towards Efficiently Parallelizing Patch-Space Exploration in Automated Program Repair
Severe Punishment for Those Who Were Caught
Modelling and Analysis of Socio-Technical System of Systems
Semi-Supervised Approach for Recovering Traceability Links in Complex Systems
Recovery Method Based on Communicating Extended Finite State Machine (CEFSM) for Mobile Communications
EmVC: Managing Changes and Configurations in Designs of Complex, Embedded Computing Systems
Architectural Design Methodologies for Complex Evolving Systems
Semantic Technologies for Realising Decentralised Applications for the Web of Things
Techniques for Testing Component-Based Software
Modeling and Coordinating Social Interactions in Pervasive Environments
A CORBA-Based Architecture for Integrating Distributed and Heterogeneous Databases
Improved Recovery for Proactive, Distributed Routing
A Tile-Based Approach for Self-Assembling Service Compositions
Design of a Microprocessor-Based Control System of a Compression Molding Process
Jini++: A Framework for Developing Pervasive and Wireless Distributed Applications
Certification of reusable software components: summary of work in progress
A task graph model for design and implementation of real-time systems
Behavior Capture and Test: Automated Analysis of Component Integration
From Algebraic Semantics to Denotational Semantics for Verilog
Parameterized Design and Formal Verification of Multi-ported Memory
Derivation of Implementation Constraints - Implementation Simulation and Treatment of Multiple Design Choices
Architecture Driven Modeling in Software Development
Inference of Design Pattern Instances in UML models via Logic Programming
Extracting FSMs from Object-Z Specifications with History Invariants
Semi-automatic Transformation from Formal Specifications to Programs
Improving the Robustness and Reliability of Object-Oriented Programs through Exception Analysis and Testing
Adaptive Parallel Algorithms for the Synthesis of Real-Time Computer Systems
Runtime Anomaly Detection for Drones: An Integrated Rule-Mining and Unsupervised-Learning Approach
Developing Multi-view Contracts Using Event-B and Uppaal Timed Automata
CosyVerif: An Open Source Extensible Verification Environment
An Automated Platform for Immersive and Collaborative Visualization of Industrial Models
Reliability - Security Model
Integrating Functional and Security Requirements with Use Case Decomposition
Toward a Recommended Practice for Architectural Description
An Iterative Method of Task Temporal Parameter Adjustment in Hard Real-Time Systems
An object-oriented modeling of real-time robotic assembly system
Practical Considerations in Protocol Verification: The E-2C Case Study
Certification of Reusable Software Components: Summary of Work In Progress
New Measure and Experimental Evaluation for Multiagent-Based Reservation of Backup Virtual Paths in ATM Networks
Self-Explanation in Adaptive Systems
Experience Using Formal Methods for Specifying a Multi-Agent System
2013 18th International Conference on Engineering of Complex Computer Systems, Singapore, July 17-19, 2013
Integrated Real-Time Scheduling and Communication with Probabilistic Timing Assurances in Unreliable Distributed Systems
The Registry for Sensor Network Discovery
An Architectural Style Decoupling Coordination, Computation and Data
Dependability Engineering of Complex Computing Systems
Command and control system requirements analysis. System requirements specification tactical system CUP CMT
Some Observations on a Maturity Model for CBSE
A Z-based Approach to Specifying and Analyzing Complex Systems
Automated Planning for Software Architectural Migration
Conquering the Eight-Tailed Dragon - An Attempt to Deal with Structural and Behavioral Complexities
Analyzing and Forecasting Near-Miss Clones in Evolving Software: An Empirical Study
The LearnLib in FMICS-jETI
Formalism- Driven Development of Decentralized Systems
An architectural framework for interoperation of distributed heterogeneous database systems
A Cyclic Scheduling for Relative Timing Requirements
Towards Solving Decision Making Problems Using Probabilistic Model Checking
An Approach for Generating Executable Distributed Applications from Reusable Software Architectures
Reasoning about Nonblocking Concurrency using Reduction
A comparative assessment of some reengineering techniques
A Timing Model for Specifying Multi Clock Automotive Systems: The Timing Augmented Description Language V2
Reducing Malware labeling Efforts Through Efficient Prototype Selection
On the specification of complex software systems
Models and Methodology for Automated Business Continuity Analysis
Animating Real-Time Reactive Systems
Derivation of S-domain aircraft models
A light-weight static approach to analyzing UML behavioral properties
Towards a Session Logic for Communication Protocols
Enhancing Knowledge Sharing in Stack Overflow via Automatic External Web Resources Linking
Parametric non-interference in timed automata
Clause Replication and Reuse in Incremental Temporal Induction
Capturing Complete and Accurate Requirements by Refinemen
An MDE-Based Process for the Design, Implementation and Validation of Safety-Critical Systems
Analysis of Use Case Requirements Using SFTA and SFMEA Techniques
EFLightPM: An Efficient and Lightweight Persistent Memory System
Keynote: Continuous Model Driven Engineering
Global Software Engineering Research in a Small Country
Parallelism Viewpoint: A Viewpoint to Model Parallelism in Parallelism-Intensive Software Systems
An Empirical Study on Correlation between Coverage and Robustness for Deep Neural Networks
Speeding Up Type-Specific Instrumentation for the Analysis of Complex Systems
A performance oriented design methodology for large-scale distributed data intensive information systems
A unique tool set for engineering complex systems
Model-Driven Performance Prediction of Distributed Real-Time Embedded Defense Systems
Metrics and Tool for System Assessment
Morphologically Realistic Neural Networks
Hard real-time communications with weighted round robin service in ATM local area networks
A Mathematical Model for Analyzing Honeynets and Their Cyber Deception Techniques
Static Detection of Control-Flow-Related Vulnerabilities Using Graph Embedding
On the Evolution of Mobile App Complexity
Reasoning About Adaptivity of Agents and Multi-agent Systems
A formal method for provably correct composition of a real-life processor out of basic components. (The APE100 Reverse Engineering Study
Engineering of Complex Computer Systems - 29th International Conference, ICECCS 2025, Hangzhou, China, July 2-4, 2025, Proceedings
Biologically-Inspired Concepts for Self-Management of Complexity
Integrating AADL-Based Tool Chain into Existing Industrial Processes
QuanSafe: A DTBN-Based Framework of Quantitative Safety Analysis for AADL Models
On the Complexity of Design in Imaging Software
Security Concepts as Add-On for Process Models
Multi-Level Multi-Stage Agent-Based Decision Support System for Simulation of Crowd Dynamics
Benchmarking Dependability of a System Biology Application
Hardened Flow-Sensitive Trace Formula for Fault Localization
Automatic Analysis of TiMo Systems in PAT
Evolaris: A Roadmap to Self-evolving Software Intelligence Management
Dealing with AADL End-to-End Flow Latency with UML MARTE
Providing Generalized Rate Monotonic Scheduling Theory to I/O Abstractions over Timed Token Protocol MAC Networks
8th International Conference on Engineering of Complex Computer Systems (ICECCS 2002), 2-4 December 2002, Greenbelt, MD, USA
ABV - A Verifier for the Architecture Analysis and Design Language (AADL)
An Iterative Formal Model-Driven Approach to Railway Systems Validation
Exact and Efficient Temporal Steering of Software Behavioral Model Inference
Security Aspect of the Complexity of Modern Surveillance Systems - An Experience Report
Designing Distributed Component-Based Systems With DCL
Pex - An Intelligent Assistant for Rigorous Developer Testing
A Case History of International Space Station Requirement Faul
2nd IEEE International Conference on Engineering of Complex Computer Systems (ICECCS '96), 21-25 October 1996, Montreal, Canada
Incremental Updates for Textual Modelling of Large Scale Models
Predictions for increasing confidence in the reliability of safety critical software
Bridging Missions and Architecture in Software-Intensive Systems-of-Systems
Designing a Non-intrusive Monitoring Tool for Developing Complex Distributed Applications
A Formal Approach to Model Composition Applied to VUML
Exploiting OS-Level Mechanisms to Implement Mobile Code Security
Enacting a Software Development Process
A Fault Localization Approach Derived From Testing-based Formal Verification
A Characterization of UML Diagrams and their Consistency
Multi-layer Event Analytic Method of Adaptive Software Orienting at Uncertain Environments
Engineering Dynamic Adaptation for Achieving Cost-Efficient Resilience in Software-Intensive Embedded Systems
Formal Modelling and Analysis of Business Information Applications with Fault Tolerant Middleware
A Collaborative Code Review Platform for GitHub
Execution of TILCO Temporal Logic Specifications
Modeling and Verification of Solidity Smart Contracts with the B Method
27th International Conference on Engineering of Complex Computer Systems, ICECCS 2023, Toulouse, France, June 14-16, 2023
Active integration frameworks
A Framework for Dependability Specification
LTL Model Checking of Concurrent Self Modifying Code
Cache based fault recovery for distributed systems
Multi-modeling Approach to Performance Engineering of Cyber-Physical Systems Design
A Tool-Supported Approach to Testing UML Design Models
Enterprise Information Systems Configuration: Emphasizing the Symbiotic Relationship between Applications and the Underlying Network
TestCaseMig: LLM-Driven Test Case Migration for Evolving Codebases
Concurrent On-the-Fly SCC Detection for Automata-Based Model Checking with Fairness Assumption
Multimedia Content Distribution and Protection