yusuke1997/dblp-id-title huggingface dataset:
On Correctness, Precision, and Performance in Quantitative Verification - QComp 2020 Competition Report
Runtime Assertion Checking and Static Verification: Collaborative Partners
Security Filters for IoT Domain Isolation
Workflows for Metabolic Flux Analysis: Data Integration and Human Interaction
Resource Analysis of Automotive/Infotainment Systems Based on Domain-Specific Models - A Real-World Example
SCA and jABC: Bringing a Service-Oriented Paradigm to Web-Service Construction
Is Privacy by Construction Possible?
Modeling with Scala
A Memory Model for Static Analysis of C Programs
Using Statistical Model Checking for Measuring Systems
Analyzing Collaboration in Software Development Processes through Social Networks
Timely Time Estimates
Information System Engineering Supporting Observation, Orientation, Decision, and Compliant Action
Monitoring with Data Automata
No Need to Be Stubborn: Partial-Order Reduction for GPU Model Checking Revisited
Towards Requirements Engineering for Digital Twins of Cyber-Physical Systems
On model checking multiple hybrid views
A Software Integration Framework for Cognitive Systems
Lessons Learned Using FMI Co-simulation for Model-Based Design of Cyber Physical Systems
Static and Runtime Verification, Competitors or Friends? (Track Summary)
Leveraging Applications of Formal Methods, Verification and Validation: Discussion, Dissemination, Applications - 7th International Symposium, ISoLA 2016, Imperial, Corfu, Greece, October 10-14, 2016, Proceedings, Part II
A Case for "Piggyback" Runtime Monitoring
The ProbInG Project: Advancing Automatic Analysis of Probabilistic Loops
Avoiding Distractions in Parity Games
The UniTESK Approach to Specification-Based Validation of Hardware Designs
Formal models of Fractal Component Based Systems for performance analysis
Verification, Diagnosis and Adaptation: Tool supported enhancement of the model-driven verification process
A Tool-Chain for Statistical Spatio-Temporal Model Checking of Bike Sharing Systems
Neural Predictive Monitoring for Collective Adaptive Systems
X-by-Construction
Safe Autonomous Transport Vehicles in Heterogeneous Outdoor Environments
ASERE: Assuring the Satisfiability of Sequential Extended Regular Expressions
Qualitative Abstraction based Verification for Analog Circuits
A Modal Approach to Consciousness of Agents
Type Theory as a Framework for Modelling and Programming
A Scenario Implementation in Rfor SubtypeDiscoveryExamplified on Chemoinformatics Data
Improving Secure and Robust Patient Service Delivery
Using Invariant Detection Mechanism in Black Box Inference
A Calculus for Open Ensembles and Their Composition
From Verification to Explanation (Track Introduction)
Symbolic Execution and Deductive Verification Approaches to VerifyThis 2017 Challenges
Integration and Promotion of Autonomy with the ARE Framework
Model Checking Reconfigurable Interacting Systems
Model-Based Compatibility Checking of System Modifications
Domain-Specific Languages for Enterprise Systems
An Incremental Learning Algorithm for Extended Mealy Automata
Adapting Quality Assurance to Adaptive Systems: The Scenario Coevolution Paradigm
Towards a Probabilistic Programming Approach to Analyse Collective Adaptive Systems
CARVER: A Slicing Tool for Communicating Automata Specifications
Implementing Influence Analysis Using Parameterised Boolean Equation Systems
Ensuring Safety with System Level Formal Modelling
Formal Methods for a Digital Industry - Industrial Track at ISoLA 2022
Lightweight Statistical Model Checking in Nondeterministic Continuous Time
Model-Based Static Code Analysis for MATLAB Models
Synthesis from a Practical Perspective
Inferring Semantic Interfaces of Data Structures
Accurate Smart Contract Verification Through Direct Modelling
Automatic Synthesis of Code Using Genetic Programming
Intransitive Noninterference in Dependence Graphs
On Binding in the Spatial Logics for Closure Spaces
Digital Thread in Smart Manufacturing
Abstraction in Deductive Verification: Model Fields and Model Methods
A Theory of Probabilistic Contracts
Robustness-by-Construction Synthesis: Adapting to the Environment at Runtime
Quantitative Verification in Practice
Towards Static Analysis of Policy-Based Self-adaptive Computing Systems
Standardisation Considerations for Autonomous Train Control
Monitoring Anomalies in IT-Landscapes Using Clustering Techniques and Complex Event Processing
Test-Driving Static Analysis Tools in Search of C Code Vulnerabilities II - (Extended Abstract)
The FMICS-jETI Platform: Status and Perspectives
Assurance Cases in Model-Driven Development of the Pacemaker Software
Towards Digital Twins for Knowledge-Driven Construction Progress and Predictive Safety Analysis on a Construction Site
A Hierarchical Variability Model for Software Product Lines
On Two Friends for Getting Correct Programs - Automatically Translating Event B Specifications to Recursive Algorithms in Rodin
Guaranteeing Type Consistency in Collective Adaptive Systems
Measuring and Evaluating the Performance of Self-Organization Mechanisms Within Collective Adaptive Systems
30 Years of Statistical Model Checking
Conditions for Compatibility of Components - The Case of Masters and Slaves
Comparative Analysis of Tools for Automated Software Re-engineering Purposes
From ZULU to RERS - Lessons Learned in the ZULU Challenge
Verification of Liveness and Safety Properties of Behavioral Programs Using BPjs
Time for All Programs, Not Just Real-Time Programs
Formal Analysis of TESLA Protocol in the Timed OTS/CafeOBJ Method
Leveraging Applications of Formal Methods, Verification and Validation. Modeling - 8th International Symposium, ISoLA 2018, Limassol, Cyprus, November 5-9, 2018, Proceedings, Part I
Learning Minimal Deterministic Automata from Inexperienced Teachers
Domain Specific Languages for Managing Feature Models: Advances and Challenges
Attributed Point-to-Point Communication in R-CHECK
On Handling Data in Automata Learning - Considerations from the CONNECT Perspective
Towards a Unified View of Modeling and Programming (Track Summary)
On the Runtime Enforcement of Evolving Privacy Policies in Online Social Networks
Programming Language Specification and Implementation
Automated Formal Testing of C API Using T2C Framework
A Tutorial Introduction to Graphical Modeling and Metamodeling with CINCO
Modeling and Managing System Evolution - Description of EternalS Task Force 2
Verifying LTL Properties on Hierarchical Systems: Application to Aircraft Autopilot
Adaptive Composition of Conversational Services through Graph Planning Encoding
An Abstract Account of Up-to Techniques for Inductive Behavioural Relations
Tutorial: Automata Learning in Practice
Security Analysis of Smart Contracts in Datalog
Analyzing End-to-End Functional Delays on an IMA Platform
Fun with Bitcoin Smart Contracts
FScaFi : A Core Calculus for Collective Adaptive Systems Programming
Towards a Usable and Sustainable Deductive Verification Tool
Approaches for Mastering Change
The Guided System Development Framework: Modeling and Verifying Communication Systems
Automatic Test Generation for Model-Based Code Generators
Modular Verification of JML Contracts Using Bounded Model Checking
Traceability and Accountability by Construction
An Automated Approach for Writing Alloy Specifications Using Instances
Concurrent Testing of Java Components Using Java PathFinder
RV-TheToP: Runtime Verification from Theory to the Industry Practice (Track Introduction)
Modeling a BSG-E Automotive System with the Timing Augmented Description Language
Measurement-Based Timing Analysis
Modeling and Optimizing Automotive Electric/Electronic (E/E) Architectures: Towards Making Clafer Accessible to Practitioners
Distributed Energy Management Case Study: A Formal Approach to Analyzing Utility Functions
Co-simulation: The Past, Future, and Open Challenges
A C-space sensitivity analysis of Earliest Deadline First scheduling
Process-Oriented Geoinformation Systems and Applications
Bioscientific Data Processing and Modeling
A Fully Model-Based Approach to Software Development for Industrial Centrifuges
Degrees of Autonomy in Coordinating Collectives of Self-Driving Vehicles
Learning Stochastic Timed Automata from Sample Executions
Contracts over Smart Contracts: Recovering from Violations Dynamically
Arguing for Software Quality in an IEC 62304 Compliant Development Process
Ontology-Driven Pervasive Service Composition for Everyday Life
Automating Software Re-Engineering Introduction to the ISoLA 2024 Track
Proof-Carrying Apps: Contract-Based Deployment-Time Verification
Temporal Aspects of Smart Contracts for Financial Derivatives
Aligned, Purpose-Driven Cooperation: The Future Way of System Development
Centrality-Preserving Exact Reductions of Multi-Layer Networks
A Rule Markup Language and its application to UML
Programming - What is Next?
Code-Centric Code Generation
The PEGASE Project: Precise and Scalable Temporal Analysis for Aerospace Communication Systems with Network Calculus
Formal Methods and Safety Certification: Challenges in the Railways Domain
Domain-Specific Code Generator Modeling: A Case Study for Multi-faceted Concurrent Systems
Eternal Embedded Software: Towards Innovation Experiment Systems
Leveraging Applications of Formal Methods, Verification and Validation: Tools and Trends - 9th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2020, Rhodes, Greece, October 20-30, 2020, Proceedings, Part IV
Adaptable and Evolving Software for Eternal Systems - (Track Summary)
Worst-Case Analysis of Heap Allocations
What the Hack Is Wrong with Software Doping?
Overview of Roadmapping by EternalS
Dynamic Logic for Ensembles
[mc]square: A Model Checker for Microcontroller Code
Correct by Design Coordination of Autonomous Driving Systems
Program Correctness by Transformation
A Case Study in Domain-customized Model Checking for Real-time Component Software
Model-Based Testing for Avionic Systems Proven Benefits and Further Challenges
Multi-core Model Checking of Large-Scale Reactive Systems Using Different State Representations
Generating Inductive Shape Predicates for Runtime Checking and Formal Verification
Engineering Adaptivity, Universal Autonomous Systems Ethics and Compliance Issues - ISOLA'2016 - Panel Discussion Position Paper
Design and Implementation of Data Usability Processor into an Automated Processing Chain for Optical Remote Sensing Data
Engineering a Digital Twin for Manual Assembling
Synthesis and Traceability of Scenario-Based Executable Models
Rigorous Graphical Modelling of Movement in Collective Adaptive Systems
This Is Not a Model - On Development of a Common Terminology for Modeling and Programming
Pragmatics Twelve Years Later: A Report on Lingua Franca
A Formal Specification of a Programming Language: Design of Pit
On Formal Choreographic Modelling: A Case Study in EU Business Processes
Forming Ensembles at Runtime: A Machine Learning Approach
HAMR: An AADL Multi-platform Code Generation Toolset
Evaluation of Graphical Modeling of CI/CD Workflows with Rig
LivingKnowledge: Kernel Methods for Relational Learning and Semantic Modeling
Automated Model Generation from Design Databases at the Example of Building Automation Networks
Monitoring Temporal Information Flow
Data-Driven Reachability Analysis of Digital Twin FMI Models
Assuring Intelligent Ambient Assisted Living Solutions by Statistical Model Checking
A Formalism for Stochastic Adaptive Systems
Application of Bioinformatics in the Design of Gene Expression Microarrays
Coordination Model with Reinforcement Learning for Ensuring Reliable On-Demand Services in Collective Adaptive Systems
RERS 2016: Parallel and Sequential Benchmarks with Focus on LTL Verification
Towards a Notion of Coverage for Incomplete Program-Correctness Proofs
Smart Coordination of Autonomic Component Ensembles in the Context of Ad-Hoc Communication
Specification and Verification with the TLA + Trifecta: TLC, Apalache, and TLAPS
Towards Reactive Planning with Digital Twins and Model-Driven Optimization
Learning Techniques for Software Verification and Validation - Special Track at ISoLA 2010
Verification and Validation of Concurrent and Distributed Heterogeneous Systems (Track Summary)
Verification in the Large via Symbolic Approximation
High Level Analysis, Design and Validation of Distributed Mobile Systems with CoreASM
Helena@Work: Modeling the Science Cloud Platform
Modelling and Verifying an Evolving Distributed Control System Using an Event-Based Approach
Delta-Trait Programming of Software Product Lines
A Case Study in Domain-Customized Model Checking for Real-Time Component Software
Programming Is Modeling
Digital Modelling in the Railways
Trusted Theorem Proving: A Case Study in SLD-Resolution
Combining Risk Analysis and Security Testing
Using Analogy to Promote Conceptual Modeling Reuse
Context-Sensitivity in IPET for Measurement-Based Timing Analysis
Programming ⊂ Modeling ⊂ Engineering
A Toolchain for Delta-Oriented Modeling of Software Product Lines
Rigorous Engineering of Collective Adaptive Systems Introduction to the 3rd Track Edition
Executable Documentation: Test-First in Action
Preventing Out-of-Gas Exceptions by Typing
Combinatory Process Synthesis
Comparing Learning Algorithms in Automated Assume-Guarantee Reasoning
Survey of Statistical Verification of Linear Unbounded Properties: Model Checking and Distances
SIMPPAAL: A Framework for Statistical Model Checking of Industrial Simulink Models
Leveraging Applications of Formal Methods, Verification and Validation. Verification - 8th International Symposium, ISoLA 2018, Limassol, Cyprus, November 5-9, 2018, Proceedings, Part II
Abstract Execution for Event-Driven Systems - An Application from Automotive/Infotainment Development
Optimizing Automatic Deployment Using Non-functional Requirement Annotations
A Visual Programming Approach to Beat-Driven Humanoid Robot Dancing
Emergence in Multi-agent Systems: A Safety Perspective
Gesper: Support to Capitalize on Experience in a Network of SMEs
A Formal Behavioral Semantics for TestML
Formalizing Self-adaptive Clouds with KnowLang
AutoPA: Automatic Prototyping from Requirements
Adaptation to the Unforeseen: Do we Master our Autonomous Systems? Questions to the Panel - Panel Introduction
Adapting Component Models to Support Responsibility
Leveraging Applications of Formal Methods, Verification, and Validation - 4th International Symposium on Leveraging Applications, ISoLA 2010, Heraklion, Crete, Greece, October 18-21, 2010, Proceedings, Part I
Preservation of timed properties during an incremental development by components
Reha-Sports: The Challenge of Small Margin Healthcare Accounting
Design for 'X' Through Model Transformation
A Rewriting Framework for Interacting Cyber-Physical Agents
Design Choices for High-Confidence Distributed Real-Time Software
The jABC Approach to Rigorous Collaborative Development of SCM Applications
Verification of Operating System Monolithic Kernels Without Extensions
Adventures in FRET and Specification
Design and Architecture of Cloud-Based Mobile Phone Sensing Middleware
A Survey of Load Balancing in Cloud Computing: Challenges and Algorithms
PvD: A Lightweight Distributed Monitoring Architecture for Cloud Infrastructures
A Comparative Study of Signaling Protocols for Data Management and Synchronization in Fatih Project with School Level Cloud Proxy Server Deployment
How the Dataweb Can Support Cloud Federation: Service Representation and Secure Data Exchange
An Energy Aware Network Management Approach Using Server Profiling in 'Green' Clouds
Choosing a Local or Remote Cloud
Massively Parallel Fluid Simulations on Amazon's HPC Cloud
Cloud Computing and Virtual Heritage: The Social Media-Oriented Paradigm Experienced at Cineca
A Cloud-Assisted Framework for Bag-of-Features Tagging in Social Networks
A Unified Management Model for Data Intensive Storage Clouds
Machine Learning for Achieving Self-* Properties and Seamless Execution of Applications in the Cloud
Exploiting Classes of Virtual Machines for Scalable IaaS Cloud Management
OCSS: Ontology Cloud Storage System
Towards a Simple Programming Model in Cloud Computing Platforms
Adaptive Situation Awareness Using Visual Analytics
Auto-tuning of Cloud-Based In-Memory Transactional Data Grids via Machine Learning
Exploration of Cloud Computing Adoption for E-Learning in Higher Education
Toward a Cloud Platform for UAV Resources and Services
Cloud Integrator: Building Value-Added Services on the Cloud
The Network Perspective of Cloud Security
Distributed Architectures for Intelligent Transport Systems: A Survey
Cloud Computing for Global Name-Resolution in Information-centric Networks
A Modular Approach to Collaborative Development in an OpenStack Testbed
Cloud-based Evolutionary Parallel Computation Using Low Cost Storage Services
A Software Defined Self-Aware Network: The Cognitive Packet Network
Estimating the Frequency of Data Items in Massive Distributed Streams
SLA-Driven Resource Provisioning in the Cloud
SensorCloud: An Integrated System for Advanced Multi-risk Management
SLA-aware Resource Management for Application Service Providers in the Cloud
Slices Isolator for a Virtualized Openflow Node
IEEE First Symposium on Network/Cloud Computing and Applications, NCCA 2011, Toulouse, France, November 21-23, 2011
A Cooperative Multi Agent Learning Approach to Manage Physical Host Nodes for Dynamic Consolidation of Virtual Machines
Bidding Strategies in QoS-Aware Cloud Systems Based on N-Armed Bandit Problems
A Fault-Tolerant Session Layer with Reliable One-Way Messaging and Server Migration Facility
A Comparative Study of the Current Cloud Computing Technologies and Offers
Adaptive Media Coding and Distribution Based on Clouds
IEEE 3rd Symposium on Network Cloud Computing and Applications, NCCA 2014, Rome, Italy, February 5-7, 2014
Dynamic Topology Orchestration for Distributed Cloud-Based Applications
Performance Evaluation of Non-tunneling Edge-Overlay Model on 40GbE Environment
Virtual Topology Mapping in SDN-Enabled Clouds
INFN towards Cloud Computing
Supporting Apps in the Personal Cloud: Using WebSockets within Hybrid Apps
Internal Self-protecting for Consistency and Stability in an Autonomic Manager
Cloud-Based Harvest Management System for Specialty Crops
A Remote Attestation Approach for a Secure Virtual Machine Migration in Federated Cloud Environments
Towards Practical Homomorphic Encryption in Cloud Computing
Experiments with Smart Workload Allocation to Cloud Servers
vNFC: A Virtual Networking Function Container for SDN-Enabled Virtual Networks
A Model-Based Approach for Optimizing Power Consumption of IaaS
Dynamic IGP Weight Optimization in IP Networks
An Android-Enabled Mobile Framework for Ubiquitous Access to Cloud Emergency Medical Services
Secure System Development for Integrated Cloud Applications
Using Virtualization and noVNC to Support Assistive Technology in Cloud Computing
Distributed Ontology Cloud Storage System
Providing Transaction Class-Based QoS in In-Memory Data Grids via Machine Learning
Fair Allocation of Cloud & Physical Resources for Multi-class Users
Virtual Resource Management Based on Software Transactional Memory
Autonomic Brokerage Service for an End-to-End Cloud Networking Service Level Agreement
Resilience Aspects of Autonomic Cooperative Communications in Context of Cloud Networking
Towards Energy Consumption Measurement in a Cloud Computing Wireless Testbed
QoE Content Distribution Network for Cloud Architecture
Building Dynamic Computing Infrastructures over Distributed Clouds
The ARES Project: Cloud Services for Medical Genomics
Adaptive Transactional Memories: Performance and Energy Consumption Tradeoffs
A Generic Architecture for Scalable and Highly Available Content Serving Applications in the Cloud
A Scalable Architecture for Real-Time Monitoring of Large Information Systems
SDN and NFV for Network Cloud Computing: A Universal Operating System for SD Infrastructures
The ARES Project: Network Architecture for Delivering and Processing Genomics Data
Flexible Integration of Eventually Consistent Distributed Storage with Strongly Consistent Databases
Fourth IEEE Symposium on Network Cloud Computing and Applications, NCCA 2015, Munich, Germany, June 11-12, 2015
Digital Library Recommender System on Hadoop
Cross-layer SLA Selection for Cloud Services
Machine Learning Techniques for Predicting Web Server Anomalies
Implementation of C-BAS: Certificate-Based AAA for SDN Experimental Facilities
Predicting Response Times of Applications in Virtualized Environments
The Design of a Decision Support Tool for Delivery and Deployment Models
An Efficient Fault-Tolerant Algorithm for Distributed Cloud Services
Dynamic Migration of Cloud Services
How Mobility Increases Mobile Cloud Computing Processing Capacity
Public Cloud Extension for Desktop Applications - Case Study of a Data Mining Solution
Self-Tuning Transactional Data Grids: The Cloud-TM Approach
A Structured Approach to Virtualization in Order to Support a Social Media Oriented Cloud Computing
Dynamic Data Replication Scheme in the Cloud Computing Environment
An Architecture for Virtual Network Embedding in Wireless Systems
Second Symposium on Network Cloud Computing and Applications, NCCA 2012, London, United Kingdom, December 3-4, 2012
Scheduling Unit-Time Tasks with Limited Resources
A Reconfigurable Parallel Arithmetic Unit
The Typeset-10 Message Exchange Facility - A Case Study in Systematic Design
Toward the Design of a Network Manager for a Distributed Computer Network
Mixed Mode Arithmetic for STARAN
Implementation of the AWACS Passive Tracking Algorithms on a Goodyear STARAN
Computer Models with Constrained Parallel Processors
Discriminating Content Addressable Memories
A Fundamental Tehoerem of Asynchronous Parallel Computation
Experience with an Operational Associative Processor
An Approach to Restructurable Computer Systems
Syntactic Recognition of Paralel Proceses in Formally Defined Complexes of Interacting Digital Systems
An Associative Processor Architecture for Air Traffic Control
On a Class of Scheduling Algorithms for Multiprocessors Computing Systems
A Control Structure for Parallel Processing
Application of an Associative Processor to Aircraft Tracking
The Implementation of APL on an Associative Processor
Parallel Processing, Proceedings of the Sagamore Computer Conference, Sagamore, Adirondack Mountains, NY, USA, August 20-23, 1974
A New Parallel Algorithm for Network Flow Problems
On Programmable Parallel Data Routing Networks via Cross-Bar Switches for Multiple Element Computer Architectures
A Unified Associative and von-Neumann Processor EGPP and EGPP Array
An Efficient Implementation of Conflict Prediction in a Parallel Processor
AAPL: An Array Processing Language
Analytic and Implementation Considerations of Two-Facility Sequencing in Computer Systems
Optimal Resource Allocation and Scheduling Among Parallel Processes
The Hyperplane Method for an Array Computer
Analysis and Design of a Cost-Effective Associative Processor for Weather Computations
Analysis of Parallel Processing for Air Defense and Air Traffic Control for Thailand
Implementation of Data Manipulating Functions on the STARAN Associative Processor
Programmable Radar Signal Processing Using the Rap
Architectural Considerations in Interfacing a Parallel Processor to the Air Traffic Control System
The Evolution of a Parallel Active Tracking Program
Optimal Searching Algorithms for Parallel Pipelined Computers
Parallel Processing by Virtual Instruction
Matrix Computations on an Associative Processor
A Recognizer and Post-Recognizer for Optimizing Execution Times of Programs
Sensor networks in challenged environments
Distributed framework for tele health monitoring system
Consensus in correlated random wireless sensor networks
Optimized overlapping based energy-aware node collaboration in visual sensor networks
A method for minimum range extension with improved accuracy in triangulation laser range finder
Heterogeneity and multi-cell cooperation in wireless cellular networks
Monitoring Schumann resonance and other electromagnetic precursors of an earthquake with a virtual MIMO wireless sensor network
Reaching out with wireless
Prioritizing data in emergency response based on context, message content and role
Serval mesh software-WiFi multi model management