yusuke1997/dblp-id-title huggingface dataset:
Random Convolutional Network for Hyperspectral Image Classification
A Hand-Held Sensor System for Exploration and Thermal Mapping of Volcanic Fumarole Fields
Effective Pavement Crack Delineation Using a Cascaded Dilation Module and Fully Convolutional Networks
A Lane Line Detection Algorithm Based on Convolutional Neural Network
Comparison of Red versus Blue Laser Light for Accurate 3D Measurement of Highly Specular Surfaces in Ambient Lighting Conditions
Deep Learning in Medical Applications: Lesion Segmentation in Skin Cancer Images Using Modified and Improved Encoder-Decoder Architecture
Union-Retire: A New Paradigm for Single-Pass Connected Component Analysis
A memetic algorithm for the tourist trip design with clustered points of interests
The Triangular Intuitionistic Fuzzy Extension of the CODAS Method for Solving Multi-Criteria Group Decision Making
Recommender systems based on detection community in academic social network
Des mosa mosaïques antiques aux codex islamiques: Continuité ou ruptures ?
An overview of Machine Learning Technologies and their use in E-learning
Cooperative Reinforcement Multi-Agent Learning System for Sleep Stages Classification
A medical decision support system for cardiovacsular disease based on ontology learning
A Comparative Study of Local Search Techniques Addressing an Electric Vehicle Routing Problem with Time Windows
Improving Customer Relationship Management using Machine Learning techniques: A Tunisian Case Study
La contribution de la responsabilité sociale de l'entreprise à l'identification organisationnelle : Étude exploratoire dans le contexte tunisien
Digital knowledge management and cultural communication: The Arab World according to the Arab Word Institute (IMA)
An Adaptive Genetic Algorithm for Dynamic Vehicle Routing Problem with Backhaul and Two-dimensional loading constraints
An ontological Rule-Based Approach for Software Product Lines Evolution
Highlighting the user's primary criterion in text mining-based recommendation system
BERT and fastText Embeddings for Automatic Detection of Toxic Speech
Use of Machine Learning Techniques in Financial Forecasting
ADETermino: a Platform to Construct Adverse Drug Events Corpus from MEDLINE Towards ADE Ontology Enrichment
Definition Framework of Educational Process Construction Supported by an Intelligent Tutoring System
Evolutionary algorithms for solving the multi-location and multi-item transshipment problem
A New Sum Coloring-based Integer Linear Programming for Solving the University Course Timetabling Problem
An investigation of AI in games: educational intelligent games vs non-educational games
Multi-objective Clustering Algorithm with Parallel Games
Web-mapping for ecotourism development: Application in the Ichkeul national park (northern Tunisia)
Interval-valued intuitionistic fuzzy CODAS-SORT method: Evaluation of natural resources in Tunisia
International Multi-Conference on: "Organization of Knowledge and Advanced Technologies", OCTA 2020, Tunis, Tunisia, February 6-8, 2020
An Evidential Spammer Detection based on the Suspicious Behaviors' Indicators
Genesis of a «Diophantine equation» in Arabic mathematics
Gabor Filter Algorithm for medical image processing: evolution in Big Data context
How useful are social networks for analyzing epidemics? The example of Twitter for monitoring the 2018-2019 Ebola epidemic in Africa
Optimization of workflow scheduling in an energy-aware cloud environment
Analysis of breast cancer data: a comparative study on different feature selection techniques
A Multi-agent architecture for modeling organizational planning against terrorist attacks in urban areas
On Solving the Hazardous Health-Care Waste Transportation Problem: a Real Case Study
Criteria weight elicitation of fuzzy ARAS-H method for healthcare waste treatment technologies assessment
Avatar Technology for the Educational Support of Deaf Learners: A Review
General Variable Neighborhood Search Approach for Solving the Electric Two-Echelon Vehicle Routing Problem
Managing uncertainty during CBR systems vocabulary maintenance using Relational Evidential C-Means
Personalization of MOOCs for increasing the retention rate of learners
Overview of the research on Strategic Environmental scanning and competitive intelligence
Results of multi-agent system and ontology to manage ideas and represent knowledge in a challenge of creativity
Budget-constrained dynamic Bag-of-Tasks scheduling algorithm for heterogeneous multi-cloud environment
Semantic Mining Approach Based On Learning of An Enhanced Semantic Model For Textual Business Intelligence
An Application of the Peak Over Threshold Method for Ozone Data Modeling
Scientific watch based on information quality
Iterated Granular Neighborhood Algorithm for Multi-Station Taxi-Sharing Problem
The Impact of Data Analytics in Digital Agriculture: A Review
Artificial Intelligence's Impacts in Disablity Human Life: Perspectives
A behaviorist agent model for the simulation of the human behavior
Deep learning of latent textual structures for the normalization of Arabic writing
Design of a Breast Image Data Warehouse Framework
Students' learning performance in a gamified and self-determined learning environment
FluSpider as a new vision of digital influenza surveillance system: based on Big Data technologies and Massive Data Mining techniques
Modeling an agent-based cooperative dynamic behavior in an uncertain context of SME's sustainable supply chain
Profiling learners' groups in MOOCs
Social networking application, visual communication system for the protection of personal information
A Parallel Object-Oriented Language OCore
I/O Mode Analysis in Concurrent Logic Programming
Simulating Guarded Programs in Linear Logic
Locality Abstractions for Parallel and Distributed Computing
Theory and Practice of Parallel Programming, International Workshop TPPP'94, Sendai, Japan, November 7-9, 1994, Proceedings
Programming with Distributed Data Structure for EM-X Multiprocessor
A Calculus for Exploiting Data Parallelism on Recursively Defined Data
Self-Describing Files + Smart Modules = Parallel Program Visualization
ProCSuS: A Meta System for Concurrent Process Calculi Based on SOS
Higher-Order Concurrent Linear Logic Programming
Multi-threaded PaiLisp with Granularity Adaptive Parallel Execution
Sharing Mutable Objects and Controlling Groups of Tasks in a Concurrent and Distributed Language
Graph Notation for Concurrent Combinators
A Formalism for Remotely Interacting Processes
First-class Synchronous Operations
Notes on P-Algebra 1: Process Structure
Concurrent Objects in a Process Calculus
A Performance Debugger for a Parallel Logic Programming Language Fleng
The Data-Parallel C Language NCX and Its Implementation Strategies
StackThreads: An Abstract Machine for Scheduling Fine-Grain Threads on Stock CPUs
Advanced Component Interface Specification
An Algorithm for Efficient Global Garbage Collection on Massively Parallel Computers
Time and Information in Sequential and Concurrent Computation
First Class Continuation Facilities in Concurrent Programming Language Harmony/2
A Dataflow-Based Massively Parallel Programming Language "V" and Its Implementation on a Stock Parallel Machine
Systems for Integrated Computation and Deduction, CALCULEMUS 1999, associated to FLoC '99, the 1999 Federated Logic Conference, Trento, Italy, July 11-12, 1999
Proceedings of the 12th Symposium on the Integration of Symbolic Computation and Mechanized Reasoning, Calculemus 2005, Newcastle-upon-Tyne, UK, July 18-19, 2005
PBF-AMP-Onto: an ontology for powder bed fusion additive manufacturing processes
Enhancing semantic interoperability across materials science with HIVE4MAT
Proceedings of the First International Workshop on Semantic Materials Science: Harnessing the Power of Semantic Web Technologies in Materials Science co-located with the 20th International Conference on Semantic Systems (SEMANTiCS 2024), Amsterdam, The Netherlands, September 17, 2024
Initial development of an ontology for the semiconductor domain - SemicONTO
An ontology for units of measures across history, standards, and scientific and technology domains
Top level ontologies: desirable characteristics in the context of materials science
PolyMat - bringing semantics to polymer membrane research
The landscape of ontologies in materials science and engineering: a survey and evaluation
Implementing semantic technologies in materials science and engineering
Leveraging large language models for automated knowledge graphs generation in non-destructive testing
Battery manufacturing knowledge infrastructure requirements for multicriteria optimization based decision support in design of simulation
Verifying Event-Based Timing Constraints by Translation into Presburger Formulae
Randomised Testing of a Microprocessor Model Using SMT-Solver State Generation
Formal Methods for Industrial Critical Systems - 15th International Workshop, FMICS 2010, Antwerp, Belgium, September 20-21, 2010. Proceedings
Model-Based Testing Strategies and Their (In)dependence on Syntactic Model Representations
Impossible Made Possible: Encoding Intractable Specifications via Implied Domain Constraints
Automated Verification of Nested DFS
Proceedings of the Ninth International Workshop on Formal Methods for Industrial Critical Systems, FMICS 2004, Linz, Austria, September 20-21, 2004
A Formal Design of a Tool for Static Analysis of Upper Bounds on Object Calls in Java
Conformance in the Railway Industry: Single-Input-Change Testing a EULYNX Controller
Formal Verification of Steady-State Errors in Unity-Feedback Control Systems
Modelling of Hot Water Buffer Tank and Mixing Loop for an Intelligent Heat Pump Control
Test Specification Patterns for Automatic Generation of Test Sequences
jmle: A Tool for Executing JML Specifications Via Constraint Programming
An Action/State-Based Model-Checking Approach for the Analysis of Communication Protocols for Service-Oriented Applications
Formal Analysis and Monitoring of Legacy Safety-Critical Interlocking Systems with the Use of Certified Industrial Tools
Formal Techniques for a Data-Driven Certification of Advanced Railway Signalling Systems
Formal Analysis of the UNISIG Safety Application Intermediate Sub-layer - Applying Formal Methods to Railway Standard Interfaces
Unifying Syntactic and Semantic Abstractions for Deep Neural Networks
Solving scheduling problems by untimed model checking: the clinical chemical analyser case study
Fault-Aware Modeling and Specification for Efficient Formal Safety Analysis
Predicate Abstraction for Programmable Logic Controllers
Proof Engineering in Logika: Synergistically Integrating Automated and Semi-automated Program Verification
Model-Based Risk Assessment Supporting Development of HSE Plans for Safe Offshore Operations
Correctness of Sensor Network Applications by Software Bounded Model Checking
Merit and Blame Assignment with Kind 2
Temporal-Logic Query Checking over Finite Data Streams
Modeling Concurrent Systems with Shared Resources
"To Store or Not To Store" Reloaded: Reclaiming Memory on Demand
Lightweight Verification of a Multi-Task Threaded Server: A Case Study With The Plural Tool
Developing Mode-Rich Satellite Software by Refinement in Event B
Formal Analysis of Non-determinism in Verilog Cell Library Simulation Models
Test Coverage for Loose Timing Annotations
Unified Simulation, Visualization, and Formal Analysis of Safety-Critical Systems with
Standard Conformance-by-Construction with Event-B
GRust: A Programming Language for Automotive Engineering
Backward Responsibility in Transition Systems Beyond Safety
Formal Methods for Industrial Critical Systems - 29th International Conference, FMICS 2024, Milan, Italy, September 9-11, 2024, Proceedings
Formal Methods for Critical Systems
A DFT Modeling Approach for Infrastructure Reliability Analysis of Railway Station Areas
SAT-Based Verification of LTL Formulas
Formal Methods for Industrial Critical Systems - 27th International Conference, FMICS 2022, Warsaw, Poland, September 14-15, 2022, Proceedings
Formal Methods for Industrial Critical Systems - 26th International Conference, FMICS 2021, Paris, France, August 24-26, 2021, Proceedings
Preemption Abstraction
Logika: The Sireum Verification Framework
Applying Finite State Process Algebra to Formally Specify a Computational Model of Security Requirements in the Key2phone-Mobile Access Solution
Deductive Functional Verification of Safety-Critical Embedded C-Code: An Experience Report
Automated Certification of Non-Interference in Rewriting Logic
Experimenting with Formal Verification and Model-Based Development in Railways: The Case of UMC and Sparx Enterprise Architect
The Metrô Rio ATP Case Study
Challenges for Formal Verification in Industrial Setting
Optimal Spare Management via Statistical Model Checking: A Case Study in Research Reactors
Local Quantitative LTL Model Checking
Progress Checking for Dummies
A Certified Implementation on Top of the Java Virtual Machine
Formal Safety Analysis in Industrial Practice
Synchronous Design and Verification of Critical Embedded Systems Using SCADE and Esterel
Contract-Based Analysis of Automotive and Avionics Applications: The SPEEDS Approach
Model-Based Verification of Automotive Control Software
Ten commandments revisited: a ten-year perspective on the industrial application of formal methods
Parallel SAT Solving in Bounded Model Checking
High-Level Guidance for Managers Deploying Formal Methods in Their Organisation
Formal Verification of Safety Functions by Reinterpretation of Functional Block Based Specifications
Applying a Formal Method in Industry: A 15-Year Trajectory
Model Checking and Co-simulation of a Dynamic Task Dispatcher Circuit Using CADP
Intrepid: A Scriptable and Cloud-Ready SMT-Based Model Checker
A Study of Shared-Memory Mutual Exclusion Protocols Using CADP
Can Saturation Be Parallelised?
Echo: a practical approach to formal verification
Improving SMT Solver Integrations for the Validation of B and Event-B Models
Behavioural Analysis of an I 2 C Linux Driver
The 2020 Expert Survey on Formal Methods
Verification by Way of Refinement: A Case Study in the Use of Coq and TLA in the Design of a Safety Critical System
Timed Mobility and Timed Communication for Critical Systems
IC3 for Loop Invariant Generation in Deductive Analysis
Formal Analysis and Testing of Real-Time Automotive Systems Using UPPAAL Tools
On-the-fly state space reductions for weak equivalences
A Rigorous Methodology for Composing Services
An approach to the pervasive formal specification and verification of an automotive system: status report
Navigating the Growing Field of Research on AI for Software Testing - The Taxonomy for AI-Augmented Software Testing and an Ontology-Driven Literature Survey
Extending Structural Test Coverage Criteria for Lustre Programs with Multi-clock Operators
Boolean Quantifier Elimination for Automotive Configuration - A Case Study
Modular Transformation of Java Exceptions Modulo Errors
An Easy-to-Use, Efficient Tool-Chain to Analyze the Availability of Telecommunication Equipment
Verifiable and Scalable Mission-Plan Synthesis for Autonomous Agents
Promise-Driven Modeling: A Structured Approach for Modeling Cyber-Physical Systems
Configurable Model-Based Test Generation for Distributed Controllers Using Declarative Model Queries and Model Checkers
Formal Methods for Industrial Critical Systems - 18th International Workshop, FMICS 2013, Madrid, Spain, September 23-24, 2013. Proceedings
Verification of Behavior Trees using Linear Constrained Horn Clauses
Verifying a Radio Telescope Pipeline Using HaliVer: Solving Nonlinear and Quantifier Challenges
Formal Reliability Analysis of Protective Relays in Power Distribution Systems
Modelling and Analysing ERTMS L3 Moving Block Railway Signalling with Simulink and Uppaal SMC
A Multi-level Methodology for Behavioral Comparison of Software-Intensive Systems
Active Mining of Document Type Definitions
Reentrant Readers-Writers: A Case Study Combining Model Checking with Theorem Proving
An Approach to Formalization and Analysis of Message Passing Libraries
Statistical Model Checking for sf P
PSY-TaLiRo: A Python Toolbox for Search-Based Test Generation for Cyber-Physical Systems
Checking the TWIN Elevator System by Translating Object-Z to SMV
Optimizing Feature Interaction Detection
Safety Interlocking as a Distributed Mutual Exclusion Problem
One Step Towards Automatic Inference of Formal Specifications Using Automated VeriFast
An Overview of Sound and Modest Approaches to Quantitative Model Checking from Sea to Space
AutoSV-Annotator: Integrating Deductive and Automatic Software Verification
Verifying VHDL Designs with Multiple Clocks in SMV
Requirements of an integrated formal method for intelligent swarms
Goanna - A Static Model Checker
Formal Methods for Industrial Critical Systems - 30th International Conference, FMICS 2025, Aarhus, Denmark, August 27-28, 2025, Proceedings
Parametric Faults in Safety Critical Programs
Formal Verification of Industrial Critical Software
Scalable Detection of Amplification Timing Anomalies for the Superscalar TriCore Architecture
Reverse Engineered Formal Models for GUI Testing
7th International ERCIM Workshop in Formal Methods for Industrial Critical Systems, FMICS 2002, ICALP 2002 Satellite Workshop, Málaga, Spain, July 12-13, 2002
Enhancing random walk state space exploration
Detecting Consistencies and Inconsistencies of Pattern-Based Functional Requirements
Integrated Formal Approach for Qualified Critical Embedded Code Generator
Developing critical systems with PLD components
Dynamic Event-Based Runtime Monitoring of Real-Time and Contextual Properties
Adaptive Learning for Learn-Based Regression Testing
Formal Methods for Industrial Critical Systems - 28th International Conference, FMICS 2023, Antwerp, Belgium, September 20-22, 2023, Proceedings
Formalising the Industrial Language SMMT in mCRL2
Safe Linear Encoding of Vehicle Dynamics for the Instantiation of Abstract Scenarios
Learning Fragments of the TCP Network Protocol
Deadlock Avoidance in Train Scheduling: A Model Checking Approach
The Impact of Requirement Splitting on the Efficiency of Supervisory Control Synthesis
Reinforcement Learning with Guarantees that Hold for Ever
The 4SECURail Case Study on Rigorous Standard Interface Specifications
Modelling and Analysis of DTLS: Power Consumption and Attacks
Automatic Structure-Based Code Generation from Coloured Petri Nets: A Proof of Concept
CRutoN: Automatic Verification of a Robotic Assistant's Behaviours
Real-Time Specification Patterns and Tools
Formal Verification of Real-Time Data Processing of the LHC Beam Loss Monitoring System: A Case Study
Checking Consistency of Real-Time Requirements on Distributed Automotive Control Software Early in the Development Process Using UPPAAL
Colored Petri Net Modeling of the Publish/Subscribe Paradigm in the Context of Web Services Resources
Verifying Cryptographic Software Correctness with Respect to Reference Implementations
Probabilistic Verification for Reliability of a Two-by-Two Network-on-Chip System
Formal Analysis of a Fault-Tolerant Routing Algorithm for a Network-on-Chip
Compositional Verification of a Communication Protocol for a Remotely Operated Vehicle
Using Datalog and Boolean Equation Systems for Program Analysis
A Simulator for LLVM Bitcode
Formally Verifying Decompositions of Stochastic Specifications
Certifying and Reasoning on Cost Annotations in C Programs
Verification of Co-simulation Algorithms Subject to Algebraic Loops and Adaptive Steps
Formal Development for Railway Signaling Using Commercial Tools
Formal Specification and Verification of TCP Extended with the Window Scale Option
Practical Issues with Formal Specifications - Lessons Learned from an Industrial Case Study
Application of Coloured Petri Nets in Modelling and Simulating a Railway Signalling System
Chemical Case Studies in KeYmaera X
Robust Spatio-Temporal Logic Semantics for Autonomous Driving Systems Falsification
Certified Gathering of Oblivious Mobile Robots: Survey of Recent Results and Open Problems
A Specification-Driven Approach to Embedded FDIR Code Generation
Model Checking the FlexRay Physical Layer Protocol
Experiences with Formal Engineering: Model-Based Specification, Implementation and Testing of a Software Bus at Neopost
An Actor-Based Approach for Security Analysis of Cyber-Physical Systems
LETO - A Lustre-Based Test Oracle for Airbus Critical Systems
Static Analysis of the Accuracy in Control Systems: Principles and Experiments
Efficient Symbolic Model Checking for Process Algebras
On the Effectiveness of Assertion-Based Verification in an Industrial Context
End-to-End Formal Methods Integrated Development with SysMLv2 Using HAMR
Towards Trustworthy Aerospace Systems: An Experience Report
Fault Tree Inference Using Multi-objective Evolutionary Algorithms and Confusion Matrix-Based Metrics
Structural test coverage criteria for lustre programs
On a Uniform Framework for the Definition of Stochastic Process Languages
Abstract Interpretation of MATLAB Code with Interval Sets
Flush: a system development tool based on scade/lustre
Combining Analyses for C Program Verification
Formal Methods for Industrial Critical Systems - 25th International Conference, FMICS 2020, Vienna, Austria, September 2-3, 2020, Proceedings
Model-Based Testing of Internet of Things Protocols
Test Suite Augmentation for Reconfigurable PLC Software in the Internet of Production
Critical Systems: Formal Methods and Automated Verification - Joint 21st International Workshop on Formal Methods for Industrial Critical Systems and 16th International Workshop on Automated Verification of Critical Systems, FMICS-AVoCS 2016, Pisa, Italy, September 26-28, 2016, Proceedings
An Automated Translator for Model Checking Time Constrained Workflow Systems
Distributed Verification: Exploring the Power of Raw Computing Power
Formal Methods for Industrial Critical Systems - 23rd International Conference, FMICS 2018, Maynooth, Ireland, September 3-4, 2018, Proceedings
Panel Discussion on Formal Methods in Commercial Software Development Tools
On Education and Training in Formal Methods for Industrial Critical Systems
Generative Model Driven Design for Agile System Design and Evolution: A Tale of Two Worlds
Intra-procedural Optimization of the Numerical Accuracy of Programs
Assertion-Based Monitoring in Practice - Checking Correctness of an Automotive Sensor Interface
M3C: Modal Meta Model Checking
Performability Measure Specification: Combining CSRL and MSL
Ensuring Integration Conditions During the Update of Cyber-Physical Systems at Runtime
Application of Static Analyses for State Space Reduction to Microcontroller Assembly Code
Formal Methods for Industrial Critical Systems - 16th International Workshop, FMICS 2011, Trento, Italy, August 29-30, 2011. Proceedings
Proceedings of the 10th international workshop on Formal methods for industrial critical systems, FMICS '05, Lisbon, Portugal, September 5-6, 2005
Surrogate Neural Networks Local Stability for Aircraft Predictive Maintenance
Symbolic Power Analysis of Cell Libraries
Parallel Algorithms for Finding SCCs in Implicitly Given Graphs
Block Library Driven Translation Validation for Dataflow Models in Safety Critical Systems
Wholly!: A Build System For The Modern Software Stack
Checking Properties Described by State Machines: On Synergy of Instrumentation, Slicing, and Symbolic Execution
Range Analysis of Microcontroller Code Using Bit-Level Congruences
Invariants come from templates
A Case Study on Formal Verification of the Anaxagoros Hypervisor Paging System with Frama-C
Formal Methods for Industrial Critical Systems - 24th International Conference, FMICS 2019, Amsterdam, The Netherlands, August 30-31, 2019, Proceedings
Formal Methods for Industrial Critical Systems - 19th International Conference, FMICS 2014, Florence, Italy, September 11-12, 2014. Proceedings
Building a Modular Platform for Model Checking Glitch Attacks in RISC-V Programs
Require, Test and Trace IT
A Formally Verified Plasma Vertical Position Control Algorithm
Deductive Verification of Smart Contracts with Dafny
Formal Methods for Industrial Critical Systems, 12th International Workshop, FMICS 2007, Berlin, Germany, July 1-2, 2007, Revised Selected Papers
Verified Design of an Automated Parking Garage