yusuke1997/dblp-id-title huggingface dataset:
Optimal Structure Construction of Private 5G Network for the Needs of Enterprises
Improving Students' Conceptual Understanding of Magnetic Fields and Science Process Skills Through Guided Exploratory Experiments Using a Smartphone
Optimizing Housing and Communal Services Management Through Digital Transformation and Integrated Information Systems
Prediction of Air Pollution by Particulate Dust Particles of PM2.5 and PM10 Using an Artificial Intelligence-Based Method
Software Service for Analyzing Reactions to a Moving Object
Mathematical Model of Electric Polarization Switching in a Ferroelectric Capacitor for Ferroelectric RAM
Implementation of Private 4G/5G Networks for Polygon Measuring Complex Provision
Information Technology for the Study of Ultra-Low Power Electric Fields
Web-Oriented Information and Analytical System for Assessing the Risk of Bankruptcy
Evaluation of the Influence of the Channel Curvature on the Flow Characteristics in the Channel of Spiral Wound Membrane Modules Using CFDOF
Comprehensive Assessment of the Effectiveness of Logistics Information and Control Systems
Information Platform of Higher Education Institutions Digital Transformation Technology
Computer Modeling of the Aerodynamic Behavior of Autonomous Vehicles in Dangerous Road Situations
Organisational Mechanism of the System of the Monitoring and Environmental Control for the Transport of Dangerous Goods
5G Security Function and Its Testing Environment
Results of Experimental Research on Phase Data of Processed Signals in Voice Authentication Systems
Features of Intelligent Systems Development for Platforms Telegram and Android
Application of Cognitive Modeling for Qualitative Analysis of Educational Projects' Risks in Higher Education Institutions
Information Technology for Education, Science, and Technics - Proceedings of ITEST 2024, Volume 1, Cherkasy, Ukraine, 23-24 May 2024
Information Technology for Determining Risk Levels and Their Priorities in Project Management
Project-Based Learning as an Integration of Critical Thinking and Teamwork Skills of Future Teachers of Mathematics and Computer Science
Computer Modeling of Chemical Composition of Hybrid Biodegradable Composites
Creating of Applied Computer Developments in the Educational Process in the Training of Chemists-Technologists
Application of Information and Communication Technologies in Environmental Scientific Research (on Example of Sulfur Dioxide Emissions Research into the Atmospheric Air of Ukraine)
Computer Modeling of Optimal Chemical Composition of Modified Polyamide Waste Agglomerate
Machine Learning Technique Based on Gaussian Mixture Model for Environment Friendly Communications
Features of Mathematical Modeling Piezoelectrical Components of Devices in Information, Communication and Robotic Systems
Design of Distance Learning Forms as a New Focus in the Training of Higher Pedagogical Education Seekers
Information Technology of IT-Projects Creative Management
Method for Detecting FDI Attacks on Intelligent Power Networks
The Determination and Visualisation of Key Concepts Related to the Training of Chatbots
Human Age Recognition Method Based on Facial Images Using an Ensemble of Neural Network Classifiers
Exploring the Interplay of Moodle Tools and Student Learning Outcomes: A Composite-Based Structural Equation Modelling Approach
Comparative Study of Pre-attentive Visual Attention Analysis Instruments: 3M VAS and iMotions as AI-Based vs Human-Based Experiments
Soft and Hard Skills for the Development of Young IT Specialists: Actual Challenges in the Conditions of Martial Law in Ukraine
Road Sign Recognition Using Convolutional Neural Networks
Intellectual Control of Mechanical Characteristics of Optical Products
Using Data Science Tools in E-Commerce: Client's Advertising Campaigns vs. Sales of Enterprise Products
Applying a Combined Approach to Modeling of Software Functioning
The Internet of Medical Things in the Patient-Centered Digital Clinic's Ecosystem
Influence of the Characteristic Factors Number Taken into Account on the Complex Quality Indicator in the Rolled Steel Plates Manufacture
Neural Network Models for Approximation of One-Dimensional Signals
Method for Controlling the Wings of a Flying Insect-Sized Mini-Robot Using a Piezoelectric Air Emitter
Impact of Closed Ukrainian Airspace on Global Air Transport System
The Potential of Higher Education in Ukraine in the Preparation of Competitive IT Specialists for the Post-War Recovery of the Country's Economy
Mathware and Software for Analyzing the Bit Error Rate Performance of a Digital Modem with Noise Signals at K-Users
Intelligent Signal Measurement Technique for Spread Spectrum Software Defined Cognitive Radio Systems
Analysis of Approach Attitude for the Evaluation of the Quality of Pilot Training
Irreversibility of Plastic Deformation Processes in Metals
Analysis of Airtime Fairness Technology Application for Fair Allocation of Time Resources for IEEE 802.11 Networks
A Method for Reliable Permutation Transmission in Short-Packet Communication Systems
Microcontroller-Based Data Protection Method Using Perfect Binary Arrays
Primitive Elements in the Finite Field of Square Matrices of Order 2 for Cryptographic Applications
Development of an Intelligent System for Object Recognition Using Neural Network Ensembles
Application of the Numerical Phase Method to Find the Electronic Energy Spectrum in a Spherical Quantum Dot with Arbitrary Confining Potential
Optimizing Teacher Training and Retraining for the Age of AI-Powered Personalized Learning: A Bibliometric Analysis
The Assessment (Self-assessment) Methodology of the University's Readiness to Use AI
Implementation of Active Cybersecurity Education in Ukrainian Higher School
Comparison of the Methods of Realizing the Sensitivity Analysis of the Enterprise's Value to Risks
Finding Anomalies in the Time Series Data by Using the Wave Equivalence Method
Numerical Analysis of the Stress-Strain State of Combined Steel and Concrete Structures
Computer Simulation of the Process of Profiles Measuring of Objects Electrophysical Parameters by Surface Eddy Current Probes
Models for Reducing the Duration and Cost of the Aviation Equipment Diagnostics Process Using the Decomposition of the Component Architecture of a Complex Product
Computer Modeling of Processes of Radiation Defect Formation in Materials Irradiated with Electrons
A New FDM Printer Concept for Printing Cylindrical Workpieces
The Analysis of Multifractal Cross-Correlation Connectedness Between Bitcoin and the Stock Market
Forecasting of COVID-19 Epidemic Process in Ukraine and Neighboring Countries by Gradient Boosting Method
Taxonomy for Tactile Interaction on Large Braille Displays
Dynamic Fractal Cluster Model of Informational Space Technological Process of Power Station
Information System for Management of Information Risks in Digital Transformation Projects
Modelling the Universities' E-Infrastructure for the Development of Open Science in Ukraine
Formation of the Key IT Specialists' Competencies as a Condition for Recovery Processes Activation in the Ukrainian Economy
Computer Modeling of Strengthening Mechanics of Glass Structural Elements by Compressive Stresses
An Interactive System for Monitoring the State of Urban Infrastructure
Self-organization of the Table Tennis Market Information Bank Based on Neural Networks
Simulation of Influence of Constructive Parameters of Meat Bowl Cutterknives on Their Endurance at Alternative Oscillations
Standard and Nonstandard W-parameters of Microwave Active Quadripole on a Bipolar Transistor for Devices of Infocommunication Systems
Improving the Impact of Papers by Integrating Local Digital Libraries with ORCID: The Role of ORCID Consortium
Modeling the Distribution of Pollutants in Urban Soils Using GIS Technologies
Generating Flexible Manufacturing System Cycle Diagrams with Petri Net
Optimization of the Communicative Process in the System "Driver-Vehicle-Environment"
Information Flows Formalization for BSD Family Operating Systems Security Against Unauthorized Investigation
Artificial Intelligence as a Tool for the Development of Professional Competencies of a Fashion Industry Specialist
Modeling and Identifying States of Irreversibility in Energy-Related Markets
Linked List Systems for System Logs Protection from Cyberattacks
Development of Moment Quality Criterion and Polynomial Methods for Signals Detection and Distinction in Non-Gaussian Noise
Automated Mode of Improvement of the Quality Control System for Nuclear Reactor Fuel Element Shell Tightness
Solving Multimodal Transport Problems Using Algebraic Approach
Dependability of Embedded Systems in the Industrial Internet of Things: Information Security and Reliability of the Communication Cluster
Accelerating Operations on Permutations Using Graphics Processing Units
The Information Technologies Use for UAS Operators' Training
Application of Digital Twins of Project-Oriented Productions in Digital Project Management
Application of Reduced Order Surrogate Models for Solving Inverse Problems by the Optimization Method with Apriori Information Accumulation
Cross-disciplinary Cooperation for Digital Resilience
Developing Security Recommender System Using Content-Based Filtering Mechanisms
Conceptual Model of Digital Transformation of Enterprise Management Processes
Dynamic Timestamp Allocation for Transactions in Database Systems
Realization, Synchronization and Restart of Update Transactions in a Distributed database System
A Data Dictionary for Distributed Databases
Automata Models of Computer Networks
The ETOILE Project
SIRIUS System for Distributed Data Management
Ensuring Consistency in a Distributed Database System by Use of Distributed Semaphores
Process Structure Alternatives Towards a Distributed Ingres
Transactions Modeling in Distributed Environments
Synchronization of Concurrent Updates in Redundant Distributed Databases
An Overview of MULTIBASE
Reconstruction of Consistent Global States in Distributed Databases
Proceedings of the Second International Symposium on Distributed Data Bases, Berlin, F.R.G., September 1-3, 1982
Data Distribution Criteria and Query Processing Strategy in a Small Distributed Environment
Proceedings of the International Symposium on Distributed Data Bases, Paris, France, March 12-14, 1980
An Overview of the Architecture of the Distributed Data Base System "POREL"
POLYPHEME Project: The DEM Distributed Execution Monitor
SYSIDORE: Systeme de selection d'information documentaire repartie
Requirements for Agreement in a Distributed System
The Effects of Concurrency Control on Centralized DBMS and Distributed DBMS Based on Long Haul and Local Networks
Distributed Databases - An Introduction
A Multi-Query Approach to Distributed Processing in a Relational Distributed Data Base Management System
The Distributed Interrogation System FRERES
Improving Availability of Partially Redundant Databases by Majority Consensus Protocols
Qualitative and Quantitative Comparison of Update Algorithms in Distributed Databases
Scheduling Parallel Distributed Relational Data Base Query Computations on a Local Computer Network
Database Machine/Computer Based Distributed Databases
Specification and Validation of Two Ring-Structured Synchronization Protocols for Distributed Data Systems
SIRIUS-DELTA: Un Prototype de Systeme de Gestion de Bases de Donnees Reparties
Concepts for a Robust Distributed Data Base System
Algebraical and Operational Methods for the Optimization of Query Processing in Distributed Relational Database Systems
What is a Correct Behaviour of a File Under Concorrent Access?
On Totally Ordering Checkpoints in Distributed Data Bases (Abstract)
ADDAM - The ASWE Distributed Database Management System
Operating System Requirements for Distributed Data Base Systems
On the Degree of Concurrency Provided by Concurrency Control Mechanisms for Distributed Databases
Some Considerations about Distributed Data Bases on Public Networks
Technical Outline of the POLYPHENE Demonstration Prototype
Design of Optimal Distributed Database Systems
A Concurrency Control Mechanism and Crash Recovery for a Distributed Database System (DLDBS)
Problems of Developing Large Registration Systems Based on Distributed Data Base
Semi-Join Algorithms for Distributed Database Machines
International Standardization and Distributed Data Bases
An Introduction to Distributed Query Compilation in R*
Integrity, Consistency, Concurrency, Reliability in Distributed Database Management Systems
POLYPHEME: An Experience in Distributed Database System Design and Implementation
Z and High Level Petri Nets
Distribution of Modal Transition Systems
Proof Preservation in Component Generalization
Simulating Concurrent Behaviors with Worst-Case Cost Bounds
Preliminary Results of a Case Study: Model Checking for Advanced Automotive Applications
Verifying the Safety of a Flight-Critical System
Reversible Programs Have Reversible Semantics
Decoupling Abstractions of Non-linear Ordinary Differential Equations
A Proof Environment for Concurrent Programs
Correctness of Source-Level Safety Policies
Formal Specifications as Reusable Frameworks
Verifying Opacity of a Transactional Mutex Lock
Proceedings of the First Workshop on Formal Methods in Software Engineering Education and Training, FMSEE&T 2015, co-located with 20th International Symposium on Formal Methods (FM 2015), Oslo, Norway, June 23, 2015
Contracts in Practice
From VDM to RAISE
Industrial-Strength Model-Based Testing of Safety-Critical Systems
Controlling Large Boolean Networks with Temporary and Permanent Perturbations
Formal Modeling in a Commercial Setting: A Case Study
The SAZ Project: Integrating SSADM and Z.
Formal Verification of a JavaCard Virtual Machine with Frama-C
Compositional Synthesis of Concurrent Systems through Causal Model Checking and Learning
Congruence Relations for Büchi Automata
Rule-Based Incremental Verification Tools Applied to Railway Designs and Regulations
From Electrical Switched Networks to Hybrid Automata
The Next 700 Synthesis Calculi
Industrial Application of Event-B to a Wayside Train Monitoring System: Formal Conceptual Data Analysis
Specifying Confidentiality in Circus
A Mission Definition, Verification and Validation Architecture
Case Study: Specification and Refinement of the PI-Bus
An Improved Translation of SA/RT Specification Model to High-Level Timed Petri Nets
Information Flow Control and Applications - Bridging a Gap
The Use of VDM within the Alvey Flagship Project
Algebraic Principles for Rely-Guarantee Style Concurrency Verification Tools
Cabean 2.0: Efficient and Efficacious Control of Asynchronous Boolean Networks
On Completeness of SDP-Based Barrier Certificate Synthesis over Unbounded Domains
Quantified Event Automata: Towards Expressive and Efficient Runtime Monitors
A Formal Method for Developing Provably Correct Fault-Tolerant Systems Using Partial Refinement and Composition
Practical Approximate Quantifier Elimination for Non-linear Real Arithmetic
Dynamic Frames: Support for Framing, Dependencies and Sharing Without Restrictions
Verification of a Signature Architecture with HOL-Z
A Wide-Spectrum Language for Verification of Programs on Weak Memory Models
An MDA Approach Towards Integrating Formal and Informal Modeling Languages
Evaluation of Underdetermined Explicit Definitions
Refinement in Circus
Using Simulink Design Verifier for Automatic Generation of Requirements-Based Tests
Translation Validation: From DC+ to C*
A Formal Model of Addressing for Interoperating Networks
Engineering UToPiA - Formal Semantics for CML
The Role of Formalism in Method
An Implementation of Deflate in Coq
Hoare Logic for NanoJava: Auxiliary Variables, Side Effects, and Virtual Methods Revisited
Runtime Verification of Linux Kernel Security Module
Danger Invariants
A Tutorial on the Refinement Calculus
Automated Boundary Test Generation from JML Specifications
Maximal and Compositional Pattern-Based Loop Invariants
Mechanised Verification Patterns for Dafny
Correctness of Pointer Manipulating Algorithms Illustrated by a Verified BDD Construction
Formula Based Abstractions of Transition Systems for Real-Time Model Checking
Reasoning about Interference in an Object-Based Design Method
Proving Safety with Trace Automata and Bounded Model Checking
A Corrected Failure Divergence Model for CSP in Isabelle/HOL
Mathematical Methods for Digital Systems Development
A Semantic Foundation for TCOZ in Unifying Theories of Programming
Inferring Mealy Machines
Reasoning Formally About Database Queries and Updates
Stepwise Development and Model Checking of a Distributed Interlocking System - Using RAISE
Iterative Refinement of Reverse-Engineered Models by Model-Based Testing
Timing Tolerances in Safety-Critical Software
Equilibria-Based Probabilistic Model Checking for Concurrent Stochastic Games
Dynamic Symbolic Verification of MPI Programs
Logspace Reducibility via Abstract State Machines
Feature Interaction Detection Using Testing and Model-Checking Experience Report
GR(1)*: GR(1) Specifications Extended with Existential Guarantees
From MooZ to Eiffel - A Rigorous Approach to System Development
From Testing Theory to Test Driver Implementation
Specification of an Operating System Kernel FOREST and VDM compared
A Proposal for Records in Event-B
Refinement-Based Verification of Local Synchronization Algorithms
A Heuristic for Symmetry Reductions with Scalarsets
Mathematical Structures and their Morphisms in Meta-IV
Separation of Considerations in Event-B Refinement toward Industrial Use
Invariants, Well-Founded Statements and Real-Time Program Algebra
A GSM-MAP Protocol Experiment Using Passive Testing
An Axiomatic Approach to Liveness for Differential Equations
The UniForM WorkBench - A Higher Order Tool Integration Framework
Communication and Synchronisation Using Interaction Objects
Automatic Dimensional Analysis of Cyber-Physical Systems
Theory and Techniques for Synthesizing Efficient Breadth-First Search Algorithms
Pegasus: A Framework for Sound Continuous Invariant Generation
Program Checking with Certificates: Separating Correctness-Critical Code
Faithful Translations among Models and Specifications
The Informal Nature of Systems Engineering
Adding Abstract Datatypes to Meta-IV
The Parallel Abstract Machine: A Common Execution Model for FDTs
Heap Storage Specification and Development
Property Dependent Abstraction of Control Structure for Software Verification
VDM '87, VDM - A Formal Method at Work, VDM-Europe Symposium, Brussels, Belgium, March 23-26, 1987, Proceedings
Adopting Formal Methods in an Industrial Setting: The Railways Case
A Schedulerless Semantics of TLM Models Written in SystemC Via Translation into LOTOS
Owicki-Gries Reasoning for C11 Programs with Relaxed Dependencies
Stepwise Refinement of Control Software - A Case Study Using RAISE
Proofs and Refutations for Probabilistic Refinement
Vector Barrier Certificates and Comparison Systems
Refinement of Pipe-and-Filter Architectures
Tecton: A Language for Manipulating Generic Objects
A Formal Model of Object-Oriented Design and GoF Design Patterns
Generalizing Abadi & Lamport's Method to Solve a Problem Posed by A. Pnueli
Reasoning About Shared-Variable Concurrency: Interactions Between Research Threads
ParTS: A Partitioning Transformation System
Formal Methods in the Specification of the Emergency Closing System of the Eastern Scheldt Storm Surge Barrier
A "Hybrid" Approach for Synthesizing Optimal Controllers of Hybrid Systems: A Case Study of the Oil Pump Industrial Example
OPUS: a Formal Approach to Object-Orientation
A Theory of Distributing Train Rescheduling
On the Derivation of Executable Database Programs from Formal Specifications
The Visual Presentation of VDM Specifications
Deriving Relational Database Programs from Formal Specifications
A Formal Model for Reasoning about Adaptive QoS-Enabled Middleware
HyperProb: A Model Checker for Probabilistic Hyperproperties
Explaining Relaxed Memory Models with Program Transformations
Introducing Objects through Refinement
Structural Embeddings: Mechanization with Method
Automated Verification of Timed Security Protocols with Clock Drift
Test-Case Calculation through Abstraction
Formal Development with ABEL
VAlloy - Virtual Functions Meet a Relational Language
A Formal Specification of an Automatic Train Protection System
Assume-Guarantee Verification for Interface Automata
EZ: A System for Automatic Prototyping of Z Specifications
Provably Correct Runtime Monitoring
Termination without \checkmark\checkmark in CSP
Test Automation for Safety-Critical Systems: Industrial Application and Future Developments
Probabilistic Verification of Neural Networks Against Group Fairness
Error Invariants
Taking Alloy to the Movies
Dynamic Reconfiguration via Typed Modalities
Validated Simulation-Based Verification of Delayed Differential Dynamics
An Overview of HP-SL
To Compose, or Not to Compose, That Is the Question: An Analysis of Compositional State Space Generation
An M-Net Semantics for a Real-Time Extension of µSDL
Identifying Overly Restrictive Matching Patterns in SMT-Based Program Verifiers
Hybrid Statistical Estimation of Mutual Information for Quantifying Information Flow
"Carbon Credits" for Resource-Bounded Computations Using Amortised Analysis
The Use of Formal Specification of Software, June 25-27, 1979, Berlin, Germany
Integrating SA/RT with LOTOS
A Robust Semantics Hides Fewer Errors
Approximate Partial Order Reduction
Prototyping with Temporal VDM: A Status Report
Concurrent Processes as Objects (Abstract)
Formal Methods and Testing: Hypotheses, and Correctness Approximations
Proving the Correctness of Simpson's 4-Slot ACM Using an Assertional Rely-Guarantee Proof Method
Writing Operational Semantics in Z: A Sructural Approach
Cronos: A Separate Compilation Toolset for Modular Esterel Applications
Formally Guaranteed Tight Dynamic Future Occupancy of Autonomous Vehicles
Flexible Invariants through Semantic Collaboration
An Efficient Technique for Deadlock Analysis of Large Scale Process Networks
A Digital Twin for Coupling Mobility and Energy Optimization: The ReNuBiL Living Lab
Adaptable Translator of B Specifications to Embedded C Programs
Model-Based Testing of Post-WIMP Interactions Using Object Oriented Petri-Nets
Formal Methods - 24th International Symposium, FM 2021, Virtual Event, November 20-26, 2021, Proceedings
Failure-Divergence Refinement of Compensating Communicating Processes
Algorithm Refinement with Read and Write Frames
Denotational Engineering or from Denotations to Syntax
Automated Circular Assume-Guarantee Reasoning
Combining Statecharts and Z for the Design of Safety-Critical Control Systems
From LTL to Unambiguous Büchi Automata via Disambiguation of Alternating Automata
Generating Counterexamples for Multi-valued Model-Checking
An Executable Subset of Meta-IV with Loose Specification
Rigorous Compiler Implementation Correctness: How to Prove the Real Thing Correct
Addressing Usability in a Formal Development Environment
An Adequate Logic for Full LOTOS
A Runtime Environment for Contract Automata
Specification and Checking of Software Contracts for Conditional Information Flow
CICS Project Report: Experiences and Results from the use of Z in IBM
A Meta-Method for Formal Method Integration
Validity Checking of Putback Transformations in Bidirectional Programming
Retrenching the Purse: Finite Sequence Numbers, and the Tower Pattern
A Business Process Design Language
Adversarial Robustness Certification for Bayesian Neural Networks
Interfacing Program Construction and Verification
Putting Advanced Reachability Analysis Techniques Together: the "ARA" Tool
From Hoare Logic to Matching Logic Reachability
HOOD and Z for the Development of Complex Software Systems
Certification of Safe Polynomial Memory Bounds
Specifying & Verifying Concurrent Systems Using Z
Lessons from the Application of Formal Methods to the Design of a Storm Surge Barrier Control System
Decoupling in Object Orientation
Specification of Distributed Programs
Encoding W: A Logic for Z in 2OBJ
PVS: An Experience Report
The Compound Interest in Relaxing Punctuality
cfaults: Model-Based Diagnosis for Fault Localization in C with Multiple Test Cases
The EXSPECT Tool
Partial Correctness of Distributed Programs
SAMPLE - A Functional Language
Validating the Microsoft Hypervisor