yusuke1997/dblp-id-title huggingface dataset:
Achieving Discrete Relative Timing with Untimed Process Algebra
Multiple Backup Virtual Paths Reservation Problem and Its Solution
Model-Based Design and Analysis of Permission-Based Security
An Integrated Specification Logic for Cyber-Physical Systems
Complexity: Concept, Causes and Control
Multiple-View Meta-Modeling of Software Product Lines
Automatic Verification of Multi-threaded Programs by Inference of Rely-Guarantee Specifications
A Generalized Methodology for Evaluating and Optimizing System Design Factors
Parallel Model Checking and the FMICS-jETI Platform
Combining Global and Local Representations of Source Code for Method Naming
Design Verification and Validation for Reliable Safety-Critical Autonomous Control Systems
Design of a Tool for Specification-Based Program Review
Supporting Rigorous Evolution of UML Models
A Component-Based Approach for JavaCard Runtime System Development
DashChef: A Metric Recommendation Service for Online Systems Using Graph Learning
Performance Analysis of Traffic Networks Based on Stochastic Timed Petri Net Models
Web Application Architecture Security Evaluation Method Based on AADL
Automated Compositional Verification for Robotic State Machines using Isabelle/HOL
On the Impact of Kanban on Software Project Work: An Empirical Case Study Investigation
Software Internationalization and Localization: An Industrial Experience
6th International Conference on Engineering of Complex Computer Systems (ICECCS 2000), 11-15 September 2000, Tokyo, Japan
A Formal Model of Semantic Web Service Ontology (WSMO) Execution
Formal verification for distributed real-time control: periodic Producer/Consumer
Managing Complexity of Automotive Electronics Using the EAST-ADL
Dynamic Architectural Connectors in Cooperative Software Systems
Dealing with Complex Networks of Process Interactions: A Security Measure
5th International Conference on Engineering of Complex Computer Systems (ICECCS '99), October 18-22, 1999, Las Vegas, NV, USA
Mechanization of a Proof of String-Preprocessing in Boyer-Moore's Pattern Matching Algorithm
The Complexity of Deadline Analysis for Workflow Graphs with a Single Resource
An Experience Report on the Optimization of the Product Configuration System of Renault *
Validating Run-time Interactions in Distributed Java Applications
Non-intrusive Repair of Reactive Programs
Model Checking Nondeterministic Behaviours in the Tendermint Byzantine Fault Tolerant Blockchain Consensus Protocol
Belief-augmented OWL (BOWL) Engineering the SemanticWeb with Beliefs
Specifying static analysis tools using formal methods
Reachability Analysis of Self Modifying Code
Implementing Large-Scale Systems Using COTS Software
Robust H-infinity Filter Design for Networked Control System with Random Time Delays
Translating PDDL into CSP# - The PAT Approach
Quality Attribute Conflicts - Experiences from a Large Telecommunication Application
Single Image Defocus Deblurring in Photography Systems
An Executable Semantics of SystemC Transaction Level Models and Its Applications with VERDS
Modeling and design of complex cooperative software
Extending ERS for Modelling Dynamic Workflows in Event-B
TTET: Event-Triggered Channels on a Time-Triggered Base
Using a Model Checker to Test Safety Properties
An Assertional Correctness Proof of a Self-Stabilizing - Exclusion Algorithm
Requirements Exchange: From Specification Documents to Models
Computational Social Network Management in Crowdsourcing Environments
Runtime Prediction of Failure Modes from System Error Logs
Energy Efficient Duty Allocation Protocols for Wireless Sensor Networks
Certified Enumeration of AI Explanations: A Focus on Monotonic Classifiers
ReoFS: A Read-Efficient and Write-Optimized File System for Persistent Memory
Virtual Reality - An Approach to Improve the Generation of Fault-Free Software for Programmable Logic Controllers (PLC)
Multi-objectives Refinement of AADL Models for the Synthesis Embedded Systems (mu-RAMSES)
Cost-Benefit Trade-Off Analysis Using BBN for Aspect-Oriented Risk-Driven Development
Formalising Flash Memory: First Steps
Communicating TILCO: A Model for Real-Time System Specification
Variant Region Types
A Co-Modeling Methodology Designed for RT Architecture Models Integration
A Design by Contract Approach to Verify Access Control Policies
Bridging the Gap between Users and Complex Decision Support Systems: the Role of Justification
Refinement of system-level designs using hybrid modeling
Layered and Collecting NDFS with Subsumption for Parametric Timed Automata
From Bio-jETI Process Models to Native Code
Towards a Model-Driven Approach for Mapping Requirements on AADL Architectures
Validation of RailML Using ProB
Design Method for Conceptual Design of By-Wire Control: Two Case Studies
Formal Model of Interrupt Program from a Probabilistic Perspective
Integrating Timed Automata into Tabu Algorithm for HW-SW Partitioning
Ubiquitous Service Regulation Based on Dynamic Rules
A Study of the AADL Mode Change Protocol
Visualising Object-Oriented Source Code Complexity Using XML
A time-sharing architecture for complex real-time systems
Scavenging Complex Genomic Information Using Mobile Code: An Evaluation
Universal Analysis and Detection Framework for Location Aided Routing
OOPN-SRAM: A Novel Method for Software Risk Assessment
A Unified Framework for Throughput Analysis of Streaming Applications under Memory Constraints
Risk Assessment and Integrity in System Design
Optimizing Parallel Java Streams
The Burn-to-Claim cross-blockchain asset transfer protocol
Applying object-oriented technology in real-time systems with the OCTOPUS method
Engineering Socially-Aware Systems and Applications
Design Synthesis Using Adaptive Search Techniques and Multi-Criteria Decision Analysis
Reachability Analysis of Concurrent Self-modifying Code
Distributed Object-Oriented Design of Autonomous Control Systems for Connected Vehicle Platoons
Visual Comparison of Graphical Models
The Semantic Web Services Challenge: Tackling Complexity at the Orchestration Level
Integration of the Domain Modeling Method for Families of Systems with the SOFL Formal Specification Language
Behavior Gaps and Relations between Operating System and Applications on Accessing DRAM
Using Compositionality to Formally Model and Analyze Systems Built of a High Number of Components
An Engineering Design Process Supported by Knowledge Retrieval from a Spatial Database
On the Expressive Power of Invariants in Parametric Timed Automata
Using Aspects to Design a Secure System
Modeling and analysis of complex computer systems-the MTCCS approach
An Experimental Study on Collaborative Filtering for Requirements Engineering
Modes in Asynchronous Systems
Tailoring Process Synthesis to Domain Characteristics
A Method and a Technique to Model and Ensure Timeliness in Safety Critical Real-Time Systems
A General Purpose Virtual Collaboration Room
AADS+: AADL Simulation Including the Behavioral Annex
Evolution: A More Practical Approach than Refinement for Software Development
Achieving Weight Coverage for an Autonomous Driving System with Search-based Test Generation
Scalable Data Mining with Log Based Consistency DSM for High Performance Distributed Computing
Formal Methods to Generate Parallel Iterative Codes for PDE-Based Applications
A Model for Requirements Traceability in a Heterogeneous Model-Based Design Process: Application to Automotive Embedded Systems
Scalable Correct-by-Construction Conversation Protocols with Event-B: Validation, Experiments and Benchmarks
Automatic Composition of AADL Models for the Verification of Critical Component-Based Embedded Systems
SQLR: Grammar-Guided Validation of SQL Injection Sanitizers
A Slice Monad Transformer and Its Applications in Program Slicing
Time Controlled Dynamic Scheduling of Aperiodic Real-Time Tasks
Engineering Emergence
Statistical-Based Response-Time Analysis of Systems with Execution Dependencies between Tasks
OptoNet - A Case Study in Using Rigorous Analysis Techniques to Justify a Revised Product Assurance Strategy
Resilient Architecture for Complex Computing Systems
Using AADL to Model a Protocol Stack
LiCoVer: LLM-Powered Automated OSS License Compliance Verification
Rapid Prototyping of Complex Interactive Simulation Systems
Merging Test Models
A Language Support Environment for Complex Distributed Real-Time Applications
Certifying Semantic Robustness of Deep Neural Networks
A Framework for Analyzing and Organizing Complex Systems
A Web-Based Infrastructure for the Management of Semantic Meta-Data
Ensuring the satisfaction of a temporal specification at run-time
A Formal Contract Language for Plugin-based Software Engineering
Task Mapping in Heterogeneous MPSoCs for System Level Design
AADL Execution Semantics Transformation for Formal Verification
The Design of a Conceptual Framework and Technical Infrastructure for Model Management Language Engineering
Data Analysis of Digital Currency Networks: Namecoin Case Study
Automatic Difficulty Management and Testing in Games using a Framework Based on Behavior Trees and Genetic Algorithms
AWaRE - Towards Distributed Self-Management for Resilient Cyber Systems
Action Refinement for True Concurrent Real Time
Verification of Control Systems using Circus
Squeezing State Spaces of (Attack-Defence) Trees
The Architecture Tradeoff Analysis Method
EH-Recommender: Recommending Exception Handling Strategies Based on Program Context
Modelling and Analysing Standard Use within System of Systems
Pareto Optimal Scheduling for Synchronous Data Flow Graphs on Heterogeneous Multiprocessor
Tool Support for the Analysis of TADL2 Timing Constraints Using TimeSquare
Hybrid Relation Calculus
25th International Conference on Engineering of Complex Computer Systems, ICECCS 2020, Singapore, October 28-31, 2020
Representing architectural designs: a central issue in the development of complex systems
Model-based synthesis of a real-time image processing system
Design and Evaluation of Feature Distributed Malware Attacks against the Internet of Things (IoT)
Disproving XAI Myths with Formal Methods - Initial Results
21st International Conference on Engineering of Complex Computer Systems, ICECCS 2016, Dubai, United Arab Emirates, November 6-8, 2016
ROS-FM: Fast Monitoring for the Robotic Operating System(ROS)
Automatic Construction of Callback Model for Android Application
Consistency Checking of UML Requirements
An experience in introducing configuration management in a process-centered software engineering environment
Enabling eXtreme Model Driven Design of Parlay X-based Communications Services for End-to-End Multiplatform Service Orchestrations
Formal Modeling and Automatic Code Synthesis for Robot System
Verification of Replication Architectures in AADL
Requirements for client/server performance modeling
Extension-Compression Learning: A deep learning code search method that simulates reading habits
An Introduction to Three Perspectives on Formal Specification Review
An Implementation of the Behavior Annex in the AADL-Toolset Osate2
Automation of analysis and simulation for understanding of large real-time Ada software
Extending Tensor Virtual Machine to Support Deep-Learning Accelerators with Convolution Cores
Configuration Procedure Synthesis for Complex Systems Using Model Finder
Deriving Usage Model Variants for Model-Based Testing: An Industrial Case Study
Formal Certification of Non-interferent Android Bytecode (DEX Bytecode)
Improving Tenants' Trust in SaaS Applications Using Dynamic Security Monitors
A Real-time High-fidelity Driving Simulator System Based on PC Clusters
Bridging the Gap between User Requirements and Configuration Requirements
An Integrated MDA Approach with SysML and UML
23rd International Conference on Engineering of Complex Computer Systems, ICECCS 2018, Melbourne, Australia, December 12-14, 2018
Reusing Search Tree for Incremental SAT Solving of Temporal Induction
Checking Linearizability of Multi-core Task Management and Scheduling System
Mars Polar Lander Fault Identification Using Model-based Testing
Study of Software-Related Causes in the FDA Medical Device Recalls
Robust On-Line Approximation Control of Uncertain Nonlinear Systems Subject to Constraints
How Do Developers Use APIs? A Case Study in Concurrency
Reasoning about Asynchronous Behaviour in Distributed Systems
Building Correct Hybrid Systems using Event-B and Sagemath: Illustration by the Hybrid Smart Heating System Case Study
A Fully Dynamic Approach to the Reverse Engineering of UML Sequence Diagrams
A Software Architecture Approach for Designing CASE Systems
BigrTiMo-A Process Algebra for Structure-Aware Mobile Systems
Keynote: On the Increasing Complexity of Multimedia Service Provision in Next Generation Networks and the Future Internet
A Framework for Analyzing Configurations of Deployable Software Systems
Safety Controller Synthesis for Collaborative Robots
TORUS: Tracing Complex Requirements for Large Cyber-Physical Systems
PolyCARE: a tool for re-engineering multi-language program integrations
All Your Sessions Are Belong to Us: Investigating Authenticator Leakage through Backup Channels on Android
Modelling Link State Routing in Event-B
A Framework for SOFL-Based Program Review
Utilizing Risk Number and Program Slicing to Improve Human-Machine Pair Inspection
Secure Software Architectures Design by Aspect Orientation
Dynamically Detecting Relevant Program Invariants
Section-Blockchain: A Storage Reduced Blockchain Protocol, the Foundation of an Autotrophic Decentralized Storage Architecture
General-purpose multiparadigm programming languages: an enabling technology for constructing complex systems
Formal Analysis of a Proof-of-Stake Blockchain
A General Model for Non-Markovian Stochastic Decision Discrete-Event Systems
A CORBA-Based Multi-Agent System Integration Framework
Linking Object-Z with Spec#
A Theory of Lexicographic Multi-Criteria Optimization
16th IEEE International Conference on Engineering of Complex Computer Systems, ICECCS 2011, Las Vegas, Nevada, USA, 27-29 April 2011
Mobile IP Route Optimization Method for a Carrier-Scale IP Network
Rapid Prototyping & Development Life Cycle for Smart Applications of Internet of Entities
CONNECT Challenges: Towards Emergent Connectors for Eternal Networked Systems
Design Patterns for Software Health Monitoring
System Refinement in VDM-SL
10th International Conference on Engineering of Complex Computer Systems (ICECCS 2005), 16-20 June 2005, Shanghai, China
Trust-Based Adaptation in Complex Service-Oriented Systems
A Three Layers Software Development Method: Foundations and Definition
An Algorithmic Semantics for Viewcharts
Distributed Explicit State Space Exploration with State Reconstruction for RDMA Networks
Towards Efficient and Secure Multimodal Misinformation Detection
Assessing the Relation Between Hazards and Variability in Automotive Systems
Use of the process meta-model to describe requirements engineering
Timed Circus: Timed CSP with the Miracle
AnExecution Framework for MARTE-Based Models
Integrating Petri Nets With Design Methods for Concurrent and Real-Time Systems
Development of Autonomic Management Solutions for the Military Application Domain
A Transactional Architecture for Simulation
Three-dimensional DCT video compression technique based on adaptive quantizers
Test Architecture Generation by Leveraging BERT and Control and Data Flows
Fitness Landscape Characterisation for Constrained Software Architecture Optimisation Problems
Ambient Intelligence Applications: Introducing the Campus Framework
A Tool-Supported Review Approach to Detecting Structural Consistency Violations
A Novel Intelligent-Building-Fire-Risk Classification Method
Software Engineering Approaches to Semantic Web
Abstractions of Web Services
Analysis and Code Model Extraction for C/C++ Source Code
LIPS: A Protocol Suite for Homeostatic Sensornet Management
Formal Verification of an Array-Based Nonblocking Queue
TLSsem: A TLS Security-Enhanced Mechanism against MITM Attacks in Public WiFis
Abstract and concrete components: an approach to complex systems engineering
HOMESCAN: Scrutinizing Implementations of Smart Home Integrations
The Preservation of Interleaving Equivalences
Formal Requirements-Based Programming for Complex Systems
CONTAST: Graph Embedding Based Fault Localization Integrating AST and Context-Awareness
The effect of preemptive queuing in a priority-based real-time network
A Formal Framework for Reasoning Emergent Behaviors in Swarm Robotic Systems
Verification of MARTE/CCSL Time Requirements in Promela/SPIN
A Formal General Framework and Service Access Model for Service Grid
Dhara: A Service Abstraction-Based OS Kernel Design Model
An Anytime Algorithm for Large-scale Heterogeneous Task Allocation
Requirements-Aided Automatic Test Case Generation for Industrial Cyber-physical Systems
What Can the pi-calculus Tell Us About the Mondex Purse System?
24th International Conference on Engineering of Complex Computer Systems, ICECCS 2019, Guangzhou, China, November 10-13, 2019
Integrating AADL within a Multi-domain Modeling Framework
2014 19th International Conference on Engineering of Complex Computer Systems, Tianjin, China, August 4-7, 2014
Less is More: An Empirical Study of Undersampling Techniques for Technical Debt Prediction
Network Performance Evaluation for Distributed Embedded Systems Using Feature Models
Knowledge-Based Verification of Service Compositions - An SMT Approach
Modeling and Implementing Ontology-Based Publish/Subscribe Using Semantic Web Technologies
High-Precision Relative Clock Synchronization Using Time Stamp Counters
Facilitating the Adoption of Standards through Model-Based Representation
Communicating Software Architecture using a Unified Single-View Visualization
B-Repair: Repairing B-Models Using Machine Learning
A Make/Buy/Reuse Feature Development Framework for Product Line Evolution
Towards Mining Comprehensive Android Sandboxes
A Digital Twin Runtime Verification Framework for Protecting Satellites Systems from Cyber Attacks
AutoWeb: Automatically Inferring Web Framework Semantics via Configuration Mutation
A Model-Driven Framework for the Development of Portable Real-Time Embedded Systems
Polyglot AST: Towards Enabling Polyglot Code Analysis
QVT Based Model Transformation from Sequence Diagram to CSP
Verifying Parameterized Refinement
Selecting V&V Technology Combinations: How to Pick a Winner?
AccMILP: An Approach for Accelerating Neural Network Verification Based on Neuron Importance
Experimental Frailty Model towards an Adaptable Service Delivery for Aging People
Modular Synthesis of Discrete Controllers
Assessment and Optimization of System Architectures - Experience from Industrial Applications at Siemens
A Rigorous Approach to Uncovering Security Policy Violations in UML Designs
SeqMobile: An Efficient Sequence-Based Malware Detection System Using RNN on Mobile Devices
Visual counterexample explanation for model checking with OERITTE
Evaluating Conformance of UML Models to Design Patterns
Evolvable Real-Time C3 Systems-II: Real-Time Infrastructure Requirements
Detecting Inconsistencies in Rule-Based Reasoning for Ambient Intelligence
A Multi-agent System for Complex Vehicle Fault Diagnostics and Health Monitoring
12th International Conference on Engineering of Complex Computer Systems (ICECCS 2007), 10-14 July 2007, Auckland, New Zealand
A Spatial Logic for Modeling and Verification of Collision-Free Control of Vehicles
7th International Conference on Engineering of Complex Computer Systems (ICECCS 2001), 11-13 June 2001, Skövde, Sweden
An Experience Report in Requirements Elicitation for Accessible E-Learning Systems
Expiring opacity problems in parametric timed automata
DeepMR: A Learning-Based Approach for Efficient Mutation Reduction in DNN Fault Localization
Design Patterns for Rule-Based Refinement of Safety Critical Embedded Systems Models
From MARTE to AADL with a Seamless Process
Application of Organizational Process Asset Library in High Maturity Process Improvement
Ontology Aided Model Comparison
The Semantic Spreadsheet
Measuring Opacity for Non-Probabilistic DES: a SOG-Based Approach
Integrating Object-Z with Timed Automata
Interactive Consistency in Quasi-Asynchronous Systems
Extending SOFL Features for AOP Modeling
Executing AADL Models with UML/MARTE
Conformance Testing of Time-Dependent Protocols
Interoperability issues in sharing electronic healthcare records-the Synapses approach
Application of Security Principles to Integration of Enterprise, System and Software Engineering Methods
An Experiment on Decision Diagrams for Model Checking Probabilistic Timed Automata
Constraint Management in Engineering of Complex Information Systems
Graphical Programming of Time-Deterministic Real-Time Systems
Behaviour-Driven Formal Model Development of the ETCS Hybrid Level 3
Foggy: A New Anonymous Communication Architecture Based on Microservices
Contribution of object-oriented methodologies to the specification of complex systems
Improving Protocol Performance by Dynamic Control of Communication Resources
Applying the COSMIC Functional Size Measurement Method to Problem Frames
Formal Modeling and Security Analysis for OpenFlow-Based Networks
A Reflective Approach for Supporting the Dynamic Evolution of Component Types
Knowledge Models to Reduce the Gap between Heterogeneous Models: Application to Aircraft Systems Engineering
4th International Conference on Engineering of Complex Computer Systems (ICECCS '98), 10-14 August 1998, Monterey, CA, USA
Software Information Leaks: A Complexity Perspective
Towards Deductive Verification of Control Algorithms for Autonomous Marine Vehicles
Cultural Influences on the Requirements Engineering Process: Lessons Learned from Practice
GUI Ferret: GUI Test Tool to Analyze Complex Behavior of Multi-window Applications
A Model-Based Architecture Supporting Virtual Organizations in Pervasive Systems
Architecture specifications for complex real-time dependable systems
Formal Synthesis of Trajectories for Unmanned Aerial Vehicles to Perform Resilient Surveillance of Critical Power Transmission Lines
Future Mobile Phones - Complex Design Challenges from an Embedded Systems Perspective
Towards Succinctness in Mining Scenario-Based Specifications
Automated Verification of Shape, Size and Bag Properties
On the Applicability of Compressive Sampling in Fine Grained Processor Performance Monitoring
Why Predicting Outliers in Software is a Good Thing to Do!
An Approach to Verifying Security and Timing Properties in UML Models
A Synthesis Method for Fault-tolerant and Flexible Multipath Routing Protocols
MixRecLGB: Language-Enhanced Mixed Attention for Temporal Context Modeling in Time Series Forecasting
Evolving Messaging Systems for Secure Role Based Messaging
Analyzing Security Property of Android Application Implementation Using Formal Method
Hardware/software cosynthesis: multiple constraint satisfaction and component retrieval
Integrating Tools: Co-simulation in UPPAAL Using FMI-FMU
Modeling Variability from Requirements to Runtime
Telecommunication software development using SDL-92: practical experience
Coping with Legacy System Migration Complexity
Alternative priority scheduling in dynamic priority systems
Leveraging Large Language Models for Feature Envy Detection: A Context-Aware and Reasoning-Driven Approach
Apla Generic Constraint Matching Detection and Verification
Fluid-Based Stability Analysis of Mixed TCP and UDP Traffic under RED
An Analysis Tool for Coupling-Based Integration Testing
A Complex Systems Modelling Approach for Decentralised Simulation of Electrical Microgrids
A Tool Set for Integrated Software and Hardware Dependability Analysis Using the Architecture Analysis and Design Language (AADL) and Error Model Annex
Self-adaptation in Microservice Architectures: A Case Study
Complexity Is the Enemy of Dependability - Can Diversity Provide a Defense?
Towards a MDE Transformation Workflow for Dependability Analysis
A Model-Based Approach for Design Time Elasticity Rules Generation
TILCO-X, an Extension of TILCO Temporal Logic
Heterogeneous Aviation Safety Cases: Integrating the Formal and the Non-formal
Merging UML2 Composite Structures of Software Product Lines
Recovery of Communications Protocol Design from Run Time Protocol Traces
Linking VDM and Z
Criteria for Generating Specification-Based Tests