yusuke1997/dblp-id-title huggingface dataset:
The Parma Polyhedra Library: Toward a complete set of numerical abstractions for the analysis and verification of hardware and software systems
Typestate verification: Abstraction techniques and complexity results
Confining data and processes in global computing applications
A Transformation-Based Optimiser for Haskell
Describing data flow analysis techniques with Kleene algebra
Towards mechanized correctness proofs for cryptographic algorithms: Axiomatization of a probabilistic Hoare style logic
A large-scale empirical exploration on refactoring activities in open source software projects
REVEUR-3: The Implementation of a General Completion Procedure Parameterized by Built-in Theories and Strategies
Advances in Dynamic Languages
SCJ-Circus : Specification and refinement of Safety-Critical Java programs
Three-valued bounded model checking with cause-guided abstraction refinement
Predicate abstraction in a program logic calculus
Developing mode-rich satellite software by refinement in Event-B
A domain-independent process for automatic ontology population from text
A method to identify overfitting program repair patches based on expression tree
Modeling and Verifying Active Structural Control Systems
An empirical study to evaluate the impact of mindfulness on helpdesk employees
Introduction to Set Constraint-Based Program Analysis
A personal tribute to Steve Barker
"Bidirectionalization for free" for monomorphic transformations
Foreword: Concurrent Constraint Programming
A fully abstract trace-based semantics for reasoning about backward compatibility of class libraries
Formally verified architectural patterns of hybrid systems using proof and refinement with Event-B
Modelling digital avatars: A tuple space approach
Power Domain Constructions
Deadlock and starvation free reentrant readers-writers: A case study combining model checking with theorem proving
Preface to the special issue on reverse engineering (featuring selected papers from WCRE 2009)
JP2: Call-site aware calling context profiling for the Java Virtual Machine
Using visualization for architectural localization and extraction
A toolchain for domestic heat-pump control using Uppaal Stratego
Foreword (Special Issue on Mathematics of Program Construction)
A technique for automatic component extraction from object-oriented programs by refactoring
Program Inversion: More than Fun!
Distributed Mutual Exclusion on a Ring of Processes
A graph mining approach for detecting identical design structures in object-oriented design models
Simpl DSL toolkit
A rule-based system for automatic decidability and combinability
Signature required: Making Simulink data flow and interfaces explicit
Software variability management
Automated test generation for IEC 61131-3 ST programs via dynamic symbolic execution
Code clone classification based on multi-dimension feature entropy
A semi-automatic system to evaluate the performance and scalability of ontology persistent APIs
"Adore", a logical meta-model supporting business process evolution
Order-sorted equality enrichments modulo axioms
Characterizing navigation maps for web applications with the NMM approach
Abstract machines for Open Call-by-Value
Small Programming Exercises 2
Reasoning about almost-certain convergence properties using Event-B
On checking delta-oriented product lines of statecharts
Towards a systematic approach to manual annotation of code smells
Managing facts and resources with the Pica IDE infrastructure library
Unifying semantic foundations for automated verification tools in Isabelle/UTP
Automated generation of program translation and verification tools using annotated grammars
Polynomial approximations of the relational semantics of imperativeprograms
The octahedron abstract domain
A modular specification of Oberon0 using the Silver attribute grammar system
Special issue on the Fifth International Workshop of the ERCIM Working Group on Formal Methods for Industrial Critical Systems, Berlin, April 3-4, 2000 - Selected papers
Mutual exclusion by four shared bits with not more than quadratic complexity
Full-abstraction for client testing preorders
Explaining Type Inference
Silver: An extensible attribute grammar system
WebDraw: A machine learning-driven tool for automatic website prototyping
FAMILIAR: A domain-specific language for large scale management of feature models
Verified synthesis of optimal safety controllers for human-robot collaboration
Refactoring code-first Web Services for early avoiding WSDL anti-patterns: Approach and comprehensive assessment
Justifications of the Structural Synthesis of Programs
Listener latency profiling: Measuring the perceptible performance of interactive Java applications
Beyond connected cars: A systems of systems perspective
Coccinelle: Tool support for automated CERT C Secure Coding Standard certification
Modeling component connectors in Reo by constraint automata
Slicing of probabilistic programs based on specifications
Static composition of refactorings
Special issue: International Conference on Formal Engineering Methods - ICFEM 2009
SAT-solving in CSP trace refinement
ARV-ALA: Improving performance of software transactional memory through adaptive read and write policies
Efficient safety checking for automotive operating systems using property-based slicing and constraint-based environment generation
Unifying frameworks for complete test strategies
Teaching language processing with the PAMOJA framework
Preface - FTSCS 2019
Verifying cyber attack properties
A model-driven process for the modernization of component-based systems
Asynchronous system synthesis
EMF-IncQuery: An integrated development environment for live model queries
System and software solution-oriented architectures
Changing system interfaces consistently: A new refinement strategy for CSP||B
Towards a Design Calculus for CSP
A generic topology library
Leaf Trees
Mercury: Using the QuPreSS reference model to evaluate predictive services
Programming errors in traversal programs over structured data
AspectMaps: Extending Moose to visualize AOP software
Workshop on Advances in Knowledge Extraction and Re-engineering of Software (selected and extended papers from WAKERS 2017)
A feature-oriented model-driven engineering approach for the early validation of feature-based applications
Eliminating dead code on recursive data
Customizing an XML-Haskell data binding with type isomorphism inference in Generic Haskell
Automatic Construction of CSP Programs from Sequential Non-Deterministic Programs
Abstract acceleration in linear relation analysis
Software project management tools in practice in IT industry of Bangladesh
Smart contract vulnerability detection using wide and deep neural network
The Claim Tool Kit for ad hoc recognition of peer entities
High-fidelity C/C++ code transformation
Selected and extended papers from FACS 2016
Reconciling run-time evolution and resource-constrained embedded systems through a component-based development framework
An optimal cut-off algorithm for parameterised refinement checking
Supporting software evolution in component-based FOSS systems
Undulant-Block Elimination and Integer-Preserving Matrix Inversion
CrossFuzz: Cross-contract fuzzing for smart contract vulnerability detection
A logic for information flow analysis with an application to forward slicing of simple imperative programs
A model-integrated authoring environment for privacy policies
Behavioural inheritance in the UML to model software product lines
Graph Transformation for Specification and Programming
Visualizing the runtime behavior of embedded network systems: A toolkit for TinyOS
The Discrete Time TOOLBUS - A Software Coordination Architecture
Context-aware reconfiguration in evolving software product lines
HBSniff: A static analysis tool for Java Hibernate object-relational mapping code smell detection
TerGEC: A graph enhanced contrastive approach for program termination analysis
Managing the evolution of a software architecture at minimal cost under performance and reliability constraints
Modelling angelic and demonic nondeterminism with multirelations
Completeness of fair ASM refinement
Software engineering beyond our planning horizon: automation for computer-based systems
Featured games
A rewriting logic approach to the formal specification and verification of web applications
Decomposition of Distributed Programs into Communication-Closed Layers
Preface for the special issue on tool papers of the 23rd International Conference on Coordination Models and Languages, COORDINATION 2021
A formal framework capturing real-time and stochastic behavior in connectors
A dependently typed calculus with polymorphic subtyping
Disnix: A toolset for distributed deployment
Procedures, parameters, and abstraction: Separate concerns
System components of a general theory of software engineering
Composing atomic features
Symmetry reduction for time Petri net state classes
A selective dynamic compiler for embedded Java virtual machines targeting ARM processors
Quantifying the interpretation overhead of Python
Two Small Parallel Programming Exercises
Small Programming Exercises 12
An Alternative for the Implementation of Kruskal's Minimal Spanning Tree Algorithm
Aspect-oriented model-driven skeleton code generation: A graph-based transformation approach
Industrial applications of the PetriDotNet modelling and analysis tool
Parametric ontologies in formal software engineering
Pattern-based circular reference detection in Python
Supervisory control theory with Alloy
Synthesizing and optimizing FDIR recovery strategies from fault trees
ASTENS-BWA: Searching partial syntactic similar regions between source code fragments via AST-based encoded sequence alignment
Periodic scheduling for MARTE/CCSL: Theory and practice
Formal semantics and efficient analysis of Timed Rebeca in Real-Time Maude
Preface to Formal Coordination and Self-organisation: Special section including selected best papers from CM 2012-2013
A formal approach to modeling and verification of business process collaborations
Bridging the gap between information architecture analysis and software engineering in interactive web application development
Denotational and operational semantics for interaction languages: Application to trace analysis
Sound refactorings
Balanced Trees with Removals: An Exercise in Rewriting and Proof
Towards behavioral programming in distributed architectures
Stark: A tool for the analysis of CPSs robustness
How do program understanding tools affect how programmers understand programs?
Reinforcing the applicability of multi-model environments for software process improvement using knowledge management
Comparison and evaluation of code clone detection techniques and tools: A qualitative approach
Abstract program slicing on dependence condition graphs
Projected control graph for computing relevant program behaviors
Distributed Coordination with MESSENGERS
Strider: a black-box, state-based approach to change and configuration management and support
An automated tool for semantic accessing to formal software models
Hippocratic binary instrumentation: First do no harm
Medicine-by-wire: Practical considerations on formal techniques for dependable medical systems
Dynamic creation of source code models for the extraction of code metrics data through grammar querying
Selected and extended papers from SBLP 2013
Extracting and Implementing List Homomorphisms in Parallel Program Development
Semantics and scoping of aspects in higher-order languages
An object-aware memory architecture
QaSD: A Quality-aware Strategic Dashboard for supporting decision makers in Agile Software Development
Institution-based foundations for verification in the context of model-driven engineering
A hierarchy of communication models for Message Sequence Charts
Detecting duplicate vulnerability records across databases
Applying graph-based knowledge representation to capture insights from discussions forum in software engineering
A symbolic model checking approach to verifying satellite onboard software
Distributed Sorting
Web Technologies: Selected & extended papers from WT ACM SAC 2012
Exact and sufficient schedulability tests for adaptive weakly-hard real-time mixed-criticality systems
A conceptual model and technological support for organizational knowledge management
Hierarchical featured state machines
Cost analysis for a resource sensitive workflow modelling language
Enriching single-user web applications non-invasively with shared editing support
Programming with C++ concepts
System and software architectures
An experimental evaluation of self-managing availability in shared data spaces
Adaptation impact and environment models for architecture-based self-adaptive systems
XPi: A typed process calculus for XML messaging
Banana Algebra: Compositional syntactic language extension
Modular language implementation in Rascal - experience report
IOCL: An interactive tool for specifying, validating and evaluating OCL constraints
Reducing operational costs through MIPS management
Formal Specification of a Display-Oriented Text Editor
Non-functional requirements in model-driven development of service-oriented architectures
Self-organized sorting of heterotypic agents via a chemotaxis paradigm
Generating error traces from verification-condition counterexamples
Preface: Functional and Logic Programming (FLOPS 2016)
AATT+: Effectively manifesting concurrency bugs in Android apps
Model-driven standardization of public authority data interchange
Authentification and Delegation with Smart-Cards
Assessing the coverage of W-based conformance testing methods over code faults
The laws of programming unify process calculi
Specify and measure, cover and reveal: A unified framework for automated test generation
Modeling the Java Bytecode Verifier
Model-based testing for building reliable realtime interactive music systems
OCLVerifer: Automated verification of OCL contracts in requirements models
Towards a framework for reliable performance evaluation in defect prediction
Adjoint folds and unfolds - An extended study
Symbolic state space reduction with guarded terms for rewriting modulo SMT
Mutation at the multi-class and system levels
Semantic mutation testing
Compiling and Optimizing Methods for the Functional Language ASL/F
Relation Partition Algebra - Mathematical Aspects of Uses and Part-Of Relations
Specification and verification of synchronization with condition variables
Reliability prediction for component-based software systems: Dealing with concurrent and propagating errors
A new modular implementation for stateful traits
A challenge for atomicity verification
A Correctness Proof of Sorting by Means of Formal Procedures
Revisiting occurrence typing
SeByte: Scalable clone and similarity search for bytecode
Lessons learned from applying model-driven engineering in 5 domains: The success story of the MontiGem generator framework
TR-Fuzz: A syntax valid tool for fuzzing C compilers
Supporting streams of changes during branch integration
An Inconsistency in Procedures, Parameters, and Substitution in the Refinement Calculus
An open implementation for context-oriented layer composition in ContextJS
iGnnVD: A novel software vulnerability detection model based on integrated graph neural networks
Special issue on model transformation
Using conditional trace slicing for improving Maude programs
Encoding TLA + into unsorted and many-sorted first-order logic
A model-extraction approach to verifying concurrent C programs with CADP
Asynchronous unfold/fold transformation for fixpoint logic
Hermes: A reversible language for lightweight encryption
Architectural modifications to deployed software
Finding Repeated Elements
Ensuring portability of Linux applications through standardization and knowledge base driven analysis
Automated testing of an industrial stock market trading platform based on functional specification
On OCL-based imperative languages
The TXL source transformation language
A New Error Repair and Recovery Scheme for Lexical and Syntactic Analysis
Review: Performance Modeling with Deterministic and Stochastic Petri Nets - Christoph Lindemann, Wiley-Interscience Series in Systems and Optimization, Wiley, New York, 1998, 405 pages, ISBN 0-471-97646-6
A hybrid approach for resource-based comparison of adaptable Java applications
Recovering management information from source code
Preface Formal Techniques for Safety-Critical Systems (FTSCS 2022)
Formal Aspects of Component Software (FACS 2010 selected and extended papers)
Neighborhood contrastive learning-based graph neural network for bug triaging
Dissolving a half century old problem about the implementation of procedures
An Example of Sequentialization of a Parallel Algorithm
Application of static analyses for state-space reduction to the microcontroller binary code
Semantic tuple centres
Safe instantiation in Generic Java
Using service grammar to diagnose BGP configuration errors
Differential Logic Programs: Programming Methodologies and Semantics
Queue based mutual exclusion with linearly bounded overtaking
CSP-based counter abstraction for systems with node identifiers
Sound and complete timed CTL model checking of timed Kripke structures and real-time rewrite theories
Small Programming Exercises 15
Quantifying IT estimation risks
A Methodology for Programming with Concurrency: An Informal Presentation
Special Issue on Software Health of Software Ecosystems
Preface for the special issue of the 6th Brazilian Symposium on Computing System Engineering (SBESC 2016)
Linear-Time Hierarchies for a Functional Language Machine Model
FTS4VMC: A front-end tool for static analysis and family-based model checking of FTSs with VMC
Concepts and realization of a diagram editor generator based on hypergraph transformation
Infinitary relations and their representation
Preface to the Special Issue on Foundations of Coordination Languages and Self-Adaptive Systems (Foclasa 2018)
Abstract Behavior Types: a foundation model for components and their composition
Formalisation and implementation of an algorithm for bytecode verification of @NonNull types
Termination analysis for GPU kernels
Synthesizing safe policies under probabilistic constraints with reinforcement learning and Bayesian model checking
Enhancing decision-making for software architects: selecting appropriate architectural patterns based on quality attribute requirements
A nearest-neighbor divide-and-conquer approach for adaptive random testing
Invariant assertions, invariant relations, and invariant functions
A type-sound calculus of computational fields
To use or not to use the goto statement: Programming styles viewed from Hoare Logic
Abstract interpretation based verification of logic programs
ConSpec - A formal language for policy specification
Verifying safety of neural networks from topological perspectives
What does AI need to know to drive: Testing relevance of knowledge
An empirical comparative evaluation of gestUI to include gesture-based interaction in user interfaces
TraitRecordJ: A programming language with traits and records
Irish: A Hidden Markov Model to detect coded information islands in free text
Special issue on the 5th international workshop on foundations of coordination languages and software architectures (FOCLASA'06)
Method safety mechanism for asynchronous layer deactivation
Pitfalls of formality in early system design
Modular invariants for layered object structures
Stable, flexible, peephole pretty-printing
A survey of grammatical inference in software engineering
Design and verification of long-running transactions in a timed framework
Component algebra
Application of fuzzy Delphi technique to identify analytical lenses for determining the preparation of free and open source software projects for user experience maturity
TABASCO: A transformer based contextualization toolkit
A general framework for blaming in component-based systems
A framework for assume-guarantee regression verification of evolving software
A two-step approach for pattern-based API-call constraint checking
Preface for the Special Issue on Tools and Demonstrations in Model-Driven Engineering
Diagnosing and correcting design inconsistencies in source code with logical abduction
Correct composition in the presence of behavioural conflicts and dephasing
Improvements in a call-by-need functional core language: Common subexpression elimination and resource preserving translations
Symbolic analysis and parameter synthesis for networks of parametric timed automata with global variables using Maude and SMT solving
A Fixed-Space Program of Linear Output Complexity for the Problem of the Three Vessels
Code motion in the presence of critical edges without bidirectional data flow analysis
Wodel-Edu: A tool for the generation and evaluation of diagram-based exercises
Special issue on the Programming Languages track at the 24th ACM Symposium on Applied Computing
Predicting issue types on GitHub
The I²C-Bus in Discrete-Time Process Algebra
Performance modeling and analysis of software architectures: An aspect-oriented UML based approach
A semantic and methodological essence of message sequence charts
A basis for compositionally ensuring safety properties and its connection to relational algebraic operators
Using capabilities for strict runtime invariant checking
Modelling concurrent objects running on the TSO and ARMv8 memory models
A Python framework for programming autonomous robots using a declarative approach
An architecture for modular grading and feedback generation for complex exercises
Top-Down Design and the Algebra of Communicating Processes
Special issue on Source code analysis and manipulation
Mechanising a formal model of flash memory
A Word of Welcome
Design and evaluation of C++ open multi-methods
A graphical editor for the SMUIML multimodal user interaction description language
Bottom-Up Tree Acceptors
MacroSwarm: A scala framework for swarm programming
Behavioural and Abstractor Specifications
BSP abstract state machines capture bulk synchronous parallel computations
Tracing sharing in an imperative pure calculus
Mining quantified temporal rules: Formalism, algorithms, and evaluation
State space reduction based on live variables analysis
Contexts, refinement and determinism
Foreword: Selected Papers of TACS 1991
Open source verification in an anonymous volunteer network
Proofs and pedagogy; science and systems: The grammar tool box
Lean formalization of bounded grids and computable cellular automata defined thereover
Parallel parameter synthesis algorithm for hybrid CTL
Small Programming Exercises 17
Monolithic and modular termination analyses for higher-order attribute grammars
Abstract interpretation of mobile ambients
Showing Programs on a Screen
Offer semantics: Achieving compositionality, flattening and full expressiveness for the glue operators in BIP
IPFS requested content location service
A new decomposition-based method for detecting attractors in synchronous Boolean networks
Special issue on foundations of aspect-oriented programming
Preface for SCP special issue on Principles and Practice of Declarative Programming
Automatic Binding Time Analysis for a Typed lambda-Calculus
ACSmt: A plugin for eclipse papyrus to model systems of systems
Translation certification for smart contracts
Voice activated command and control with speech recognition over WiFi
A Methodology for Programming with Concurrency: The Formalism
The algorithmics of solitaire-like games
Efficient static checker for tainted variable attacks
Understanding stack overflow code quality: A recommendation of caution
Combinations of abstract domains for logic programming: open product and generic pattern construction
Wait-Free Algorithms for Fast, Long-Lived Renaming
A tag contract framework for modeling heterogeneous systems
CtxFuzz: Discovering heap-based memory vulnerabilities through context heap operation sequence guided fuzzing
How to Make Algebraic Specifications More Understandable: An Experiment with the PLUSS Specification Language
Formal specification and verification of TCP extended with the Window Scale Option
Bisimilarity of open terms in stream GSOS
Developing Reactive Systems in a VDM Framework
The Daikon system for dynamic detection of likely invariants
Deductive verification of active objects with Crowbar
Theory and applications of inverting functions as folds
Causal program dependence analysis