yusuke1997/dblp-id-title huggingface dataset:
Building a High-performance Communication Framework for Network Isolation System
Policy Gradient SMDP for Resource Allocation and Routing in Integrated Services Networks
Optimal Strategy for Maintenance and Pricing Decisions for Consumables and Rent in the Case of Leased Equipment
Boosting Gas Classification with Attention-based Mechanism
Automatic Chinese Term Extraction based on Cognition Theory
On Petri Net Modeling of Automated ManufacturingSystems
An Innovative Tempo Model for Movie Content Analysis
Toward Avoiding Unmeasured Premise Signals in TS Discrete Time Observer Design: State Extension With Nonlinear Output Injection
A Three-tier optimization Method for Congestion Evaluation from Angle of Game Relationship
Study of DoD Architecture Simulation Validation based on UML and Extended Colored Petri Nets
A calibration test of Stewart platform
Performance analysis of wireless Sensor Area Networks
Analysis of a Simple Feedback Scheme for Error Correction over a Lossy Network
Research of Multi-objective optimal dispatching for microgrid based on improved Genetic Algorithm
Evaluation of perception-assist with an upper-limb power-assist exoskeleton using EMG and EEG signals
Clustering techniques for data network planning in Smart Grids
Bi-objective Intelligent Task Scheduling for Green Clouds with Deep Learning-based Prediction
A novel grey model to forecast short-term electricity price for Nordpool using particle swarm optimization and correlation hours method
Optimization of production planning for green manufacturing
Hierarchical Water Wave Optimization
Generative Image Inpainting for Fine Details
Time-varying unimodular function based robust right coprime factorization for nonlinear forced vibration control system
Switching Resilient PI Controllers for Active Queue Management of TCP Flows
Modeling and Schedulability Analysis of Single-Arm Cluster Tools with Wafer Residency Time Constraints Using Petri Net
Attack Synchronizing Sequence Computation for Output Synchronized Petri Nets with Multiple Deadlocks
A Method Based on General Model Template for Audio Retrieval
A Wireless Sensor Network Used in Coal Mines
Cluster-tree based energy efficient protocol for wireless sensor networks
An Emotion-Based Approach to Reinforcement Learning Reward Design
First- and second-price sealed-bid auctions applied to private parking slot sharing
Link available time prediction based GPSR for vehicular ad hoc networks
Self-revise Hierarchical Classifier Based on SMO Algorithm for Chinese Question Classification
Simulation of Distributed Wireless Networked Control Systems over MANET using OPNET
Auto-configuration of Shared Network-layer Address in Cluster-based Wireless Sensor Network
Critical Link Identification Method Based on Machine Learning
Hybrid model predictive control using time-instant optimization for the Rhine-Meuse Delta
Fuzzy conditional inference and application to Wireless Sensor Network Fuzzy Control Systems
Preserving source location privacy against the global attacker hiding in FOG
Sleep-supported and Cone-based Topology Control Method for Wireless Sensor Networks
Two-stage Stochastic Program for Capacitated Disassembly Lot-sizing Under Random Yield
Multiclass Least Squares Wavelet Support Vector Machines
Congestion Control in Multi-Source Communication Networks - a Time-Varying Sampling Period System Case Study
Study on Action Control of Virtual Actors
A Dynamic VRP with Varying Transportation Costs and Its Solution Strategy
Novel notch detection techniques for Frequency Coded chipless RFID
Cost-sensitive task routing and resource provisioning in geo-distributed clouds
Scheduling of crude oil operations for minimizing the usage of simultaneously-charging-and-feeding mode
A coordination mechanism for scheduling game on parallel machines with flexible maintenance
A Comparative Analysis of Classification and Regression Models for Energy-Efficient Clouds
Seven emotion recognition by means of particle swarm optimization on physiological signals: Seven emotion recognition
Petri net-based response policies to process module failure in time-constrained single-arm cluster tools
Efficient and optimal scheduling of time-constrained hybrid multi-cluster tools in semiconductor industry
Multisensor analysis of teleconnection signals in relation to terrestrial precipitation and forest greenness in North and Central America
Social networking for Smart Grid users
A Power Efficient Routing Protocol for Wireless Sensor Network
Incremental Sliding Mode Controller for Large-Scale Underactuated Syetem
An Observer-Based Chaotic Synchronization Scheme for Time-Delay Secure Communication Systems
Utility Presentation in Destination Decision System
Lower bounds for the makespan minimization in job shops
The application of PLC in SBMBR sewage treatment automatic control of the system
Self-balanced motion planning for humanoid robot based on dynamic multitasking mechanism
Internet-based and visual feedback networked robot arm teleoperation system
On the automatic generation of the minimally restrictive liveness enforcing supervisory policy for manufacturing- and service-systems modeled by a class of general Free Choice Petri nets
MatchMesh: Knowledge-based 3D Point Cloud Meshing Using Divide-and-conquer Deformation
Regulation of Magnetically Actuated Satellites using Model Predictive Control with Disturbance Modelling
MRAC-Based Nonlinear Disturbance Observer And Its Applications To UAV Control
Real Object Registration Algorithm Based on SURF and RANSAC
A new model for lane reservation problem with time-dependent travel times
The MODRIO M&S-based engineering approach applied to a Backup Power Supply (BPS)
Workflow Resource Requirement Modeling and Analysis
Reinforcement Learning Based Optimal Camera Placement for Depth Observation of Indoor Scenes
Adaptive workflow based on SOA and its application in Tourism Information Change Management
An Adaptive Network Node Architecture for Evolutionary Networks
A New SPN Structure for Block Ciphers
Robust stability of a direct current motor control system with model uncetainties
Reconfigurable Business Process Server for RFID
Towards a Decision Support Personalised Self Management System for Chronic Conditions
Research on real-time export container allocation considering loading efficiency
Low-Cost Concealed Weapon Detection for School Environments Using Acoustic Signatures
Inventory Management Simulation using a Novel Replenishment Algorithm
Proceedings of 9th IEEE International Conference on Networking, Sensing and Control, ICNSC 2012, Beijing, China, April 11-14, 2012
Distance weighted fuzzy k-NN SVM
Temporal request scheduling for energy-efficient cloud data centers
A New Density Clustering Method based on Dynamic Local Density
A New High Gain Observer Based on Artificial Delays
Ultra-wideband Non-line-of-sight Recognition Method Based on MTF-CNN
Fault detection for Networked Control System with multiple Communication Delays and multiple missing measurements
Adaptive Active Disturbance Rejection Control Design For Uncertain Input Gain
Dynamic Control of Three-Link SCARA Manipulator using Adaptive Neuro Fuzzy Inference System
A fault-tolerant workflow scheduling method on deep reinforcement learning-based in edge environment
Improved Alarm Visualization System Based on Two-Dimensional Online Root-cause Contribution Graph for Industry 4.0
Neurally Optimized Model Predictive Control for Autonomous Landing of a UAV on a moving platform
Traffic Intelligent Optimization and Local Traffic-Flow Control Inside Shanghai-EXPO-Area
Deaerator Water Level Control Based on Neuron Intelligent Control by Fieldbus Intelligent Control Network
Adaptive procurement planning in global sourcing: A rolling horizon forecasting approach
Generalised Interfacing with Microprocessor System Hardware Monitors
Task Scheduling and Path Planning of Multiple AGVs via Cloud and Edge Computing
General limited diffusion of small-sample information and application in healthcare
Scheduling Method of Manufacturing System Based on Colored Petri Nets and Graph Neural Network
A bottleneck prediction and rolling horizon scheme combined dynamic scheduling algorithm for semiconductor wafer fabrication
An approach for locating surface mounted devices based on phase correlation
A scheme for key distribution in wireless sensor network based on Hierarchical Identity-Based Encryption
Circle Formation of Anonymous Mobile Agents with Measurement Errors
Metal mine underground safety monitoring system based on WSN
Virtual exercise environment for promoting active lifestyle for people with lower body disabilities
Optimization of stochastic fluid model using perturbation analysis: A manufacturing-remanufacturing system with stochastic demand and stochastic returned products
Tactical Inventory Management in Production-Inventory Systems via An Adaptive Model-Free Control Scheme
Reinforcement Learning for Robots Path Planning with Rule-based Shallow-trial
From Models to Code: Automatic Development Process for Embedded Control System
Cscan: A Correlation-based Scheduling Algorithm for Wireless Sensor Networks
Vehicle stability control with electric propulsion failure for an electric vehicle driven by multiple motors
Attention-based Multi-flow Network for COVID-19 Classification and Lesion Localization from Chest CT
Interdependencies at the strategic asset management level: A systems analysis of the utility sector
State Feedback Controller Design for Networked Control System with Random Network-Induced Delay and Packet Loss
The dynamic coverage control strategy for wireless sensor networks
Prediction of Abnormal Situation in Nonlinear Systems Using EKF
Petri nets model of emergency control system for shipping
OMA LWM2M in a holistic architecture for the Internet of Things
A Novel Machine Learning Method for Delayed Labels
Robust production plan with periodic order quantity under uncertain cumulative demands
Green scheduling optimization for flexible job shops considering multiple states of machines
Robust Fuzzy Guaranteed Cost Control for Nonlinear Descriptor Systems with Time-Varying Delay
Game min-max current-state opacity formulation in resource automata
TSCH schedules assessment
Autonomous drone-enabled terrace protection system
Comparison of Algorithms for Speaker Identification under Adverse Far-Field Recording Conditions with Extremely Short Utterances
Nonlinear estimation with a network of heterogenous algorithms
Bayesian Multidimensional Scaling for Multi-Robot Localization
Modelling and Verification of Robotic Platforms for Simulation Using RoboStar Technology
Interacting Abstract State Machines
Remarks on Turbo ASMs for Functional Equations and Recursion Schemes
Abstract State Machines, Alloy, B and Z, Second International Conference, ABZ 2010, Orford, QC, Canada, February 22-25, 2010. Proceedings
Modeling an Aircraft Landing System in Event-B
Abstract State Machines 2004. Advances in Theory and Practice, 11th International Workshop, ASM 2004, Lutherstadt Wittenberg, Germany, May 24-28, 2004. Proceedings
Proving Determinacy of the PharOS Real-Time Operating System
Using Satisfiability Modulo Theories to Analyze Abstract State Machines (Abstract)
Proof-Based Approach to Hybrid Systems Development: Dynamic Logic and Event-B
A Unified Processor Model for Compiler Verification and Simulation Using ASM
Introducing Specification-Based Data Structure Repair Using Alloy
A Semantic Analysis of Logics That Cope with Partial Terms
An Executable Semantics of the SystemC UML Profile
Test Case Generation from AsmL Specifications
Towards Formalizing Network Architectural Descriptions
Formal Specification of the Semantics of Control State Diagrams
Translating B to TLA + for Validation with TLC
Validating the Hybrid ERTMS/ETCS Level 3 Concept with Electrum
Preventing Arithmetic Overflows in Alloy
Automatic Generation of DistAlgo Programs from Event-B Models
Unit Testing of Z Specifications
Generic Facilities in Object-Oriented ASMs
DIR 41 Case Study
Finding Bugs in Device Drivers with Static Driver Verifier
Landing Gear System: An ASM-Based Solution for the ABZ Case Study
Formal Verification of Interoperability Between Future Network Architectures Using Alloy
Refinement-Animation for Event-B - Towards a Method of Validation
Using Abstract State Machines at Microsoft: A Case Study
Formal Derivation of Distributed MapReduce
CLAM specification for provably correct compilation of CLP( R ) programs
A Framework for Critical Interactive System Formal Modelling and Analysis
Clarification of Ambiguity for the Simple Authentication and Security Layer
ASMs versus Natural Semantics: A Comparison with New Insights
Distributed ASM - Pitfalls and Solutions
Toward a More Complete Alloy
Supporting Reuse in Event B Development: Modularisation Approach
Integration of iUML-B and UPPAAL Timed Automata for Development of Real-Time Systems with Concurrent Processes
A Pattern for Modelling Fault Tolerant Systems in Event-B
Designing the Parlay Call-Control Using ASMs
ASM and Controller Synthesis
Formalising and Validating RBAC-to-XACML Translation Using Lightweight Formal Methods
Integrating Z into Large Projects Tools and Techniques
Analysis of Self-⋆ and P2P Systems Using Refinement
ASMs as Integration Platform towards Verification and Validation of Distributed Production Control Systems at Multiple Levels of Abstraction
AsmL Semantics in Fixpoint
Extending the Test Template Framework to Deal with Axiomatic Descriptions, Quantifiers and Set Comprehensions
Formally Verified Architecture Patterns of Hybrid Systems Using Proof and Refinement with Event-B
Extending Alloy with Partial Instances
Direct Support for Model Checking Abstract State Machines by Utilizing Simulation
Trace Specifications in Alloy
Normal Attacks on Security Protocols
Software Testing Research and Practice
Active XML and Data Activation
Rigorous State-Based Methods - 8th International Conference, ABZ 2021, Ulm, Germany, June 9-11, 2021, Proceedings
Evolving algebras 1993: Lipari guide
Formal Analysis in Model Management: Exploiting the Power of CZT
Architecture as an Independent Variable for Aspect-Oriented Application Descriptions
Validating Multiple Variants of an Automotive Light System with Electrum
Solver-Based Sketching of Alloy Models Using Test Valuations
AsmL-Based Concurrency Semantic Variations for Timed Use Case Maps
On the Modelling and Analysis of Amazon Web Services Access Policies
A Translation from Alloy to B
A Concrete Syntax Derived From the Abstract State Machine Metamodel
Retrenchment and the Mondex Electronic Purse
Applying the B Method for the Rigorous Development of Smart Card Applications
B-ASM: Specification of ASM à la B
Formal Verification of OS Security Model with Alloy and Event-B
Formal Verification of ASM Models Using TLA +
Validating the Requirements and Design of a Hemodialysis Machine Using iUML-B, BMotion Studio, and Co-Simulation
Towards an Interchange Language for ASMs
Verifiable Code Generation from Scheduled Event-B Models
An ALGOL-View on Turbo ASM
Adaptive Exterior Light and Speed Control System
Systematic Generation of Non-equivalent Expressions for Relational Algebra
A Verified AsmL Implementation of Belief Revision
Integrating SMT-Solvers in Z and B Tools
Refinement by Interface Instantiation
The CamilleX Framework for the Rodin Platform
Modelling an Automotive Software-Intensive System with Adaptive Features Using ASMETA
Validation of Formal Models by Timed Probabilistic Simulation
Towards Validation of Requirements Models
ASM Ground Model and Refinement for Data Warehouses
Event-B Expression and Verification of Translation Rules Between SysML/KAOS Domain Models and B System Specifications
Analysing ProB's Constraint Solving Backends - What Do They Know? Do They Know Things? Let's Find Out!
About Implementation of Primitive Recursive Algorithms
Abstract State Machines and Pure Mathematics
On B and Event-B: Principles, Success and Challenges
Discharging Proof Obligations from Atelier B Using Multiple Automated Provers
Parallelism versus Nondeterminism - On the Semantics of Abstract State Machines
Test Generation for Sequential Nets of Abstract State Machines
Formalizing Hybrid Systems with Event-B
Development of a Verified Flash File System
Towards Refinement of Unbounded Parallelism in ASMs Using Concurrency and Reflection
Formal Meta Engineering Event-B: Extension and Reasoning The EB4EB Framework
Modelling the Haemodialysis Machine with Circus
Verifying Compilers and ASMs
A Realistic Environment for Crypto-Protocol Analyses by ASMs
A Relational Encoding for a Clash-Free Subset of ASMs
UC-B: Use Case Modelling with Event-B
Embedding and Verification of PSL using AsmL
Verifying System-Level Security of a Smart Ballot Box
Development of a Synchronous Subset of AADL
Diverse Scenario Exploration in Model Finders Using Graph Kernels and Clustering
Modelling a Hemodialysis Machine Using Algebraic State-Transition Diagrams and B-like Methods
Invariant Guided System Decomposition
Modeling Synchronization/Communication Patterns in Vision-Based Robot Control Applications Using ASMs
FDIR Architectures for Autonomous Spacecraft: Specification and Assessment with Event-B
Slicing Abstract State Machines
Separation of Z Operations
Modeling the Dynamics of UML State Machines
An Automation-Friendly Set Theory for the B Method
An Event-B Model of the Hybrid ERTMS/ETCS Level 3 Standard
A Correct by Construction Approach for the Modeling and the Verification of Cyber-Physical Systems in Event-B
A Verified Low-Level Implementation of the Adaptive Exterior Light and Speed Control System
How to Assure Correctness and Safety of Medical Software: The Hemodialysis Machine Case Study
Hemodialysis Machine in Hybrid Event-B
Bounded Model Checking of Temporal Formulas with Alloy
Structuring the State and Behavior of ASMs: Introducing a Trait-Based Construct for Abstract State Machine Languages
Detecting Network Policy Conflicts Using Alloy
Verification of Hardware Interaction Properties of Software
Temporal Logic Model Checking in Alloy
On the Formal Semantics of SDL-2000: A Compilation Approach Based on an Abstract SDL Machine
Tuning the Alt-Ergo SMT Solver for B Proof Obligations
Towards ASM-Based Automated Formal Verification of Security Protocols
Monodic ASMs and Temporal Verification
Towards Creating a DSL Facilitating Modelling of Dynamic Access Control in Event-B
BART: A Tool for Automatic Refinement
Behavioral Computation Theory 2005
The Cryptographic Abstract Machine
Sealed Containers in Z
Towards a Methodology for Model Checking ASM: Lessons Learned from the FLASH Case Study
Formal Proofs of Termination Detection for Local Computations by Refinement-Based Compositions
Sterling: A Web-Based Visualizer for Relational Modeling Languages
Abstract State Machines and Computationally Complete Query Languages
Interfacing ASM with the MDG Tool
Reactivising Classical B
Communication Systems in ClawZ
Secrecy UML Method for Model Transformations
Annotated bibliography on evolving algebras
Generating Event-B Specifications from Algorithm Descriptions
Deciding the Verification Problem for Abstract State Machines
Unbounded Barrier-Synchronized Concurrent ASMs for Effective MapReduce Processing on Streams
Interactive Model Repair by Synthesis
Modelling Hybrid Programs with Event-B
ASM Specification of Database Systems
Understanding and Planning Event-B Refinement through Primitive Rationales
Matelas: A Predicate Calculus Common Formal Definition for Social Networking
Towards a Shared Specification Repository
Refinement and Verification of Responsive Control Systems
Learn and Test for Event-B - A Rodin Plugin
Unifying Program Refinement Calculi
A Practical Single Refinement Method for B
Encoding Abstract State Machines in PVS
Proving the Safety of a Sliding Window Protocol with Event-B
ABZ2008 VSR-Net Workshop
Fixed-Point Arithmetic Modeled in B Software Using Reals
Formal Description of a Distributed Location Service for Mobile Ad Hoc Networks
A Sound and Complete SOS-Semantics for Non-Distributed Deterministic Abstract State Machines
An ASM Semantics for SSA Intermediate Representations
On Implementations of Instantaneous Actions Real-Time ASM by ASM with Delays
SysML2B: Automatic Tool for B Project Graphical Architecture Design Using SysML
Alloy+HotCore: A Fast Approximation to Unsat Core
B Formal Validation of ERTMS/ETCS Railway Operating Rules
A Practical Event-B Refinement Method Based on a UML-Driven Development Process
AsmetaA: Animator for Abstract State Machines
Continuous Behaviour in Event-B: A Sketch
Observations on the Decidability of Transitions
Extensible Record Structures in Event-B
Mobile UNITY Schemas for Agent Coordination
Account and Transaction Protocol of the Open Banking Standard
A Characterization of Distributed ASMs with Partial-Order Runs
An ASM Specification of C# Threads and the .NET Memory Model
The ASM Method: a Cornerstone in Computer Science Education
State-Based Formal Methods in Scientific Computation
Event-B Code Generation: Type Extension with Theories
Verifying Security Protocols: An ASM Approach
Abstract State Machines, Theory and Applications, International Workshop, ASM 2000, Monte Verità, Switzerland, March 19-24, 2000, Proceedings
A Scenario-Based Validation Language for ASMs
Towards an ASM Thesis for Reflective Sequential Algorithms
AsmL Specification of a Ptolemy II Scheduler
Reconciling Axiomatic and Model-Based Specifications Reprised
Using Spin to Generate Testsfrom ASM Specifications
Tool Support for the CircusRefinement Calculus
A Simplified Parallel ASM Thesis
Rodin Platform Why3 Plug-In
Z2SAL - Building a Model Checker for Z
Context-Aware Verification of a Landing Gear System
Recent Advances in Refinement
Objects + Views = Components?
BSmart: A Tool for the Development of Java Card Applications with the B Method
Active Attacking Multicast Key Management Protocol Using Alloy
CoreASM: An Extensible ASM Execution Engine
Reasoned Modelling Critics: Turning Failed Proofs into Modelling Guidance
A Logic for Reflective ASMs
Specification and validation methods
Mechanized Refinement of Communication Models with TLA ^+ +
Symbolic Analysis of Transition Systems
ParAlloy: Towards a Framework for Efficient Parallel Analysis of Alloy Models
A Proof Based Approach for Formal Verification of Transactional BPEL Web Services
Model Based Refinement and the Tools of Tomorrow
Modeling a Discrete Wet-Dry Algorithm for Hurricane Storm Surge in Alloy
Using B and ProB for Data Validation Projects
An Imperative Extension to Alloy
RAM Simulation of BGS Model of Abstract State Machines
Event-B Formalization of Event-B Contexts
Experiments with Test Case Generation and Runtime Analysis
Structured Event-B Models and Proofs
A Polynomial-Time Slicing Algorithm
Intra-step Interaction
A Rigorous Correctness Proof for Pastry
Program Verification and Programming Methodology
A Basis for Feature-Oriented Modelling in Event-B
Using Event-B to Verify the Kmelia Components and Their Assemblies
Encoding TLA ^+ + into Many-Sorted First-Order Logic
Modelling Energy Consumption in Embedded Systems with VDM-RT
Generating Tests from B Specifications and Test Purposes
Semi-Automated Design Space Exploration for Formal Modelling
Verification and Validation of Web Service Composition Using Event B Method
Using the Arbitrator Pattern for Dynamic Process-Instance Extension in a Work-Flow Management System
ABZ Languages and Tools in Industrial-Scale Application
Validation of the ABZ Landing Gear System Using ProB
Lightweight Modeling of Java Virtual Machine Security Constraints
Formal System Modelling Using Abstract Data Types in Event-B
Modeling and Testing Hierarchical GUIs
Modeling Workflows, Interaction Patterns, Web Services and Business Processes: The ASM-Based Approach
Co-simulation Environment for Rodin: Landing Gear Case Study
Investigating Java Concurrency Using Abstract State Machines
Rigorous State-Based Methods - 7th International Conference, ABZ 2020, Ulm, Germany, May 27-29, 2020, Proceedings
A Concept-Driven Construction of the Mondex Protocol Using Three Refinements
Towards ASM-Based Formal Specification of Self-Adaptive Systems
Starting B Specifications from Use Cases
The ABZ-2018 Case Study with Event-B
A Unified Formal Specification and Analysis of the New Java Memory Models
Report on a Practical Application of ASMs in Software Design