yusuke1997/dblp-id-title huggingface dataset:
A Meta-Model-Based Approach for Specification of Graphical Representations
On the Resilience of Classes to Change
User Interfaces for Theorem Provers: Necessary Nuisance or Unexplored Potential?
Process Scenarios in Open Source Software Certification
Checking Graph-Transformation Systems for Confluence
Formal Modeling and Analysis for Interactive Hybrid Systems
Testing Interconnected Systems with Behavior Mining
Automated Analysis of Voting Systems with Dolev-Yao Intruder Model
Automatic Deployment Space Exploration Using Refinement Transformations
Conformance Testing of Cyber-Physical Systems: A Comparative Study
Automated Model Synchronization: A Case Study on UML with Maude
A Pattern Language for the Evolution of Component-based Software Architectures
Preface of the Workshop on Visual Formalisms for Patterns, VFfP'10
Delta Lenses over Inductive Types
Automated Verification of Specifications with Typestates and Access Permissions
MoleNet: An Underground Sensor Network for Soil Monitoring
Debugging Distributed Systems with Causal Nets
A Middleware for Self-Organising Distributed Ambient Assisted Living Applications
Modelling and analysing the interactive behaviour of an infusion pump
Service Distribution in IP Networks - A Business Model Analysis
Semantic-Service Provisioning for the Internet of Things
A Novel Opportunistic Spectrum Sharing Scheme for Cognitive Ad Hoc Networks
The Jury is still out: A Comparison of AGG, Fujaba, and PROGRES
Verification of safety requirements for program code using data abstraction
Functorial Analysis of Algebraic Higher-Order Net Systems with Applications to Mobile Ad-Hoc Networks
Gene Expression with General Purpose Graph Rewriting Systems
Towards a Methodology for Semantics Specification of Domain-specific Models through Properties
Optimization in Graph Transformation Systems Using Petri Net Based Techniques
Declarative Models for Business Processes and UI Generation using OCL
Identifying the Challenges in Reducing Latency in GSN using Predictors
Generation of Formal Model Metrics for MOF based Domain Specific Languages
RoombaNet - Testbed for Mobile Networks
Semantical Correctness of Simulation-to-Animation Model and Rule Transformation
Generating Requirements Views: A Transformation-Driven Approach
On Software Quality-motivated Design of a Real-time Framework for Complex Robot Control Systems
Information Management for Multi-Agent Systems
Lazy Merging: From a Potential of Universes to a Universe of Potentials
Richer Interface Automata with Optimistic and Pessimistic Compatibility
ScenarioTools Real-Time Play-Out for Test Sequence Validation in an Automotive Case Study
Integrating model checking and UML based model-driven development for embedded systems
ModGraph - Generating Executable EMF Models
Building an Infrastructure Level Context Model in Ambient Assisted Living
Static Source Code Analysis using OCL
Solving the N-Queens Problem with GROOVE - Towards a Compendium of Best Practices
Model-based Testing and Analysis of Coordinated Components
Model Transformations to Mitigate the Semantic Gap in Embedded Systems Verification
Learning-based Coordination of Distributed Component Deployment
Efficient Analysis of Permutation Equivalence of Graph Derivations Based on Petri Nets
Stochastic Modelling and Analysis of Driver Behaviour
Towards Logical Clocks in P2P-based MMVEs
A Graph-Based Type Representation for Objects
Verification of Symmetry Detection using PVS
Towards opportunistic UAV relaying for smart cities
Creating Well-Structured Specifications in MOFLON
Impact of radio channel characteristics on the longitudinal behaviour of truck platoons in critical car-following situations
Repotting the Geraniums: On Nested Graph Transformation Rules
SOS-Supported Graph Transformation
Extending Graph Query Languages by Reduction
Flexible Modeling of Emergency Scenarios using Reconfigurable Systems
Beyond Flexibility - Workflows in the perioperative Sector of the Healthcare Domain
A coinductive approach to verified exact real number computation
Structuring Functional Requirements of Control Systems to Facilitate Refinement-based Formalisation
Layered Architecture Consistency for MANETs: Introducing New Team Members
Divide and Conquer - Organizing Component-based Adaptation in Distributed Environments
Adding Rule-Based Model Transformation to Modelling Languages in MetaEdit+
Middleware for the Internet of Things, Design Goals and Challenges
Security and Privacy Challenges in the Internet of Things
Statistical Model Checking of Dynamic Networks of Stochastic Hybrid Automata
Using Semantic Anchoring to Verify Behavior Preservation in Graph Transformations
Contraction of Unconnected Diagrams using Least Cost Parsing
Towards Optimization-Based Predictive Congestion Control for the Tor Network
Graph Transformation Model of a Triangulated Network of Mobile Units
20 Years of Triple Graph Grammars: A Roadmap for Future Research
An Architectural Approach to the Design and Analysis of Cyber-Physical Systems
Preface of the Proceedings of the Third International ERCIM Symposium on Software Evolution - EVOL 2007
Negative Application Conditions for Reconfigurable Place/Transition Systems
Semantic Issues of OCL: Past, Present, and Future
Dynamic Validation of OCL Constraints with mOdCL
Extending ASSL: Making UML Metamodel-based Workflows executable
Graph Transformations for the Resource Description Framework
Estimating Rewards & Rare Events in Nondeterministic Systems
Stepping from Graph Transformation Units to Model Transformation Units
Concurrent Workflow Evolution
Analysis of Mobile Agents using Invariants of Object Nets
"Vehicular Steganography"?: Opportunities and Challenges
A Deductive Verification Platform for Cryptographic Software
Refactoring Informations Systems
Object Oriented and Rule-based Design of Visual Languages using Tiger
Model Checking Communicating Processes: Run Graphs, Graph Grammars, and MSO
Sketch-based Diagram Editors with User Assistance based on Graph Transformation and Graph Drawing Techniques
Towards Guided Trajectory Exploration of Graph Transformation Systems
A Pattern-Based Approach to Manage Model References
Verification of Model Transformations to Refactoring Mobile Social Networks
Towards Translating Graph Transformation Approaches by Model Transformations
Modeling context with graph annotations
Using Graph Transformation Systems to Specify and Verify Data Abstractions
Analysis of Hypergraph Transformation Systems in AGG based on M-Functors
Theory-based Analyses of Interorganisational Standards for Self-organising, Adaptive Value Creation Networks
Robust Parsing of Cloned Token Sequences
Towards QoE-Driven Optimization of Multi-Dimensional Content Streaming
Exploiting the Layout Engine to Assess Diagram Completions
Preface of the Proceedings of the Second International Workshop on Layout of (Software) Engineering Diagrams (LED 2008)
Lightweight Visualisations of COBOL Code for Supporting Migration to SOA
QBF with Soft Variables
Parallelization of Graph Transformation Based on Incremental Pattern Matching
Rigorous Design of FDIR Systems with BIP
Avocs2010 Preface
Uncertainty Entangled; Modelling Safety Assurance Cases for Autonomous Systems
ReConNet: A Tool for Modeling and Simulating with Reconfigurable Place/Transition Nets
Hacking planned obsolescense in robotics, towards security-oriented robot teardown
Model Checking C++ with Exceptions
Selbstorganisierendes Service Level Management basierend auf Mechanismus-Design
Categorical Abstract Rewriting Systems and Functoriality of Graph Transformation
Evaluation of Multi-hop Ad-hoc Routing Protocols in Wireless Seismic Data Acquisition
Verification of Model Transformations
Combining Model Checking and Discrete-Event Supervisor Synthesis
An Approach for Model Querying-by-Example Applied to Multi- Paradigm Models
Enhanced Formal Verification Flow for Circuits Integrating Debugging and Coverage Analysis
Ensuring Containment Constraints in Graph-based Model Transformation Approaches
Model-based WCET Analysis with Invariants
Interactive, Constraint-based Layout of Engineering Diagrams
Sharing OCL Constraints by Using Web Rules
Early Work: Path Selection in a Path-aware Network Architecture
Modelling Clustering of Wireless Sensor Networks with Synchronised Hyperedge Replacement
Model-Based Engineering for the support of Models of Computation: The Cometa Approach
Delta Lenses and Opfibrations
Designing, Conducting, and Analyzing Empirical Studies
Type Checking C++ Template Instantiation by Graph Programs
Layout Improvement in Diagram Editors by Automatic Ad-hoc Layout
Instance Generation from Type Graphs with Arbitrary Multiplicities
Cross-Programming Language Taint Analysis for the IoT Ecosystem
A workbench for preprocessor design and evaluation: toward benchmarks for parity games
A Visual Notation for Declarative Behaviour Specification
Analysis of Car-to-Car Beaconing with Network Coding
DSL-based Interoperability and Integration in the Smart Manufacturing Digital Thread
Handling Domain Knowledge in Design and Analysis of Engineering Models
Simplifying proofs of linearisability using layers of abstraction
Propagation of Constraints along Model Transformations Based on Triple Graph Grammars
Fully Symbolic TCTL Model Checking for Incomplete Timed Systems
Reusing Model Transformations across Heterogeneous Metamodels
ECEASST Building an Efficient Component for OCL Evaluation
Visual Specification Patterns
Evaluation of self-organizing communication mechanisms within a communication platform for disaster management
Concurrent Design of Embedded Control Software
Teaching Programming Students how to Model: Challenges & Opportunities
On Judgements and Propositions
AFFIX - Ein ressourcenbewusstes Framework für Kontextinformationen in eingebetteten verteilten Systemen
Load Characterization for Distributed Virtual Environments
User Space Packet Schedulers: Towards Rapid Prototyping of Queue-Management Algorithms
Rule-Level Verification of Business Process Transformations using CSP
Towards Self-evolving Context-aware Services
ENFORCe: A System for Ensuring Formal Correctness of High-level Programs
Analysis of Petri Nets with Context-Free Structure Changes
On Privacy and Utility while Improving Software Quality
Overcoming a Communication Barrier on the Way Towards a Global Sensor Network
Patterns of Federated Identity Management Systems as Architectural Reconfigurations
Using Free/Libre Open Source Software Projects as E-learning Tools
Automatic Analysis of Applications for Portability across Linux Distributions
The LED Diagram Layout Challenge
On the Resilience of Opportunistic Networks against DoS Attacks
Simulating Multigraph Transformations Using Simple Graphs
Modeling Process-Related Duties with Extended UML Activity and Interaction Diagrams
Using Resources as Synchronizers to Manage Mobile Process Adaption
De-/Re-constructing Model Transformation Languages
Layout Specification on the Concrete and Abstract Syntax Level of a Diagram Language
From C++ Refactorings to Graph Transformations
From Petri Nets to Graph Transformation Systems
Implementing a model-driven and iterative quality assessment life-cycle: a case study
A MOP Based DSL for Testing Java Programs using OCL
Cotransforming Grammars with Shared Packed Parse Forests
Asking Why: Towards Conscious Decision-making in times of VUCA
Preface of the Workshop on Visual Formalisms for Patterns, VFfP'09
Attribute Computations in the DPoPb Graph Transformation Engine
Open Source Verification under a Cloud
Deep Reinforcement Learning for Smart Queue Management
Markov Abstractions for Probabilistic Pi-Calculus
Synthesizing Executable Simulations from Structural Models of Component-Based Systems
Automating the referral pathways for Multiple Myeloma through a Web Application and XMDD
An Overview of F-OML: An F-Logic Based Object Modeling Language
Adaptive Task Automata with Earliest-Deadline-First Scheduling
Visual Modeling of Controlled EMF Model Transformation using HENSHIN
Graph Computation Models
Count Me If You Can: Enumerating QUIC Servers Behind Load Balancers
Incremental Pattern Matching for Regular Expressions
Möglichkeiten der dynamischen Anpassung von Sensornetzwerken am Beispiel des acoowee-Projekts
Independence Analysis of Firing and Rule-based Net Transformations in Reconfigurable Object Nets
Modeling of Self-Organizing Systems: An Overview
Neues Messsystem zur Beurteilung der Qualität des Videostroms beim Dienst Video Telephony in IP-Umgebung
Network Virtualization: Implementation Steps Towards the Future Internet
Lattice-extended Coloured Petri Net Rewriting for Adaptable User Interface Models
UML is still inconsistent! How to improve OCL Constraints in the UML 2.3 Superstructure
7th International Workshop on Graph Based Tools (GraBaTs 2012): Preface
Integrating Data from Multiple Repositories to Analyze Patterns of Contribution in FOSS Projects
Novel Techniques For Model-Code Synchronization
From Hyperedge Replacement to Separation Logic and Back
Automated Verification by Declarative Description of Graph Rewriting-Based Model Transformations
The Role of User Guidance in the Industrial Adoption of MDE Approach
A Novel Approach to Achieving End-to-End QoS for Avionic Applications
Isomorphism Checking in GROOVE
From Model Transformation to Model Integration based on the Algebraic Approach to Triple Graph Grammars
Challenging the Need for Transparency, Controllability, and Consistency in Usable Adaptation Design
Reactive Context-Aware Programming
Reachability Analysis on Timed Graph Transformation Systems
Methods and Tools for Engineering Self-Organizing Software Systems
String-based Multi-adjoint Lattices for Tracing Fuzzy Logic Computations
Analysis of Inconsistent Routing Components in Reactive Routing Protocols
Preface of Proceedings 7th International Workshop on Graph Transformation and Visual Modeling Techniques (GT-VMT 2008)
Parallel Graph Grammars with Instantiation Rules Allow Efficient Structural Factorization of Virtual Vegetation
Reaction Systems: a Formal Framework for Processes Based on Biochemical Interactions
Interactive Strategy-Based Validation of Behavioral Models
On Propagation-Based Concurrent Model Synchronization
Interaction nets: programming language design and implementation
Lifting Parallel Graph Transformation Concepts to Model Transformation based on the Eclipse Modeling Framework
Realizing QVT with Graph Rewriting-Based Model Transformation
AskTheCode: Interactive Call Graph Exploration for Error Fixing and Prevention
Supporting Reengineering Scenarios with FETCH: an Experience Report
Expressiveness of graph conditions with variables
Categorical Framework for the Transformation of Object-Oriented Systems: Operations and Methods
The Qualitative background of why a DSL knowledge based platform is needed in the context of Sustainability
Refactoring of Model Transformations
Browser Fingerprinting: How to Protect Machine Learning Models and Data with Differential Privacy?
Virtualization of spectrum for mobile operators: the pricing issue
Coverage Criteria for Testing DMM Specifications
Analysis of Collaboration Effectiveness and Individuals' Contribution in FLOSS Communities
Reusing Semantics in Visual Editors: A Case for Reference Attribute Grammars
Testing as a Certification Approach
Demonstration: A cloud-native digital twin with adaptive cloud-based control and intrusion detection
Decidability and Expressiveness of Finitely Representable Recognizable Graph Languages
The highs and lows of deploying Formal Methods in Industry
IBR-DTN: A lightweight, modular and highly portable Bundle Protocol implementation
Non-Deterministic Matching Algorithm for Net Transformations
Event Structure Semantics for Dynamic Graph Grammars
Property Inference-based Federated Learning Groups for Collaborative Network Anomaly Detection
Inter-Modelling with Graphical Constraints: Foundations and Applications
An Incremental OCL Compiler for Modeling Environments
Decidable Race Condition and Open Coregions in HMSC
Volatile Sets: Event-driven Collections for Mobile Ad-Hoc Applications
Model-Driven Constraint Engineering
Integration of Triple Graph Grammars and Constraints
UI-Design Driven Model-Based Testing
Proving Correctness of Graph Programs Relative to Recursively Nested Conditions
Composition of M, N-adhesive Categories with Application to Attribution of Graphs
Euler Diagram Transformations
Symbolic Attributed Graphs for Attributed Graph Transformation
Implementing Advanced RBAC Administration Functionality with USE
Evolutionary Success of Open Source Software: an Investigation into Exogenous Drivers
Recent Advances in Multi-Paradigm Modeling
Specification and refinement of discrete timing properties in Event-B
Multi-core and/or Symbolic Model Checking
Model Instantiation and Type Checking in UMLX
3D UML Heuristic Challenge
Static Analysis of Information Release in Interactive Programs
Writing a Model Checker in 80 Days: Reusable Libraries and Custom Implementation
Ambient Contracts
Transforming Event-B Models to Dafny Contracts
Data Centric Peer-to-Peer Communication in Power Grids
Timed Automata for Mobile Ransomware Detection
Model Extraction of Legacy C Code in SCCharts
International Colloquium on Graph and Model Transformation (GraMoT) 2010: Preface
A Model Transformation for Automated Concrete Syntax Definitions of Metamodeled Visual Languages
Test-Case Generation for SQL Nested Queries with Existential Conditions
A Note on Causalities in Reaction Systems
Design of a Railway Domain Profile and its OCL-based Validation
Aspects for Graph Grammars
Test-driven Language Derivation with Graph Transformation-Based Dynamic Meta Modeling
Approximating Idealised Real-Time Specifications Using Time Bands
Formal verification of a theory of packages
Component Certification as a Prerequisite forWidespread OSS Reuse
A Bidirectional Collaboration Framework for Bio-Model Development
Position Paper: Software Modeling Education
Conditional Adaptive Star Grammars
Rule-Based Synthesis of Chains of Security Functions for Software-Defined Networks
A Framework for the Formal Verification of Networks of Railway Interlockings - Application to the Belgian Railway
OCL-based Runtime Monitoring of JVM hosted Applications
Tightly coupled verification of pervasive systems
Graph Rewriting with Contextual Refinement
Capturing the distinction between task and device errors in a formal model of user behaviour
An Architecture Description Language for Embedded Hardware Platforms
Active Clones: Source Code Clones at Runtime
Conditions in Reactive Systems and in Graph Rewriting
Second Interactive Workshop on the Industrial Application of Verification and Testing, ETAPS 2020 Workshop (InterAVT 2020)
Incremental update of constraint-compliant policy rules
Towards a Flexible and Evolvable Framework for Self-Adaptation
Pattern Catalogs using the Pattern Language Meta Language
Generating Real-time Decision Systems with the new miAamics
Analyzing Consistency of Formal Requirements
Local Confluence Analysis of Consistent EMF Transformations
Defining Models - Meta Models versus Graph Grammars
OCL: Modularising the Language
Foundations of Modelling and Simulation of Complex Systems
Integriertes Performance-Monitoring von SOA-Anwendungen
Position Statement: Models in Software and Systems Development
High-level Proofs about Low-level Programs
Towards SMV Model Checking of Signal (multi-clocked) Specifications
Development of Rabin's Choice Coordination Algorithm in Event-B
Comparing communication and development networks for predicting file change proneness: An exploratory study considering process and social metrics
State Distribution Policy for Distributed Model Checking of Actor Models
Analyzing Conflict Freedom for Multi-threaded Programs With Time Annotations
A Subgraph Operator for Graph Transformation Languages
Flexible Behaviour of Human Actors in Distributed Workflows
Compliance between Architecture and Design Models of Component-Based Systems
Automation of Java Code Analysis for Programming Exercises
The Use of Executable FIT Tables to support Maintenance and Evolution Tasks
Teaching Model Driven Language Handling
Visual Modeling and Analysis of EMF Model Transformations Based on Triple Graph Grammars
Security in Open Model Software with Hardware Virtualisation - The Railway Control System Perspective
Semantic Adaptation using CCSL Clock Constraints
eDOBS - Graphical Debugging for Eclipse
Fuzzy Logic supported Consistency Management in DDVEs
Using SMT for dealing with nondeterminism in ASM-based runtime verification
Discrete-time Analysis of Multicomponent GI/GI/1 Queueing Networks
C# 3.0 makes OCL redundant!
Context awareness: Challenges and opportunities in modern smartphone use
Preface (OCL 2011 Proceedings)
Towards a Pattern Language for the Design of Collaborative Interactive Systems
Graph Tuple Transformation
Rapid Prototyping of Topology Control Algorithms by Graph Transformation
Software Engineering meets Artificial Intelligence
Synthesis of smart manufacturing environments. Towards evolvable robotic navigation scenarios
Position Paper: Formal Methods in Agile Development
An Architecture to Support Learning-based Adaptation of Persistent Queries in Mobile Environments
Towards Transformation Rule Composition
A Graph Transformational View on Reductions in NP
Pattern-Based Layout Specifications for Visual Language Editors
Formal Specification, Verification, and Implementation of Fault-Tolerant Systems using EventML
Towards Dynamic Reverse Engineering Visual Contracts from Java
Congestion Aware Objects Filtering for Collective Perception
A basic tool for the modeling of Marked-Controlled Reconfigurable Petri Nets
Late Propagation in Near-Miss Clones: An Empirical Study
Proof-Oriented Design of a Separation Kernel with Minimal Trusted Computing Base
A generic in-place transformation-based approach to structured model co-evolution
Towards Sharing Rules Between OWL/SWRL and UML/OCL
Requirements Analysis for an Integrated OCL Development Environment
Automated Verification of Asynchronous Communicating Systems with TLA+
Testing self-adaptive applications with simulation of context events
Second-Order Value Numbering
Tabling with Support for Relational Features in a Deductive Database
Introduction to Symbolic Execution of Neural Networks - Towards Faithful and Explainable Surrogate Models
Threshold Concepts in Object-Oriented Modelling
An Approach to Invariant-based Program Refactoring
ProMoX: A protocol stack monitoring framework
Selbstverwaltung im Future Internet
Towards Code-centric Code Generators
Faster FDR Counterexample Generation Using SAT-Solving
Optimizing Model-Based Software Product Line Testing with Graph Transformations
Algebraic Model Checking
On Modelling Communication in Ubiquitous Computing Systems using Algebraic Higher Order Nets
Graph Passing in Graph Transformation
A Logical Framework for Trust-Related Emotions
Evaluation of Graphical Control Flow Management Approaches for Event-B Modelling
Proving Linearizability of Multiset with Local Proof Obligations
Adaptive Security Architectures for Global Sensing Applications
More on Graph Rewriting With Contextual Refinement
Formal Modeling of Communication Platforms using Reconfigurable Algebraic High-Level Nets
Mobile CSP||B
Visual Programming with Recursion Patterns in Interaction Nets
Termination of Algebraic Rewriting with Inhibitors
Ray-tracing based Inference Attacks on Physical Layer Security
Using System Virtualization to Create Virtualized Networks
Towards Reuse on the Meta-Level
Experiences in the Industrial use of Formal Methods
The Role of Best Practices to Appraise Open Source Software
Improved Flexibility and Scalability by Interpreting Story Diagrams
View-based Modelling and State-Space Generation for Graph Transformation Systems
MPM 2010 Preface
Test Case Generation Using Visual Contracts
A Feature Model for an IDE4OCL
Remedy of Mixed Initiative Conflicts in Model-based System Engineering
Visual Contracts as Test Oracle in AGG 2.0
Manipulation of Graphs, Algebras and Pictures. Essays Dedicated to Hans-Jörg Kreowski on the Occasion of His 60th Birthday
Support for Bidirectional Model-to-Text Transformations
Towards an Interest Management Scheme for Peer-based Virtual Environments
Towards a Maude Tool for Model Checking Temporal Graph Properties