On the public citation graph

ECOOP 2005 - Object-Oriented Programming: 19th European Conference, Glasgow, UK, July 25-29, 2005. Proceedings

https://doi.org/10.1007/11531142
0 signed · 153 inferred · view as graph

Inferred edges come from two machine sources: sweeps of open repository metadata (mostly SSRN and Zenodo), and a bulk OpenAlex citation snapshot. Every row below is labelled with the one it came from. Neither is a complete citation index — absence here is not evidence of absence.

Is this your work? Sign in with ORCID and put your name on the claims that are yours.
Claim with ORCID
Reference health. See whether every reference in this work resolves to a known work and none has been retracted — and get a dated CiteStamped badge you can embed.
See reference health

What points at this work

Incoming claims: where this work appears in other papers’ reference lists and arguments.

inferred← citeshttps://doi.org/10.1007/11547273_1openalex-snapshot
Patterns and Types for Querying XML Documents
inferred← citeshttps://doi.org/10.1007/11554578_5openalex-snapshot
Formal Methods for Smartcard Security
inferred← citeshttps://doi.org/10.1007/11560586_13openalex-snapshot
Error Mining for Regular Expression Patterns
inferred← citeshttps://doi.org/10.1007/11561163_11openalex-snapshot
Assertion-Based Encapsulation, Object Invariants and Simulations
inferred← citeshttps://doi.org/10.1007/11561347_10openalex-snapshot
FeatureC++: On the Symbiosis of Feature-Oriented and Aspect-Oriented Programming
inferred← citeshttps://doi.org/10.1007/11561347_11openalex-snapshot
Shadow Programming: Reasoning About Programs Using Lexical Join Point Information
inferred← citeshttps://doi.org/10.1007/11561347_2openalex-snapshot
abc: The AspectBench Compiler for AspectJ
inferred← citeshttps://doi.org/10.1007/11589976_20openalex-snapshot
Consistency Checking of Sequence Diagrams and Statechart Diagrams Using the π-Calculus
inferred← citeshttps://doi.org/10.1007/11663430_35openalex-snapshot
Preening: Reflection of Models in the Mirror a Meta-modelling Approach to Generate Reflective Middleware Configurations
inferred← citeshttps://doi.org/10.1007/11678779_14openalex-snapshot
Detecting Potential Deadlocks with Static Analysis and Run-Time Monitoring
inferred← citeshttps://doi.org/10.1007/11678779_9openalex-snapshot
An Extensible Open-Source Compiler Infrastructure for Testing
inferred← citeshttps://doi.org/10.1007/11687061_8openalex-snapshot
Design and Implementation of an Aspect Instantiation Mechanism
inferred← citeshttps://doi.org/10.1007/11766155_23openalex-snapshot
Allowing State Changes in Specifications
inferred← citeshttps://doi.org/10.1007/11786160_3openalex-snapshot
Making Specifications Complete Through Models
inferred← citeshttps://doi.org/10.1007/11808107_5openalex-snapshot
Scalable Programming Abstractions for XML Services
inferred← citeshttps://doi.org/10.1007/11821946_20openalex-snapshot
On the Integration of Classboxes into C#
inferred← citeshttps://doi.org/10.1007/11877028_1openalex-snapshot
A Tutorial on Feature Oriented Programming and the AHEAD Tool Suite
inferred← citeshttps://doi.org/10.1007/11877028_3openalex-snapshot
Program Transformation with Reflection and Aspect-Oriented Programming
inferred← citeshttps://doi.org/10.1007/11877028_6openalex-snapshot
Mappings Make Data Processing Go ’Round
inferred← citeshttps://doi.org/10.1007/11880240_12openalex-snapshot
Domain Models Are NOT Aspect Free
inferred← citeshttps://doi.org/10.1007/11916246_13openalex-snapshot
Rigorous Development of Fault-Tolerant Agent Systems
inferred← citeshttps://doi.org/10.1007/11922827_7openalex-snapshot
TOSKANA: A Toolkit for Operating System Kernel Aspects
inferred← citeshttps://doi.org/10.1007/11940197_2openalex-snapshot
Aspects for Trace Monitoring
inferred← citeshttps://doi.org/10.1007/978-3-319-00395-5_124openalex-snapshot
Multiple Levels in Self-adaptive Complex Systems: A State-Based Approach
inferred← citeshttps://doi.org/10.1007/978-3-319-02444-8_21openalex-snapshot
An Expressive Framework for Verifying Deadlock Freedom
inferred← citeshttps://doi.org/10.1007/978-3-319-04702-7_14openalex-snapshot
Two Types of Deadlock Detection: Cyclic and Acyclic
inferred← citeshttps://doi.org/10.1007/978-3-319-09156-3_2openalex-snapshot
An Approach for Unit Testing in OOP Based on Random Object Generation
inferred← citeshttps://doi.org/10.1007/978-3-319-11245-9_14openalex-snapshot
Unifying and Generalizing Relations in Role-Based Data Modeling and Navigation
inferred← citeshttps://doi.org/10.1007/978-3-319-11245-9_8openalex-snapshot
A Metamodel Family for Role-Based Modeling and Programming Languages
inferred← citeshttps://doi.org/10.1007/978-3-540-68073-4_34openalex-snapshot
Balancing Quantification and Obliviousness in the Design of Aspect-Oriented Frameworks
inferred← citeshttps://doi.org/10.1007/978-3-540-69149-5_13openalex-snapshot
Modular Reasoning in Object-Oriented Programming
inferred← citeshttps://doi.org/10.1007/978-3-540-69149-5_15openalex-snapshot
Lessons from the JML Project
inferred← citeshttps://doi.org/10.1007/978-3-540-69149-5_16openalex-snapshot
The Spec# Programming System: Challenges and Directions
inferred← citeshttps://doi.org/10.1007/978-3-540-69149-5_32openalex-snapshot
Eiffel as a Framework for Verification
inferred← citeshttps://doi.org/10.1007/978-3-540-69824-1_7openalex-snapshot
Guarded Program Transformations Using JTL
inferred← citeshttps://doi.org/10.1007/978-3-540-69824-1_8openalex-snapshot
A Multiparadigm Study of Crosscutting Modularity in Design Patterns
inferred← citeshttps://doi.org/10.1007/978-3-540-70592-5_10openalex-snapshot
Assessing the Impact of Aspects on Exception Flows: An Exploratory Study
inferred← citeshttps://doi.org/10.1007/978-3-540-70592-5_23openalex-snapshot
ReCrash: Making Software Failures Reproducible by Preserving Object States
inferred← citeshttps://doi.org/10.1007/978-3-540-70592-5_8openalex-snapshot
Ptolemy: A Language with Quantified, Typed Events
inferred← citeshttps://doi.org/10.1007/978-3-540-71289-3_32openalex-snapshot
Measuring and Characterizing Crosscutting in Aspect-Based Programs: Basic Metrics and Case Studies
inferred← citeshttps://doi.org/10.1007/978-3-540-71774-4_5openalex-snapshot
AOSD and Reflection: Benefits and Drawbacks to Software Evolution
inferred← citeshttps://doi.org/10.1007/978-3-540-71774-4_7openalex-snapshot
Program Analysis for Security and Privacy
inferred← citeshttps://doi.org/10.1007/978-3-540-72794-1_12openalex-snapshot
Combining Formal Methods and Aspects for Specifying and Enforcing Architectural Invariants
inferred← citeshttps://doi.org/10.1007/978-3-540-73551-9_3openalex-snapshot
Automated and Unanticipated Flexible Component Substitution
inferred← citeshttps://doi.org/10.1007/978-3-540-75162-5_7openalex-snapshot
Weaving Multiple Aspects in Sequence Diagrams
inferred← citeshttps://doi.org/10.1007/978-3-540-76786-2_6openalex-snapshot
Revealing the X/O Impedance Mismatch
inferred← citeshttps://doi.org/10.1007/978-3-540-77042-8_7openalex-snapshot
Safe and Sound Evolution with SONAR
inferred← citeshttps://doi.org/10.1007/978-3-540-77092-3_26openalex-snapshot
Palpability Support Demonstrated
inferred← citeshttps://doi.org/10.1007/978-3-540-77351-1_16openalex-snapshot
Aspect-Oriented Programming: Selecting and Exposing Object Paths
inferred← citeshttps://doi.org/10.1007/978-3-540-85373-2_5openalex-snapshot
XHaskell – Adding Regular Expression Types to Haskell
inferred← citeshttps://doi.org/10.1007/978-3-540-88643-3_3openalex-snapshot
.QL: Object-Oriented Queries Made Easy
inferred← citeshttps://doi.org/10.1007/978-3-540-89247-2_7openalex-snapshot
Deadlocks: From Exhibiting to Healing
inferred← citeshttps://doi.org/10.1007/978-3-540-89330-1_22openalex-snapshot
An Operational Semantics for JavaScript
inferred← citeshttps://doi.org/10.1007/978-3-642-00199-4_2openalex-snapshot
From Formal Access Control Policies to Runtime Enforcement Aspects
inferred← citeshttps://doi.org/10.1007/978-3-642-00590-9_9openalex-snapshot
An Interval-Based Inference of Variant Parametric Types
inferred← citeshttps://doi.org/10.1007/978-3-642-01702-5_8openalex-snapshot
A Meta Heuristic for Effectively Detecting Concurrency Errors
inferred← citeshttps://doi.org/10.1007/978-3-642-02047-6_6openalex-snapshot
Aspects, Dependencies and Interactions
inferred← citeshttps://doi.org/10.1007/978-3-642-02059-9_1openalex-snapshot
Application-Level Scheduling Using AOP
inferred← citeshttps://doi.org/10.1007/978-3-642-02144-2_7openalex-snapshot
An Extensible Aspect-Oriented Modeling Environment
inferred← citeshttps://doi.org/10.1007/978-3-642-02571-6_17openalex-snapshot
A Classification Framework for Pointcut Languages in Runtime Monitoring
inferred← citeshttps://doi.org/10.1007/978-3-642-02655-3_2openalex-snapshot
Putting Traits in Perspective
inferred← citeshttps://doi.org/10.1007/978-3-642-02655-3_3openalex-snapshot
Feature (De)composition in Functional Programming
inferred← citeshttps://doi.org/10.1007/978-3-642-02655-3_5openalex-snapshot
Language-Independent Quantification and Weaving for Feature Composition
inferred← citeshttps://doi.org/10.1007/978-3-642-03013-0_13openalex-snapshot
Modular Visitor Components
inferred← citeshttps://doi.org/10.1007/978-3-642-03013-0_26openalex-snapshot
EventJava: An Extension of Java for Event Correlation
inferred← citeshttps://doi.org/10.1007/978-3-642-03237-0_17openalex-snapshot
Type Analysis for JavaScript
inferred← citeshttps://doi.org/10.1007/978-3-642-03764-1_6openalex-snapshot
MATA: A Unified Approach for Composing UML Aspect Models Based on Graph Transformation
inferred← citeshttps://doi.org/10.1007/978-3-642-04444-1_31openalex-snapshot
Isolating JavaScript with Filters, Rewriting, and Wrappers
inferred← citeshttps://doi.org/10.1007/978-3-642-05201-9_3openalex-snapshot
Scala Roles: Reusable Object Collaborations in a Library
inferred← citeshttps://doi.org/10.1007/978-3-642-11512-7_12openalex-snapshot
Concurrent Objects à la Carte
inferred← citeshttps://doi.org/10.1007/978-3-642-11623-0_24openalex-snapshot
The Interplay between Relationships, Roles and Objects
inferred← citeshttps://doi.org/10.1007/978-3-642-11970-5_5openalex-snapshot
RATA: Rapid Atomic Type Analysis by Abstract Interpretation – Application to JavaScript Optimization
inferred← citeshttps://doi.org/10.1007/978-3-642-13414-2_4openalex-snapshot
A Calculus for Boxes and Traits in a Java-Like Setting
inferred← citeshttps://doi.org/10.1007/978-3-642-13977-2_8openalex-snapshot
DyGen: Automatic Generation of High-Coverage Tests via Mining Gigabytes of Dynamic Traces
inferred← citeshttps://doi.org/10.1007/978-3-642-14046-4_10openalex-snapshot
The .NET Primitives for Open, Dynamic and Reflective Component Frameworks
inferred← citeshttps://doi.org/10.1007/978-3-642-14819-4_5openalex-snapshot
Using Fault Screeners for Software Error Detection
inferred← citeshttps://doi.org/10.1007/978-3-642-15579-6_6openalex-snapshot
Delta-Oriented Programming of Software Product Lines
inferred← citeshttps://doi.org/10.1007/978-3-642-15585-7_7openalex-snapshot
Localizing Defects in Multithreaded Programs by Mining Dynamic Call Graphs
inferred← citeshttps://doi.org/10.1007/978-3-642-16086-8_10openalex-snapshot
Discovery of Stable Abstractions for Aspect-Oriented Composition in the Car Crash Management Domain
inferred← citeshttps://doi.org/10.1007/978-3-642-16612-9_4openalex-snapshot
Runtime Verification in Context: Can Optimizing Error Detection Improve Fault Diagnosis?
inferred← citeshttps://doi.org/10.1007/978-3-642-17164-2_15openalex-snapshot
Data Structure Fusion
inferred← citeshttps://doi.org/10.1007/978-3-642-19718-5_14openalex-snapshot
Typing Local Control and State Using Flow Analysis
inferred← citeshttps://doi.org/10.1007/978-3-642-19718-5_8openalex-snapshot
Type-Based Access Control in Data-Centric Systems
inferred← citeshttps://doi.org/10.1007/978-3-642-19835-9_8openalex-snapshot
Enforcing Structural Invariants Using Dynamic Frames
inferred← citeshttps://doi.org/10.1007/978-3-642-19861-8_8openalex-snapshot
Tainted Flow Analysis on e-SSA-Form Programs
inferred← citeshttps://doi.org/10.1007/978-3-642-20398-5_2openalex-snapshot
Specifications for Free
inferred← citeshttps://doi.org/10.1007/978-3-642-21464-6_14openalex-snapshot
Combining Static Analysis and Runtime Checking in Security Aspects for Distributed Tuple Spaces
inferred← citeshttps://doi.org/10.1007/978-3-642-22031-9_2openalex-snapshot
A System of Patterns for Reusable Aspect Libraries
inferred← citeshttps://doi.org/10.1007/978-3-642-22031-9_4openalex-snapshot
Tackling the Challenges of Integrating 3rd Party Software Using AspectJ
inferred← citeshttps://doi.org/10.1007/978-3-642-22045-6_5openalex-snapshot
A Sequence of Patterns for Reusable Aspect Libraries with Easy Configuration
inferred← citeshttps://doi.org/10.1007/978-3-642-22418-8_38openalex-snapshot
Test Case Generation Based on Program Invariant and Adaptive Random Algorithm
inferred← citeshttps://doi.org/10.1007/978-3-642-23391-3_4openalex-snapshot
Applying AspectJ to Solve Problems with Persistence Frameworks
inferred← citeshttps://doi.org/10.1007/978-3-642-25271-6_11openalex-snapshot
Variability Modelling in the ABS Language
inferred← citeshttps://doi.org/10.1007/978-3-642-25789-6_60openalex-snapshot
Finding Abnormal Behaviors of Object-Oriented Programs Based on Cumulative Analysis
inferred← citeshttps://doi.org/10.1007/978-3-642-27549-4_67openalex-snapshot
A Uniform Classification of Common Concurrency Errors
inferred← citeshttps://doi.org/10.1007/978-3-642-27705-4_4openalex-snapshot
The Location Linking Concept: A Basis for Verification of Code Using Pointers
inferred← citeshttps://doi.org/10.1007/978-3-642-29350-4_67openalex-snapshot
Software Modeling Language with Frames and Multi-abstractions: An Overview
inferred← citeshttps://doi.org/10.1007/978-3-642-29860-8_14openalex-snapshot
Coverage Metrics for Saturation-Based and Search-Based Testing of Concurrent Software
inferred← citeshttps://doi.org/10.1007/978-3-642-31057-7_24openalex-snapshot
Constraint-Based Refactoring with Foresight
inferred← citeshttps://doi.org/10.1007/978-3-642-31057-7_25openalex-snapshot
Magda: A New Language for Modularity
inferred← citeshttps://doi.org/10.1007/978-3-642-31063-8_22openalex-snapshot
Improving Unfamiliar Code with Unit Tests: An Empirical Investigation on Tool-Supported and Human-Based Testing
inferred← citeshttps://doi.org/10.1007/978-3-642-31753-8_9openalex-snapshot
Recovering Role-Based Access Control Security Models from Dynamic Web Applications
inferred← citeshttps://doi.org/10.1007/978-3-642-31759-0_5openalex-snapshot
Counterexample Explanation by Anomaly Detection
inferred← citeshttps://doi.org/10.1007/978-3-642-31762-0_5openalex-snapshot
Modelling Adaptable Distributed Object Oriented Systems Using the HATS Approach: A Fredhopper Case Study
inferred← citeshttps://doi.org/10.1007/978-3-642-33475-7_2openalex-snapshot
Static Single Information Form for Abstract Compilation
inferred← citeshttps://doi.org/10.1007/978-3-642-34026-0_15openalex-snapshot
Family-Based Analysis of Type Safety for Delta-Oriented Software Product Lines
inferred← citeshttps://doi.org/10.1007/978-3-642-35861-6_10openalex-snapshot
Xcd – Modular, Realizable Software Architectures
inferred← citeshttps://doi.org/10.1007/978-3-642-36757-1_1openalex-snapshot
Models ’67 Revisited
inferred← citeshttps://doi.org/10.1007/978-3-642-36946-9_12openalex-snapshot
State Based Encapsulation for Modular Reasoning about Behavior-Preserving Refactorings
inferred← citeshttps://doi.org/10.1007/978-3-642-36946-9_3openalex-snapshot
Ownership Types: A Survey
inferred← citeshttps://doi.org/10.1007/978-3-642-36946-9_4openalex-snapshot
Notions of Aliasing and Ownership
inferred← citeshttps://doi.org/10.1007/978-3-642-36964-3_5openalex-snapshot
Language Features for Software Evolution and Aspect-Oriented Interfaces: An Exploratory Study
inferred← citeshttps://doi.org/10.1007/978-3-642-37057-1_15openalex-snapshot
Andromeda: Accurate and Scalable Security Analysis of Web Applications
inferred← citeshttps://doi.org/10.1007/978-3-642-37057-1_17openalex-snapshot
Javanni: A Verifier for JavaScript
inferred← citeshttps://doi.org/10.1007/978-3-642-39038-8_2openalex-snapshot
Feature-Oriented Programming with Object Algebras
inferred← citeshttps://doi.org/10.1007/978-3-642-39614-4_4openalex-snapshot
Method Shells: Avoiding Conflicts on Destructive Class Extensions by Implicit Context Switches
inferred← citeshttps://doi.org/10.1007/978-3-642-41366-7_21openalex-snapshot
Towards OntoUML for Software Engineering: From Domain Ontology to Implementation Model
inferred← citeshttps://doi.org/10.1007/978-3-642-54092-9_7openalex-snapshot
Comparing Two Class Composition Approaches
inferred← citeshttps://doi.org/10.1007/978-3-642-54108-7_3openalex-snapshot
Effect Analysis for Programs with Callbacks
inferred← citeshttps://doi.org/10.1007/978-3-642-55099-7_5openalex-snapshot
Effective Aspects: A Typed Monadic Embedding of Pointcuts and Advice
inferred← citeshttps://doi.org/10.1007/978-3-642-55099-7_7openalex-snapshot
Towards Reactive Programming for Object-Oriented Applications
inferred← citeshttps://doi.org/10.1007/978-3-642-55285-4_9openalex-snapshot
Frame-Based Models of Communities and Their History
inferred← citeshttps://doi.org/10.1007/978-3-662-44202-9_11openalex-snapshot
Understanding TypeScript
inferred← citeshttps://doi.org/10.1007/978-3-662-44471-9_16openalex-snapshot
Event-Based Modularization of Reactive Systems
inferred← citeshttps://doi.org/10.1007/978-3-662-45234-9_21openalex-snapshot
Delta-Trait Programming of Software Product Lines
inferred← citeshttps://doi.org/10.1016/j.cl.2007.05.004openalex-snapshot
Application-specific models and pointcuts using a logic metalanguage
inferred← citeshttps://doi.org/10.1016/j.infsof.2015.01.003openalex-snapshot
Performance comparison of query-based techniques for anti-pattern detection
inferred← citeshttps://doi.org/10.1016/j.infsof.2016.01.012openalex-snapshot
Maintenance of automated test suites in industry: An empirical study on Visual GUI Testing
inferred← citeshttps://doi.org/10.1016/j.jss.2019.110450openalex-snapshot
A survey on the use of access permission-based specifications for program verification
inferred← citeshttps://doi.org/10.1016/j.jss.2023.111669openalex-snapshot
An annotation-based approach for finding bugs in neural network programs
inferred← citeshttps://doi.org/10.1016/j.knosys.2019.05.013openalex-snapshot
Rule-based program specialization to optimize gradually typed code
inferred← citeshttps://doi.org/10.1016/j.scico.2011.10.010openalex-snapshot
Aspects preserving properties
inferred← citeshttps://doi.org/10.1016/j.scico.2013.11.010openalex-snapshot
Source-code queries with graph databases—with application to programming language usage and evolution
inferred← citeshttps://doi.org/10.1109/acsd.2006.4openalex-snapshot
Concurrency in Distributed Systems under Autonomous and Enforced Actions
inferred← citeshttps://doi.org/10.1136/amiajnl-2013-001990openalex-snapshot
A highly scalable, interoperable clinical decision support service
inferred← citeshttps://doi.org/10.1145/1052898.1052906openalex-snapshot
abc
inferred← citeshttps://doi.org/10.1145/1218563.1218577openalex-snapshot
Open bisimulation for aspects
inferred← citeshttps://doi.org/10.1145/1509239.1509251openalex-snapshot
Domain-driven discovery of stable abstractions for pointcut interfaces
inferred← citeshttps://doi.org/10.1145/3696630.3728567openalex-snapshot
Quantifying the benefits of code hints for refactoring deprecated Java APIs
inferred← citeshttps://doi.org/10.1145/3771544openalex-snapshot
RunTyper: Enhancing Deep Type Inference Using Dynamic Analysis for Python
inferred← citeshttps://doi.org/10.1186/s40411-018-0056-2openalex-snapshot
Challenges on applying genetic improvement in JavaScript using a high-performance computer
inferred← citeshttps://doi.org/10.17760/d20653005openalex-snapshot
Predicting typeScript type annotations and definitions with machine learning
inferred← citeshttps://doi.org/10.21941/kcss/2021/7openalex-snapshot
Tagungsband zum 21. Kolloquium Programmiersprachen und Grundlagen der Programmierung
inferred← citeshttps://doi.org/10.22152/programming-journal.org/2019/3/13openalex-snapshot
Semantic Query Integration With Reason
inferred← citeshttps://doi.org/10.3390/app16147170openalex-snapshot
Test-Free Fault Localization Through Deep Source Code Analysis Using Encoder-Based Language Models
inferred← citeshttps://doi.org/10.5555/1762828.1762831openalex-snapshot
Modeling features in aspect-based product lines with use case slices: an exploratory case study
inferred← citeshttps://doi.org/10.5555/2022090.2022095openalex-snapshot
Providing context-aware adaptations based on a semantic model
inferred← citeshttps://doi.org/10.5555/2394758.2394776openalex-snapshot
Non-null references by default in java: alleviating the nullity annotation burden
inferred← citeshttps://doi.org/10.5555/2394758.2394781openalex-snapshot
A relational model of object collaborations and its use in reasoning about relationships
inferred← citeshttps://doi.org/10.5555/2394758.2394784openalex-snapshot
Metaprogramming with traits
inferred← citeshttps://doi.org/10.5555/2394758.2394788openalex-snapshot
Assuring object-oriented architecture
inferred← citeshttps://doi.org/10.5555/2394758.2394791openalex-snapshot
Joinpoint inference from behavioral specification to implementation
inferred← citeshttps://doi.org/10.5555/2394758.2394792openalex-snapshot
A machine model for aspect-oriented programming
Editorial review for independent work. ICSAC — the Institute for Complexity Science and Advanced Computing — runs a structured editorial panel for researchers publishing outside journals, and publishes on CiteStamp rails. Submission is free and goes through ORCID: icsacinstitute.org/submit.