yusuke1997/dblp-id-title huggingface dataset:
Preface: Abstract State Machines, Alloy, B, VDM, and Z. Selected & extended papers from ABZ 2012
Fast rule-based graph programs
Towards a notion of unsatisfiable and unrealizable cores for LTL
Formal proof of dynamic memory isolation based on MMU
CIGALE: A Tool for Interactive Grammar Construction and Expression Parsing
Modalities for Model Checking: Branching Time Logic Strikes Back
Investigating the effort of using business process management technology: Results from a controlled experiment
Concurrency Without Toil: A Systematics Method for Parallel Program Design
Evaluating the effectiveness of pointer alias analyses
Logic/Constraint Programming and Concurrency: The hard-won lessons of the Fifth Generation Computer project
Program plan recognition for year 2000 tools
Preface to the special section on Object-Oriented Programming and Systems (OOPS 2009), a special track at the 24th ACM Symposium on Applied Computing
Structuring Transformational Developments: A Case Study Based on Earley's Recognizer
Using graph distances for named-entity linking
DEScMaker: A tool for automated code generation for discrete event systems controllers
On the analysis needs when verifying state-based software requirements: an experience report
Automated UI evaluation based on a cognitive architecture and UsiXML
Monitoring method call sequences using annotations
A survey and comparison of transformation tools based on the transformation tool contest
Analyzing ambiguity of context-free grammars
Static analysis of lists by combining shape and numerical abstractions
RT-MOBS: A compositional observer semantics of time Petri net for real-time property specification language based on μ -calculus
Complete algorithms for algebraic strongest postconditions and weakest preconditions in polynomial odes
An Assertional Correctness Proof of a Distributed Algorithm
A Functional Theory of Exceptions
Low-code design of collective systems with ScaFi-Blocks
A rewriting logic semantics for NCL
Certifying assembly with formal security proofs: The case of BBS
A query language and ranking algorithm for news items in the Hermes news processing framework
Heterogeneous verification in the context of model driven engineering
Special issue: Selected papers from the 12th International Conference on Quality Software (QSIC 2012)
A practical approach for testing timed deterministic finite state machines with single clock
Minimal State Graph Generation
A generative methodology for the design of abstract machines
Erratic Fudgets: a semantic theory for an embedded coordination language
CoolTeD: A tool for co-labeling and visual analysis of textual dataset
Extending web-based educational systems with personalised support through User Centred Designed recommendations along the e-learning life cycle
Geometry teaching in wireless classroom environments using Java and J2ME
An empirical approach for evaluating the usability of model-driven tools
On-the-fly PCTL fast mean-field approximated model-checking for self-organising coordination
Some results in dynamic model theory
Multi-agent approach to distributed ant colony optimization
Improving and comparing performance of machine learning classifiers optimized by swarm intelligent algorithms for code smell detection
Generalized structured programs and loop trees
The Derivation of Graph Marking Algorithms From Distributed Termination Detection Protocols
An interactive environment for beginning Java programmers
Compositional high-level Petri net semantics of a parallel programming language with procedures
The value of slicing while debugging
A compositional model to reason about end-to-end QoS in Stochastic Reo connectors
Analyzing novice and competent programmers' problem-solving behaviors using an automated evaluation system
Modeling and solving planning problems in tabled logic programming: Experience from the Cave Diving domain
A Java typestate checker supporting inheritance
Probabilistic anomaly detection in distributed computer networks
CFFitST: Classification few-shot fit sentence transformer
Massive Parallelization of Divide-and-Conquer Algorithms over Powerlists
Connector colouring I: Synchronisation and context dependency
EUD-MARS: End-user development of model-driven adaptive robotics software systems
A Proof System for Concurrent ADA Programs
An efficient TCTL model checking algorithm and a reduction technique for verification of timed actor models
A shortcut fusion approach to accumulations
Typing tensor calculus in 2-categories (I)
Reachability analysis of complex planar hybrid systems
ESBMC v7.6: Enhanced model checking of C++ programs with clang AST
A Systematic Approach to Language Constructs for Concurrent Programs
State Machines and Assertions: An Integrated Approach to Modeling and Verification of Distributed Systems
Formalising and analysing the control software of the Compact Muon Solenoid Experiment at the Large Hadron Collider
The Shadow Knows: Refinement and security in sequential programs
QualCode: A Data-Driven Framework for Predicting Software Maintainability Based on ISO/IEC 25010
Formal patterns for multirate distributed real-time systems
A Method for Solving Synchronization Problems
Composition of software artifacts modelled using Colored Petri nets
Practice and experience with Java in education
Making refactoring safer through impact analysis
The JastAdd system - modular extensible compiler construction
On the usage of JavaScript , Python and Ruby packages in Docker Hub images
FCPP to aggregate them all
Formal modeling and analysis of interacting hybrid systems in HI-Maude: What happened at the 2010 Sauna World Championships?
Special issue on Automated Verification of Critical Systems (AVoCS 2013)
A generic lazy evaluation scheme for exact geometric computations
An empirical evaluation of a formal approach versus ad hoc implementations in robot behavior planning
Innermost many-sorted term rewriting on GPUs
CPN simulation-based test case generation from controlled natural-language requirements
Stratego/XT 0.17. A language and toolset for program transformation
Exploiting runtime bytecode manipulation to add roles to Java agents
Model-driven processes and tools to design robot-based generative learning objects for computer science education
Integration of collaboration and interaction analysis mechanisms in a concern-based architecture for groupware systems
Efficient Parallel Algorithms for Tree Accumulations
Modular encoding of synchronous and asynchronous interactions using open Petri nets
Analyzing MoWebA's adaptability across architectures
Petri-Net-Based Deadlock Analysis of Process Algebra Programs
Correct transformation: From object-based graph grammars to PROMELA
Guest editor's introduction: Experimental Software and Toolkits (EST)
Correctness of Static Flow Analysis in Continuation Semantics
An empirical study into COBOL type inferencing
Fundamentals of Software Engineering (extended versions of selected papers of FSEN 2019)
A perspective on service orchestration
Unique fixpoint induction for message-passing process calculi
Special issue on Partial Evaluation and Program Manipulation (selected papers from PEPM 2007)
SolAR: Automated test-suite generation for solidity smart contracts
Constraint automata with memory cells and their composition
Analysing a Class of Distributive Partitioning Sort Algorithms
A tour of Tempo: a program specializer for the C language
Efficient interaction-based offline runtime verification of distributed systems with lifeline removal
Knowledge acquisition for adaptive game AI
Multicore scheduling for lightweight communicating processes
Architecture-level configuration of industrial control systems: Foundations for an efficient approach
The Derivation of Systolic Computations
Generating property-directed potential invariants by quantifier elimination in a k-induction-based framework
Systematic Detection of Exception Occurrences
A decentralized analysis of multiparty protocols
Automatic software model checking via constraint logic
Pallene: A companion language for Lua
Algorithmic verification of procedural programs in the presence of code variability
A semantics for Behavior Trees using CSP with specification commands
Evolutionary coupling measurement: Making sense of the current chaos
A graph transformation approach to software architecture reconfiguration
Defending against Return-Oriented Programming attacks based on return instruction using static analysis and binary patch techniques
Earley table traversing parsers
Functional and logic programming: Selected papers of FLOPS 2022
Two Most Nondeterministic Programs
Restructuring of COBOL/CICS legacy systems
A novel analysis space for pointer analysis and its application for bug finding
Model-driven engineering of information systems: 10 years and 1000 versions
Constraint design rewriting
Model evolution and refinement
Safe uniform proxies for Java
Joeq: A virtual machine and compiler infrastructure
Type-directed weaving of aspects for polymorphically typed functional languages
Theory of Partial-Order Programming
Symbolic execution for a clash-free subset of ASMs
Modular and flexible causality control on the Web
Forward- or reverse-mode automatic differentiation: What's the difference?
Effectful improvement theory
PN2CCS: A tool to encode Petri nets into calculus of communicating systems
Enabling PHP software engineering research in Rascal
Special section on the Brazilian Symposium on Programming Languages
A framework for exploring unifying theories of empirical software engineering
Cjj: a subset of C++ compliant with Java
Using role-based coordination to achieve software adaptability
The polychronous model of computation and Kahn process networks
A formal model for Multi Software Product Lines
Formal Techniques for Safety-Critical Systems (FTSCS 2018)
Formal specification and SMT verification of quantized neural network for autonomous vehicles
Selected and extended papers from Partial Evaluation and Program Manipulation 2013
Model independent refusal trace testing
Specification of Concurrent Objects Using Auxiliary Variables
A Formal Development of an Efficient Subercombinator Compiler
Debugging hygienic macros
Towards evidence-based recommendations to guide the evolution of component-based product families
Systolic Arrays for the Recognition of Permutation-Invariant Segments
Evaluating GLR parsing algorithms
Special Issue on Knowledge-based Software Engineering
Extracting symbolic transitions from TLA + specifications
Statistical and exact schedulability analysis of hierarchical scheduling systems
Rewriting Systems on FP Expressions to Reduce the Number of Sequences Yielded
The Dinamica EGO virtual machine
Analysis and formal specification of OpenJDK's BitSet: Proof files
Formal semantics and analysis of control flow in WS-BPEL
DescribeML: A dataset description tool for machine learning
Automatic equivalence proofs for non-deterministic coalgebras
Kleene getting lazy
A Technique for Recursion Removal Based on String Homomorphisms
Vincent: Green hot methods in the JVM
Trylock, a case for temporal logic and eternity variables
Efficient run-time dispatching in generic programming with minimal code bloat
A meta-model for dataflow-based rules in smart environments: Evaluating user comprehension and performance
Social debt in software development environments: A systematic literature review
Reconciling the needs of architectural description with object-modeling notations
A feature model of actor, agent, functional, object, and procedural programming languages
Statement Inversion and Strongest Postcondition
Computing maximum fixed point solutions over feasible paths in data flow analyses
Incremental reasoning with lazy behavioral subtyping for multiple inheritance
Model checking adaptive service compositions
Supporting incremental and experimental software evolution by runtime method transformations
A note on proofs with graphs
DESOLA: An active linear algebra library using delayed evaluation and runtime code generation
Playing with Patterns, Searching for Strings
Reading beside the lines: Using indentation to rank revisions by complexity
Algebraic graph transformations with inheritance and abstraction
Validation process for railway interlocking systems
Small Programming Exercises 11
Framed temporal logic programming
The Solid* toolset for software visual analytics of program structure and metrics comprehension: From research prototype to product
Preface for the special issue of Interaction and Concurrency Experience 2013
SMArtOp: A Java library for distributing high-dimensional sparse-matrix arithmetic operations
Large-scale system development using Abstract Data Types and refinement
Modeling and performance analysis for security aspects
The semantics and execution of a synchronous block-diagram language
Linear Future Semantics and Its Implementation
Odyssey-SCM: An integrated software configuration management infrastructure for UML models
Guest editors' introduction to the 3rd issue of Experimental Software and Toolkits (EST): A special issue on Academic Software Development Tools and Techniques (WASDeTT 2008)
Erratum to "Compact and Efficient Strings for Java" [Science of Computer Programming 75 (2010) 1077-1094]
Structure and behavior preserving statecharts refinements
Preface: Special section on formal methods for industrial critical systems (Selected papers from FMICS'11)
Selected papers from the Brazilian Symposium on Formal Methods (SBMF 2017)
A use-case for behavioral programming: An architecture in JavaScript and Blockly for interactive applications with cross-cutting scenarios
Shapeliness analysis of functional programs with algebraic data types
A Larch Shared Language Handbook
Metamodeling semantics of multiple inheritance
Towards ubiquity in ambient intelligence: User-guided component mobility in the HI 3 architecture
Guided just-in-time specialization
The Design of Divide and Conquer Algorithms
Towards the practical mutation testing of AspectJ programs
Preface to the special issue on advances in software measurement
Performance-related ontologies and semantic web applications for on-line performance assessment of intelligent systems
A critical analysis of string APIs: The case of Pharo
Enabledness and termination in refinement algebra
Algebraic reasoning for object-oriented programming
How healthy are software engineering conferences?
Simulation refinement for concurrency verification
Statically safe program generation with SafeGen
Secure shared data-space coordination languages: A process algebraic survey
JPC: A library for categorising and applying inter-language conversions between Java and Prolog
Revisiting the Delta IC approach to component recovery
Abstract interpretation of microcontroller code: Intervals meet congruences
Functional Description of the Contextual Analysis in Block-Structured Programming Languages: A Sase Study of Tree Transducers
A Derivation of a Distributed Implementation of Warshall's Algorithm
Studying the commonalities, mappings and relationships between non-functional requirements using machine learning
Program logic for higher-order probabilistic programs in Isabelle/HOL
Automated evolution of feature logging statement levels using Git histories and degree of interest
Script: A Communication Abstraction Mechanism and Its Verification
Quantifying the similarity of non-bisimilar labelled transition systems
Roles in networks
Reasoning about real-time repetitions: terminating and nonterminating
A state/event-based model-checking approach for the analysis of abstract system properties
POSIX file store in Z/Eves: An experiment in the verified software repository
Special Issue on Selected Tools from the Tool Track of the 30th IEEE International Conference on Software Analysis, Evolution and Reengineering (SANER 2023 Tool Track)
Feedback services for stepwise exercises
A calculus of functional BSP programs
Towards lightweight checks for mass maintenance transformations
Hierarchical composition of industrial components
A modal specification theory for components with data
Model-driven engineering practices in industry: Social, organizational and managerial factors that lead to success or failure
Lightweight inference for automation efficiency
Topics in system administration
Parse views with Boolean grammars
Constructive polychronous systems
Validation of formal models by refinement animation
A type system for reflective program generators
Behavioral model identification and classification of multi-component systems
Incremental concrete syntax for embedded languages with support for separate compilation
CRAG - a combinatorial testing-based generator of road geometries for ADS testing
Theory and practice of unparsed patterns for metacompilation
Parallel program analysis and restructuring by detection of point-to-point interaction patterns and their transformation into collective communication constructs
The classification of greedy algorithms
Efficiently intertwining widening and narrowing
Quantitative aspects of outsourcing deals
Polymorphic computation systems: Theory and practice of confluence with call-by-value
A formal validation of the RBAC ANSI 2012 standard using B
Programming in a Wide Spectrum Language: A Collection of Examples
Object-oriented tree traversal with JJForester
An Algorithm for Transitive Reduction of an Acyclic Graph
Safe and infinite resource scheduling using energy timed automata
A review of code reviewer recommendation studies: Challenges and future directions
Message-Based Functional Operating Systems
KinZ an Azure Kinect toolkit for Python and Matlab
Static analysis by abstract interpretation against data leakage in machine learning
Programming interactions in collective adaptive systems by relying on attribute-based communication
A calculus of logical relations for over- and underapproximating static analyses
A Faster Solver for General Systems of Equations
Type soundness of functional languages with subtyping in Lang-n-Prove
Adequate Proof Principles for Invariance and Liveness Properties of Concurrent Programs
Selected papers from the Brazilian Symposium on Formal Methods (SBMF 2021)
BoundWarden: Thread-enforced spatial memory safety through compile-time transformations
Guest Editors' Remarks: Selected Papers of the Sixth International Workshop on Software Specification and Design
Small Programming Exercises 6
ModelSet: A labelled dataset of software models for machine learning
XML11 - an abstract windowing protocol
Formal methods for smart cards: an experience report
A theory of retractable and speculative contracts
Pre-synthesis of Petri nets based on prime cycles and distance paths
Umple: Model-driven development for open source and education
Modal characterisation of simulation relations in probabilistic concurrent games
The importance of business process modeling in software systems design
Adaptive selection of classifiers for bug prediction: A large-scale empirical analysis of its performances and a benchmark study
Efficient testing of GUI applications by event sequence reduction
Generalizing neural network verification to the family of piece-wise linear activation functions
Monadification of functional programs
Semi-automated architectural abstraction specifications for supporting software evolution
Inference of polynomial invariants for imperative programs: A farewell to Gröbner bases
The prevalence and severity of persistent ambiguity in software requirements specifications: Is a special effort needed to find them?
A calculational approach to reactive systems
Proof Rules for Fault Tolerant Distributed Programs
Measurement of key performance indicators of user experience based on software requirements
Exploring complex models with picto web
Tracing known security vulnerabilities in software repositories - A Semantic Web enabled modeling approach
Ontology-driven analysis of UML-based collaborative processes using OWL-DL and CPN
Fossil 2.0: Design, usage and impact of a software tool for verification and control of dynamical models
Selected and extended papers from Bytecode 2013
Combining traits with boxes and ownership types in a Java-like setting
Preface - Special Issue on selected and extended papers from FACS 2019
Towards a refinement algebra
XML stream transformer generation through program composition and dependency analysis
Abstract interpretation of programs as Markov decision processes
Matching MyType to subtyping
Mechanisms for naming - An algebraic approach with an application to Java
Vamos: Middleware for best-effort third-party monitoring
The logic of message-passing
Static Analysis Symposium 2003
An empirical study of FOSS developers patterns of contribution: Challenges for data linkage and analysis
"Slimming" a Java virtual machine by way of cold code removal and optimistic partial program loading
ESTEREL: a formal method applied to avionic software development
Model-based testing of asynchronously communicating distributed controllers using validated mappings to formal representations
A distributed logic for Networked Cyber-Physical Systems
A new taxonomy of sublinear right-to-left scanning keyword pattern matching algorithms
Introduction to the special issue on software analysis, evolution and reengineering
Synthesizing LTL contracts from component libraries using rich counterexamples
Program plan matching: experiments with a constraint-based approach
MulAD: A log-based anomaly detection approach for distributed systems using multi-pattern and multi-model fusion
Multi-core cyclic executives for safety-critical systems
Separate compilation of hierarchical real-time programs into linear-bounded Embedded Machine code
An empirical study of code clones: Density, entropy, and patterns
Refinement and verification in component-based model-driven design
On bounding space usage of streams using interpretation analysis
Implementing Specification Freedoms
State-cover testing for nondeterministic terminating concurrent programs with an infinite number of synchronization sequences
Reasoning About Continuous Systems
Views of queues
XPL: A language for modular homogeneous language embedding
A Systolic Design for Acceptors of Regular Languages
Mitigating the effects of equivalent mutants with mutant classification strategies
Formally proved specification of non-nested STL formulas as synchronous observers
REST4CEP: RESTful APIs for complex event processing
Partial Correctness: The Term-Wise Approach
Precise widening operators for convex polyhedra
Formal techniques in the safety analysis of software components of a new dialysis machine
Translating Alloy and extensions to classical B
A Hoare-Like Proof System for Analysing the Computation Time of Programs
Formalisations and applications of BPMN
A Structured Approach to Static Semantics Correctness
Time-symmetric Turing machines for computable involutions
Towards developing an actor-based immune system for smart homes
Composition for component-based modeling
Automated compositional Markov chain generation for a plain-old telephone system
Parallel Programming with Data Structures and Higher Order Functions
The Metrô Rio case study
An analysis of the coupling effect I: single test data
Peterson's Mutual Exclusion Algorithm Revisited
Computability and Implementability Issues in Abstract Data Types
Model checking C++ programs with exceptions
Formal analysis of feature degradation in fault-tolerant automotive systems
Automatic identification of extrinsic bug reports for just-in-time bug prediction
Brazilian Symposium on Programming Languages (SBLP 2010)
Rule-based peer-to-peer framework for decentralised real-time service oriented architectures
Compatibility checking for asynchronously communicating software
Improving data-intensive EDA performance with annotation-driven laziness
Software-intensive Systems-of-Systems
Security properties: two agents are sufficient
A tactic language for refinement of state-rich concurrent specifications
Assertion-based monitoring in practice - Checking correctness of an automotive sensor interface
Cost of ownership model for a CRM system
A mechanized semantics for component-based systems in the HAMR AADL runtime
Type-indexed data types
Introduction to the ABZ 2014 special issue
Inverse problems, constraint satisfaction, reversible logic, invertible logic and Grover quantum oracles for practical problems
Small Programming Exercises 5