yusuke1997/dblp-id-title huggingface dataset:
Proceedings of the 3rd International Workshop on Interactive and Spatial Computing, IWISC 2018, Richardson, TX, USA, April 12-13, 2018
Quantitative spatial semantics in a graph grammar formalism
Enhancements to a shape grammar interpreter
Saliency improvement through genetic programming
Map-matching using shortest paths
Visualization of genome rearrangements using DCJ operations
Monitoring task engagement using facial expressions and body postures
Improved line facility location in weighted subdivisions
Integrating Distributed Component-Based Systems Through Deep Reinforcement Learning
ePassport Protocol on the Spi Calculus
On the Modeling and Performance Evaluation of Cloud Computing Centers Using M/G/c/c+r Queuing System
A Reliable and Resource-Aware Federated Learning Solution by Decentralizing Client Selection for IoT Devices
Towards Formal Verification of Node RED-Based IoT Applications
An Experimental Comparison of Two Approaches for Diagnosability Analysis of Discrete Event Systems - A Railway Case-Study
Multi-robot Path Planning Using Petri Nets
Formal Verification of a Certified Policy Language
TT-BIP: Using Correct-by-Design BIP Approach for Modelling Real-Time System with Time-Triggered Paradigm
Towards Specification-Driven LLM-Based Generation of Embedded Automotive Software
Formal XAI via Syntax-Guided Synthesis
Statistical Model Checking of CSMA/CA in WSNs
Exact and Approximate Diagnosis of Probabilistic Systems
Statistical Model Checking of Python Agent-Based Models: An Integration of MultiVeStA and Mesa
Large Language Model Assisted Software Engineering: Prospects, Challenges, and a Case Study
An Enhanced Interface-Based Probabilistic Compositional Verification Approach
Replacing Store Buffers by Load Buffers in TSO
DRL Based SFC Orchestration in SDN/NFV Environments Subject to Transient Unavailability
Digging for Decision Trees: A Case Study in Strategy Sampling and Learning
AI Assisted Programming - (AISoLA 2024 Track Introduction)
Verification and Evaluation of Computer and Communication Systems - 17th International Conference, VECoS 2024, Djerba, Tunisia, October 16-18, 2024, Proceedings
Challenges for AI in Healthcare Systems
Verification and Evaluation of Computer and Communication Systems - 15th International Conference, VECoS 2021, Virtual Event, November 22-23, 2021, Revised Selected Papers
Digitised Historical Sources and Non-digital Humanists: An Interdisciplinary Challenge?
What Computing Professionals Should Know About Ethics: Perspectives of Philosophers
End-to-End AI Generated Runtime Verification from Natural Language Specification
Comparison of Routing Protocols in Wireless Sensor Networks
Towards Formal Modeling and Verification of Context-Aware Systems
Formal Security Analysis of Deep Neural Network Architecture
Responsible and Trusted AI: An Interdisciplinary Perspective (2025)
Formal Verification of a Neural Network Based Prognostics System for Aircraft Equipment
Analysing Security Protocols Using Scenario Based Simulation
On the Complexities of Testing for Compliance with Human Oversight Requirements in AI Regulation
LLM-Based Property-Based Test Generation for Guardrailing Cyber-Physical Systems
Vehicle Scheduling Problem in Terminals: A Review
White-Box Mutation Testing of Smart Contracts: A Quick Review
Uppaal vs Event-B for Modelling Optimised Link State Routing
Coding Historical Causes of Death Data with Large Language Models
Justifications for Democratizing AI Alignment and Their Prospects
Model Driven Development for AI-Based Healthcare Systems: A Review
Fault Diagnosis of P-Time Labeled Petri net Systems
Deadlock Avoidance of Flexible Manufacturing Systems by Colored Resource-Oriented Petri Nets with Novel Colored Capacity
Hybrid Parallel Model Checking of Hybrid LTL on Hybrid State Space Representation
Is Your AI-Based System Five Star Sustainable?
ERTMS/ETCS L3: Usable Formal Models for the "Loss of Train Integrity" Operation Scenario
Verification of Bounded Real-Time Distributed Systems With Mobility
Towards the Property-Based Testing of an L4 Microkernel API
Transparent Transparency Developing a Scheme for Understanding Transparency Requirements
The Impact of Generative Artificial Intelligence Tools in Project-Based Learning
The State of Fault Injection Vulnerability Detection
Failure Detector-Ring Paxos Based Atomic Broadcast Algorithm
Compositional Verification of Timed Systems
Towards Person-Owned and Controlled Personal Health Records: Past, Present, and Future Research at eMedLab, TalTech
Towards Verifying Robotic Systems Using Statistical Model Checking in STORM
How to Be Sure a Faulty System Does Not Always Appear Healthy?
AI-Related Risk and Uncertainty
AI Assisted Programming (AISoLA 2025 Track Introduction)
Research on Vehicle Detection Based on Visual Convolution Network Optimization
Teaching the Specialized Language of Mathematics with a Data-Driven Approach: What Data Do We Use?
Formal Probabilistic Analysis of a Virtual Fixture Control Algorithm for a Surgical Robot
Reinforcement Learning for Discretized Euclidean MDPs
Safeguarding AI-Based Software Development and Verification using Witnesses (Position Paper)
Analysis of a Road/Tramway Intersection by the ORIS Tool
SMT-Based Unbounded Model Checking for ATL
Model-based Design and Formal Analysis of Arbitration Protocols on Multiple-Bus Architecture
Extended Abstract: Will Embodied AI Become Sentient?
The Inverse Problem for Neural Networks
Timeout Interaction and Migration in Distributed Systems
Blockchain-Based Trust Management for IoMT Environment
Performance Analysis of Multi-services Call Admission Control in Cellular Network Using Probabilistic Model Checking
Using Passive Sensing to Identify Depression
Development and Maintenance of Trust in Human-Drone Interaction: Preliminary Empirical Findings in a Warehouse Setting
Verification and Evaluation of Computer and Communication Systems - 16th International Conference, VECoS 2023, Marrakech, Morocco, October 18-20, 2023, Proceedings
An Evaluation of Estimation Techniques for Probabilistic Verification
Responsibility Attribution for AI-Mediated Damages with Mechanistic Interpretability
It's Safe to Play While Driving: From a Spatial Traffic Logic Towards Traffic Games
A Derived Queueing Network Model for Structured P2P Architectures
The GraphBRAIN Framework for Knowledge Graph Management and Its Applications to Cultural Heritage
Benchmark: Neural Network Malware Classification
Correct-ish by Design: From Upfront Verification to Continuous Monitoring of LLM Generated Code
Benchmark: Remaining Useful Life Predictor for Aircraft Equipment
Supporting a SOTIF Safety Argument by Activation Pattern Monitoring with Statistical Guarantees
Modeling Concurrent Behaviors as Words
Factorization of the State Space Construction for Cyclic Systems with Data
Analytical Modeling of the IEEE 802.11e EDCA Network
Optimized Smart Sampling
Estimating Latency for Synchronous Dataflow Graphs Using Periodic Schedules
Towards Efficient Partial Order Techniques for Time Petri Nets
Integrating SysML and Timed Reo to Model and Verify Cyber-Physical Systems Interactions with Timing Constraints
Applying Data Fragmentation in IEEE 802.15.4: Modeling and Analysis under Unsaturated Traffic
Cross-Layer Energy-Aware Protocol for Wireless Sensor Networks
Benchmark: Object Detection for Maritime Search and Rescue
What, Indeed, is an Achievable Provable Guarantee for Learning-Enabled Safety-Critical Systems
A Toolset for Mobile Systems Testing
Continuous Engineering for Trustworthy Learning-Enabled Autonomous Systems
Multi-path Coverage of All Final States for Model-Based Testing Theory Using Spark In-memory Design
Accurate Strategy for Mixed Criticality Scheduling
Multi-scale Risk Assessment Model of Network Security Based on LSTM
Visual Specification Language and Automatic Checking of Business Process
AGREE-Dog Copilot: A Neuro-Symbolic Approach to Enhanced Model-Based Systems Engineering
Deep Reinforcement Learning for Solving AGVs Routing Problem
AI-Assisted Programming with Test-Based Refinement
Towards a Statistical System Analysis
Balancing Transparency and Risk: An Overview of the Security and Privacy Risks of Open-Source Machine Learning Models
Shielded Reinforcement Learning for Hybrid Systems
A Model Based Approach to Combine Load and Functional Tests for Service Oriented Architectures
Application of Generalized Stochastic Petri Nets to Performance Modeling of the RF Communication in Sensor Networks
Empirical Analysis of Benchmark Generation for the Verification of Neural Network Image Classifiers
Monitoring Safety and Reliability of Underwater Robots: A Case Study
ON/OFF Control Trajectory Computation for Steady State Reaching in Batches Petri Nets
Systematic Translation from Natural Language Robot Task Descriptions to STL
CASP: An Evaluation Dataset for Formal Verification of C Code
Verification and Evaluation of Computer and Communication Systems - 14th International Conference, VECoS 2020, Xi'an, China, October 26-27, 2020, Proceedings
Performance Study of Frame Aggregation Mechanisms in the New Generation WiFi
Proceedings of the 10th Workshop on Verification and Evaluation of Computer and Communication System, VECoS 2016, Tunis, Tunisia, October 6-7, 2016
Efficient Shield Synthesis via State-Space Transformation
AI Assisted Programming - (AISoLA 2023 Track Introduction)
Verification and Evaluation of Computer and Communication Systems - 12th International Conference, VECoS 2018, Grenoble, France, September 26-28, 2018, Proceedings
Towards a Formal Account on Negative Latency
Combining Enumerative and Symbolic - Techniques for Diagnosis of Discrete-Event Systems
Probabilistic Approaches for Time Critical Embedded Systems
Dynamic Feasibility Windows Reconfiguration For a Failure-Tolerant PFair Scheduling
Non-Standard Zeno-Free Simulation Semantics for Hybrid Dynamical Systems
Monitoring of Neural Network Classifiers Using Neuron Activation Paths
Factor-Based C-AMAT Analysis for Memory Optimization
Observer Design and Feedback Controller Synthesis with Observer in Idempotent Semiring
Future Opportunities for Systematic AI Support in Healthcare
Mapping OCL Constraints into CTL-like Logic and SML for UML Validation
gRoMA: A Tool for Measuring the Global Robustness of Deep Neural Networks
Welcome Remarks from AISoLA 2023/Track C2 Chairs
Leveraging Actionable Explanations to Improve People's Reactions to AI-Based Decisions
Supervisory Control of Cyber-Physical Systems Using Labeled Petri Nets Under Sensor and Actuator Attacks
ChatGPT in the Loop: A Natural Language Extension for Domain-Specific Modeling Languages
Verification and Evaluation of Computer and Communication Systems - 13th International Conference, VECoS 2019, Porto, Portugal, October 9, 2019, Proceedings
Proceedings of the 8th International Workshop on Verification and Evaluation of Computer and Communication Systems, VECoS 2014, Bejaïa, Algeria, September 29-30, 2014
Formal Verification of a Post-quantum Signal Protocol with Tamarin
Towards ML-Integration and Training Patterns for AI-Enabled Systems
On Language-Based Opacity Verification Problem in Discrete Event Systems Under Orwellian Observation
AI Act for the Working Programmer
Verified High Performance Computing: The SyDPaCC Approach
A Protocol for Constraint Automata Execution in a Synchronous Network of Processors
State Space Reduction Strategie for Model Checking Concurrent C Programs
Handling of Operating Modes in Contract-Based Timing Specifications
A Voice-Enabled Query Framework for Systems Engineering Artefacts
Shielded Learning for Resilience and Performance Based on Statistical Model Checking in Simulink
Roles and Responsibilities for a Predictable Update Process - A Position Paper
Mobility Load Balancing over Intra-frequency Heterogeneous Networks Using Handover Adaptation
What Can Large Language Models Do for Theorem Proving and Formal Methods?
Integrating LLMs with QC-OpenDRIVE: Ensuring Normative Correctness in Autonomous Driving Scenarios
Common Language for Accessibility, Interoperability, and Reusability in Historical Demography
Importance-Based Scheduling to Manage Multiple Core Defection in Real-Time Systems
Optimizing Label Coverage Using Regular Expression-Based Linear Programming
Running on Fumes - Preventing Out-of-Gas Vulnerabilities in Ethereum Smart Contracts Using Static Resource Analysis
Runtime Verification and AI: Addressing Pragmatic Regulatory Challenges
Epistemic Deference to AI
A C-IFGSM Based Adversarial Approach for Deep Learning Based Intrusion Detection
MBT/CPN: A Tool for Model-Based Software Testing of Distributed Systems Protocols Using Coloured Petri Nets
On Decentralized Monitoring
LLM-Based Scheme for Synthesis of Formal Verification Algorithms
WCET Analysis by Model Checking for a Processor with Dynamic Branch Prediction
Petri Net Synthesis from Labelled Transition Systems and from Languages
Weighted Lightweight Image Retrieval Method Based on Linear Regression
From Data Science to Modular Workflows Changing Perspectives from Data to Platform: DBDIrl 1864-1922 Case Study
MDE in the Era of Generative AI
Statistical Model Checking the 2024 Edition!
A Formal Approach for Verifying and Validating Security Objectives in Software Architecture
Proof Repair Utilizing Large Language Models: A Case Study on the Copland Remote Attestation Proofbase
Specifying Weak Memory Consistency with Temporal Logic
Model-Based Verification of the DMAMAC Protocol for Real-time Process Control
Resilience Assessment: Accidental and Malicious Threats
A µ-Calculus Framework for the Diagnosability of Discrete Event Systems
Analyzing Distributed Pi-Calculus Systems by Using the Rewriting Engine Maude
Towards a Multi-dimensional Health Data Analysis Framework
On quantitative Analysis of Time Open Workflow Nets and Parametric Extension
A Comparison of Monitoring Techniques for Deep Neural Networks
Track C1: Safety Verification of Deep Neural Networks (DNNs)
Performance Evaluation of Dynamic Load Balancing Protocols Based on Formal Models in Cloud Environments
Towards a Generic Framework for Formal Verification and Performance Analysis of Real-Time Scheduling Algorithms
A Comparative Study of Online Cybersecurity Training Platforms
Diagnosis of Probabilistic Models using Causality and Regression
Feedback from AI Team Members: Implications on Self-image and Trust
Certainty vs. Intelligence
Digital Humanities and Cultural Heritage in AI and IT-Enabled Environments
Benchmarks: Semantic Segmentation Neural Network Verification and Objection Detection Neural Network Verification in Perceptions Tasks of Autonomous Driving
LC/NC Pipeline for Training and Operationalising Segmentation Models in a Data Scarce Domain: De-arraying Tissue MicroArrays
Formal Verification of Declarative Specifications of BPs: DCR2CPN-Based Approach
Verification and Evaluation of Computer and Communication Systems - 11th International Conference, VECoS 2017, Montreal, QC, Canada, August 24-25, 2017, Proceedings
Using Model-Checking Techniques for Diagnosability Analysis of Intermittent Faults - A Railway Case Study
Command & Control in UAVs Fleets: Coordinating Drones for Ground Missions in Changing Contexts
Fairness Improvement of MAC in Wireless Ad Hoc Networks
Formal Verification of Coupled Transmission Lines using Theorem Proving
Thinking Outside the Box? - Regulatory Sandboxes as a Tool for AI Regulation
A Parametric Model for Near-Optimal Online Synthesis with Robust Reach-Avoid Guarantees
Static Detection of Event-Driven Races in HTML5-Based Mobile Apps
Intrusion Detection Using an Enhancement Bi-LSTM Recurrent Neural Network Model
Mapping Madness: HGIS and the Analysis of Irish Patient Records
A Game-Based Semantics for the Probabilistic Intermediate Verification Language HeyVL
Coalition Formation with Multiple Alternatives of Interdependent Tasks
AI and Democratic Equality: How Surveillance Capitalism and Computational Propaganda Threaten Democracy
The Modeling and Simulation on SRM Drive System Using Variable-Proportional-Desaturation PI Regulator
Bayesian Networks for the Evaluation of Complex Systems Availability
Coping with Spoofed PS-Poll Based DoS Attack in IEEE 802.11 Networks
Responsible and Trusted AI: An Interdisciplinary Perspective
Adaptive Stopping Algorithms Based on Concentration Inequalities
Differential Safety Testing of Deep RL Agents Enabled by Automata Learning
Towards correct Evolution of Conversation Protocols
Toward Green Data Lake Management and Analysis Through a CTMC Model
Toward Implicit Learning for the Compositional Verification of Markov Decision Processes
On SMC-Based Dependability Analysis in LoLiPoP-IoT Project
Interoperating Civil Registration of Death and Census Data: Old Age and Marriage as Categories of Analysis
Verification and Learning for Assured Autonomy
Statistical Analysis of the Impact of Bit-Flips in Security Critical Code
Quantum Machine Learning in Precision Medicine and Drug Discovery - A Game Changer for Tailored Treatments?
Deep Neural Networks, Explanations, and Rationality
CRISP-PCCP - A Development Methodology Supporting FDA Approval for Machine Learning Enabled Medical Devices
Towards a Model for Energy-Efficient and Flexible IoT Systems
Proceedings of the 9th Workshop on Verification and Evaluation of Computer and Communication Systems, VECoS 2015, Bucharest, Romania, September 10-11, 2015
Context Engineering for AI-Assisted Programming for Domain-Specific Languages
Using Statistical Model Checker for Schedulability Analysis of Real-Time Systems Under Uncertainty
A QoE Driven DRL Approach for Network Slicing Based on SFC Orchestration in SDN/NFV Enabled Networks
Regression-Based Statistical Bounds on Software Execution Time
DeepAbstraction++: Enhancing Test Prioritization Performance via Combined Parameterized Boxes
From Explanation Correctness to Explanation Goodness: Only Provably Correct Explanations Can Save the World
Improving Parallel State-Space Exploration Using Genetic Algorithms
Safer Than Perception: Increasing Resilience of Automated Vehicles Against Misperception
Relative Correctness: A Bridge Between Proving and Testing
SEGym: Optimizing Large Language Model Assisted Software Engineering Agents with Reinforcement Learning
Modelling and Verification of Dynamic Role-Based Access Control
Coverage Analysis of Net Inscriptions in Coloured Petri Net Models
Disentangling AI Alignment: A Structured Taxonomy Beyond Safety and Ethics
A High Parallelization Method for Automated Formal Verification of Deep Neural Networks
An Approach for Supervisor Reduction of Discrete-Event Systems
Performance Evaluation of Complex Systems Using the SBIP Framework
Formal Probabilistic Analysis of Lifetime for a WSN-based Monitoring Application
Model-Based Design of Resilient Systems Using Quantitative Risk Assessment
Fault Diagnosis of Discrete Event Systems Using Petri Nets
Benchmark: Formal Verification of Semantic Segmentation Neural Networks
Orchestration Synthesis for Real-Time Service Contracts
Intertwined Global Optimization Based Reachability Analysis
A Self-adaptive Multi-hierarchical Modular Neural Network for Complex Problems
A Sound Abstraction Method Towards Efficient Neural Networks Verification
Exploiting Local Persistency for Reduced State Space Generation
Safe AI in Autonomous Vehicles - Track at AISoLA 2023
Model-Checking Cloud Systems Using BigMC
LTL Model-Checking for Communicating Concurrent Programs
An Approach for Formal Verification of Updated Java Bytecode Programs
Team Design Patterns for Meaningful Human Control in Responsible Military Artificial Intelligence
RAG and Agentic Assistant: A Combined Approach
The Reachability Problem for Neural-Network Control Systems
A Complete Quantified Epistemic Logic for Reasoning about Message Passing Systems
Bipolar Argumentation Frames and Contrary to Duty Obligations, Preliminary Report
Computational Logic in Multi-Agent Systems, 11th International Workshop, CLIMA XI, Lisbon, Portugal, August 16-17, 2010. Proceedings
Playing Extensive Form Games in Parallel
How to Build Input/Output Logic
Computational Logic in Multi-Agent Systems, 4th International Workshop, CLIMA IV, Fort Lauderdale, FL, USA, January 6-7, 2004, Revised Selected and Invited Papers
The First Contest on Multi-agent Systems Based on Computational Logic
Implementing Reversible Processes in Multi-agent Action Languages Using Answer Set Planning
A Complete Probabilistic Belief Logic
Specification and Verification of Agent Interaction Using Abductive Reasoning (Tutorial Paper)
On the Definability of Simulability and Bisimilarity by Finite Epistemic Models
Embedding Linear-Time Temporal Logic into Infinitary Logic: Application to Cut-Elimination for Multi-agent Infinitary Epistemic Linear-Time Temporal Logic
A Characterization of Mixed-Strategy Nash Equilibria in PCTL Augmented with a Cost Quantifier
Answer Set Programming for Representing and Reasoning About Virtual Institutions
Towards Context Sensitive Defeasible Rules
Distributed Algorithms for Dynamic Survivability of Multiagent Systems
Transitivity and Propagation of Trust in Information Sources: An Analysis in Modal Logic
Synthesis and Verification of Uniform Strategies for Multi-agent Systems
Computational Logic in Multi-Agent Systems, 5th International Workshop, CLIMA V, Lisbon, Portugal, September 29-30, 2004, Revised Selected and Invited Papers
Distributed Defeasible Speculative Reasoning in Ambient Environment
Accumulative Knowledge under Bounded Resources
Decision Procedure for a Fragment of Mutual Belief Logic with Quantified Agent Variables
A Time-Situated Meta-logic for Characterizing Goal-Processing Bounded Agents
Declarative Agent Control
Prototyping 3APL in the Maude Term Rewriting Language
Graded BDI Models for Agent Architectures
MKNF Knowledge Bases in Multi-Context Systems
Speculative Constraint Processing with Iterative Revision for Disjunctive Answers
A New Framework for Knowledge Revision of Abductive Agents Through Their Interaction
Strategies for Multi-agent Coordination in a Grid World Using Petri Nets
Strong Equivalence in Argumentation
Risk Assessment as an Argumentation Game
An Argumentation-Based Approach for Automatic Evaluation of Design Debates
Model Checking Normative Agent Organisations
Proof Theory for Distributed Knowledge
Probabilistic Action and Deontic Logic - (Invited Talk)
Rewriting Rules for the Computation of Goal-Oriented Changes in an Argumentation System
A Game Theoretic Approach for Optimal Network Topologies in Opportunistic Networks
Symmetries and Epistemic Reasoning
Making Golog Norm Compliant
Formal Modelling of Emotions in BDI Agents
Formal Semantics of a Dynamic Epistemic Logic for Describing Knowledge Properties of pi -Calculus Processes
Speculative Abductive Reasoning for Hierarchical Agent Systems
A Dialogue Games Framework for the Operational Semantics of Logic Agent-Oriented Languages
Coalitional Responsibility in Strategic Settings
An Agent Language with Destructive Assignment and Model-Theoretic Semantics
Revisiting Satisfiability and Model-Checking for CTLK with Synchrony and Perfect Recall
Contract-Related Agents
Multi-threaded Communicating Agents in Qu-Prolog (Tutorial Paper)
Using Antimodels to Define Agents' Strategy
Exploring the Boundary of Half Positionality
Computational Logic in Multi-Agent Systems - 14th International Workshop, CLIMA XIV, Corunna, Spain, September 16-18, 2013. Proceedings
Web Based System for Weighted Defeasible Argumentation
Programming Multi-agent Systems
Proof-Theoretic Analysis of Rationality for Strategic Games with Arbitrary Strategy Sets
Combining Logics in Simple Type Theory
On a Linear Framework for Belief Dynamics in Multi-agent Environments
Operational Semantics for BDI Modules in Multi-agent Programming
The Second Contest on Multi-Agent Systems Based on Computational Logic
The Logical Way to Be Artificially Intelligent
Analytic Cut-Free Tableaux for Regular Modal Logics of Agent Beliefs
Verifying Agents' Conformance with Multiparty Protocols
Reconfiguration of Large-Scale Surveillance Systems
Acting on Norm Constrained Plans
Computational Logic in Multi-Agent Systems, CLIMA 2002, FLoC Satellite Event, Copenhagen, Denmark, August 1, 2002
Using Evolution Graphs for Describing Topology-Aware Prediction Models in Large Clusters
Programming Groups of Rational Agents
On the Complexity of Two-Agent Justification Logic
Interacting Answer Sets