yusuke1997/dblp-id-title huggingface dataset:
Some Features of the Citation Counts from Journals Indexed in Web of Science to Publications from Russian Translation Journals
Determining Citation Blocks using End-to-end Neural Coreference Resolution Model for Citation Context Analysis
The Most-Cited Articles of the 21st Century
Can the impact of grey literature be assessed? An investigation of UK government publications cited by articles and books
Webometrics of Think Tanks in Sub-Saharan Africa
Higher Education's Role in Chinese National Innovation System: A Perspective of University-Industry Linkages
Connecting Big Scholarly Data With Science of Science Policy: An Ontology-Based-Data- Management (Obdm) Approach
Monetization Strategies of University Patents through PAEs: an Analysis of US Patent Transfers
Retraction: The "Other Face" of Research Collaboration
MOOC Content Design: Take "Webometrics & Scientific Evaluation" Course as an Example
Behaviors and relationships among global universities on Twitter
The rivalry between Bernini and Borromini from a scientometric perspective
Leadership Among the Leaders of The Brazilian Research Groups in Marine Biotechnology
How bibliometrics is related with other information science topics. An approximation from a review journal
Reflections on the Science of Team Science
Do Mathematicians, Economists and Biomedical Scientists Trace Large Topics More Strongly Than Physicists?
Drivers of Higher Education Institutions' Visibility: A Study of UK HEIs Social Media Use vs. Organizational Characteristics
Evaluating Human Versus Machine Learning Performance in Classifying Research Abstracts
Reliability of Scopus author identifiers (AUIDs) for research evaluation purposes at different scales
Globalization of Scientific Output: Country distribution of authors in the academic journals
The influence of corresponding authorship on the impact of collaborative publications: a study on Brazilian institutions (2003-2015)
Analysis of SSH impact based on Citations and Altmetrics
Forecasting Technology Emergence from Metadata and Language of Scientific Publications and Patents
MESH classification of clinical guidelines using conceptual embeddings of references
Scholars on Twitter: Who and How Many Are They?
Debunking the Italian Scientific Sectors' classification system: preliminary insights
Does Access Promote UK Scholars' Formal and Informal Research Impact? Impact of Gold Open Access, PubMed and ArXiv
Topic Map Analysis of Deep Learning Patents
Multiple-keyword Co-occurrence Analysis and Time Series Prediction of Research Hotspots
Dependence modeling of bibliometric indicators with copulas
A comparison of three individual multidisciplinarity indices based on the diversity of the Scopus subject areas, of the bibliography and of the citing papers
Exploring the borders of a transregional knowledge network. The case of a French research federation in green chemistry
Cui Prodest? Reciprocity of collaboration measured by Russian Index of Science Citation
How does author ethnic diversity affect scientific impact? A study of nanoscience and nanotechnology
A novel analysis on global environmental quality research in the last two decades based on bibliometric modeling indicators
Evaluation Framework for Promoting Gender Equality in Research and Innovation: How to define suitable indicators to evaluate gender equality effects in R&I systems?
Impact of multidisciplinary research on innovation
European Tertiary Education Register (ETER): Evolution of the Data Quality Approach
Methodological Challenges for the Comparison of Results of Topic Extraction from Scientific Literature
Using Internet Data to Complement Traditional Innovation Indicators
Using Bibliometrics-aided Retrieval to Delineate the Field of Cardiovascular Research
Accounting For Compositional Effects in Measuring Inter-Country Research Productivity Differences: The Case of Economics Departments in Four European Countries
The Impact of Research Funding Agencies on the Research Performance of five European Countries - A Funding Acknowledgements Analysis
The Diffusion of Nanotechnology Knowledge in Turkey
Network Community-based Technological Cooperation Identification
Research evaluation and scientific productivity at the University of Calabar, Calabar, Nigeria: A bibliometric analysis
Identifying Research Fronts in a Fine-grained Way: A Case Study in the Field of Artificial Intelligence
Understanding the Changing Roles of Scientific Publications via Citation Embeddings
A glance on the status of Library and Information Science discipline in the world ranking systems of universities
Public Policy and the Evolution of Technology Transfer in France
Productivity versus citation impact: A study of persons, not just authors
Linking Operational Semantics and Algebraic Semantics for Wireless Networks
On the Generation of Equational Dynamic Logics for Weighted Imperative Programs
A Denotational Semantics for Handel-C Hardware Compilation
A Formal Monitoring-Based Framework for Software Development and Analysis
Guiding Spin Simulation
Automated Multiparameterised Verification by Cut-Offs
A Methodology for Automatic Diagnosability Analysis
Trace Models of Concurrent Valuation Algebras
Towards Industrially Applicable Formal Methods: Three Small Steps and One Giant Leap
Formal Methods and Software Engineering - 12th International Conference on Formal Engineering Methods, ICFEM 2010, Shanghai, China, November 17-19, 2010. Proceedings
Trace Refinement in B and Event-B
The State-Based CCS Semantics for Concurrent Z Specification
Game Semantics Model for Security Protocols
Java Card Code Generation from B Specifications
A Formal Model for Natural-Language Timed Requirements of Reactive Systems
Pareto Optimal Reachability Analysis for Simple Priced Timed Automata
Automatic Generation of Provably Correct Embedded Systems
Formal Methods and Software Engineering, 6th International Conference on Formal Engineering Methods, ICFEM 2004, Seattle, WA, USA, November 8-12, 2004, Proceedings
From Specification to Hardware Device: A Synthesis Algorithm
Tool Support for Visualizing CSP in UML
Closed Form Approximations for Steady State Probabilities of a Controlled Fork-Join Network
The Foul Adversary: Formal Models
PAR: A Practicable Formal Method and Its Supporting Platform
Spatio-Temporal Specification Language for Cyber-Physical Systems
An Efficient Translation of Timed-Arc Petri Nets to Networks of Timed Automata
Developing Quality Software Systems Using the SOFL Formal Engineering Method
Compiling Parameterized X86-TSO Concurrent Programs to Cubicle- W
Formal Kinematic Analysis of the Two-Link Planar Manipulator
Lattices of Information for Security: Deterministic, Demonic, Probabilistic
Embedding Formally Proved Code in a Smart Card: Converting B to C
Hackers vs. Security: Attack-Defence Trees as Asynchronous Multi-agent Systems
Proof Obligation Generation and Discharging for Recursive Definitions in VDM
Adding Action Refinement to Stochastic True Concurrency Models
Pointer Program Derivation Using Coq: Graphs and Schorr-Waite Algorithm
Formally Specifying and Verifying Real-Time Systems
Scaling BDD-based Timed Verification with Simulation Reduction
Refinement of Actions for Real-Time Concurrent Systems with Causal Ambiguity
On Symmetries and Spotlights - Verifying Parameterised Systems
CSP Representation of Game Semantics for Second-Order Idealized Algol
Detecting Energy Bugs in Android Apps Using Static Analysis
A Tool for a Formal Pattern Modeling Language
Analyzing the Redesign of a Distributed Lift System in UPPAAL
A Lazy Unbounded Model Checker for Event-B
On Fitting a Formal Method into Practice
Verification of Functional and Non-functional Requirements of Web Service Composition
Program Models for Compositional Verification
An Improved Decision Procedure for Propositional Projection Temporal Logic
Formal Verification of a SONET Telecom System Block
A Process Semantics for BPMN
An Idealist's Approach for Smart Contract Correctness
Formal Methods in the Aerospace Industry: Follow the Money
A Graph-Based Operational Semantics of OO Programs
Nested Timed Automata with Diagonal Constraints
An Animatable Operational Semantics of the Verilog Hardware Description Language
A Modular Approach for Reusing Formalisms in Verification Tools of Concurrent Systems
Formal Proof of a Polychronous Protocol for Loosely Time-Triggered Architectures
Reasoning about Safety and Progress Using Contracts
On How to Not Prove Faulty Controllers Safe in Differential Dynamic Logic
Towards Modeling and Verification of the CKB Block Synchronization Protocol in Coq
An Abstract Model for Scheduling Real-Time Programs
Verification of Timeliness QoS Properties in Multimedia Systems
Generating Test Cases for Constraint Automata by Genetic Symbiosis Algorithm
GPU Accelerated Counterexample Generation in LTL Model Checking
Formal Modeling and Verification of Blockchain Consensus Protocols: A Case Study on ChainMaker
Slicing an Integrated Formal Method for Verification
Using Theorem Provers to Increase the Precision of Dependence Analysis for Information Flow Control
Test Case Design Based on Z and the Classification-Tree Method
Formal Throughput and Response Time Analysis of MARTE Models
Modeling and Analysis of Cyber-Physical Systems in the Hybrid π-Calculus Using Extended Sequence Diagrams
A Propositional Logic-Based Method for Verification of Feature Models
Formal Engineering for Industrial Software Development - An Introduction to the SOFL Specification Language and Method
Deadline Analysis of AUTOSAR OS Periodic Tasks in the Presence of Interrupts
Seamless Model Driven Systems Engineering Based on Formal Models
Assisting Specification Refinement by Random Testing
Developer-Oriented Correctness Proofs - A Case Study of Cheney's Algorithm
Unified Verification of Neural Networks' Robustness and Privacy in Computer Vision
History-Based Specification and Verification of Scalable Concurrent and Distributed Systems
Learning Fault Models of Cyber Physical Systems
Is There Evolution Before Birth? Deterioration Effects of Formal Z Specifications
Event Listener Analysis and Symbolic Execution for Testing GUI Applications
Verification of Strong Nash-equilibrium for Probabilistic BAR Systems
Refinement Algebra for Formal Bytecode Generation
Canonical Narrowing for Variant-Based Conditional Rewrite Theories
PHASE: A Stochastic Formalism for Phase-Type Distributions
Verifying an Aircraft Proximity Characterization Method in Coq
A Case Study in Partial Specification: Consistency and Refinement for Object-Z
Model-Driven Protocol Design Based on Component Oriented Modeling
Symbolic Query Exploration
Supporting Requirements Analysis Using Pattern-Based Formal Specification Construction
Generation of Checking Sequences Using Identification Sets
Formal Methods and Software Engineering - 25th International Conference on Formal Engineering Methods, ICFEM 2024, Hiroshima, Japan, December 2-6, 2024, Proceedings
A Tableau-Based Approach to Model Checking Linear Temporal Properties
Composing Specifications in VSPEC
Dynamic Resource Reallocation between Deployment Components
ClawZ: Control Laws in Z
A Generic Approach to the Formal Specification of Requirements
Formal Methods and Software Engineering - 23rd International Conference on Formal Engineering Methods, ICFEM 2022, Madrid, Spain, October 24-27, 2022, Proceedings
Quantitative Verification for Temporal Properties of Massive Linear Systems
Model Checking a Model Checker: A Code Contract Combined Approach
A Language-Independent Proof System for Mutual Program Equivalence
Early and Systematic Validation of Formal Models
B for Modeling Secure Information Systems - The B4MSecure Platform
Type Checking Choreography Description Language
Verification of Programs with Pointers in SPARK
Active Inference of EFSMs Without Reset
Challenges in Software Certification
From Monolithic to Modular Formal Specification
Automating Refinement Checking in Probabilistic System Design
Optimized Execution of Deterministic Blocks in Java PathFinder
Programs as Paths: An Approach to Timing Constraint Analysis
Assertion Generation Through Active Learning
A Recursive Probabilistic Temporal Logic
Formal Foundations for Intel SGX Data Center Attestation Primitives
Mutation in Linked Data Structures
Contract-Based Verification of Simulink Models
A Formal Approach to Identifying Security Vulnerabilities in Telecommunication Networks
A Combination of Forward and Backward Reachability Analysis Methods
Software Metrics in Static Program Analysis
Verifying Compiler Optimisations - (Invited Paper)
Non-linear Optimization Methods for Learning Regular Distributions
Modular Verification of OO Programs with Interfaces
Assume-Guarantee Software Verification Based on Game Semantics
A Requirements Description Model Based on Conditional Directed Graphs
From Durational Specifications to TLA Designs of Timed Automata
Formal Modelling of Resilient Data Storage in Cloud
Assessment of a Formal Requirements Modeling Approach on a Transportation System
Applying Term Rewriting to Speech Recognition of Numbers
A Unified Method to Efficiently Verify Opacity of Discrete-Timed Automata
Verifying the On-line Help System of SIEMENS Magnetic Resonance Tomographs
µ-Chart-Based Specification and Refinement
Mastering the Visualization of Larger State Spaces with Projection Diagrams
Validation-Driven Development
Multicore Embedded Systems: The Timing Problem and Possible Solutions
Modeling and verification of the post-quantum key encapsulation mechanism KYBER using Maude
A Modular Scheme for Deadlock Prevention in an Object-Oriented Programming Model
Approximations for Stochastic Graph Rewriting
Automated Requirements Validation for ATP Software via Specification Review and Testing
Type Capabilities for Object-Oriented Programming Languages
Hardware/Software Partitioning in Verilog
Formal Treatment of a Family of Fixed-Point Problems on Graphs by CafeOBJ
Compilation by Refinement for a Practical Assembly Language
From Model-Based Design to Formal Verification of Adaptive Embedded Systems
Reasoning with Failures
Predicate Analysis with Block-Abstraction Memoization
Specifying Compatible Sharing in Data Structures
Formal Analysis of the Bakery Protocol with Consideration of Nonatomic Reads and Writes
Formal Verification of the rank Algorithm for Succinct Data Structures
Separation of Concerning Things: A Simpler Basis for Defining and Programming with the C/C++ Memory Model
Modeling the Architecture for Component-Based E-commerce System
Formal Construction of Threat Detections from Attack Trees
Generic Interacting State Machines and Their Instantiation with Dynamic Features
A Modeling Framework of Cyber-Physical-Social Systems with Human Behavior Classification Based on Machine Learning
Consistency Enforcement for Static First-Order Invariants in Sequential Abstract State Machines
Making Pattern- and Model-Based Software Development More Rigorous
Avoiding Larger Conflict Regions in CDCL-Style Methods for Solving SMT-NRA
Formal Specification of Dynamic Constraints with the B Method
An Approach to Testing with Embedded Context Using Model Checker
Towards a Formal Semantics for an Integrated SA/RT & Z Specification Language
A Specification-Based Approach to Testing Polymorphic Attributes
Market-Driven Symbolic Execution of Methods of Manufacturing Enterprises
Supporting Reuse of Event-B Developments through Generic Instantiation
A Coalgebraic Semantics Framework for Quantum Systems
A Calculus Based on the Agent-Place Model
Neural-Symbolic System Control Adjustment Based on Runtime Verification
Incremental Architectural Modeling and Verification of Real-Time Concurrent Systems
A Pragmatic, Rigorous Integration of Structural and Behavioral Modeling Notations
Model Checking Nash-Equilibrium - Automatic Verification of Robustness in Distributed Systems
Type-Based Declassification for Free
Modeling and Verifying NDN Access Control Using CSP
An Integrated CSP-Based Tool for the Visualisation, Animation and Performance Evaluation of Message Passing Algorithms
29 New Unclarities in the Semantics of UML 2.0 State Machines
How Can We Make Industry Adopt Formal Methods?
Using DimSpec for Bounded and Unbounded Software Model Checking
The B Bank: A Complete Case Study
Automating Algebraic Methods in Isabelle
Classification-Based Parameter Synthesis for Parametric Timed Automata
Automata-Based Steering of Large Language Models for Diverse Structured Generation
Boundness Issues in CCSL Specifications
Model-Based Testing with Spec#
Developing Reliable Component-Based Software in Mediator
Implementing a Direct Method for Certificate Translation
Computing Maximal Bisimulations
sCompile: Critical Path Identification and Analysis for Smart Contracts
Exploiting Partial Success in Applying Automated Formal Methods
Model Checking Pushdown Epistemic Game Structures
Formal Availability Analysis Using Theorem Proving
Path-Sensitive Data Flow Analysis Simplified
SFI: A Refinement Based Layered Software Architecture
Model Checking Propositional Projection Temporal Logic Based on SPIN
A Semantic Model of Real-Time UML
Algorithmic Verification with Multiple and Nested Parameters
Formally Verified System Initialisation
Reasoning About Universal Cubes in MCMT
Branch and Bound for Sigmoid-Like Neural Network Verification
Session-Based Compositional Analysis for Actor-Based Languages Using Futures
Implementing Dynamic Aggregations of Abstract Machines in the B Method
A Process Algebra Based Verification of a Production System
Memory-Model-Sensitive Data Race Analysis
Practical Analysis Framework for Software-Based Attestation Scheme
MetaLogic: Robustness Evaluation of Text-to-Image Models via Logically Equivalent Prompts
Demonic Testing of Concurrent Programs
Specifying and Verifying Event-Based Fairness Enhanced Systems
SMT-Based Model Checking of Industrial Simulink Models
Formal Analysis of Linear Control Systems Using Theorem Proving
A Statistical Approach to Test Stochastic and Probabilistic Systems
Development and Application of a Formal Agent Framework
Using State Diagrams to Describe Concurrent Behaviour
Compositional Verification of a Switch Fabric from Nortel Networks
Automated Temporal Verification of Integrated Dependent Effects
2/3 Alternating Simulation Between Interface Automata
A Simple Program whose Derivation and Proof is Also
Formal Verification of the Burn-to-Claim Blockchain Interoperable Protocol
Formalising Progress Properties of Non-blocking Programs
A Language for Test Case Refinement in the Test Template Framework
Active Objects in TCOZ
An Algebraic Approach to Automatic Reasoning for NetKAT Based on Its Operational Semantics
Poirot - A Concurrency Sleuth
Capabilities: Effects for Free
Towards High-Level SMT Program Modeling: Bounded Integers, Simplified Structs, and Metaprogramming
Formal Methods and Software Engineering - 15th International Conference on Formal Engineering Methods, ICFEM 2013, Queenstown, New Zealand, October 29 - November 1, 2013, Proceedings
XML-Based Static Type Checking and Dynamic Visualization for TCOZ
Synthesizing Nested Ranking Functions for Loop Programs via SVM
Method for Formal Verification of Soft-Error Tolerance Mechanisms in Pipelined Microprocessors
ZK-ProVer: Proving Programming Verification in Non-interactive Zero-Knowledge Proofs
Formalizing SANE Virtual Processor in Thread Algebra
The VSE Refinement Method in Hets
A Test-Driven Approach for Refining Use Case Specifications of Software Requirements with LLMs
Practical Parameterised Session Types
An Abstract Model for Process Mediation
Analyzing Security and Privacy in Design and Implementation of Web Authentication Protocols
Formal Models of SysML Blocks
SMT-Based False Positive Elimination in Static Program Analysis
Three-Tiered Specification of Micro-architectures
Model Checking with SAT-Based Characterization of ACTL Formulas
Specifying a Component Model for Building Dynamically Reconfigurable Distributed Systems
An Axiomatisation of the Probabilistic \mu -Calculus
Formal Proof from UML Models
An Overview of CAFE Specification Environment - An Algebraic Approach for Creating, Verifying, and Maintaining Formal Specifications over Networks
A Logical Approach for Behavioural Composition of Scenario-Based Models
Role-Based Symmetry Reduction of Fault-Tolerant Distributed Protocols with Language Support
M2Z: A Tool for Translating a Natural Language Software Specification into Z
Formal Analysis of Qualitative Long-Term Behaviour in Parametrised Boolean Networks
VARF: Verifying and Analyzing Robustness of Random Forests
Compensable WorkFlow Nets
Fostering Proof Scores in CafeOBJ
A Unified Model Checking Approach with Projection Temporal Logic
A Z Based Approach to Verifying Security Protocols
Formal Verification of Tokeneer Behaviours Modelled in fUML Using CSP
Contract-Based Reasoning for Verification and Certification of Secure Information Flow Policies in Industrial Workflows
Context-Based Behavioral Equivalence of Components in Self-Adaptive Systems
Automatic Generation of Formal Specification from Requirements Definition
Visualizing and Simulating Semantic Web Services Ontologies
Deriving Mode Logic for Autonomous Resilient Systems
On-the-Fly Proof-Based Verification of Reachability in Autonomous Vehicle Controllers Relying on Goal-Aware RSS
Checking SysML Models for Co-simulation
Formal Methods and Software Engineering - 26th International Conference on Formal Engineering Methods, ICFEM 2025, Hangzhou, China, November 10-13, 2025, Proceedings
A Formal Methodology to Specify E-commerce Systems
Scenario-Based Component Behavior Derivation
Symbolic Execution of Alloy Models
Extracting Significant Specifications from Mining through Mutation Testing
Formal Model-Driven Development of Communicating Systems
Local Livelock Analysis of Component-Based Models
Comparison of Data and Process Refinement
On the Adoption of Formal Methods by Industry: The ACL2 Experience
Z Approach to Semantic Web
UTP Semantics for BigrTiMo
An Analytical and Experimental Comparison of CSP Extensions and Tools
Towards Trustworthy AI for Autonomous Systems
Formal Methods and Software Engineering, 4th International Conference on Formal Engineering Methods, ICFEM 2002 Shanghai, China, October 21-25, 2002, Proceedings
A Predictability Algorithm for Distributed Discrete Event Systems
Exploiting Abstraction for Efficient Formal Verification of DSPs with Arrays of Reconfigurable Functional Units
A Specification and Validation Technique Based on STATEMATE and FNLOG
Filter Promotion Transformation Strategies for Deriving Efficient Programs from Z Specifications
Incremental Specification of Telecommunication Services
Highly Reliable Component-Based Software Development by Using Algebraic Behavioral Specification
Certifying Sequential Consistency of Machine Learning Accelerators
Translating UAN into CSP
An Equational Calculus for Alloy
A Formula-Based Approach for Automatic Fault Localization of Imperative Programs
Modeling and Verification of Probabilistic Actor Systems Using pRebeca
Synthesizing Loops from Linear Ranking Functions
PFMC: A Parallel Symbolic Model Checker for Security Protocol Verification
Modularization of Refinement Steps for Agile Formal Methods
Translation from Workflow Nets to MSVL
Differential Property Monitoring for Backdoor Detection
Deductive Verification of Hybrid Control Systems Modeled in Simulink with KeYmaera X
Algebraic Approach for Confidence Evaluation of Assurance Cases
Specifying and Verifying Business Processes Using PPML
Environment Ontology-Based Capability Specification for Web Service Discovery
Formal Methods and Software Engineering - 24th International Conference on Formal Engineering Methods, ICFEM 2023, Brisbane, QLD, Australia, November 21-24, 2023, Proceedings
Decision Procedures for the Temporal Verification of Concurrent Lists
Whither Formal Methods: A Plea to Investigate New Applications
RoboCert: Property Specification in Robotics
Time Constraints with Temporal Logic Programming
Towards a Process Algebra Framework for Supporting Behavioural Consistency and Requirements Traceability in SysML
Parameterized Hardware Verification Through a Term-Level Generalized Symbolic Trajectory Evaluation
A Statically Verifiable Programming Model for Concurrent Object-Oriented Programs
Jahuel: A Formal Framework for Software Synthesis