yusuke1997/dblp-id-title huggingface dataset:
Fundamental Approaches to Software Engineering, 1st Internationsl Conference, FASE'98, Held as Part of the European Joint Conferences on the Theory and Practice of Software, ETAPS'98, Lisbon, Portugal, March 28 - April 4, 1998, Proceedings
A Clustering-Based Approach for Tracing Object-Oriented Design to Requirement
Generating Large EMF Models Efficiently - A Rule-Based, Configurable Approach
Seamless Testing for Models and Code
Slicing from Formal Semantics: Chisel
Self-adaptive Software with Decentralised Control Loops
Automatically Identifying Sufficient Object Builders from Module APIs
Iterative Generation of Diverse Models for Testing Specifications of DSL Tools
SMT-Based Checking of SOLOIST over Sparse Traces
Towards a Distributed Modeling Process Based on Composite Models
Compositional Analysis of Probabilistic Timed Graph Transformation Systems
Abstract Family-Based Model Checking Using Modal Featured Transition Systems: Preservation of CTL\(^{\star }\)
Proving Consistency and Completeness of Model Classes Using Theory Interpretation
Reusing Model Transformations Through Typing Requirements Models
Reduction of Test Suites Using Mutation
Model Generation by Moderated Regular Extrapolation
A Mechanized Model for CAN Protocols
On Extracting Feature Models from Sets of Valid Feature Combinations
Probabilistic Model Checking and Non-standard Multi-objective Reasoning
Automating Decisions in Component Composition Based on Propagation of Requirements
Confluence in Domain-Independent Product Line Transformations
Rewriting Logic Semantics and Verification of Model Transformations
Automated Learning of Probabilistic Assumptions for Compositional Reasoning
Java Program Verification via a Hoare Logic with Abrupt Termination
A Real-Time Execution Semantics for UML Activity Diagrams
Tracing Your Maintenance Work - A Cross-Project Validation of an Automated Classification Dictionary for Commit Messages
On the Detection of Doped Software by Falsification
Integrating Topological Proofs with Model Checking to Instrument Iterative Design
Understanding Local Robustness of Deep Neural Networks under Natural Variations
Why the Virtual Nature of Software Makes It Ideal for Search Based Optimization
HOL-OCL: A Formal Proof Environment for UML/OCL
Kaveri: Delivering the Indus Java Program Slicer to Eclipse
Flow-Augmented Call Graph: A New Foundation for Taming API Complexity
A Graph-Based Approach to Transform XML Documents
Fundamentals of Debugging Using a Resolution Calculus
Fundamental Approaches to Software Engineering, 12th International Conference, FASE 2009, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2009, York, UK, March 22-29, 2009. Proceedings
Language-Theoretic Abstraction Refinement
OpenSAW: Open Security Analysis Workbench
Trace-Based Memory Aliasing Across Program Versions
Loose Programming with PROPHETS
On the Effectiveness of Bug Predictors with Procedural Systems: A Quantitative Study
Integrated State Space Reduction for Model Checking Executable Object-Oriented Software System Designs
Stochastic Timed Graph Transformation Systems
Uniform Monte-Carlo Model Checking
Hybrid Session Verification Through Endpoint API Generation
Mind the Gap! Automated Anomaly Detection for Potentially Unbounded Cardinality-Based Feature Models
SNIFF: A Search Engine for Java Using Free-Form Queries
PEQtest: Testing Functional Equivalence
CoVeriTest: Cooperative Verifier-Based Testing
Better Slicing of Programs with Jumps and Switches
A Logical Basis for the Specification of Reconfigurable Component-Based Systems
Reducing the Costs of Bounded-Exhaustive Testing
Detecting Implied Scenarios Analyzing Non-local Branching Choices
DeepCRCEval: Revisiting the Evaluation of Code Review Comment Generation
Automatic Generation of Tutorial Systems from Development Specification
Statistical Model Checking of e-Motions Domain-Specific Modeling Languages
Dynamic Package Interfaces
An Iterative Decision-Making Scheme for Markov Decision Processes and Its Application to Self-adaptive Systems
Integration Testing of Software Product Lines Using Compositional Symbolic Execution
Are Popular Classes More Defect Prone?
Formal Architectural Patterns for Adaptive Robotic Software
Fundamental Approaches to Software Engineering, 9th International Conference, FASE 2006, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2006, Vienna, Austria, March 27-28, 2006, Proceedings
An Empirical Study of the Impact of Asynchronous Discussions on Remote Synchronous Requirements Meetings
Model-Driven Techniques to Enhance Architectural Languages Interoperability
Integration of Formal Datatypes within State Diagrams
RoboScene: Notation for Formal Verification of Human-Robot Interaction
Iterative Circular Coinduction for CoCasl in Isabelle/HOL
Argus: Online Statistical Bug Detection
Change and Delay Contracts for Hybrid System Component Verification
Modeling and Abstraction of Memory Management in a Hypervisor
Cut Branches Before Looking for Bugs: Sound Verification on Relaxed Slices
Formal Foundation for Pattern-Based Modelling
Discovering Branching Conditions from Business Process Execution Logs
Semantic Quality Attributes for Big-Step Modelling Languages
Synchronous Modeling and Validation of Priority Inheritance Schedulers
Analyzing Conflicts and Dependencies of Rule-Based Transformations in Henshin
Navigation Expresion in Object-Oriented Modelling
Using Explicit State to Describe Architechtures
Fundamental Approaches to Software Engineering, 11th International Conference, FASE 2008, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2008, Budapest, Hungary, March 29-April 6, 2008. Proceedings
Automated Workarounds from Java Program Specifications Based on SAT Solving
Preliminary Design of BML: A Behavioral Interface Specification Language for Java Bytecode
Problem-Oriented Documentation of Design Patterns
Compositional Verification of Reactive Systems Specified by Graph Transformation
Explicit-State Software Model Checking Based on CEGAR and Interpolation
Clint: A Composition Language Interpreter (Tool Paper)
PVAIR: Partial Variable Assignment InterpolatoR
Continuous Engineering of Information and Communication Infrastructures (Extended Abstract)
Incremental Service Composition Based on Partial Matching of Visual Contracts
Fundamental Approaches to Software Engineering - 20th International Conference, FASE 2017, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Uppsala, Sweden, April 22-29, 2017, Proceedings
COMP-REF: A Technique to Guide the Delegation of Responsibilities to Components in Software Systems
Pipa: A Behavioral Interface Specification Language for AspectJ
A Model-Based Synthesis Process for Choreography Realizability Enforcement
Family-Based Model Checking with mCRL2
Operation-Based, Fine-Grained Version Control Model for Tree-Based Representation
Applying RT-Z to Develop Safety-Critical Systems
Consistent Adaptation and Evolution of Class Diagrams during Refinement
Flexible and Extensible Notations for Modeling Languages
An Approach to Software Evolution Based on Semantic Change
Smart Issue Detection for Large-Scale Online Service Systems Using Multi-Channel Data
Observational Purity and Encapsulation
Filtering TOBIAS Combinatorial Test Suites
Engineering Modelling Languages: A Precise Meta-Modelling Approach
Modelling Parametric Contracts and the State Space of Composite Components by Graph Grammars
A Software Implementation Progress Model
Towards a Theory on the Role of Ontologies in Software Engineering Problem Solving
Statistical Model Checking for Variability-Intensive Systems
Implementing SOS with Active Objects: A Case Study of a Multicore Memory System
Enhancing Remote Method Invocation through Type-Based Static Analysis
CADS*: Computer-Aided Development of Self-* Systems
Refinement Verification of OS Services based on a Verified Preemptive Microkernel
Formal Approach to Integrating Feature and Architecture Models
DaGen: A Tool for Automatic Translation from DAML-S to High-Level Petri Nets
Leveraging Patterns on Domain Models to Improve UML Profile Definition
Formal Specification and Analysis of Timing Properties in Software Systems
A Technique to Represent and Generate Components in MDA/PIM for Automation
Holistic Specifications for Robust Programs
Hierarchical Specification and Verification of Architectural Design Patterns
A Modeling Concept for Formal Verification of OS-Based Compositional Software
A Variability-Based Approach to Reusable and Efficient Model Transformations
Mining the Categorized Software Repositories to Improve the Analysis of Security Vulnerabilities
A Spatio-Temporal Logic for the Specification and Refinement of Mobile Systems
Maintaining Life Perspectives During the Refinement of UML Class Structures
Object Flow Definition for Refined Activity Diagrams
Towards Development of Secure Systems Using UMLsec
Fine Slicing - Theory and Applications for Computation Extraction
Certification of Smart-Card Applications in Common Criteria
JAG: JML Annotation Generation for Verifying Temporal Properties
Verification of Architectural Refactorings by Rule Extraction
TracerX: Pruning Dynamic Symbolic Execution with Deletion and Weakest Precondition Interpolation (Competition Contribution)
Towards Faithful Model Extraction Based on Contexts
CafeInMaude: A CafeOBJ Interpreter in Maude
Coverage Criteria for Testing of Object Interactions in Sequence Diagrams
An Overall System Design Approach Doing Object-Oriented Modeling to Code-Generation for Embedded Electronic Systems
Distributed Safety Controllers for Web Services
The Pervasiveness of Global Data in Evolving Software Systems
HAVE: Detecting Atomicity Violations via Integrated Dynamic and Static Analysis
Software Assurance in an Uncertain World
Optimising Communication Structure for Model Checking
Automated Formal Analysis of Networks: FDR Models of Arbitrary Topologies and Flow-Control Mechanisms
Structuring and Design of Reactive Systems Using RSDS and B
CoVeriTest with Adaptive Time Scheduling (Competition Contribution)
A Toolbox for Automating Visual Software Engineering
Esterel v7: From Verified Formal Specification to Efficient Industrial Designs
Verification of Definite Iteration over Hierarchical Data Structures
Xere: Towards a Natural Interoperability between XML and ER Diagrams
Model-Based Testing of Probabilistic Systems
Distributed Graph Queries for Runtime Monitoring of Cyber-Physical Systems
Improving Use Case Based Requirements Using Formally Grounded Specifications
Analyzing Non-functional Properties of Mobile Agents
Automatic Flow Analysis for Event-B
The Coordination Development Environment
On the Evolution of Reactive Components: A Process-Algebraic Approach
Specification and Analysis of the AER/NCA Active Network Protocol Suite in Real-Time Maude
Model-Based Formal Reasoning about Data-Management Applications
Family-Based Modeling and Analysis for Probabilistic Systems - Featuring ProFeat
Analyzing Software Updates: Should You Build a Dynamic Updating Infrastructure?
Where the Truth Lies: AOP and Its Impact on Software Modularity
Fundamental Approaches to Software Engineering - 18th International Conference, FASE 2015, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2015, London, UK, April 11-18, 2015. Proceedings
Comprehending Object State via Dynamic Class Invariant Learning
Regular Inference for State Machines with Parameters
Schema Compliant Consistency Management via Triple Graph Grammars and Integer Linear Programming
Variability Abstraction and Refinement for Game-Based Lifted Model Checking of Full CTL
The SynchAADL2Maude Tool
Symbolic Model Generation for Graph Properties
Type-Safe Evolution of Spreadsheets
Compositional Automata Learning of Synchronous Systems
Fundamental Approaches to Software Engineering, 6th International Conference, FASE 2003, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2003, Warsaw, Poland, April 7-11, 2003, Proceedings
Owicki/Gries in Isabelle/HOL
Modelling Recursive Calls with UML State Diagrams
Schedule Insensitivity Reduction
Offline Delta-Driven Model Transformation with Dependency Injection
LLVM-based Hybrid Fuzzing with LibKluzzer (Competition Contribution)
Inquiry and Introspection for Non-deterministic Queries in Mobile Networks
A Formal Approach to Event-Based Architectures
A Tool-Assisted Framework for Certified Bytecode Verification
Data Flow Coverage for Circus-Based Testing
Modular Analysis of Dataflow Process Networks
Inter-model Consistency Checking Using Triple Graph Grammars and Linear Optimization Techniques
A Formal Way from Text to Code Templates
A Category-Theoretical Approach to the Formalisation of Version Control in MDE
Systematic Testing of Software Architectures in the C2 Style
VerChor: A Framework for Verifying Choreographies
Finding Environment Guarantees
Specifying Embedded Systems with Staecharts and Z: An Agenda for Cyclic Software Components
Yet Another Real-Time Specification for the Steam Boiler: Local Clocks to Statically Measure Systems Performance
Causal-Consistent Reversible Debugging
Data-Oriented Characterization of Application-Level Energy Optimization
Declared Type Generalization Checker: An Eclipse Plug-In for Systematic Programming with More General Types
Modularizing Early Architectural Assumptions in Scenario-Based Requirements
Revisiting Semantics of Interactions for Trace Validity Analysis
JavaBIP meets VerCors: Towards the Safety of Concurrent Software Systems in Java
Algorithmic Analysis of Blockchain Efficiency with Communication Delay
Integrating Meta-modelling Aspects with Graph Transformation for Efficient Visual Language Definition and Model Manipulation
Contextual Integration Testing of Classes
Augmenting UML Models for Composition Conflict Analysis
Verifying a Verifier: On the Formal Correctness of an LTS Transformation Verification Technique
ACoRe: Automated Goal-Conflict Resolution
Advances in Automatic Software Testing: Test-Comp 2025
Information-flow Interfaces
Augmenting Sequence Enumeration with String-Rewriting for Requirements Analysis and Behavioral Specification
A Hoare Calculus for Verifying Java Realizations of OCL-Constrained Design Models
Improving the Build Architecture of Legacy C/C++ Software Systems
Automated Driver Generation for Analysis of Web Applications
Formal Specification of Trusted Execution Environment APIs
Extreme Programming: A Humanistic Discipline of Software Development
Demonstration of an Operational Procedure for the Model-Based Testing of CTI Systems
Rigorous Development in UML
Scenario-Driven Dynamic Analysis of Distributed Architectures
What's in a Feature: A Requirements Engineering Perspective
Some Mistakes I Have and What I Have Learned from Them
Iterative and Incremental Model Generation by Logic Solvers
: Designing a Scalable Build Process
Model-Based Tool Support for Service Design
Fundamental Approaches to Software Engineering - 15th International Conference, FASE 2012, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2012, Tallinn, Estonia, March 24 - April 1, 2012. Proceedings
Automated Systematic Testing of Open Distributed Programs
A CSP View on UML-RT Structure Diagrams
Model Checking Büchi Pushdown Systems
Combining Partial Specifications using Alternating Interface Automata
Recursive Checkonly QVT-R Transformations with General when and where Clauses via the Modal Mu Calculus
Democratizing Quality-Based Machine Learning Development through Extended Feature Models
Status Report on Software Testing: Test-Comp 2021
A Grey-Box Approach for Automated GUI-Model Generation of Mobile Applications
Effects of Program Representation on Pointer Analyses - An Empirical Study
Prove your Colorings: Formal Verification of Cache Coloring of Bao Hypervisor
Efficient Bounded Model Checking of Heap-Manipulating Programs using Tight Field Bounds
Review of Gamified MOOC's Impact Toward Learner's Motivation in Learning Effectiveness Context
Training Medical Communication Skills with Virtual Patients: Literature Review and Directions for Future Research
Discovering the European Heritage Through the ChiKho Educational Web Game
Real-time gesture recognition based on motion quality analysis
MuMail - A Simple Multimedia Email Client
Towards Mimicry Recognition during Human Interactions: Automatic Feature Selection and Representation
AmbientBrowser: Web Browser for Everyday Enrichment
Introducing a Videogame Project in a Mobile Software Development Academic Course
Web and TV Seamlessly Interlinked: LinkedTV
Exploring User-Defined Gestures and Voice Commands to Control an Unmanned Aerial Vehicle
Exploring the User Interaction with a Multimodal Web-Based Video Annotator
A Comparison of Hosting Techniques for Online Cybersecurity Competitions
Swinxsbee: A Shared Interactive Play Object to Stimulate Children's Social Play Behaviour and Physical Exercise
AR Sound Sandbox: A Playful Interface for Musical and Artistic Expression
Sensors for the senses: Meaning-making via self-active entertainment experiences
Steady State Visual Evoked Potential Based Computer Gaming - The Maze
An Invisible Line: Remote Communication Using Expressive Behavior
Stylistic Walk Synthesis Based on Fourier Decomposition
Immersion in Movement-Based Interaction
Realtime Expressive Movement Detection Using the EyesWeb XMI Platform
Affect and Semantic Interpretation of Virtual Drama
eXtended Reality (XR) Experiences in Museums for Cultural Heritage: A Systematic Review
360-MAM-Affect: Sentiment analysis with the Google prediction API and EmoSenticNet
Content Adaptation for Gradual Web Rendering
AREDAPPS: Mobile Augmented Reality Development and Learning Framework Based on Augmented Reality Technology for Engineering Drawing Course
GrainSynth: A Generative Synthesis Tool Based on Spatial Interpretations of Sound Samples
A preliminary study of a hybrid user interface for augmented reality applications
Notification mechanisms in second-screen scenarios towards a balanced user experience
Validating the Proposed Framework for Visualising Music Mood Using Visual Texture
KinectBalls: An Interactive Tool for Ball Throwing Games
Learning Using Augmented Reality Technology: Multiple Means of Interaction for Teaching Children the Theory of Colours
Mona Prisa: A Tool for Behaviour Change in Renewable Energy Communities
A Prototype Application of StickAR to Enhance Note-Taking Activity by Using Augmented Reality Technology
Advancing Multi-actor Graph Convolutions for Skeleton-Based Action Recognition
G: RASS - Experiencing a City Through an Artist's Eyes
A Brief Overview on the Evolution of Drawing Machines
Intelligent Technologies for Interactive Entertainment - 13th EAI International Conference, INTETAIN 2021, Virtual Event, December 3-4, 2021, Proceedings
Play with Me! Gender-Typed Social Play Behavior Analysis in Interactive Tag Games
MAGEFACE: Performative Conversion of Facial Characteristics into Speech Synthesis Parameters
Hidden Markov Models Implementation for Tangible Interfaces
Webcrow: A Web-Based Crosswords Solver
An Ethical Code for Commercial VR/AR Applications
Predicting Shot Success for Table Tennis Using Video Analysis and Machine Learning
CrossCult: Empowering reuse of digital cultural heritage in context-aware CrossCults of European history
About Experience and Emergence - A Framework for Decentralized Interactive Play Environments
Visualizing Rembrandt - An Artist's Data Visualization
Accuracy Study of a Real-Time Hybrid Sound Source Localization Algorithm
Deep Learning Based Video Compression
Interactive Network Installation
LUCIA: An Open Source 3D Expressive Avatar for Multimodal h.m.i
Navigating a Maze with Balance Board and Wiimote
Bass Impact DJ Studio - A Music Mixing Software with Gesture Controls
A Preliminary Evaluation of a Computer Vision-Based System to Detect Effects of Aromatherapy During High School Classes via Movement Analysis
Disjunctor Selection for One-Line Jokes
Interactive Play Objects: The Influence of Multimodal Output on Open-Ended Play
An Intelligent Instructional Tool for Puppeteering in Virtual Shadow Puppet Play
Augmenting traditional playground games to enhance game experience
Playable one-switch video games for children with severe motor disabilities based on GNomon
Understanding the Foundations and Devices in Humour to Determine Practical Design Methods for Systems That Create and/or Detect Humour in Video Games, Robots and other Forms of Artificial Intelligence
A Design Approach to Decentralized Interactive Environments
Interactive Art Therapy for Mental Health Using Microsoft Kinect
The Effect of Gender, Native English Speaking, and Age on Game Genre Preference and Gaming Motivations
Exploring Children's Use of a Remotely Controlled Surfacebot Character for Storytelling
A Serious Game for Learning Social Networking Literacy by Flaming Experiences
COMPASS2008: Multimodal, Multilingual and Crosslingual Interaction for Mobile Tourist Guide Applications
Interacting with a Virtual Rap Dancer
Brain-Computer Interfaces: Proposal of a Paradigm to Increase Output Commands
3D Head Pose Estimation for TV Setups
Tagsocratic: Learning Shared Concepts on the Blogosphere
A Novel Approach to 3D Storyboarding
Monitoring Interactions
Analysis of Average Hand-Drawing and Its Application
On Trusting a Cyber Librarian: How Rethinking Underlying Data Storage Infrastructure Can Mitigate Risksof Automation
project SENSE - Multimodal Simulation with Full-Body Real-Time Verbal and Nonverbal Interactions
Enabling Augmented Sense-Making (and Pure Experience) with Wearable Technology
Towards Environments That Have a Sense of Humor
Intelligent Technologies for Interactive Entertainment - 5th International ICST Conference, INTETAIN 2013, Mons, Belgium, July 3-5, 2013, Revised Selected Papers
Detection and Prevention of Bullying on Online Social Networks: The Combination of Textual, Visual and Cognitive
Mood Swings: An Affective Interactive Art System
Creativity in the CPND
Impact of Games on People: A Comprehensive Review
Getting the Story Right: Making Computer-Generated Stories More Entertaining
Enjoyment as Gamified Experience for Informal Learning in Virtual Reality
Developing an augmented reality racing game
Fools, Tricksters and Jokers: Categorization of Humor in Gameplay
Automatic and Interactive Key Posture Design by Combing the PIK with Parametric Posture Splicing
INSIDE: Intuitive Sonic Interaction Design for Education and Entertainment
Reaper Tournament System
Cooperative Tetris: The Influence of Social Exertion Gaming on Game Experience and Social Presence
Increasing Accessibility of Online Board Games to Visually Impaired People via Machine Learning and Textual/Audio Feedback: The Case of "Quantik"
Report on a Museum Tour Report
Measuring Affective, Physiological and Behavioural Differences in Solo, Competitive and Collaborative Games
Exploiting reverse correlation for the generation of virtual characters from personality traits
Designing Collaborative Games for Children Education on Sustainable Development
Drawings as Input for Handheld Game Computers
EGT: Enriched Guitar Transcription
Phase-based gesture motion parametrization and transitions for conversational agents with MPML3D
Designing Serious Games for the Mitigation of the Impact of Massive Shootings in a Mexican Environment
A Machine Learning Approach to Detect Violent Behaviour from Video
Supporting Group Reflection in a Virtual Role-Playing Environment
Collaborative Choreography: A Critical Inquiry into Designing Creative Interactive Systems
Social Interaction in a Cooperative Brain-Computer Interface Game
Single Value Devices
Intelligent Technologies for Interactive Entertainment - 14th EAI International Conference, INTETAIN 2023, Lucca, Italy, November 27, 2023, Proceedings
A Kinect-Based Natural Interface for Quadrotor Control
Federated Parking Flow Prediction Method Based on Blockchain and IPFS
Interacting with Emotional Virtual Agents
Beyond the beat: modelling intentions in a virtual conductor
User loyalty and online communities: why members of online communities are not faithful
A multimodal dataset for the analysis of movement qualities in karate martial art