yusuke1997/dblp-id-title huggingface dataset:
Modelling Adaptive Networks: The Case of the Petrified Voters
An Entailment Checker for Separation Logic with Inductive Definitions
Analysing Anti-patterns Static Relationships with Design Patterns
Automatically Verifying Railway Interlockings using SAT-based Model Checking
Optimizing Pattern Matching Compilation by Program Transformation
Well-formed Model Co-evolution with Customizable Model Migration
Kombination von Modellen zur Systemanalyse im Selbstmanagement-Kontext
Tool Support for System-Theoretic Process Analysis
Distributed Port Automata
Proofs-as-Programs in Computable Analysis
Performance Analysis of Distributed and Asynchronous Systems using Probabilistic Timed Actors
Modeling the OCL Standard Library
Treewidth, Pathwidth and Cospan Decompositions
Specifying Distributed Graph Transformation Systems
Applications of Deontic Logic in Wearable Robots
Climbing the Software Assurance Ladder - Practical Formal Verification for Reliable Software
Modular Platform for Detecting and Classifying Phishing Websites Using Cyber Threat Intelligence
Autonomous Units for Solving the Capacitated Vehicle Routing Problem Based on Ant Colony Optimization
Firewall-as-a-Service for Campus Networks Based on P4-SFC
A Static Layout Algorithm for DiaMeta
Asserting the Correctness of Software Language Translations
Preface to the Proceedings of the 2008 OCL Workshop
Flowstream Architectures
Revealing Missing Bug-Fixes in Code Clones in Large-Scale Code Bases
Graph Computation Models 2012
Incremental Pattern Matching in Graph-Based State Space Exploration
Model Checking Algorithms for Markov Automata
From System Requirements to Software Requirements in the Four-Variable Model
Automated theorem proving for the systematic analysis of an infusion pump
Toward Automated Verification of Model Transformations: A Case Study of Analysis of Refactoring Business Process Models
An Adaptation Reasoning Approach for Large Scale Component-based Applications
Graph Modelling and Transformation: Theory meets Practice
Open-DO: Open Framework for Critical Systems
From Graph Transformations to Differential Equations
An Initial Quality Analysis of the Ohloh Software Evolution Data
On formalising interactive number entry on infusion pumps
Petri Nets and Matrix Graph Grammars: Reachability
Combining SysML and Model Transformations to Support Systems Engineering Analysis
Model-Checking-based vs. SMT-based Consistency Analysis of Industrial Embedded Systems Requirements: Application and Experience
VOLARE: Adaptive Web Service Discovery Middleware for Mobile Systems
Automatically Finding Bugs in Open Source Programs
Exogenous Model Merging by means of Model Management Operators
Integrated Model Checking of Static Structure and Dynamic Behavior using Temporal Description Logics
Analyzing Gerrit Code Review Parameters with Bicho
Preface of the Fourth International Workshop on Graph-Based Tools, GraBaTs 2010
Model-to-Model Transformation in Meta-Modeled CINCO Domains
Praxisfallbeispiel: Modernisierung einer Mainframe-Anwendung durch eine verteilte SOA
Augmenting DSVL Meta-Tools with Pattern Specification, Instantiation and Reuse
Demo: Using LoRa Communications and Epidemic Routing in Disaster Rescue Operations
Automated Support for the Design and Validation of Fault Tolerant Parameterized Systems: a case study
FAMOUSO - Eine adaptierbare Publish/Subscribe Middleware für ressourcenbeschränkte Systeme
Improvements to the Secure Construction and Utilization of Greedy Embeddings in Friend-to-Friend Overlays
Annotations on Complex Patterns
13th International Workshop on Graph Transformation and Visual Modeling Techniques (GTVMT 2014): Preface
Graph Algebras for Bigraphs
Reconfiguration of Reo Connectors Triggered by Dataflow
Proceedings of the 11th International Workshop on Graph Transformation and Visual Modeling Techniques
Towards the Verification of Pervasive Systems
A Process Algebraic Description of a Temporal Wireless Network Protocol
Preface and Table of Contents
EMF Model Refactoring based on Graph Transformation Concepts
TOTAM: Scoped Tuples for the Ambient
A lightweight abstract machine for interaction nets
Reconfigurable Open Algebraic High-Level Systems
Modelling- and Simulation-Based Design of Multi-tier Systems
First International Workshop on Bidirectional Transformations (BX 2012): Preface
Algebraic Approach to Timed Petri Nets
A decidable class of verification conditions for programs with higher order store
On the Efficiency of Deciding Probabilistic Automata Weak Bisimulation
Advances in Usability of Formal Methods for Code Verification with Frama-C
Exploring (Meta-)Model Snapshots by Combining Visual and Textual Techniques
Applicability of Neural Networks for Driving Style Classification and Maneuver Detection
A Symbolic Model Checking Approach to Verifying Satellite Onboard Software
A MDE-Based Approach for Developing Multi-Agent Systems
Towards Model Checking Reconfigurable Petri Nets using Maude
From the Behavior Model of an Animated Visual Language to its Editing Environment Based on Graph Transformation
Damages and Benefits of Certification: A perspective from an Independent Assessment Body
Refactoring of UML models using AGG
DSL Composition for model-based test generation
Binary Decision Diagrams and Composite Classifiers for Analysis of Imbalanced Medical Datasets
Sufficient Criteria for Applicability and Non-Applicability of Rule Sequences
On Single-Pushout Rewriting of Partial Algebras
Enforcement of Patterns by Constraint-Aware Model Transformations
Facilitating Automated Compliance Checking in the Safety-critical Context
Understanding bidirectional transformations with TGGs and JTL
Mean Quantitative Coverability in Stochastic Graph Transformation Systems
Verifying Critical Cyber-Physical Systems After Deployment
FlowEmu: An Open-Source Flow-Based Network Emulator
OCL contracts for the verification of model transformations
Aligning OCL with UML
Preface to Workshop The Pragmatics of OCL and Other Textual Specification Languages at MoDELS 2009
Code Generation with the Model Transformation of Visual Behavior Models
Bisimulation Verification for the DPO Approach with Borrowed
The ParMol Package for Frequent Subgraph Mining
Membrane computing [and graph transformation]
A Visual Interpreter Semantics for Statecharts Based on Amalgamated Graph Transformation
Positioning Map: a Visual Technique to Improve the Layout of Diagram Contextual Information
Conditional Lemma Discovery and Recursion Induction in Hipster
Search Trees for Distributed Graph Transformation Systems
Massively Multiuser Virtual Environments using Object Based Sharing
D4M, a Self-Adapting Decentralized Derived Data Collection and Monitoring Framework
Formal Verification in the Loop to Enhance Verification of Safety-Critical Cyber-physical Systems
How We Know the Practical Impact of Clone Analysis
Composing control flow and formula rules for computing on grids
Teaching OCL Standard Library: First Part of an OCL 2.x Course
On a Graph-Based Semantics for UML Class and Object Diagrams
Big Red: A Development Environment for Bigraphs
Incremental Graph Pattern Matching: Data Structures and Initial Experiments
Restrictions for OCL Constraint Optimization Algorithms
Preface of SQM 2014 Proceedings - 8th International Workshop on Software Quality and Maintainability
Observations relating to the equivalences induced on model sets by bidirectional transformations
Experimenting the Influence of Numerical Thresholds on Model-based Detection and Refactoring of Performance Antipatterns
On Teaching Logic and Algebraic Specification
Transfer of Local Confluence and Termination between Petri Net and Graph Transformation Systems Based on M-Functors
Preface of the Post-proceedings of the 8th International Workshop on Graph Transformation and Visual Modeling Techniques
Using an OCL Impact Analysis Algorithm for View-Based Textual Modelling
Learning and Activity Patterns in OSS Communities and their Impact on Software Quality
ThreadSafe: Static Analysis for Java Concurrency
OCL Tools Report based on the IDE4OCL Feature Model
Specifying and Generating Editing Environments for Interactive Animated Visual Models
New Media in Teaching UML in the Large - an Experience Report
The Web Service Challenge - A review on Semantic Web Service Composition
Integration of Ontological Scene Representation and Logic-Based Reasoning for Context-Aware Driver Assistance Systems
Self Organized Swarms for cluster preserving Projections of high-dimensional Data
Low-Code/No-Code Artificial Intelligence Platforms for the Health Informatics Domain
Resource-based enactment and adaptation of workflows from activity diagrams
Overview of Hybrid MANET-DTN Networking and its Potential for Emergency Response Operations
Quality, Success, Communication and Contribution in Open Source Software
Visualization of Business Process Modeling Anti Patterns
Clang and Coccinelle: Synergising program analysis tools for CERT C Secure Coding Standard certification
Virtual WLAN: Going beyond Virtual Access Points
On the Modelling of an Agent's Epistemic State and its Dynamic Changes
XL4C4D - Adding the Graph Transformation Language XL to CINEMA 4D
A Pattern-Based Layout Algorithm for Diagram Editors
Adding Recursion to Graph Transformation
Visual Design and Reasoning with the Use of Hypergraph Transformations
Neighbourhood Abstraction in GROOVE
Analysis of WIMP and Post WIMP Interactive Systems based on Formal Specification
An Application Layer Protocol to Support Cooperative Navigation of Multiple UAVs Systems
Gray Box Coverage Criteria for Testing Graph Pattern Matching
Verifying Total Correctness of Graph Programs
Special Issue of PPAP 2013: Preface
Incentive based Allocation of Terminals in Heterogeneous Access Networks
Modelling Distributed Cognition Systems in PVS
The Graph Rewriting and Transformation Language: GReAT
Toward a Code-Clone Search through the Entire Lifecycle of a Software Product
Computing Bounds for Counter Automata
Confessions of a Meta-Modeller
On the Need of User-defined Libraries in OCL
Position Paper: m2n - A Tool for Translating Models to Natural Language Descriptions
Intelligente Wechselbrückensteuerung für die Logistik von Morgen
Monitor-Oriented Compensation Programming Through Compensating Automata
Automatic Visualization of Relational Logic Models
Parallel Evaluation of Interaction Nets: Case Studies and Experiments
Wormhole Detection using Topology Graph based Anomaly Detection (TOGBAD)
A Secure Remote Authentication, Operation and Management Infrastructure for Distributed Wireless Sensor Network Testbeds
Evolutionary Layout of Graph Transformation Sequences
MLContext: A Context-Modeling Language for Context-Aware Systems
Checking Consistency Between Message Choreographies And Their Implementation Models
Mixing Formal and Informal Model Elements for Tracing Requirements
PML: a Transformation Language for Platform Modeling
The ScenarioTools Play-Out of Modal Sequence Diagram Specifications with Environment Assumptions
Investigating Intentional Clone Refactoring
A Drill-Down Approach for Measuring Maintainability at Source Code Element Level
Implementing DNSSEC soft delegation for microservices
Supporting Pervasive and Social Communications with FRASCATI
Language Evolution, Metasyntactically
Application Conditions for Reactive Systems with Applications to Bisimulation Theory
Use of OCL in a Model Assessment Framework: An experience report
Feature Interaction in Pervasive Computing Systems
Coinductive Graph Representation: the Problem of Embedded Lists
CYBERWISER.eu: Innovative Cyber Range Platform for Cybersecurity Training in Industrial Systems
PVSio-web: a tool for rapid prototyping device user interfaces in PVS
Dynamic Monitoring Area Allocation for Aerial Post-Disaster Situation Monitoring
Evaluation of the Technology Agnostic Service Creation Approach
Exact and Approximate Abstraction for Classes of Stochastic Hybrid Systems
Reversing graph transformations
Measuring Copying of Java Archives
Preface to the proceedings of FMIS 2013
Dynamic Software Architectures Verification using DynAlloy
Discrete event simulation for the purpose of real-time performance evaluation of distributed hardware-in-the-loop simulators for autonomous driving vehicle validation
Dependable keyed data entry for interactive systems
Observations for Assertion-based Scenarios in the context of Model Validation
Aligning OCL with Domain-Specific Languages to Support Instance-Level Model Queries
Co-tabulations, Bicolimits and Van-Kampen Squares in Collagories
Proceedings of the Workshop on the Layout of (Software) Engineering Diagrams (LED 2007) - Preface
Extending OCL Operation Contracts with Objective Functions
Efficient Implementation of Automaton Functors for the Verification of Graph Transformation Systems
Training the Behaviour Preferences on Context Changes
Graph Transformation with Symbolic Attributes via Monadic Coalgebra Homomorphisms
A Requirements-Based Taxonomy of Software Product Line Evolution
Minimizing Finite Automata with Graph Programs
Towards the Tree Automata Workbench Marbles
Problems and Enhancements of the Embedding of OCL into QVT ImperativeOCL
Patterns as Abstractions of Spatial Axes
Closure and Attention Activation in Human Automatic Behaviour: A Framework for the Formal Analysis of Interactive Systems
Formal Verification of Synchronisation, Gossip and Environmental Effects for Wireless Sensor Networks
Attribute Handling for Bidirectional Model Transformations: The Triple Graph Grammar Case
Specifying Executable Platform-Independent Models using OCL
The Evolution of the Linux Build System
A Model-Based Approach to Impact Analysis Using Model Differencing
Towards Virtual Mobility Support in a Federated Testbed for Wireless Sensor Networks
Active Model Patterns with Interactive Model Transformation
Harnessing SMT Solvers for TLA+ Proofs
Using Assurance Cases and Boolean Logic Driven Markov Processes to Formalise Cyber Security Concerns for Safety-Critical Interaction with Global Navigation Satellite Systems
Distributed Verification of Rare Properties using Importance Splitting Observers
Data Race Detection in the Linux Kernel with CPALockator
Smart Urban Data Space for Citizen Science
Improving the OCL Semantics Definition by Applying Dynamic Meta Modeling and Design Patterns
Generic Search Plans for Matching Advanced Graph Patterns
Transforming Collaborative Service Specifications into Efficiently Executable State Machines
Prediction-based Decentralized Routing Algorithm
Learning Minimal and Maximal Rules from Observations of Graph Transformations
Rooted Graph Programs
A Constraint-Solving Approach for Achieving Minimal-Reset Transition Coverage of Smartcard Behaviour
Symbol Elimination for Automated Generation of Program Properties
Systemic Modeling of Agent Coaction: A Catalog of Decentralized Coordinating Processes
Nutzerintegration in die Anforderungserhebung für Ubiquitous Computing Systeme
MSCar: Enhancing Message Sequence Charts with Interactivity for Analysing (Automotive) Communication Sequences
Software Language Engineering by Intentional Rewriting
Lightweight Interaction Modeling in Evolutionary Prototyping
Teaching Object-Oriented Modelling using Concept Maps
Executing Underspecified OCL Operation Contracts with a SAT Solver
The Implementation of the CHA-Q Meta-Model: A Comprehensive, Change-Centric Software Representation
Edit languages for information trees
Visualization of Traceability Models with Domain-specific Layouting
Vorwort / Preface
How My Favorite Tool Supporting OCL Must Look Like
Package Evolvability and its Relationship with Refactoring
About Metrics for Clone Detection
Derivation Languages of Graph Grammars
Parsing of Adaptive Star Grammars
Context-Aware Adaptation of Mobile Multimedia Presentations
Preface to GraMoT 2006 Workshop Proceedings
A Formal Specification of the DNSSEC Model
Integrating OCL and Model Transformations in Fujaba
Permutation Equivalence of DPO Derivations with Negative Application Conditions based on Subobject Transformation Systems
RONs Revisited: General Approach to Model Reconfigurable Object Nets based on Algebraic High-Level Nets
MySQL4OCL: A Stored Procedure-Based MySQL Code Generator for OCL
ReForm: A Tool for Rapid Requirements Formalization
Fighting Cheating in P2P-based MMVEs with Disjoint Path Routing
An emulation of VoD services using virtual network environments
On the Random Structure of Behavioural Transition Systems
Validating Behavioral Requirements, Conditions, and Rules of Autonomous Systems with Scenario-Based Testing
Specifying OCL Constraints on Process Instantiations
Controlling resource access in Directed Bigraphs
Formal Specification and Verification of a Coordination Protocol for an Automated Air Traffic Control System
Automatic translation of C/C++ parallel code into synchronous formalism using an SSA intermediate form
Search-Based Refactoring using Unfolding of Graph Transformation Systems
On the Satisfiability of Metric Temporal Logics over the Reals
Ambiguity Resolution for Sketched Diagrams by Syntax Analysis Based on Graph Grammars
Generation of Celtic Key Patterns with Tree-based Collage Grammars
Resource Management in Public Sensing - Challenges and Requirements
RePLEX: A Model-Based Reengineering Tool for PLEX Telecommunication Systems
Semi-automatic Proofs about Object Graphs in Separation Logic
Using antipatterns to improve the quality of FLOSS development
Distributed execution of bigraphical reactive systems
A Survey on Event-B Decomposition
Towards Theorem Proving Graph Grammars using Event-B
An MDA Framework Supporting OCL
Towards a metric for Open Source Software Quality
Formalization of Petri Nets with Individual Tokens as Basis for DPO Net Transformations
Spreadsheets with a Semantic Layer
A Modular and Statically Typed Effectful Stack for Custom Graph Traversals
Abstract Models and Cognitive Mismatch in Formal Verification
E-SPARK: Automated Generation of Provably Correct Code from Formally Verified Designs
Backward Reachability Analysis for Timed Automata with Data Variables
Modeling a Service and Session Calculus with Hierarchical Graph Transformation
Proving Distributed Algorithms by Combining Refinement and Local Computations
Privacy-Preserving and Scalable Authentication based on Network Connection Traces
A Pattern-based Approach for Initial Diagram Layout
Wiretapping Pods and Nodes - Lawful Interception in Kubernetes
A practical approach to multi-modeling views composition
A Framework for Generating Query Language Code from OCL Invariants
Using OCL in Executable UML
GUI Inspection from Source Code Analysis
eSOA - SOA für eingebettete Netze
Systematic Transformation Development
Specification and Verification of Model Transformations
Experimental Evaluation of Multi-Path Routing in a Wireless Mesh Network Inside a Building
ModGraph meets Xcore: Combining Rule-Based and Procedural Behavioral Modeling for EMF
Modelling Emergency Scenarios using Algebraic High Level Net Transformation Systems with Net Patterns
The GPUVerify Method: a Tutorial Overview
Modelling and verifying IEEE Std 11073-20601 session setup using mCRL2
Using an Alternative Trace for QVT
A Unification Algorithm for GP 2
Navigating Communication Networks with Deep Reinforcement Learning
Completeness and Correctness of Model Transformations based on Triple Graph Grammars with Negative Application Conditions
Deriving Barbed Bisimulations for Bigraphical Reactive Systems
Ableitung von Anforderungen zum Adaptionsverhalten in ubiquitären adaptiven Anwendungen
Model-Based Engineering of Supervisory Controllers using CIF
Modeling and Formal Verification of a Passive Optical Network on Chip Behavior
Clone Detection in Matlab Stateflow Models
Logichart: A Prolog Program Diagram and its Layout
Optimization in Graph Transformation Systems with Time Using Petri Net Based Techniques
Parsing BDD Stories for Automated Verification of Software Artefacts
How to reach a usable DSL? Moving toward a Systematic Evaluation
DSL-driven Integration of OpenAPI based Web Services into DIME
An Active Pattern Infrastructure for Domain-Specific Languages
Deriving OCL Optimization Patterns from Benchmarks
Verified Visualisation of Textual Modelling Languages
Towards Swarm-based Federated Web Knowledgebases
A Survey of Triple Graph Grammar Tools
Towards Alternating Automata for Graph Languages
Formal Relationship between Petri Net and Graph Transformation Systems based on Functors between M-adhesive Categories
Clones and Macro co-changes
(A) Vision for 2050 - Context-Based Image Understanding for a Human-Robot Soccer Match
Functional and Performance Analysis of Network-on-Chips Using Actor-based Modeling and Formal Verification
From Separate Formal Specifications to Certified Integrated Visual Modelling Techniques and Environments - Position Statement
Security Evaluation and Hardening of Free and Open Source Software (FOSS)
How Accurate Is Coarse-grained Clone Detection?: Comparision with Fine-grained Detectors
AGraphs: Definition, implementation and tools
Reliable Multicast in Heterogeneous Mobile Ad-hoc Networks
Control Plane Issues in the 4WARD Network Virtualization Architecture
Large Scale Monitoring of Web Application Software Distribution to Measure Threat Response Behavior
Evaluating Workflow Definition Language Revisions with Graph-Based Tools
On the whereabouts of CSP-CASL - A survey
Molecular Communication Channel Modelling in FPGA Technology
Preface of Prole 2012
Complex Attribute Manipulation in TGGs with Constraint-Based Programming Techniques
Checking Unsatisfiability for OCL Constraints
Towards Deterministic Reconfigurable Networks
Generating Correctness-Preserving Editing Operations for Diagram Editors
Assemblies as Graph Processes
Handling Clone Mutations in Simulink Models with VCL
Designing a Platform for Flexible and Performant Virtual Routers on Commodity Hardware
Generating Instance Graphs from Class Diagrams with Adaptive Star Grammars
Assessment - Ein Ansatz zur Evaluierung selbstorganisierender Systeme
Share Whatever You Like
Evolve: Language-Driven Engineering in Industrial Practice
Permissive strategies in timed automata and games
Building Traceable Event-B Models from Requirements
Federated User Clustering for non-IID Federated Learning
Composing Least-change Lenses
Invited Talk: On the Concurrent Semantics of Transformation Systems with Negative Application Conditions
EduSymp 2011 - Preface
Extended OCL for Goal Monitoring
Indirect Agent Interaction within an Approach for a Robust Transport Control in Dynamic and Multimodal Logistics Networks
Mental Map and Model Driven Development
Abstract Interleaving Semantics for Reconfigurable Petri Nets
Algebraic High-Level Nets as Weak Adhesive HLR Categories
Towards a Conceptual Framework Supporting Model Compilability
Data Serialization Formats for the Internet of Things
Multi-hop Clock Synchronization in Wireless Ad-Hoc Networks
Parsing of Hyperedge Replacement Grammars with Graph Parser Combinators
Design Pattern Modeling with Constraint Relaxation
GPMN-Edit: High-level and Goal-oriented Workflow Modeling
Block-Based Models and Theorem Proving in Model-Based Development
Implementation of a User-Centric Context-Aware Playground
Using SMT Engine to Generate Symbolic Automata
Polymorphic Protocols for Fighting Bots
Decentralized Coordination in Self-Organizing Systems based on Peer-to-Peer Coordination Spaces
Studying Verification Conditions for Imperative Programs
EMorF - A tool for model transformations
On A Graph Formalism for Ordered Edges
Concatenation and other Closure Properties of Recognizable Languages in Adhesive Categories
A Generic Graph Transformation, Visualisation, and Editing Framework in Haskell
Optimized Transformation and Verification of SystemC Methods
Language Abstractions for RFID Technology
Provisioning and Operation of Virtual Networks
Automatically Generating CSP Models for Communicating Haskell Processes
Understanding how OSS Development Models can influence assessment methods
Safe Integration of Annotated Components in Open Source Projects
Loop Patterns in C Programs
Railway modelling in CSP||B: the double junction case study
Rule-Based Integration of Domain-Specific Modelling Languages
Paradigm-Independent Engineering of Complex Self-Organizing Systems
Recognizable Graph Languages for Checking Invariants
Model-Driven Adaptation of Ubiquitous Applications