Mira Mezini

Proceedings of the 21st IEEE International Working Conference on Source Code Analysis and Manipulation, 2021

Impact of programming languages on machine learning bugs.

[BibT_eX]

[DOI]

Sebastian Sztwiertnia

Proceedings of the AISTA 2021: Proceedings of the 1st ACM International Workshop on AI and Software Testing/Analysis, 2021

NerdBug: automated bug detection in neural networks.

[BibT_eX]

[DOI]

Foad Jafarinejad

Krishna Narasimhan

Proceedings of the AISTA 2021: Proceedings of the 1st ACM International Workshop on AI and Software Testing/Analysis, 2021

Modeling Civilian Mobility in Large-Scale Disasters.

[BibT_eX]

[DOI]

Proceedings of the 18th International Conference on Information Systems for Crisis Response and Management, 2021

Python Crypto Misuses in the Wild.

[BibT_eX]

[DOI]

Anna-Katharina Wickert

Lars Baumgärtner

Florian Breitfelder

Dermot Frederik Pustelnik

Proceedings of the ESEM '21: ACM / IEEE International Symposium on Empirical Software Engineering and Measurement, 2021

Dealing with Variability in API Misuse Specification.

[BibT_eX]

[DOI]

Proceedings of the 35th European Conference on Object-Oriented Programming, 2021

2020

Evaluation Results for Modular Collaborative Program Analysis in OPAL.

[BibT_eX]

[DOI]

Dataset, August, 2020

Artifact for Modular Collaborative Program Analysis in OPAL.

[BibT_eX]

[DOI]

Dataset, June, 2020

Mind the GAP: Security & Privacy Risks of Contact Tracing Apps.

[BibT_eX]

[DOI]

CoRR, 2020

Uncovering the Hidden Dangers: Finding Unsafe Go Code in the Wild.

[BibT_eX]

[DOI]

Johannes Lauinger

Lars Baumgärtner

Anna-Katharina Wickert

Dermot Frederik Pustelnik

Proceedings of the 19th IEEE International Conference on Trust, 2020

Mind the GAP: Security & Privacy Risks of Contact Tracing Apps.

[BibT_eX]

[DOI]

Proceedings of the 19th IEEE International Conference on Trust, 2020

Modular collaborative program analysis in OPAL.

[BibT_eX]

[DOI]

Proceedings of the ESEC/FSE '20: 28th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering, 2020

Investigating Next Steps in Static API-Misuse Detection.

[BibT_eX]

[DOI]

Proceedings of the Software Engineering 2020, 2020

TACAI: an intermediate representation based on abstract interpretation.

[BibT_eX]

[DOI]

Proceedings of the 9th ACM SIGPLAN International Workshop on the State Of the Art in Program Analysis, 2020

A programming model for semi-implicit parallelization of static analyses.

[BibT_eX]

[DOI]

Proceedings of the ISSTA '20: 29th ACM SIGSOFT International Symposium on Software Testing and Analysis, 2020

LoRAgent: A DTN-based Location-aware Communication System using LoRa.

[BibT_eX]

[DOI]

Proceedings of the IEEE Global Humanitarian Technology Conference, 2020

Hidden in Plain Sight: Obfuscated Strings Threatening Your Privacy.

[BibT_eX]

[DOI]

Proceedings of the ASIA CCS '20: The 15th ACM Asia Conference on Computer and Communications Security, 2020

2019

A Systematic Evaluation of Static API-Misuse Detectors.

[BibT_eX]

[DOI]

IEEE Trans. Software Eng., 2019

Comprehensive Multiparty Session Types.

[BibT_eX]

[DOI]

Art Sci. Eng. Program., 2019

Language-integrated privacy-aware distributed queries.

[BibT_eX]

[DOI]

Proc. ACM Program. Lang., 2019

A fault-tolerant programming model for distributed interactive applications.

[BibT_eX]

[DOI]

Proc. ACM Program. Lang., 2019

Type-safe, Polyvariadic Event Correlation.

[BibT_eX]

[DOI]

CoRR, 2019

Optimizing Data Plane Programs for the Network.

[BibT_eX]

[DOI]

Proceedings of the ACM SIGCOMM 2019 Workshop on Networking and Programming Languages, 2019

A Unified Lattice Model and Framework for Purity Analyses.

[BibT_eX]

[DOI]

Proceedings of the Software Engineering and Software Management, 2019

Language support for multiple privacy enhancing technologies.

[BibT_eX]

[DOI]

Aditya Oak

Proceedings of the Conference Companion of the 3rd International Conference on Art, 2019

GRASS: generic reactive application-specific scheduling.

[BibT_eX]

[DOI]

Proceedings of the 6th ACM SIGPLAN International Workshop on Reactive and Event-Based Languages and Systems, 2019

A dataset of parametric cryptographic misuses.

[BibT_eX]

[DOI]

Anna-Katharina Wickert

Proceedings of the 16th International Conference on Mining Software Repositories, 2019

Judge: identifying, understanding, and evaluating sources of unsoundness in call graphs.

[BibT_eX]

[DOI]

Proceedings of the 28th ACM SIGSOFT International Symposium on Software Testing and Analysis, 2019

Smart Street Lights and Mobile Citizen Apps for Resilient Communication in a Digital City.

[BibT_eX]

[DOI]

Proceedings of the IEEE Global Humanitarian Technology Conference, 2019

How to Avoid Making a Billion-Dollar Mistake: Type-Safe Data Plane Programming with SafeP4.

[BibT_eX]

[DOI]

Proceedings of the 33rd European Conference on Object-Oriented Programming, 2019

Online Reprogrammable Multi Tenant Switches.

[BibT_eX]

[DOI]

Proceedings of the 1st ACM CoNEXT Workshop on Emerging in-Network Computing Paradigms, 2019

DTN7: An Open-Source Disruption-Tolerant Networking Implementation of Bundle Protocol 7.

[BibT_eX]

[DOI]

Proceedings of the Ad-Hoc, Mobile, and Wireless Networks, 2019

2018

Cooperative decoupled processes.

[BibT_eX]

[DOI]

Softw. Qual. J., 2018

Exploration of language specifications by compilation to first-order logic.

[BibT_eX]

[DOI]

Sci. Comput. Program., 2018

Thread-safe reactive programming.

[BibT_eX]

[DOI]

Proc. ACM Program. Lang., 2018

Versatile event correlation with algebraic effects.

[BibT_eX]

[DOI]

Proc. ACM Program. Lang., 2018

CrySL: An Extensible Approach to Validating the Correct Usage of Cryptographic APIs (Artifact).

[BibT_eX]

[DOI]

Dagstuhl Artifacts Ser., 2018

Call Graph Construction for Java Libraries.

[BibT_eX]

[DOI]

Michael Reif

Proceedings of the Software Engineering und Software Management 2018, 2018

CodeMatch.

[BibT_eX]

[DOI]

Proceedings of the Software Engineering und Software Management 2018, 2018

Reactive programming experience with REScala.

[BibT_eX]

[DOI]

Ragnar Mogk

Proceedings of the Conference Companion of the 2nd International Conference on Art, 2018

Towards safe modular composition of network functions.

[BibT_eX]

[DOI]

Matthias Eichholz

Proceedings of the Conference Companion of the 2nd International Conference on Art, 2018

System Description: An Infrastructure for Combining Domain Knowledge with Automated Theorem Provers.

[BibT_eX]

[DOI]

Proceedings of the 20th International Symposium on Principles and Practice of Declarative Programming, 2018

Incremental overload resolution in object-oriented programming languages.

[BibT_eX]

[DOI]

Proceedings of the Companion Proceedings for the ISSTA/ECOOP 2018 Workshops, 2018

Systematic evaluation of the unsoundness of call graph construction algorithms for Java.

[BibT_eX]

[DOI]

Proceedings of the Companion Proceedings for the ISSTA/ECOOP 2018 Workshops, 2018

Lattice based modularization of static analyses.

[BibT_eX]

[DOI]

Proceedings of the Companion Proceedings for the ISSTA/ECOOP 2018 Workshops, 2018

Investigating Order Information in API-Usage Patterns: A Benchmark and Empirical Study.

[BibT_eX]

[DOI]

Proceedings of the 13th International Conference on Software Technologies, 2018

On the Impact of Order Information in API Usage Patterns.

[BibT_eX]

[DOI]

Ervina Çergani

Proceedings of the Software Technologies - 13th International Conference, 2018

Fault-tolerant Distributed Reactive Programming.

[BibT_eX]

[DOI]

Proceedings of the 32nd European Conference on Object-Oriented Programming, 2018

Multimodal Complex Event Processing on Mobile Devices.

[BibT_eX]

[DOI]

Proceedings of the 12th ACM International Conference on Distributed and Event-based Systems, 2018

Opportunistic named functions in disruption-tolerant emergency networks.

[BibT_eX]

[DOI]

Proceedings of the 15th ACM International Conference on Computing Frontiers, 2018

2017

On the Positive Effect of Reactive Programming on Software Comprehension: An Empirical Study.

[BibT_eX]

[DOI]

IEEE Trans. Software Eng., 2017

A Systematic Evaluation of API-Misuse Detectors.

[BibT_eX]

[DOI]

CoRR, 2017

CrySL: Validating Correct Usage of Cryptographic APIs.

[BibT_eX]

[DOI]

CoRR, 2017

A Co-contextual Type Checker for Featherweight Java (incl. Proofs).

[BibT_eX]

[DOI]

CoRR, 2017

Enriching in-IDE process information with fine-grained source code history.

[BibT_eX]

[DOI]

Proceedings of the IEEE 24th International Conference on Software Analysis, 2017

Hardening Java's Access Control by Abolishing Implicit Privilege Elevation.

[BibT_eX]

[DOI]

Proceedings of the 2017 IEEE Symposium on Security and Privacy, 2017

CodeMatch: obfuscation won't conceal your repackaged app.

[BibT_eX]

[DOI]

Proceedings of the 2017 11th Joint Meeting on Foundations of Software Engineering, 2017

"Jumping Through Hoops": Why do Java Developers Struggle With Cryptography APIs?

[BibT_eX]

[DOI]

Proceedings of the Software Engineering 2017, 2017

Hermes: assessment and creation of effective test corpora.

[BibT_eX]

[DOI]

Proceedings of the 6th ACM SIGPLAN International Workshop on State Of the Art in Program Analysis, 2017

DTN-RPC: Remote procedure calls for disruption-tolerant networking.

[BibT_eX]

[DOI]

Proceedings of the 2017 IFIP Networking Conference, 2017

CogniCrypt: supporting developers in using cryptography.

[BibT_eX]

[DOI]

Proceedings of the 32nd IEEE/ACM International Conference on Automated Software Engineering, 2017

A Co-contextual Type Checker for Featherweight Java .

[BibT_eX]

[DOI]

Proceedings of the 31st European Conference on Object-Oriented Programming, 2017

2016

CPL: A Core Language for Cloud Computing - Technical Report.

[BibT_eX]

[DOI]

CoRR, 2016

A Study of Visual Studio Usage in Practice.

[BibT_eX]

[DOI]

Proceedings of the IEEE 23rd International Conference on Software Analysis, 2016

Call graph construction for Java libraries.

[BibT_eX]

[DOI]

Proceedings of the 24th ACM SIGSOFT International Symposium on Foundations of Software Engineering, 2016

Addressing scalability in API method call analytics.

[BibT_eX]

[DOI]

Proceedings of the 2nd International Workshop on Software Analytics, 2016

An empirical study on program comprehension with reactive programming.

[BibT_eX]

[DOI]

Proceedings of the Software Engineering 2016, 2016

Getting to know you: towards a capability model for Java.

[BibT_eX]

[DOI]

Proceedings of the Software Engineering 2016, 2016

Hidden Truths in Dead Software Paths.

[BibT_eX]

[DOI]

Proceedings of the Software Engineering 2016, 2016

SecureScala: Scala embedding of secure computations.

[BibT_eX]

[DOI]

Proceedings of the 7th ACM SIGPLAN Symposium on Scala, 2016

Exploration of language specifications by compilation to first-order logic.

[BibT_eX]

[DOI]

Proceedings of the 18th International Symposium on Principles and Practice of Declarative Programming, 2016

A dataset of simplified syntax trees for C#.

[BibT_eX]

[DOI]

Proceedings of the 13th International Conference on Mining Software Repositories, 2016

MUBench: a benchmark for API-misuse detectors.

[BibT_eX]

[DOI]

Proceedings of the 13th International Conference on Mining Software Repositories, 2016

Evaluating the evaluations of code recommender systems: a reality check.

[BibT_eX]

[DOI]

Proceedings of the 31st IEEE/ACM International Conference on Automated Software Engineering, 2016

Debugging reactive programming with reactive inspector.

[BibT_eX]

[DOI]

Proceedings of the 38th International Conference on Software Engineering, 2016

Debugging for reactive programming.

[BibT_eX]

[DOI]

Proceedings of the 38th International Conference on Software Engineering, 2016

Automating Proof Steps of Progress Proofs: Comparing Vampire and Dafny.

[BibT_eX]

[DOI]

Sylvia Grewe

Proceedings of the Vampire@IJCAR 2016. Proceedings of the 3rd Vampire Workshop, 2016

CPL: a core language for cloud computing.

[BibT_eX]

[DOI]

Proceedings of the 15th International Conference on Modularity, 2016

Cooperative decoupled processes: the e-calculus and linearity.

[BibT_eX]

[DOI]

Andi Bejleri

Patrick Eugster

Proceedings of the 15th International Conference on Modularity, 2016

2015

Intelligent Code Completion with Bayesian Networks.

[BibT_eX]

[DOI]

Sebastian Proksch

Johannes Lerch

ACM Trans. Softw. Eng. Methodol., 2015

Abmash: mashing up legacy Web applications by automated imitation of human actions.

[BibT_eX]

[DOI]

Alper Ortac

Softw. Pract. Exp., 2015

Toward incremental type checking for Java.

[BibT_eX]

[DOI]

Edlira Kuci

Proceedings of the Companion Proceedings of the 2015 ACM SIGPLAN International Conference on Systems, 2015

Type systems for the masses: deriving soundness proofs and efficient checkers.

[BibT_eX]

[DOI]

Proceedings of the 2015 ACM International Symposium on New Ideas, 2015

A co-contextual formulation of type rules and its application to incremental type checking.

[BibT_eX]

[DOI]

Proceedings of the 2015 ACM SIGPLAN International Conference on Object-Oriented Programming, 2015

Towards secure integration of cryptographic software.

[BibT_eX]

[DOI]

Proceedings of the 2015 ACM International Symposium on New Ideas, 2015

Access-Path Abstraction: Scaling Field-Sensitive Data-Flow Analysis with Unbounded Access Paths (T).

[BibT_eX]

[DOI]

Proceedings of the 30th IEEE/ACM International Conference on Automated Software Engineering, 2015

Using Vampire in Soundness Proofs of Type Systems.

[BibT_eX]

[DOI]

Sylvia Grewe

Proceedings of the 1st and 2nd Vampire Workshops, Vampire@VSL 2014, 2015

2014

Programming with Implicit Flows.

[BibT_eX]

[DOI]

Patrick Eugster

IEEE Softw., 2014

JP2: Call-site aware calling context profiling for the Java Virtual Machine.

[BibT_eX]

[DOI]

Sci. Comput. Program., 2014

FlowTwist: efficient context-sensitive inside-out taint analysis for large codebases.

[BibT_eX]

[DOI]

Proceedings of the 22nd ACM SIGSOFT International Symposium on Foundations of Software Engineering, (FSE-22), Hong Kong, China, November 16, 2014

SPLLIFT - Statically Analyzing Software Product Lines in Minutes Instead of Years.

[BibT_eX]

[DOI]

Proceedings of the Software Engineering 2014, Fachtagung des GI-Fachbereichs Softwaretechnik, 25. Februar, 2014

i3QL: language-integrated live data views.

[BibT_eX]

[DOI]

Proceedings of the 2014 ACM International Conference on Object Oriented Programming Systems Languages & Applications, 2014

Distributed REScala: an update algorithm for distributed reactive programming.

[BibT_eX]

[DOI]

Proceedings of the 2014 ACM International Conference on Object Oriented Programming Systems Languages & Applications, 2014

Towards standardized evaluation of developer-assistance tools.

[BibT_eX]

[DOI]

Sebastian Proksch

Sven Amann

Proceedings of the 4th International Workshop on Recommendation Systems for Software Engineering, 2014

Method-call recommendations from implicit developer feedback.

[BibT_eX]

[DOI]

Sven Amann

Sebastian Proksch

Proceedings of the 1st International Workshop on CrowdSourcing in Software Engineering, 2014

Weaving Aspects and Business Processes through Model Transformation.

[BibT_eX]

[DOI]

Heiko Witteborg

Daniel Colomer Collell

Proceedings of the Service-Oriented and Cloud Computing - Third European Conference, 2014

Towards virtual traits in Scala.

[BibT_eX]

[DOI]

Proceedings of the Fifth Annual Scala Workshop, 2014

REScala: bridging between object-oriented and functional style in reactive applications.

[BibT_eX]

[DOI]

Gerold Hintz

Proceedings of the 13th International Conference on Modularity, 2014

JEScala: modular coordination with declarative events and joins.

[BibT_eX]

[DOI]

Jurgen Michael Van Ham

Alessandro Cavalcante Gurgel

Jacques Noyé

Proceedings of the 13th International Conference on Modularity, 2014

Blending and reusing rules for architectural degradation prevention.

[BibT_eX]

[DOI]

Proceedings of the 13th International Conference on Modularity, 2014

Modular specification and dynamic enforcement of syntactic language constraints when generating code.

[BibT_eX]

[DOI]

Proceedings of the 13th International Conference on Modularity, 2014

Finding bugs in program generators by dynamic analysis of syntactic language constraints.

[BibT_eX]

[DOI]

Proceedings of the 13th International Conference on Modularity, 2014

2013

Automated API Property Inference Techniques.

[BibT_eX]

[DOI]

IEEE Trans. Software Eng., 2013

Detecting missing method calls as violations of the majority rule.

[BibT_eX]

[DOI]

ACM Trans. Softw. Eng. Methodol., 2013

Towards Reactive Programming for Object-Oriented Applications.

[BibT_eX]

[DOI]

LNCS Trans. Aspect Oriented Softw. Dev., 2013

Modular Specification and Checking of Structural Dependencies.

[BibT_eX]

[DOI]

LNCS Trans. Aspect Oriented Softw. Dev., 2013

Incremental concrete syntax for embedded languages with support for separate compilation.

[BibT_eX]

[DOI]

Sci. Comput. Program., 2013

SPL<sup>LIFT</sup>: statically analyzing software product lines in minutes instead of years.

[BibT_eX]

[DOI]

Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation, 2013

Building extensions for applications: Towards the understanding of extension possibilities.

[BibT_eX]

[DOI]

Mohamed Aly

Proceedings of the IEEE 21st International Conference on Program Comprehension, 2013

Template constructors for reusable object initialization.

[BibT_eX]

[DOI]

Marko Martin

Proceedings of the Generative Programming: Concepts and Experiences, 2013

XPoints: Extension Interfaces for Multilayered Applications.

[BibT_eX]

[DOI]

Proceedings of the 17th IEEE International Enterprise Distributed Object Computing Conference, 2013

Finding Duplicates of Your Yet Unwritten Bug Report.

[BibT_eX]

[DOI]

Johannes Lerch

Proceedings of the 17th European Conference on Software Maintenance and Reengineering, 2013

Towards Distributed Reactive Programming.

[BibT_eX]

[DOI]

Joscha Drechsler

Proceedings of the Coordination Models and Languages, 15th International Conference, 2013

Reactive behavior in object-oriented applications: an analysis and a research roadmap.

[BibT_eX]

[DOI]

Proceedings of the Aspect-Oriented Software Development, 2013

Understanding multilayered applications for building extensions.

[BibT_eX]

[DOI]

Proceedings of the 1st Workshop on Comprehension of Complex Systems, 2013

2012

An In-Depth Look at ALIA4J.

[BibT_eX]

[DOI]

J. Object Technol., 2012

A survey on non-functional concerns in web services.

[BibT_eX]

[DOI]

Int. J. Web Inf. Syst., 2012

An aspect-oriented framework for specification and enforcement of non-functional concerns in WS-BPEL.

[BibT_eX]

[DOI]

Int. J. Web Grid Serv., 2012

What should developers be aware of? An empirical study on the directives of API documentation.

[BibT_eX]

[DOI]

Empir. Softw. Eng., 2012

Turbo DiSL: Partial Evaluation for High-Level Bytecode Instrumentation.

[BibT_eX]

[DOI]

Proceedings of the Objects, Models, Components, Patterns - 50th International Conference, 2012

Heuristic Strategies for Recommendation of Exception Handling Code.

[BibT_eX]

[DOI]

Eiji Adachi Barbosa

Alessandro Garcia

Proceedings of the 26th Brazilian Symposium on Software Engineering, 2012

new Scala() instance of Java: a comparison of the memory behaviour of Java and Scala programs.

[BibT_eX]

[DOI]

Proceedings of the International Symposium on Memory Management, 2012

Dynamic Anomaly Detection for More Trustworthy Outsourced Computation.

[BibT_eX]

[DOI]

Proceedings of the Information Security - 15th International Conference, 2012

Semi-automatically extracting FAQs to improve accessibility of software development knowledge.

[BibT_eX]

[DOI]

Stefan Henß

Proceedings of the 34th International Conference on Software Engineering, 2012

A recommendation system for exception handling code.

[BibT_eX]

[DOI]

Eiji Adachi Barbosa

Alessandro F. Garcia

Proceedings of the 5th International Workshop on Exception Handling, 2012

Towards Conflict-Free Composition of Non-functional Concerns.

[BibT_eX]

[DOI]

Proceedings of the Advanced Information Systems Engineering, 2012

On the extensibility requirements of business applications.

[BibT_eX]

[DOI]

Mohamed Aly

Proceedings of the 2012 Workshop on Next Generation Modularity Approaches for Requirements and Architecture, 2012

2011

Complete and Platform-Independent Calling Context Profiling for the Java Virtual Machine.

[BibT_eX]

[DOI]

Proceedings of the Sixth Workshop on Bytecode Semantics, 2011

An Overview of ALIA4J - An Execution Model for Advanced-Dispatching Languages.

[BibT_eX]

[DOI]

Proceedings of the Objects, Models, Components, Patterns - 49th International Conference, 2011

Incremental concrete syntax for embedded languages.

[BibT_eX]

[DOI]

Proceedings of the 2011 ACM Symposium on Applied Computing (SAC), TaiChung, Taiwan, March 21, 2011

Portable and accurate collection of calling-context-sensitive bytecode metrics for the Java virtual machine.

[BibT_eX]

[DOI]

Proceedings of the 9th International Conference on Principles and Practice of Programming in Java, 2011

Da capo con scala: design and analysis of a scala benchmark suite for the java virtual machine.

[BibT_eX]

[DOI]

Proceedings of the 26th Annual ACM SIGPLAN Conference on Object-Oriented Programming, 2011

Next in line, please!: exploiting the indirect benefits of inlining by accurately predicting further inlining.

[BibT_eX]

[DOI]

Jannik Jochem

Proceedings of the SPLASH'11 Workshops, 2011

JP2: collecting dynamic bytecode metrics in JVMs.

[BibT_eX]

[DOI]

Proceedings of the Companion to the 26th Annual ACM SIGPLAN Conference on Object-Oriented Programming, 2011

Naturalistic types.

[BibT_eX]

[DOI]

Roman Knöll

Vaidas Gasiunas

Proceedings of the ACM Symposium on New Ideas in Programming and Reflections on Software, 2011

Querying source code with natural language.

[BibT_eX]

[DOI]

Markus Kimmig

Proceedings of the 26th IEEE/ACM International Conference on Automated Software Engineering (ASE 2011), 2011

Composing Non-functional Concerns in Composite Web Services.

[BibT_eX]

[DOI]

Proceedings of the IEEE International Conference on Web Services, 2011

Taming reflection: Aiding static analysis in the presence of reflection and custom class loaders.

[BibT_eX]

[DOI]

Proceedings of the 33rd International Conference on Software Engineering, 2011

Composing Non-functional Concerns in Web Services.

[BibT_eX]

[DOI]

Proceedings of the 9th IEEE European Conference on Web Services, 2011

Event-driven programming with EScala.

[BibT_eX]

[DOI]

Lucas Satabin

Proceedings of the Companion Volume of the 10th International Conference on Aspect-Oriented Software Development, 2011

Magic for the masses: safer high-level low-level programming through customizable static analyses.

[BibT_eX]

[DOI]

Ralf Mitschke

Proceedings of the 1st workshop on Modularity in systems software, 2011

EScala: modular event-driven object interactions in scala.

[BibT_eX]

[DOI]

Proceedings of the 10th International Conference on Aspect-Oriented Software Development, 2011

2010

IDE 2.0: collective intelligence in software development.

[BibT_eX]

[DOI]

Proceedings of the Workshop on Future of Software Engineering Research, 2010

Headroom-based pretenuring: dynamically pretenuring objects that live "long enough".

[BibT_eX]

[DOI]

Proceedings of the 8th International Conference on Principles and Practice of Programming in Java, 2010

Mining subclassing directives to improve framework reuse.

[BibT_eX]

[DOI]

Proceedings of the 7th International Working Conference on Mining Software Repositories, 2010

Non-functional concerns in web services: requirements and state of the art analysis.

[BibT_eX]

[DOI]

Proceedings of the iiWAS'2010, 2010

First International Workshop on Product Line Approaches in Software Engineering (PLEASE 2010).

[BibT_eX]

[DOI]

Proceedings of the 32nd ACM/IEEE International Conference on Software Engineering, 2010

Detecting Missing Method Calls in Object-Oriented Software.

[BibT_eX]

[DOI]

Proceedings of the ECOOP 2010, 2010

Model-Driven Engineering of Machine Executable Code.

[BibT_eX]

[DOI]

Proceedings of the Modelling Foundations and Applications - 6th European Conference, 2010

Aspect-Oriented Business Process Modeling with AO4BPMN.

[BibT_eX]

[DOI]

Heiko Müller

Proceedings of the Modelling Foundations and Applications - 6th European Conference, 2010

Component Composition Using Feature Models.

[BibT_eX]

[DOI]

Proceedings of the Component-Based Software Engineering, 13th International Symposium, 2010

An architecture for composing embedded domain-specific languages.

[BibT_eX]

[DOI]

Proceedings of the 9th International Conference on Aspect-Oriented Software Development, 2010

2009

A holistic approach for access control policies: from formal specification to aspect-based enforcement.

[BibT_eX]

[DOI]

Int. J. Inf. Comput. Secur., 2009

Learning from examples to improve code completion systems.

[BibT_eX]

[DOI]

Proceedings of the 7th joint meeting of the European Software Engineering Conference and the ACM SIGSOFT International Symposium on Foundations of Software Engineering, 2009

VM performance evaluation with functional models: an optimist's outlook.

[BibT_eX]

[DOI]

Jan Sinschek

Proceedings of the VMIL@OOPSLA 2009: Proceedings of the Third Workshop on Virtual Machines and Intermediate Languages, Orlando, Florida, USA, October 25, 2009

pi: a pattern language.

[BibT_eX]

[DOI]

Roman Knöll

Proceedings of the 24th Annual ACM SIGPLAN Conference on Object-Oriented Programming, 2009

A Plug-in Architecture for Self-Adaptive Web Service Compositions.

[BibT_eX]

[DOI]

Proceedings of the IEEE International Conference on Web Services, 2009

From Formal Access Control Policies to Runtime Enforcement Aspects.

[BibT_eX]

[DOI]

Proceedings of the Engineering Secure Software and Systems, 2009

Specifying and Monitoring Temporal Properties in Web Services Compositions.

[BibT_eX]

[DOI]

Proceedings of the Seventh IEEE European Conference on Web Services (ECOWS 2009), 2009

Untangling crosscutting concerns in domain-specific languages with domain-specific join points.

[BibT_eX]

[DOI]

Proceedings of the 4th workshop on Domain-specific aspect languages, 2009

The art of the meta-aspect protocol.

[BibT_eX]

[DOI]

Proceedings of the 8th International Conference on Aspect-Oriented Software Development, 2009

2008

Language support for model-driven software development.

[BibT_eX]

[DOI]

Vasian Cepa

Sci. Comput. Program., 2008

On evaluating recommender systems for API usages.

[BibT_eX]

[DOI]

Proceedings of the 2008 International Workshop on Recommendation Systems for Software Engineering, 2008

Improving code recommender systems by incorporating domain knowledge and graphical models.

[BibT_eX]

[DOI]

Proceedings of the 2008 International Workshop on Recommendation Systems for Software Engineering, 2008

Aspects and class-based security: a survey of interactions between advice weaving and the Java 2 security model.

[BibT_eX]

[DOI]

Proceedings of the VMIL@OOPSLA 2008: Proceedings of the 2nd Workshop on Virtual Machines and Intermediate Languages for emerging modularization mechanisms, Nashville, Tennessee, USA, October 21, 2008

Mining framework usage changes from instantiation code.

[BibT_eX]

[DOI]

Jan Jonas

Proceedings of the 30th International Conference on Software Engineering (ICSE 2008), 2008

Defining and continuous checking of structural program dependencies.

[BibT_eX]

[DOI]

Proceedings of the 30th International Conference on Software Engineering (ICSE 2008), 2008

Redundancy-free residual dispatch: using ordered binary decision diagrams for efficient dispatch.

[BibT_eX]

[DOI]

Proceedings of the 7th Workshop on Foundations of Aspect-Oriented Languages, 2008

Aspect-based enforcement of formal delegation policies.

[BibT_eX]

[DOI]

Proceedings of the CRiSIS '08, 2008

Dynamically linked domain-specific extensions for advice languages.

[BibT_eX]

[DOI]

Proceedings of the 2008 AOSD workshop on Domain-specific aspect languages, 2008

2007

AO4BPEL: An Aspect-oriented Extension to BPEL.

[BibT_eX]

[DOI]

World Wide Web, 2007

Clustering for Generating Framework Top-Level Views.

[BibT_eX]

[DOI]

Proceedings of the 14th Working Conference on Reverse Engineering (WCRE 2007), 2007

Automatic Incrementalization of Prolog Based Static Analyses.

[BibT_eX]

[DOI]

Proceedings of the Practical Aspects of Declarative Languages, 9th International Symposium, 2007

Dependent classes.

[BibT_eX]

[DOI]

Vaidas Gasiunas

Proceedings of the 22nd Annual ACM SIGPLAN Conference on Object-Oriented Programming, 2007

Transactional BPEL Processes with AO4BPEL Aspects.

[BibT_eX]

[DOI]

Proceedings of the Fifth IEEE European Conference on Web Services (ECOWS 2007), 2007

Management Requirements of Web Service Compositions.

[BibT_eX]

[DOI]

Proceedings of the 2nd ECOWS07 Workshop on Emerging Web Services Technology, 2007

Combining Formal Methods and Aspects for Specifying and Enforcing Architectural Invariants.

[BibT_eX]

[DOI]

Proceedings of the Coordination Models and Languages, 9th International Conference, 2007

A flexible architecture for pointcut-advice language implementations.

[BibT_eX]

[DOI]

Proceedings of the 1st Workshop on Virtual Machines and Intermediate Languages for Emerging Modularization Mechanisms, 2007

2006

The SEXTANT Software Exploration Tool.

[BibT_eX]

[DOI]

IEEE Trans. Software Eng., 2006

An Overview of CaesarJ.

[BibT_eX]

[DOI]

LNCS Trans. Aspect Oriented Softw. Dev., 2006

Incremental Confined Types Analysis.

[BibT_eX]

[DOI]

Proceedings of the Sixth Workshop on Language Descriptions, Tools, and Applications, 2006

Aspect-Oriented Workflow Languages.

[BibT_eX]

[DOI]

Proceedings of the On the Move to Meaningful Internet Systems 2006: CoopIS, 2006

Pegasus: first steps toward a naturalistic programming language.

[BibT_eX]

[DOI]

Roman Knöll

Proceedings of the Companion to the 21th Annual ACM SIGPLAN Conference on Object-Oriented Programming, 2006

Efficient control flow quantification.

[BibT_eX]

[DOI]

Proceedings of the 21th Annual ACM SIGPLAN Conference on Object-Oriented Programming, 2006

Adapting virtual machine techniques for seamless aspect support.

[BibT_eX]

[DOI]

Proceedings of the 21th Annual ACM SIGPLAN Conference on Object-Oriented Programming, 2006

Integrating and Scheduling an Open Set of Static Analyses.

[BibT_eX]

[DOI]

Proceedings of the 21st IEEE/ACM International Conference on Automated Software Engineering (ASE 2006), 2006

Reliable Messaging for BPEL Processes.

[BibT_eX]

[DOI]

Proceedings of the 2006 IEEE International Conference on Web Services (ICWS 2006), 2006

Reliable, Secure, and Transacted Web Service Compositions with AO4BPEL.

[BibT_eX]

[DOI]

Proceedings of the Fourth IEEE European Conference on Web Services (ECOWS 2006), 2006

FrUiT: IDE support for framework understanding.

[BibT_eX]

[DOI]

Proceedings of the 2006 OOPSLA workshop on Eclipse Technology eXchange, 2006

QScope: an Open, Extensible Framework for Measuring Software Projects.

[BibT_eX]

[DOI]

Proceedings of the 10th European Conference on Software Maintenance and Reengineering (CSMR 2006), 2006

Middleware Support for BPEL Workflows in the AO4BPEL Engine.

[BibT_eX]

[DOI]

Proceedings of the BPM Demo Session at the Fourth International Conference on Business Process Management, 2006

2005

Virtual Machine Support for Aspects with Advice Instance Tables.

[BibT_eX]

[DOI]

Michael Haupt

Obj. Logiciel Base données Réseaux, 2005

Middleware services for web service compositions.

[BibT_eX]

[DOI]

Proceedings of the 14th international conference on World Wide Web, 2005

Towards More Flexibility in Software Visualization Tools.

[BibT_eX]

[DOI]

Proceedings of the 3rd International Workshop on Visualizing Software for Understanding and Analysis, 2005

An execution layer for aspect-oriented programming languages.

[BibT_eX]

[DOI]

Proceedings of the 1st International Conference on Virtual Execution Environments, 2005

Envelope-Based Weaving for Faster Aspect Compilers.

[BibT_eX]

[DOI]

Proceedings of the NODe 2005, 2005

Using Aspects for Security Engineering of Web Service Compositions.

[BibT_eX]

[DOI]

Proceedings of the 2005 IEEE International Conference on Web Services (ICWS 2005), 2005

Comprehensive Software Understanding with SEXTANT.

[BibT_eX]

[DOI]

Proceedings of the 21st IEEE International Conference on Software Maintenance (ICSM 2005), 2005

Aspect-oriented programming and modular reasoning.

[BibT_eX]

[DOI]

Gregor Kiczales

Proceedings of the 27th International Conference on Software Engineering (ICSE 2005), 2005

MobCon: A Generative Middleware Framework for Java Mobile Applications.

[BibT_eX]

[DOI]

Vasian Cepa

Proceedings of the 38th Hawaii International Conference on System Sciences (HICSS-38 2005), 2005

Using Annotations to Check Structural Properties of Classes.

[BibT_eX]

[DOI]

Proceedings of the Fundamental Approaches to Software Engineering, 2005

Expressive Pointcuts for Increased Modularity.

[BibT_eX]

[DOI]

Proceedings of the ECOOP 2005, 2005

Separation of Concerns with Procedures, Annotations, Advice and Pointcuts.

[BibT_eX]

[DOI]

Gregor Kiczales

Proceedings of the ECOOP 2005, 2005

eAssignment: a case for EMF.

[BibT_eX]

[DOI]

Proceedings of the 2005 OOPSLA workshop on Eclipse Technology eXchange, 2005

2004

XIRC: A Kernel for Cross-Artifact Information Engineering in Software Development Environments.

[BibT_eX]

[DOI]

Proceedings of the 11th Working Conference on Reverse Engineering, 2004

A Comparison of Program Generation with Aspect-Oriented Programming.

[BibT_eX]

[DOI]

Proceedings of the Unconventional Programming Paradigms, 2004

Variability management with feature-oriented programming and aspects.

[BibT_eX]

[DOI]

Proceedings of the 12th ACM SIGSOFT International Symposium on Foundations of Software Engineering, 2004, Newport Beach, CA, USA, October 31, 2004

Alice: Modularization of Middleware Using Aspect-Oriented Programming.

[BibT_eX]

[DOI]

Proceedings of the Software Engineering and Middleware, 4th International Workshop, 2004

Micro-measurements for Dynamic Aspect-Oriented Systems.

[BibT_eX]

[DOI]

Michael Haupt

Proceedings of the Object-Oriented and Internet-Based Technologies, 2004

Hybrid web service composition: business processes meet business rules.

[BibT_eX]

[DOI]

Proceedings of the Service-Oriented Computing, 2004

Declaring and Enforcing Dependencies Between .NET Custom Attributes.

[BibT_eX]

[DOI]

Vasian Cepa

Proceedings of the Generative Programming and Component Engineering: Third International Conference, 2004

Aspect-Oriented Web Service Composition with AO4BPEL.

[BibT_eX]

[DOI]

Proceedings of the Web Services, European Conference, 2004

Enforcing System-Wide Properties.

[BibT_eX]

[DOI]

Proceedings of the 15th Australian Software Engineering Conference (ASWEC 2004), 2004

Pointcuts as Functional Queries.

[BibT_eX]

[DOI]

Proceedings of the Programming Languages and Systems: Second Asian Symposium, 2004

Virtual machine support for dynamic join points.

[BibT_eX]

[DOI]

Proceedings of the 3rd International Conference on Aspect-Oriented Software Development, 2004

2003

On aspectualizing component models.

[BibT_eX]

[DOI]

Roman Pichler

Softw. Pract. Exp., 2003

The Convergence of AOP and Active Databases: Towards Reactive Middleware.

[BibT_eX]

[DOI]

Mariano Cilia

Michael Haupt

Alejandro P. Buchmann

Proceedings of the Generative Programming and Component Engineering, 2003

Conquering aspects with Caesar.

[BibT_eX]

[DOI]

Proceedings of the 2nd International Conference on Aspect-Oriented Software Development, 2003

Modules for Crosscutting Models.

[BibT_eX]

[DOI]

Proceedings of the Reliable Software Technologies, 2003

2002

Integrating independent components with on-demand remodularization.

[BibT_eX]

[DOI]

Proceedings of the 2002 ACM SIGPLAN Conference on Object-Oriented Programming Systems, 2002

Engineering Event-Based Systems with Scopes.

[BibT_eX]

[DOI]

Ludger Fiege

Gero Mühl

Alejandro P. Buchmann

Proceedings of the ECOOP 2002, 2002

2001

Connectors for bridging mismatches between the components of a software engineering environment.

[BibT_eX]

[DOI]

Stephan Herrmann

IEE Proc. Softw., 2001

Object-Oriented Composition Untangled.

[BibT_eX]

[DOI]

Proceedings of the 2001 ACM SIGPLAN Conference on Object-Oriented Programming Systems, 2001

2000

Weiterentwicklung objektorientierter Softwaresysteme: Risiken und deren Vermeidung.

[BibT_eX]

[DOI]

Jens Uwe Pipka

Softwaretechnik-Trends, 2000

PIROL: a case study for multidimensional separation of concerns in software engineering environments.

[BibT_eX]

[DOI]

Stephan Herrmann

Proceedings of the 2000 ACM SIGPLAN Conference on Object-Oriented Programming Systems, 2000

Building modular object-oriented systems with reusable collaborations (tutorial session).

[BibT_eX]

[DOI]

Karl J. Lieberherr

David H. Lorenz

Proceedings of the 22nd International Conference on on Software Engineering, 2000

1999

Detecting Evolution Incompatibilities by Analyzing Java Binaries.

[BibT_eX]

[DOI]

Proceedings of the TOOLS 1999: 30th International Conference on Technology of Object-Oriented Languages and Systems, Delivering Quality Software, 1999

Dynamic Component Gluing.

[BibT_eX]

[DOI]

Linda M. Seiter

Karl J. Lieberherr

Proceedings of the Generative and Component-Based Software Engineering, 1999

1998

Adaptive Plug-and-Play Components for Evolutionary Software Development.

[BibT_eX]

[DOI]