yusuke1997/dblp-id-title huggingface dataset:
Abstract State Machines, Alloy, B, TLA, VDM, and Z - 5th International Conference, ABZ 2016, Linz, Austria, May 23-27, 2016, Proceedings
Integrated Operational Semantics: Small-Step, Big-Step and Multi-step
Formalizing the Institution for Event-B in the Coq Proof Assistant
How to Select the Suitable Formal Method for an Industrial Application: A Survey
XASM - An Extensible, Component-Based ASM Language
UML and Concurrency
A Reliability Prediction Method for Abstract State Machines
ASM Support for Validation of Specifications: Lessons Learned from an eGovernment Project
Event-B: From Systems to Sub-systems Modeling
Abstract State Machines, Alloy, B, TLA, VDM, and Z - 6th International Conference, ABZ 2018, Southampton, UK, June 5-8, 2018, Proceedings
Modelling Dynamic Data Structures with the B Method
Scenario based Analysis of Linear Computations
Formalizing Liveness-Enriched Sequence Diagrams Using ASMs
Tools for System Validation with B Abstract Machines
Kermit: specification and verification
Finite Cursor Machines in Database Query Processing
CASM-IR: Uniform ASM-Based Intermediate Representation for Model Specification, Execution, and Transformation
Refinement, Decomposition and Instantiation of Discrete Models
A Framework for Modeling the Semantics of Expression Evaluation with Abstract State Machines
Using a Formal B Model at Runtime in a Demonstration of the ETCS Hybrid Level 3 Concept with Real Trains
A Verifiable Conformance Relationship between Smart Card Applets and B Security Models
An ASM Dynamic Semantics for Standard ML
Group membership protocol: specification and verification
Refinement Plans for Informed Formal Design
Offline Model-Based Testing and Runtime Monitoring of the Sensor Voting Module
Abstract State Machines with Exact Real Arithmetic
Proceedings of the 12th International Workshop on Abstract State Machines, ASM 2005, March 8-11, 2005, Paris, France
Improving Trustworthiness of Self-driving Systems
Using ASM Specifications for Compiler Testing
A Super Industrial Application of PSGraph
A Formal Approach for the Modeling of High-Level Architectures Aligned with System Requirements
Applying Formal Semantics of an Object-oriented Language to Program Invariant Checking
Model Checking Event-B by Encoding into Alloy
Stability of Real-Time Abstract State Machines under Desynchronization
Synchronous Message Passing and Semaphores: An Equivalence Proof
Unified Syntax for Abstract State Machines
ASM-based Semantics for BPEL: The Negative Control Flow
Specification and verification of VHDL-based system-level hardware designs
Distributed Situation Analysis - A Formal Semantic Framework
Teaching an Old Dog New Tricks - The Drudges of the Interactive Prover in Atelier B
Integrating UML Static and Dynamic Views and Formalizing the Interaction Mechanismof UML State Machines
Privacy, Abstract Encryption and Protocols: An ASM Model - Part I
UseCase-Wise Development: Retrenchment for Event-B
Abstract State Machines, Alloy, B, TLA, VDM, and Z - 4th International Conference, ABZ 2014, Toulouse, France, June 2-6, 2014. Proceedings
Existence Proof Obligations for Constraints, Properties and Invariants in Atelier B
Continuous ASM, and a Pacemaker Sensing Fragment
Systematic Refinement of Abstract State Machines with Higher-Order Logic
ASM Semantics for C++ 2.0
Verification of parameterized programs
Specification and Validation of the Business Process Execution Language for Web Services
Formal Modeling and Analysis of a Flash Filesystem in Alloy
Event-B-Supported Choreography-Defined Communicating Systems - Correctness and Completeness
Using ASM to Achieve Executability within a Family of DSL
Refactoring Abstract State Machine Models
Using EventB to Create a Virtual Machine Instruction Set Architecture
Handling Continuous Functions in Hybrid Systems Reconfigurations: A Formal Event-B Development
B Model Abstraction Combining Syntactic and Semantic Methods
Modeling Cache Coherence Protocol - A Case Study with FLASH
SMT Solvers for Rodin
Validating the RBAC ANSI 2012 Standard Using B
Formal Distributed Protocol Development for Reservation of Railway Sections
About the Concolic Execution and Symbolic ASM Function Promotion in CASM
Fifth International Workshop on Abstract State Machines, ASM 1998, Magdeburg, Germany, September 21-22, Proceedings
Quantum Computing and Abstract State Machines
Dynamic Resource Configuration & Management for Distributed Information Fusion in Maritime Surveillance
Verifying SGAC Access Control Policies: A Comparison of ProB, Alloy and Z3
Modelling the Hybrid ERTMS/ETCS Level 3 Case Study in Spin
An Approach to Model Checking AsmL Specifications
Program verification and Prolog
Refinement of State-Based Systems: ASMs and Big Commuting Diagrams (Abstract)
Partially Ordered Runs: A Case Study
Event-B Decomposition for Parallel Programs
The semantics of the C++ programming language
VisB: A Lightweight Tool to Visualize Formal Models with SVG Graphics
Distributed Adaptive Systems - Theory, Specification, Reasoning
Formal Proofs for the NYCT Line 7 (Flushing) Modernization Project
Time in State Machines
Autonomous Objects and Bottom-Up Composition in ZOO Applied to a Case Study of Biological Reactivity
Modeling of a Speed Control System Using Event-B
The Computable Kernel of ASM
UML-B: A Plug-in for the Event-B Tool Set
ABZ 2014: The Landing Gear Case Study - Case Study Track, Held at the 4th International Conference on Abstract State Machines, Alloy, B, TLA, VDM, and Z, Toulouse, France, June 2-6, 2014. Proceedings
A Modular Design for the Common Language Runtime (CLR) Architecture
A Case for Using Data-Flow Analysis to Optimize Incremental Scope-Bounded Checking
Complex Hardware Modules Can Now be Made Free of Functional Errors without Sacrificing Productivity
Refinement of Timing Constraints for Concurrent Tasks with Scheduling
A First Attempt to Express KAOS Refinement Patterns with Event B
'The Tinker' for Rodin
Specification and verification of gate-level VHDL models of synchronous and asynchronous circuits
Modeling the Hybrid ERTMS/ETCS Level 3 Standard Using a Formal Requirements Engineering Approach
Towards Modelling Obligations in Event-B
A Security Logic for Abstract State Machines
An Event-B Model of an Automotive Adaptive Exterior Light System
Specifying Self-configurable Component-Based Systems with FracToy
A Universal Control Construct for Abstract State Machines
Modeling Discretely Timed Systems Using Different Magnitudes of Non-standard Reals
Description and Simulation of Microprocessor Instruction Sets Using ASMs
The Hybrid ERTMS/ETCS Level 3 Case Study
Modeling a Landing Gear System in Event-B
A Compact Encoding of Sequential ASMs in Event-B
Exploring the Concept of Abstract State Machines for System Runtime Enforcement
Model-Checking Real-Time Properties of an Aircraft Landing Gear System Using Fiacre
A Graphical Tool for Event Refinement Structures in Event-B
The Landing Gear Case Study in Hybrid Event-B
Towards an ASM Thesis for Unconventional Algorithms
A Roadmap for the Rodin Toolset
A Refinement-Based Correctness Proof of Symmetry Reduced Model Checking
Optimizing Alloy for Multi-objective Software Product Line Configuration
Improving Traceability between KAOS Requirements Models and B Specifications
Abstract State Machines, B and Z, First International Conference, ABZ 2008, London, UK, September 16-18, 2008. Proceedings
Modelling Conditional Knowledge Discovery and Belief Revision by Abstract State Machines
On an Extensible Rule-Based Prover for Event-B
Translating Z to Alloy
Abstract State Machines at the Cusp of the Millenium
Why Amazon Chose TLA +
Consistent Integration for Sequential Abstract State Machines
Model Checking Abstract State Machines and Beyond
On the Purpose of Event-B Proof Obligations
Diagram-Led Formal Modelling Using iUML-B for Hybrid ERTMS Level 3
The Hemodialysis Machine Case Study
The Rodin Platform Has Turned Ten
Proof Assisted Symbolic Model Checking for B and Event-B
Adding Concurrency to a Sequential Refinement Tower
Modeling and Analyzing Using ASMs: The Landing Gear System Case Study
Teaching ASMs, Teaching with ASMs: Opportunities in Undergraduate Education
Formal Probabilistic Analysis: A Higher-Order Logic Based Approach
Modular Refinement for Submachines of ASMs
αRby - An Embedding of Alloy in Ruby
Using AsmL for Runtime Verification
The ASM Workbench: an Open and Extensible Tool Environment for Abstract State Machines
Modeling Urban Crime Patterns: Viewing Multi-Agent Systems as Abstract State Machines
Developing New ASM-tools
The Landing Gear System Case Study
The High Road to Formal Validation:
State Exploration with Multiple State Groupings
Proposition of an Action Layer for Electrum
Specifying Transaction Control to Serialize Concurrent Program Executions
A Model-Based Transformation Approach to Reuse and Retarget CASM Specifications
Object-Oriented Abstract State Machines
The Composition of Event-B Models
ASM-based Mechanized Verification of Compiler Back-Ends
MAZE: An Extension of Object-Z for Multi-Agent Systems
A Tool Chain for the Automatic Generation of Circus Specifications of Simulink Diagrams
Automatic Transformation of SysML Model to Event-B Model for Railway CCS Application
Issues in Automated Urban Train Control: 'Tackling' the Rugby Club Problem
Bârun: A Scripting Language for CoreASM
Quasi-Lexicographic Convergence
Capturing Membrane Computing by ASMs
Modelling and Validating an Automotive System in Classical B and Event-B
On the Importance of Explicit Domain Modelling in Refinement-Based Modelling Design. Experiments with Event-B
Modeling Distributed Algorithms by Abstract State Machines Compared to Petri Nets
Abstract State Processes
ASMs and Refinement of State-based Systems
The BWare Project: Building a Proof Platform for the Automated Verification of B Proof Obligations
The Hidden Computation Stepsof Turbo Abstract State Machines
Automatic Verification for a Class of Proof Obligations with SMT-Solvers
A Framework for Proving Contract-Equipped Classes
XML Database Transformations with Tree Updates
Abstract State Machines, Advances in Theory and Practice, 10th International Workshop, ASM 2003, Taormina, Italy, March 3-7, 2003, Proceedings
Experiences on Teaching Alloy with an Automated Assessment Platform
An ASM Semantics of UML Derived from the Meta-model and Incorporating Actions
A Non-standard Approach to Operational Semantics for Timed Systems
AsmetaSMV: A Way to Link High-Level ASM Models to Low-Level NuSMV Specifications
Modeling the Supervisory Control Theory with Alloy
WebASM: An Abstract State Machine Execution Environment for the Web
Extracting Symbolic Transitions from TLA + Specifications
Combining VDM with Executable Code
Templates for Event-B Code Generation
Staged Evaluation of Partial Instances in a Relational Model Finder
Domain-Specific Visualization of Alloy Instances
Splitting Atoms with Rely/Guarantee Conditions Coupled with Data Reification
The bakery algorithm: yet another specification and verification
Introducing Aspect-Oriented Specification for Abstract State Machines
ProB and Jupyter for Logic, Set Theory, Theoretical Computer Science and Formal Methods
Modelling Attacker's Knowledge for Cascade Cryptographic Protocols
Combining Scenario- and Model-Based Testing to Ensure POSIX Compliance
A Modeling and Verification Framework for Security Protocols
Formalizing and Analyzing System Requirements of Automatic Train Operation over ETCS Using Event-B
Towards Formally Templated Relational Database Representations in Z
On Verification of Refinements of Timed Distributed Algorithms
Formal Verification of PLC Programs Using the B Method
Enabling Analysis for Event-B
Specification and Implementation Problems for C#
A Structure for Dependability Arguments
An Executable Specification of C++
Closed-Loop Modeling and Related Problems of Embedded Control Systems in Engineering
On Component-Based Reuse for Event-B
Programming the CLEARSY Safety Platform with B
On ASM-Based Specification of Programming Language Semantics and Reusable Correct Compilations
From ABZ to Cryptography
Object Modelling in the SystemB Industrial Project
Partial Updates Exploration II
Aircraft Landing Gear System: Approaches with Event-B to the Modeling of an Industrial System
Abstract State Machines, Alloy, B, VDM, and Z - Third International Conference, ABZ 2012, Pisa, Italy, June 18-21, 2012. Proceedings
An ASM Model of Concurrency in a Web Browser
Modeling Information Services on the Basis of ASM Semantics
Insulin Pump: Modular Modeling of Hybrid Systems Using Event-B
Towards B as a High-Level Constraint Modelling Language - Solving the Jobs Puzzle Challenge
Data Flow Analysis and Testing of Abstract State Machines
Exploiting the ASM Method for Validation & Verification of Embedded Systems
Design Pattern Abstractions and Abstract State Machines
Code Synthesis for Timed Automata: A Comparison Using Case Study
Extending ASMETA with Time Features
Computer simulators for teaching concurrent Programming
On Greeg sign language alphabet character recognition: Using back-propagation neural networks
Numerical methods for mixed integral equations
In Silico Biology: The emergence of a new biological methodology
Further improvements of the framework for dynamically evolving database environments
Intelligent techniques for web applications: review and educational application
A finite difference scheme for the numerical solution of the sine-Gordon equation
Implementing applications on small robots for educational purposes: Programming the LEGO mindstorms
Regularization of Volterra integral equations of the 4-th kind
A new hashing techniques involving digit-repositioning based on hash-table statistics
On some recent numerical methods for solving weakly singular Volterra integral equations of the first kind: a comparative survey
Numerical methods for ordinary differential equations (LLG equation) in micromagnetic simulations
Obtaining locally identified models: The irrelevant connection elimination scheme
Predictor-corrector strategies for single and multi-term fractional differential equations
Human-maschine interaction: socio-psychological support regarding software engineering effectiveness
Numerical approaches to delay equations with small solutions
A study of a B&F linear solver
A multipolation memetic model for the maintenance scheduling problem
Exact geometric computation
Towards an ISO-9000 compliant certification service provider
Fuzzy cognitive map as a decision support system for political decisions: The case of "Great Albania"
Time integration methods in micromagnetic simulations: stiffness on granular media and MMAG standard problem #4-Speed up of simulations in granular recording media
Well defined generative lexicon with grammatical order versus text tagging
A knowledge-oriented view of web technology adoption in museums
The Joys of the Asymptotics
Multimedia Databases and distributed systems: A survey
Human genome and Bioinformatics: A survey
Radial basis function methods for interpolation to functions of many variables
Intelligent vision determination of material's wrinkles in robotized handling
Finite Element method versus Lagrange formulation: Application in mechanism/robot analysis
Tight lower bund for matrix transposition on the reconfigurable mesh
ALN-Netsfor biosignal Engineering
Electronic information and electronic publications in EMIS: an updated offer supervised by EMS
NetLab: An interactive simulation environment for communication networks
A search algorithm for knowledge acquisition from texts
Computer assisted writing of Greek sign language (GrSL) with sign writing
The scorecard as a tool for assessing the capabilities of ECR in Greek firms
Subspace acceleration and preconditioning for large sparse linear systems
Why computerized models to control virtual Humans?
Observations on Financial Modeling
Proceedings of the 5th Hellenic-European Conference on Computer Mathematics and its Applications (HERCMA-01), Athens, Greece, September 20-22, 2001
Numerical approaches to the solution of some fractional differential equations
Implemeting string searching algorithms on a network of workstations using MPI
Simulations in virtual reality images
Extraction of logic rules in natural language for complex nominal medical expressions
Engineering telematic services for next generation networks
Numerical approaches to bifurcations in solutions to integro-differential equations
Adaptive neuro-fuzzy modeling applied to policy gradient reinforcement learning
DDE-BIFTOOL, Software for bifurations analysis of delay differential equations: functionality and applications
Mathematical Modelling of the crystallization process of polymers
A comparison of intelligent computational algorithms for path planning
Software Engineering at the beginning of the 21st century
Asymptotically optimal algorithms for stationary problems in energy spaces
Automatic detection of verb-groups for information extraction from Greek technical texts
Formalism for spatio-temporal data management
Steady state simulations on queuing processes in parallel time streams: Problems and potentialities
Algorithmic problems related to the Internet
A multimrdia educational system to taech epidemiology
Studying graph algorithms using AnmiGraph: An empirical study
A finite difference scheme for the solution of the Boussinesq equation
Streamlining Crop Segmentation with Multispectral Imaging and Foundation Models: Minimizing Manual Annotation
An approach for segmenting 3D LiDAR data using multi-volume grid structures
Movie Recommender system using the user's psychological profile
Analysis of behaviors by lecturer and students in lectures based on piecewise auto-regressive modeling
Automatic extrinsic camera parameters calibration using convolutional neural networks
A proposed whale search algorithm with adaptive random walk
An incomplete dominance genetic algorithm approach to microarray data analysis
A modern approach for positional football analysis using computer vision
WildUAV: Monocular UAV Dataset for Depth Estimation Tasks
Evaluation of network traffic prediction based on neural networks with multi-task learning and multiresolution decomposition
Multi-camera-based smoke detection and traffic pollution analysis system
Knowledge inference from home appliances data
Virtual Machine and Data Placement Based on Physical Particle Optimization Model for Running Remote Sensing Scientific Flows
A facial recognition application based on incremental supervised learning
Pre-processing flow for enhancing learning from medical data
Experiences with the development of applications for heterogeneous grids
Estimation of object's integral brightness
Adversarial Graph Learning and Deep Learning Techniques for improving diagnosis within CT and Ultrasound images
A contextual logic grounded approach to visual arts
A comparative performance study of the routing protocols RPL, LOADng and LOADng-CTP with bidirectional traffic for AMI scenario
Transactional Data Analytics for Inferring Behavioural Traits in Ethereum Blockchain Network
An extremely fast pattern based line detector
Modeling market behavior through game theory using historical cryptocurrency and equity data
Predicting necessary treatment plans for patients with Age-Related Macular Degeneration using characteristics derived from optical coherence tomography B-scans
Discriminant color texture descriptors for diabetic retinopathy recognition
Towards Predicting Merge Conflicts in Software Development Environments
Genetic Algorithms for Trajectory Tracking of Mobile Robot Based on PID Controller
On the comparison of location based software solutions used for tracking purposes in ambient assisted living applications
Fusion of stereo and structure from motion for enhancing PatchMatch stereo
A comparative study of pedestrian detection methods using classical Haar and HoG features versus bag of words model computed from Haar and HoG features
Enhancing Tokenization by Embedding Romanian Language Specific Morphology
Experiences in building a distributed Earth Observation Platform
Texture analysis as a noninvasive tool for fibrosis assessment in chronic hepatitis C. influence of expert dependent variability over the performance of texture analysis
Functional testing of Complex Event Processing applications
Spike sorting using Superlets: Identifying feature importance through perturbation
Semantic Segmentation Learning for Autonomous UAVs using Simulators and Real Data
Speech Emotion Recognition method using time-stretching in the Preprocessing Phase and Artificial Neural Network Classifiers
Shape improvement of traffic pedestrian hypotheses by means of stereo-vision and superpixels
Eyebrows localization for expression analysis
Evaluation of Deep Learning architectures for System Identification. Applications for a household heating system
M2O: A library for using ontologies in software engineering
Artemis - an extensible natural language framework for data querying and manipulation
A Critical Evaluation of Aerial Datasets for Semantic Segmentation
Cloud-based service for time series analysis and visualisation in Farm Management System
Keynote Lecture - Towards Efficient Real-Time Perception in Self-Driving Cars: Methods, Challenges and Open Questions
Narrowing the semantic gap between real and synthetic data
Understanding Cooking Recipes' Structure Using Grammars
Supporting semantic annotations in Flickr
Proactive day-ahead data center operation scheduling for energy efficiency: Solving a MIOCP using a multi-gene genetic algorithm
Simplification of Continuous Chains in 3D CAD Models for Industrial AR Applications
Computational procedure for adaptive front-lighting systems
Towards Pentesting Automation Using the Metasploit Framework
Cuckoo-inspired hybrid algorithm for selecting the optimal Web service composition
A Neural Network-Based Language Model for Automatic Poem Generation
Modelling eye fatigue in gaze spelling task
SMURD+ Medical Software
Framework for safety assessment of autonomous driving functions up to SAE level 5 by self-learning iteratively improving control loops between development, safety and field life cycle phases
P2P System for Private Business Data Aggregation
In-memory dedicated dot-plot analysis for DNA repeats detection
FPGA based CAN Data Visualization
Community engagement in water resources planning using serious gaming
Why integrated E-learning Analytics are the best solution?
COR-MP: Conservation of Resources Model for Maneuver Planning
Improved Grapes Detection and Tracking in Drones Imagery by Integrating the Coordinate Attention Mechanism
Platform for unified enhanced time Petri Net models
Distributed processing platform for large datasets: satellite imagery usecase
Detecting Non-Redundant Collective Activity of Neurons
A Deep Learning Approach For Pedestrian Segmentation In Infrared Images
Analysis of Brain Activity Using Functional Networks
Environment perception using dynamic polylines and particle based occupancy grids
20th IEEE International Conference on Intelligent Computer Communication and Processing, ICCP 2024, Cluj-Napoca, Romania, October 17-19, 2024
Personalized Gear Shifting Architecture for Next Generation Automatic Transmission Systems
Predicting Emergency Braking in Vehicles Using a CNN with Sequential Image and Velocity Data
18th IEEE International Conference on Intelligent Computer Communication and Processing, ICCP 2022, Cluj-Napoca, Romania, September 22-24, 2022
Towards an Ontology-Based Generic Interface for Field Device Capabilities in Automation Systems
17th IEEE International Conference on Intelligent Computer Communication and Processing, ICCP 2021, Cluj-Napoca, Romania, October 28-30, 2021
Explainable Artificial Intelligence for Person Identification
Skill-oriented priority scheduling for solving the Resource Constrained Project Scheduling Problem
onIQ: An Ontology-Independent Natural Language Interface for Building SPARQL Queries
Optimising the pool test method for COVID-19 using evolutionary algorithms
Real-Time Object Detection Methods for Road Scenarios
Atomic invariants verification and deadlock detection at compile-time
Optimized Pallet Localization Using RGB-D Camera and Deep Learning Models
Keynote lecture: Automated driving at Volkswagen Group Research - Future challenges for environment perception