yusuke1997/dblp-id-title huggingface dataset:
Discovering Process Models of Different Granularity from Legacy Software Systems (short paper)
A theory of service behavior
Systematic Literature Tools: Are we there yet?
Detecting Semantic Business Process Model Clones
A Method for Modeling and Analyzing Business Processes for Knowledge Carriers
Improving Portability of Cloud Service Topology Models Relying on Script-Based Deployment
What About Database-centric Enterprise Application Integration?
Does my service have unspecified behavior?
Towards a Framework for Context-Aware Resource Behaviour Analysis
Privacy-Aware Scheduling for Inter-Organizational Processes
A Framework for Interactive Exception Management of Long-term Human-Involved Business Processes
Prozessumstrukturierung unter Berücksichtigung von Nachrichteninhalten
Building Orchestrations in B2Bi - The Case of BPEL 2.0 and BPMN 2.0
How good are you? An empirical classification performance comparison of large language models with traditional open set recognition classifiers (short paper)
ViePEP - A BPMS for Elastic Processes
m3 - A Behavioral Similarity Metric for Business Processes
3D Printing Process Pipeline on the Internet
Toward Model-driven Planning Support for Construction Processes (short paper)
Towards The Essential Flow Model
A Dashboard-based Approach for Monitoring Object-Aware Processes
On the behavioural dimension of correspondences between process models
A Survey on Approaches for Timed Services
A Tool for Natural Language Oriented Business Process Modeling
Guided Control Flow Unfolding for Workflow Graphs Using Value Range Information
Efficient Attribute Based Access Control for RESTful Services
A Review of Approaches for Quality Model Validations in the Context of Cloud-native Applications
Towards the Usage of Object-Aware Process Variants in Multiple Autonomous Organisations (short paper)
Generalized Markdown Architectural Decision Records: Capturing the Essence of Decisions (short paper)
Six Strategies for Building High Performance SOA Applications
Realizability of interaction models
Mutation Testing for Microservices
Algorithmic Classification of Layouts of BPMN Diagrams
Model Reader Preferences for Semantically Duplicate Elements in BPMN (short paper)
HarmonICS - a Tool for Composing Medical Services
1st Central-European Workshop on Services and their Composition, ZEUS 2009, Stuttgart, Germany, March 2-3, 2009. Proceedings
Meta-Services als zusätzliche Beschreibungsdimension von Cloud-Services
Highly Scalable and Flexible Model for Effective Aggregation of Context-based Data in Generic IIoT Scenarios
Custom-MADE - Leveraging Agile Rationale Management by Employing Domain-Specific Languages
CloudRef - Towards Collaborative Reference Management in the Cloud
Supporting Informal Processes
Estimating costs of a service
Preserving Data Consistency in Process Choreographies by Design (short paper)
Sichere und zuverlässige Prozessausführungen in serviceorientierten Architekturen
Vinothek - A Self-Service Portal for TOSCA
Business Process Mining for Collaborative Service-Oriented Systems - "Duality" of Process Representations and the Need for Statistical Treatment
Immutable Operating Systems: A Survey (short paper)
Many-to-Many: Some Observations on Interactions in Artifact Choreographies
Challenging Service Extensions for Electric Vehicles in Massively Heterogenic System Landscapes
Towards Certified Data Flow Analysis of Business Processes
Proceedings of the 9th Central European Workshop on Services and their Composition (ZEUS 2017), Lugano, Switzerland, February 13-14, 2017
The Business Process Game
A method for partitioning BPEL processes for decentralized execution
A Literature Review on Reproducibility Studies in Computer Science (short paper)
A Vision for Explainability of Coordinated and Conflicting Adaptions in Self-Adaptive Systems (short paper)
Improving control flow verification in a business process using an extended Petri net
Where did I go wrong? - Explaining Errors in Business Process Models
Consolidation of Interacting BPEL Process Models with Fault Handlers
A Deep Q-learning Scaling Policy for Elastic Application Deployment
Towards Process Evaluation in Non-Automated Process Execution Environments
A Novel Framework for Visualizing Declarative Process Models
Realizability is controllability
Towards an Experiment for Analyzing Subprocess Navigation in BPMN Tooling (short paper)
Dienstgüte-basierte Service-Selektion für Zustandsbehaftete Services
Choreographies in BPMN 2.0: New Challenges and Open Questions
PANIC - Plugging Data Leak Detection into the Camunda Modeler (short paper)
Model Support for Confidential Service-Oriented Business Processes
ECHO - An mHealth Solution to Support Treatment of Chronic Patients
Proceedings of the 7th Central European Workshop on Services and their Composition, ZEUS 2015, Jena, Germany, February 19-20, 2015
A Data-Centric Approach to Deadlock Elimination in Business Processes
Towards Retrograde Process Analysis in Running Legacy Applications (short paper)
Towards Decision Management for Robotic Process Automation
"BPELanon": Anonymizing BPEL Processes
Towards Coverage Criteria for Serverless Applications (short paper)
Tuning Browser-to-Browser Offloading for Heterogeneous Stream Processing Web Applications
A Domain-Specific Modeling Tool to Model Management Plans for Composite Applications
Safira: Implementing set algebra for service behavior
Schritte zu einer zertifizierten Informationsflussanalyse von Geschäftsprozessen (Towards a Certified Information Flow Analysis for Business Processes)
Mapping interconnection choreography models to interaction choreography models
Service-Komposition von Reiseprozessen mittels Graphtransformation
Analysis of Prevalent BPMN Layout Choices on GitHub
Towards Real-Time Progress Determination of Object-Aware Business Processes
Proceedings of the 4 th Central-European Workshop on Services and their Composition, ZEUS-2012, Bamberg, Germany, February 23-24, 2012
An efficient necessary condition for compatibility
Security Challenges of Cloud Manufacturing: A Case Study in the Aerospace Domain (short paper)
On Modeling and Programming
Systematic Model-Based Safety Assessment Via Probabilistic Model Checking
Supervisory Controller Synthesis for Product Lines Using CIF 3
Static Timing Analysis of Real-Time Operating Systems Code
Dynamic Analysis of Regression Problems in Industrial Systems: Challenges and Solutions
Simplifying OMG MOF-Based Metamodeling
On the Correctness of Transformations in Compiler Back-Ends
Track Introduction - Doctoral Symposium 2018
Tuning Energy Consumption Strategies in the Railway Domain: A Model-Based Approach
Assuring the Safety of Advanced Driver Assistance Systems Through a Combination of Simulation and Runtime Monitoring
A Novel Method for Obtaining Real Time Control Strategy Using GA for Dynamical Systems Subjected to External Arbitrary Excitations
Computer-Supported Collaborative Learning with Mind-Maps
Special Track on Worst Case Traversal Time (WCTT)
Algorithms for Inferring Register Automata - A Comparison of Existing Approaches
An Integrated Perspective on the Evaluation of Complex Railway Systems
Better Railway Engineering Through Statistical Model Checking
Deductive Verification Based Abstraction for Software Model Checking
Refactoring Delta-Oriented Product Lines to Enforce Guidelines for Efficient Type-Checking
Deployment by Construction for Multicore Architectures
Information Leakage Analysis of Complex C Code and Its application to OpenSSL
Automated Clone Elimination in Python Tests
Static validation of resource management in large Java applications
Scenario-Based Validation of Automated Driving Systems
Model-Based Development for High-Assurance Embedded Systems
Leveraging Applications of Formal Methods, First International Symposium, ISoLA 2004, Paphos, Cyprus, October 30 - November 2, 2004, Revised Selected Papers
Leveraging Applications of Formal Methods, Verification and Validation. Industrial Practice - 8th International Symposium, ISoLA 2018, Limassol, Cyprus, November 5-9, 2018, Proceedings, Part IV
Leveraging Applications of Formal Methods, Verification, and Validation - International Workshops, SARS 2011 and MLSC 2011, Held Under the Auspices of ISoLA 2011 in Vienna, Austria, October 17-18, 2011. Revised Selected Papers
Partially Synchronizing Periodic Flows with Offsets Improves Worst-Case End-to-End Delay Analysis of Switched Ethernet
Asynchronous Multiparty Sessions with Internal Delegation - Dedicated to Rocco De Nicola on the Occasion of his 70th Birthday
Importance Splitting in Uppaal
An Efficient VCGen-Based Modular Verification of Relational Properties
Rigorous Engineering of Collective Adaptive Systems Introduction to the 5 rmth Track Edition
A Space and Time Requirements Logic for Sensor Networks
Active Learning of Nondeterministic Systems from an ioco Perspective
GOLD: Global Organization aLignment and Decision - Towards the Hierarchical Integration of Heterogeneous Business Models
Self-expression and Dynamic Attribute-Based Ensembles in SCEL
An Object Group-Based Component Model
Development of Transportation Systems
Encouraging the Uptake of Formal Methods Training in an Industrial Context
Evaluation and Reproducibility of Program Analysis and Verification (Track Introduction)
Formal Techniques for the Analysis of Wireless Networks
Runtime Verification: The Application Perspective
Digital Twin Reconfiguration Using Asset Models
Leveraging Applications of Formal Methods, Verification and Validation. Specification and Verification - 12th International Symposium, ISoLA 2024, Crete, Greece, October 27-31, 2024, Proceedings, Part III
Monitoring Reconfigurable Simulation Scenarios in Co-simulated Digital Twins
A Refactoring for Data Minimisation Using Formal Verification
Safe Policy Improvement in Constrained Markov Decision Processes
Compositional Specification of Commercial Contracts
Performance Prediction of Service-Oriented Systems with Layered Queueing Networks
A Unified Approach for Modeling, Developing, and Assuring Critical Systems
NC-Maude: A Rewriting Tool to Play with Network Calculus
Behavioral Specification Theories: An Algebraic Taxonomy
Seamless Model-Driven Development Put into Practice
Efficient SAT-based Bounded Model Checking for Software Verification
Fault-Tolerance Analysis of Mixed CAN/Switched Ethernet Architecture
Using Umple to Synergistically Process Features, Variants, UML Models and Classic Code
Four Exercises in Programming Dynamic Reconfigurable Systems: Methodology and Solution in DR-BIP
Non-functional Avionics Requirements
Towards Continuous Quality Control in the Context of Language-Driven Engineering
Abstract for the ISOLA Special Session on "Industrial use of tools for Formal Analysis"
Model-Based Development of Fault-Tolerant Embedded Software
Models for Contract Conformance
Formal Techniques for Analysing and Testing Automotive Control Software developed in a Model-based Way
Towards Automated Security Hardening Using Timed Path Conditions in Shared Bus Systems
Machine Learning for Automatic Classification of Web Service Interface Descriptions
Case Studies with Lurette V2
Fault Model Design Space for Cooperative Concurrency
Assurance Provenance: The Next Challenge in Software Documentation
On the 2-Categorical View of Proofs
A class Diagram framework for collecting dependability requirements in automation systems
Statistical Model Checking of a Moving Block Railway Signalling Scenario with Uppaal SMC - Experience and Outlook
Weaving Authentication and Authorization Requirements into the Functional Model of a System Using Z Promotion
Verifying AbC Specifications via Emulation
Classification and Utilization of Abstractions for Optimization
Static Inference of Transmission Data Sizes in Distributed Systems
A Language-Independent Program Verification Framework
ModSyn-PP: Modular Synthesis of Programs and Processes Track Introduction
On the Feasibility of a Unified Modelling and Programming Paradigm
Modelling by Patterns for Correct-by-Construction Process
Web Services for the Integration of XML-Based Content into Learning Platforms: A Three-level Model
X-by-C: Non-functional Security Challenges
Learning-Based Cross-Platform Conformance Testing
A Dynamic Logic for Systems with Predicate-Based Communication
Formal Methods for Autonomic and Swarm-based Systems
Formal Verification of Consistency in Model-Driven Development of Distributed Communicating Systems and Communication Protocols
Test-Case Design by Feature Trees
Abstractions for Collective Adaptive Systems
Generalized Weakly-Hard Constraints
A Logical Foundation of the OWL Languages
DiTEC: Digital Twin for Evolutionary Changes in Water Distribution Networks
Monitoring Hyperproperties by Combining Static Analysis and Runtime Verification
SWEET - A Tool for WCET Flow Analysis (Extended Abstract)
Automated Generation of Safety Requirements from Railway Interlocking Tables
New Challenges in the Development of Critical Embedded Systems - An "aeromotive" Perspective
Probabilistic Alternative Regression Suites
Statistical Model Checking Past, Present, and Future - (Track Introduction)
Designing a Demonstrator of Formal Methods for Railways Infrastructure Managers
Cost-Efficient Worst-Case Execution Time Analysis in Industrial Practice
Adaptive Security Policies
Contracts in CML
Real-Time Property Verification in Organic Computing Systems
A Partial Order Reduction Technique for Parallel Timed Automaton Model Checking
CommonUppRoad: A Framework of Formal Modelling, Verifying, Learning, and Visualisation of Autonomous Vehicles
Tendermint Blockchain Synchronization: Formal Specification and Model Checking
International Symposium on Leveraging Applications of Formal Methods, ISoLA 2004, October 30 - November 2, 2004, Paphos, Cyprus. Preliminary proceedings
Strengthening MDE and Formal Design Models by References to Domain Ontologies. A Model Annotation Based Approach
On Deductive Verification of an Industrial Concurrent Software Component with VerCors
Statistical Model Checking for Product Lines
UTXO sf ma : UTXO with Multi-asset Support
Adaptable Runtime Monitoring for the Java Virtual Machine
Compositional Verification of Multi-station Interlocking Systems
Fluid Model-Checking in UPPAAL for Covid-19
Trust and Security Analyzer for Collaborative Digital Manufacturing Ecosystems
A Systematic Approach for Interfacing Component-Based Software with an Active Automata Learning Tool
The EM-BDD Algorithm For Learning Hidden Markov Models
Formal Methods in Avionic Software Certification: The DO-178C Perspective
Discussing the Future Role of Documentation in the Context of Modern Software Engineering (ISoLA 2022 Track Introduction)
Handling Heterogeneity in Formal Developments of Hardware and Software Systems
ALEX: Mixed-Mode Learning of Web Applications at Ease
(Re-)Engineering Digital Twins Towards Federation: Vision and Roadmap
Project Management for Process Management - a Procedural Model for Process-Oriented Reorganisation Projects
Towards a Research Agenda for Enterprise Crowdsourcing
Application of formal methods in Nokia mobile terminal and network software system development
Runtime Verification of Biological Systems
The Narrator System: processing, storing and retrieving medical, narrative data
Identifying Variability in Object-Oriented Code Using Model-Based Code Mining
Computing Exact Worst-Case Gas Consumption for Smart Contracts
Runtime and Memory Evaluation of Data Race Detection Tools
A Web-Based Framework for Collaborative Innovation
Leveraging Applications of Formal Methods, Verification and Validation - 10th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2021, Rhodes, Greece, October 17-29, 2021, Proceedings
Blockchains as Kripke Models: An Analysis of Atomic Cross-Chain Swap
Trustable Formal Specification for Software Certification
Static Partial-Order Reduction of Concurrent Systems in Polynomial Time
Verifying Temporal Properties of Stigmergic Collective Systems Using CADP
Once and for All: How to Compose Modules - The Composition Calculus
Model-Based Systems Engineering for Systems Simulation
Rewriting Object Models With Cycles and Nested Collections - A Model-Based Metaprogramming Problem
Challenges in High-Assurance Runtime Verification
Cyber-Physical Systems Engineering: An Introduction
Certification of Software-Driven Medical Devices
Local Reasoning and Attribute-Based Memory Updates for Enforcing Global Invariants in Collective Adaptive Systems
StaRVOOrS - Episode II - Strengthen and Distribute the Force
Use Cases for Simulation in the Development of Automated Driving Systems
An IoT Digital Twin for Cyber-Security Defence Based on Runtime Verification
The ASK System and the Challenge of Distributed Knowledge Discovery
jABCstats: An Extensible Process Library for the Empirical Analysis of jABC Workflows
Modeling of Sensor Networks Using XRM
Battery-Aware Scheduling of Mixed Criticality Systems
Correctness by Construction for Probabilistic Programs
Software Verification Tools (Track Introduction)
Scalable Verification and Validation of Concurrent and Distributed Systems (ScaVeri) (Track Summary)
Effective Test Suite Design for Detecting Concurrency Control Faults in Distributed Transaction Systems
Composition of Web Services Using Wrappers
Segmentation for High-Throughput Image Analysis: Watershed Masked Clustering
Leveraging Applications of Formal Methods, Verification and Validation: Applications - 9th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2020, Rhodes, Greece, October 20-30, 2020, Proceedings, Part III
Formal Methods for Distributed Control Systems of Future Railways
The RERS Grey-Box Challenge 2012: Analysis of Event-Condition-Action Systems
Context Awareness Systems Design and Reasoning
Matching Expectations in Ensembles: Connecting Verifiable Credentials and the Semantic Web
X-by-Construction Meets Runtime Verification
Specification Based Conformance Testing for Email Protocols
Sparse Analysis of Variable Path Predicates Based upon SSA-Form
Static and Dynamic Verification of OCaml Programs: The Gospel Ecosystem
Towards an Architecture for Runtime Interoperability
Modelling Flocks of Birds from the Bottom Up
Construction of Abstract Domains for Heterogeneous Properties (Position Paper)
Experimental Program Verification in the Theorema System
The Good, The Bad and The Ugly: Pitfalls and Best Practices in Automated Sound Static Analysis of Ethereum Smart Contracts
Considering Typestate Verification for Quantified Event Automata
Enhancement of an Adaptive HEV Operating Strategy Using Machine Learning Algorithms
Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change - 6th International Symposium, ISoLA 2014, Imperial, Corfu, Greece, October 8-11, 2014, Proceedings, Part I
Delta-Oriented Monitor Specification
Formal Methods for Distributed Computing in Future Railway Systems
Correctness-by-Construction and Post-hoc Verification: Friends or Foes?
Navigating the Web of Things: Visualizing and Interacting with Web-Enabled Objects
Software System Documentation: Coherent Description of Software System Properties
A Model Interpreter for Timed Automata
ALL-TIMES - A European Project on Integrating Timing Technology
Synthesizing Energy-Optimal Controllers for Multiprocessor Dataflow Applications with Uppaal Stratego
The Worst Case Execution Time Tool Challenge 2006
SpecifyThis Bridging Gaps Between Program Specification Paradigms: Track Introduction
A Language-Independent Approach to Smart Contract Verification
Interactive Model-Based Compilation Continued - Incremental Hardware Synthesis for SCCharts
A Simulation Approach for Performance Validation during Embedded Systems Design
A Model-Based Approach to Secure Multiparty Distributed Systems
Future Train Control Systems: Challenges for Dependability Assessment
Model-based development of embedded control systems: historical perspective and recent advances
A Generic Platform for Model-Based Regression Testing
Leveraging Applications of Formal Methods, Verification and Validation: Verification Principles - 9th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2020, Rhodes, Greece, October 20-30, 2020, Proceedings, Part I
Designing Safe, Reliable Systems using Scade
Leveraging Applications of Formal Methods, Verification and Validation. Software Engineering Methodologies - 12th International Symposium, ISoLA 2024, Crete, Greece, October 27-31, 2024, Proceedings, Part IV
Guided Domain-Specific Tailoring of jABC4
Efficient Estimation of Agent Networks
Weaving a Formal Methods Education with Problem-Based Learning
Rigorous Model Engineering of Hierarchical Multirate CPSs in MR-HybridSynchAADL
Schedulability of Herschel-Planck Revisited Using Statistical Model Checking
Program Safety via Programmer Safety
On Programming and Policing Autonomic Computing Systems
Cognitive Decision Unit Applied to Autonomous Robots
Leveraging Applications of Formal Methods, Verification and Validation. Rigorous Engineering of Collective Adaptive Systems - 12th International Symposium, ISoLA 2024, Crete, Greece, October 27-31, 2024, Proceedings, Part II
A Technology-Neutral Role-Based Collaboration Model for Software Ecosystems
Data-Driven Modelling and Simulation of Urban Transportation Systems Using Carma
A Formal Model of Metacontrol in Maude
Model Checking Medium Access Control for Sensor Networks
An Experimental Toolchain for Strategy Synthesis with Spatial Properties
On the Use of Domain and System Knowledge Modeling in Goal-Based Event-B Specifications
Challenges for the Dynamic Interconnection of Medical Devices
Combining Logic and Algebraic Techniques for Program Verification in Theorema
Squeeze All the Power Out of Your Hardware to Verify Your Software!
On Combinations of Static and Dynamic Analysis - Panel Introduction
Leveraging Applications of Formal Methods, Verification and Validation. Verification Principles - 11th International Symposium, ISoLA 2022, Rhodes, Greece, October 22-30, 2022, Proceedings, Part I
On the Sequential Massart Algorithm for Statistical Model Checking
Static WCET Analysis of Real-Time Task-Oriented Code in Vehicle Control Systems
Epistemic Logic in Ensemble Specification
Safe Artificial Intelligence and Formal Methods - (Position Paper)
Rigorous Analysis of Idealised Pathfinding Ants in Higher-Order Logic
Coverage Criteria for Behavioural Testing of Software Product Lines
SecureChange: Security Engineering for Lifelong Evolvable Systems
Toward a Kinetic Framework to Model the Collective Dynamics of Multi-agent Systems
The AUTOSAR Timing Model - Status and Challenges -
Formal Methods in Industrial Practice - Bridging the Gap (Track Summary)
Verification of GUI Applications: A Black-Box Approach
Automata Learning with On-the-Fly Direct Hypothesis Construction
Security and Privacy of Protocols and Software with Formal Methods
Violation Witnesses and Result Validation for Multi-Threaded Programs - Implementation and Evaluation with CPAchecker
Non-functional Testing of Runtime Enforcers in Android
An industrial-strength formal method -- A Modest survey
Model-Driven Edge Analytics: Practical Use Cases in Smart Manufacturing
An Algorithm to Compute a Strict Partial Ordering of Actions in Action Traces
Source-Level Support for Timing Analysis
Risk-Based Testing - (Track Introduction)
Telco Service Delivery Platforms in the Last Decade - A R&D Perspective
sVerify: Verifying Smart Contracts Through Lazy Annotation and Learning
Verification of Variability-Intensive Stochastic Systems with Statistical Model Checking
Guess What I'm Doing! - Rendering Formal Verification Methods Ripe for the Era of Interacting Intelligent Systems
On Models and Code - A Unified Approach to Support Large-Scale Deductive Program Verification
Workflow Services: A Petri Net-Based Approach to Web Services
Assumption Monitoring of Temporal Task Planning Using Stream Runtime Verification
Optimising Ordering Strategies for Symbolic Model Checking of Railway Interlockings
Reliable and Precise WCET and Stack Size Determination for a Real-life Embedded Application
Differential Equivalence Yields Network Centrality
Smart Contracts and Opportunities for Formal Methods
Quantitative Model checking
Swarm and Collective Capabilities for Multipotent Robot Ensembles