Mira Mezini

Affiliations:
  • Darmstadt University of Technology, Germany


According to our database1, Mira Mezini authored at least 224 papers between 1994 and 2021.

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2021
ReactiFi: Reactive Programming of Wi-Fi Firmware on Mobile Devices.
Art Sci. Eng. Program., 2021

Fex: Assisted Identification of Domain Features from C Programs.
CoRR, 2021

Programming and execution models for next generation code intelligence systems (keynote).
Proceedings of the ESEC/FSE '21: 29th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering, 2021

Impact of programming languages on machine learning bugs.
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.
Proceedings of the AISTA 2021: Proceedings of the 1st ACM International Workshop on AI and Software Testing/Analysis, 2021

Dealing with Variability in API Misuse Specification.
Proceedings of the 35th European Conference on Object-Oriented Programming, 2021

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

Uncovering the Hidden Dangers: Finding Unsafe Go Code in the Wild.
Proceedings of the 19th IEEE International Conference on Trust, 2020


Modular collaborative program analysis in OPAL.
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.
Proceedings of the Software Engineering 2020, 2020

TACAI: an intermediate representation based on abstract interpretation.
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.
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.
Proceedings of the IEEE Global Humanitarian Technology Conference, 2020

Hidden in Plain Sight: Obfuscated Strings Threatening Your Privacy.
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.
IEEE Trans. Software Eng., 2019

Comprehensive Multiparty Session Types.
Art Sci. Eng. Program., 2019

Language-integrated privacy-aware distributed queries.
Proc. ACM Program. Lang., 2019

A fault-tolerant programming model for distributed interactive applications.
Proc. ACM Program. Lang., 2019

Type-safe, Polyvariadic Event Correlation.
CoRR, 2019

Optimizing Data Plane Programs for the Network.
Proceedings of the ACM SIGCOMM 2019 Workshop on Networking and Programming Languages, 2019

A Unified Lattice Model and Framework for Purity Analyses.
Proceedings of the Software Engineering and Software Management, 2019

Language support for multiple privacy enhancing technologies.
Proceedings of the Conference Companion of the 3rd International Conference on Art, 2019

A dataset of parametric cryptographic misuses.
Proceedings of the 16th International Conference on Mining Software Repositories, 2019

Judge: identifying, understanding, and evaluating sources of unsoundness in call graphs.
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.
Proceedings of the IEEE Global Humanitarian Technology Conference, 2019

How to Avoid Making a Billion-Dollar Mistake: Type-Safe Data Plane Programming with SafeP4.
Proceedings of the 33rd European Conference on Object-Oriented Programming, 2019

Online Reprogrammable Multi Tenant Switches.
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.
Proceedings of the Ad-Hoc, Mobile, and Wireless Networks, 2019

2018
Cooperative decoupled processes.
Softw. Qual. J., 2018

Exploration of language specifications by compilation to first-order logic.
Sci. Comput. Program., 2018

Thread-safe reactive programming.
Proc. ACM Program. Lang., 2018

Versatile event correlation with algebraic effects.
Proc. ACM Program. Lang., 2018

CrySL: An Extensible Approach to Validating the Correct Usage of Cryptographic APIs (Artifact).
Dagstuhl Artifacts Ser., 2018

Call Graph Construction for Java Libraries.
Proceedings of the Software Engineering und Software Management 2018, 2018

CodeMatch.
Proceedings of the Software Engineering und Software Management 2018, 2018

Reactive programming experience with REScala.
Proceedings of the Conference Companion of the 2nd International Conference on Art, 2018

Towards safe modular composition of network functions.
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.
Proceedings of the 20th International Symposium on Principles and Practice of Declarative Programming, 2018

Incremental overload resolution in object-oriented programming languages.
Proceedings of the Companion Proceedings for the ISSTA/ECOOP 2018 Workshops, 2018

Systematic evaluation of the unsoundness of call graph construction algorithms for Java.
Proceedings of the Companion Proceedings for the ISSTA/ECOOP 2018 Workshops, 2018

Lattice based modularization of static analyses.
Proceedings of the Companion Proceedings for the ISSTA/ECOOP 2018 Workshops, 2018

Investigating Order Information in API-Usage Patterns: A Benchmark and Empirical Study.
Proceedings of the 13th International Conference on Software Technologies, 2018

On the Impact of Order Information in API Usage Patterns.
Proceedings of the Software Technologies - 13th International Conference, 2018

Fault-tolerant Distributed Reactive Programming.
Proceedings of the 32nd European Conference on Object-Oriented Programming, 2018

CrySL: An Extensible Approach to Validating the Correct Usage of Cryptographic APIs.
Proceedings of the 32nd European Conference on Object-Oriented Programming, 2018

Multimodal Complex Event Processing on Mobile Devices.
Proceedings of the 12th ACM International Conference on Distributed and Event-based Systems, 2018

Opportunistic named functions in disruption-tolerant emergency networks.
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.
IEEE Trans. Software Eng., 2017

A Systematic Evaluation of API-Misuse Detectors.
CoRR, 2017

CrySL: Validating Correct Usage of Cryptographic APIs.
CoRR, 2017

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

Enriching in-IDE process information with fine-grained source code history.
Proceedings of the IEEE 24th International Conference on Software Analysis, 2017

Hardening Java's Access Control by Abolishing Implicit Privilege Elevation.
Proceedings of the 2017 IEEE Symposium on Security and Privacy, 2017

CodeMatch: obfuscation won't conceal your repackaged app.
Proceedings of the 2017 11th Joint Meeting on Foundations of Software Engineering, 2017

"Jumping Through Hoops": Why do Java Developers Struggle With Cryptography APIs?
Proceedings of the Software Engineering 2017, 2017

Hermes: assessment and creation of effective test corpora.
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.
Proceedings of the 2017 IFIP Networking Conference, 2017

CogniCrypt: supporting developers in using cryptography.
Proceedings of the 32nd IEEE/ACM International Conference on Automated Software Engineering, 2017

A Co-contextual Type Checker for Featherweight Java .
Proceedings of the 31st European Conference on Object-Oriented Programming, 2017

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

A Study of Visual Studio Usage in Practice.
Proceedings of the IEEE 23rd International Conference on Software Analysis, 2016

Call graph construction for Java libraries.
Proceedings of the 24th ACM SIGSOFT International Symposium on Foundations of Software Engineering, 2016

Addressing scalability in API method call analytics.
Proceedings of the 2nd International Workshop on Software Analytics, 2016

An empirical study on program comprehension with reactive programming.
Proceedings of the Software Engineering 2016, 2016

Getting to know you: towards a capability model for Java.
Proceedings of the Software Engineering 2016, 2016

Hidden Truths in Dead Software Paths.
Proceedings of the Software Engineering 2016, 2016

SecureScala: Scala embedding of secure computations.
Proceedings of the 7th ACM SIGPLAN Symposium on Scala, 2016

Exploration of language specifications by compilation to first-order logic.
Proceedings of the 18th International Symposium on Principles and Practice of Declarative Programming, 2016

A dataset of simplified syntax trees for C#.
Proceedings of the 13th International Conference on Mining Software Repositories, 2016

MUBench: a benchmark for API-misuse detectors.
Proceedings of the 13th International Conference on Mining Software Repositories, 2016

Evaluating the evaluations of code recommender systems: a reality check.
Proceedings of the 31st IEEE/ACM International Conference on Automated Software Engineering, 2016

Debugging reactive programming with reactive inspector.
Proceedings of the 38th International Conference on Software Engineering, 2016

Debugging for reactive programming.
Proceedings of the 38th International Conference on Software Engineering, 2016

Automating Proof Steps of Progress Proofs: Comparing Vampire and Dafny.
Proceedings of the Vampire@IJCAR 2016. Proceedings of the 3rd Vampire Workshop, 2016

CPL: a core language for cloud computing.
Proceedings of the 15th International Conference on Modularity, 2016

Cooperative decoupled processes: the e-calculus and linearity.
Proceedings of the 15th International Conference on Modularity, 2016

2015
Intelligent Code Completion with Bayesian Networks.
ACM Trans. Softw. Eng. Methodol., 2015

Abmash: mashing up legacy Web applications by automated imitation of human actions.
Softw. Pract. Exp., 2015

Toward incremental type checking for Java.
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.
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.
Proceedings of the 2015 ACM SIGPLAN International Conference on Object-Oriented Programming, 2015

Towards secure integration of cryptographic software.
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).
Proceedings of the 30th IEEE/ACM International Conference on Automated Software Engineering, 2015

Using Vampire in Soundness Proofs of Type Systems.
Proceedings of the 1st and 2nd Vampire Workshops, Vampire@VSL 2014, 2015

2014
Programming with Implicit Flows.
IEEE Softw., 2014

JP2: Call-site aware calling context profiling for the Java Virtual Machine.
Sci. Comput. Program., 2014

FlowTwist: efficient context-sensitive inside-out taint analysis for large codebases.
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.
Proceedings of the Software Engineering 2014, Fachtagung des GI-Fachbereichs Softwaretechnik, 25. Februar, 2014

i3QL: language-integrated live data views.
Proceedings of the 2014 ACM International Conference on Object Oriented Programming Systems Languages & Applications, 2014

Distributed REScala: an update algorithm for distributed reactive programming.
Proceedings of the 2014 ACM International Conference on Object Oriented Programming Systems Languages & Applications, 2014

Towards standardized evaluation of developer-assistance tools.
Proceedings of the 4th International Workshop on Recommendation Systems for Software Engineering, 2014

Method-call recommendations from implicit developer feedback.
Proceedings of the 1st International Workshop on CrowdSourcing in Software Engineering, 2014

Weaving Aspects and Business Processes through Model Transformation.
Proceedings of the Service-Oriented and Cloud Computing - Third European Conference, 2014

Towards virtual traits in Scala.
Proceedings of the Fifth Annual Scala Workshop, 2014

REScala: bridging between object-oriented and functional style in reactive applications.
Proceedings of the 13th International Conference on Modularity, 2014

JEScala: modular coordination with declarative events and joins.
Proceedings of the 13th International Conference on Modularity, 2014

Blending and reusing rules for architectural degradation prevention.
Proceedings of the 13th International Conference on Modularity, 2014

Modular specification and dynamic enforcement of syntactic language constraints when generating code.
Proceedings of the 13th International Conference on Modularity, 2014

Finding bugs in program generators by dynamic analysis of syntactic language constraints.
Proceedings of the 13th International Conference on Modularity, 2014

2013
Automated API Property Inference Techniques.
IEEE Trans. Software Eng., 2013

Detecting missing method calls as violations of the majority rule.
ACM Trans. Softw. Eng. Methodol., 2013

Towards Reactive Programming for Object-Oriented Applications.
LNCS Trans. Aspect Oriented Softw. Dev., 2013

Modular Specification and Checking of Structural Dependencies.
LNCS Trans. Aspect Oriented Softw. Dev., 2013

Incremental concrete syntax for embedded languages with support for separate compilation.
Sci. Comput. Program., 2013

SPL<sup>LIFT</sup>: statically analyzing software product lines in minutes instead of years.
Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation, 2013

Building extensions for applications: Towards the understanding of extension possibilities.
Proceedings of the IEEE 21st International Conference on Program Comprehension, 2013

Template constructors for reusable object initialization.
Proceedings of the Generative Programming: Concepts and Experiences, 2013

XPoints: Extension Interfaces for Multilayered Applications.
Proceedings of the 17th IEEE International Enterprise Distributed Object Computing Conference, 2013

Finding Duplicates of Your Yet Unwritten Bug Report.
Proceedings of the 17th European Conference on Software Maintenance and Reengineering, 2013

Towards Distributed Reactive Programming.
Proceedings of the Coordination Models and Languages, 15th International Conference, 2013

Reactive behavior in object-oriented applications: an analysis and a research roadmap.
Proceedings of the Aspect-Oriented Software Development, 2013

2012
An In-Depth Look at ALIA4J.
J. Object Technol., 2012

A survey on non-functional concerns in web services.
Int. J. Web Inf. Syst., 2012

An aspect-oriented framework for specification and enforcement of non-functional concerns in WS-BPEL.
Int. J. Web Grid Serv., 2012

What should developers be aware of? An empirical study on the directives of API documentation.
Empir. Softw. Eng., 2012

Turbo DiSL: Partial Evaluation for High-Level Bytecode Instrumentation.
Proceedings of the Objects, Models, Components, Patterns - 50th International Conference, 2012

Heuristic Strategies for Recommendation of Exception Handling Code.
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.
Proceedings of the International Symposium on Memory Management, 2012

Dynamic Anomaly Detection for More Trustworthy Outsourced Computation.
Proceedings of the Information Security - 15th International Conference, 2012

Semi-automatically extracting FAQs to improve accessibility of software development knowledge.
Proceedings of the 34th International Conference on Software Engineering, 2012

A recommendation system for exception handling code.
Proceedings of the 5th International Workshop on Exception Handling, 2012

Towards Conflict-Free Composition of Non-functional Concerns.
Proceedings of the Advanced Information Systems Engineering, 2012

2011
Complete and Platform-Independent Calling Context Profiling for the Java Virtual Machine.
Electron. Notes Theor. Comput. Sci., 2011

An Overview of ALIA4J - An Execution Model for Advanced-Dispatching Languages.
Proceedings of the Objects, Models, Components, Patterns - 49th International Conference, 2011

Incremental concrete syntax for embedded languages.
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.
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.
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.
Proceedings of the Conference on Systems, 2011

JP2: collecting dynamic bytecode metrics in JVMs.
Proceedings of the Companion to the 26th Annual ACM SIGPLAN Conference on Object-Oriented Programming, 2011

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

Querying source code with natural language.
Proceedings of the 26th IEEE/ACM International Conference on Automated Software Engineering (ASE 2011), 2011

Composing Non-functional Concerns in Composite Web Services.
Proceedings of the IEEE International Conference on Web Services, 2011

Taming reflection: Aiding static analysis in the presence of reflection and custom class loaders.
Proceedings of the 33rd International Conference on Software Engineering, 2011

Composing Non-functional Concerns in Web Services.
Proceedings of the 9th IEEE European Conference on Web Services, 2011

Event-driven programming with EScala.
Proceedings of the Companion Volume of the 10th International Conference on Aspect-Oriented Software Development, 2011

EScala: modular event-driven object interactions in scala.
Proceedings of the 10th International Conference on Aspect-Oriented Software Development, 2011

2010
IDE 2.0: collective intelligence in software development.
Proceedings of the Workshop on Future of Software Engineering Research, 2010

Headroom-based pretenuring: dynamically pretenuring objects that live "long enough".
Proceedings of the 8th International Conference on Principles and Practice of Programming in Java, 2010

Mining subclassing directives to improve framework reuse.
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.
Proceedings of the iiWAS'2010, 2010

First International Workshop on Product Line Approaches in Software Engineering (PLEASE 2010).
Proceedings of the 32nd ACM/IEEE International Conference on Software Engineering, 2010

Detecting Missing Method Calls in Object-Oriented Software.
Proceedings of the ECOOP 2010, 2010

Model-Driven Engineering of Machine Executable Code.
Proceedings of the Modelling Foundations and Applications - 6th European Conference, 2010

Aspect-Oriented Business Process Modeling with AO4BPMN.
Proceedings of the Modelling Foundations and Applications - 6th European Conference, 2010

Component Composition Using Feature Models.
Proceedings of the Component-Based Software Engineering, 13th International Symposium, 2010

An architecture for composing embedded domain-specific languages.
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.
Int. J. Inf. Comput. Secur., 2009

Learning from examples to improve code completion systems.
Proceedings of the 7th joint meeting of the European Software Engineering Conference and the ACM SIGSOFT International Symposium on Foundations of Software Engineering, 2009

pi: a pattern language.
Proceedings of the 24th Annual ACM SIGPLAN Conference on Object-Oriented Programming, 2009

A Plug-in Architecture for Self-Adaptive Web Service Compositions.
Proceedings of the IEEE International Conference on Web Services, 2009

From Formal Access Control Policies to Runtime Enforcement Aspects.
Proceedings of the Engineering Secure Software and Systems, 2009

Specifying and Monitoring Temporal Properties in Web Services Compositions.
Proceedings of the Seventh IEEE European Conference on Web Services (ECOWS 2009), 2009

The art of the meta-aspect protocol.
Proceedings of the 8th International Conference on Aspect-Oriented Software Development, 2009

2008
Language support for model-driven software development.
Sci. Comput. Program., 2008

On evaluating recommender systems for API usages.
Proceedings of the 2008 International Workshop on Recommendation Systems for Software Engineering, 2008

Improving code recommender systems by incorporating domain knowledge and graphical models.
Proceedings of the 2008 International Workshop on Recommendation Systems for Software Engineering, 2008

Mining framework usage changes from instantiation code.
Proceedings of the 30th International Conference on Software Engineering (ICSE 2008), 2008

Defining and continuous checking of structural program dependencies.
Proceedings of the 30th International Conference on Software Engineering (ICSE 2008), 2008

Redundancy-free residual dispatch: using ordered binary decision diagrams for efficient dispatch.
Proceedings of the 7th Workshop on Foundations of Aspect-Oriented Languages, 2008

Aspect-based enforcement of formal delegation policies.
Proceedings of the CRiSIS '08, 2008

2007
AO4BPEL: An Aspect-oriented Extension to BPEL.
World Wide Web, 2007

Clustering for Generating Framework Top-Level Views.
Proceedings of the 14th Working Conference on Reverse Engineering (WCRE 2007), 2007

Automatic Incrementalization of Prolog Based Static Analyses.
Proceedings of the Practical Aspects of Declarative Languages, 9th International Symposium, 2007

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

Transactional BPEL Processes with AO4BPEL Aspects.
Proceedings of the Fifth IEEE European Conference on Web Services (ECOWS 2007), 2007

Management Requirements of Web Service Compositions.
Proceedings of the 2nd ECOWS07 Workshop on Emerging Web Services Technology, 2007

Combining Formal Methods and Aspects for Specifying and Enforcing Architectural Invariants.
Proceedings of the Coordination Models and Languages, 9th International Conference, 2007

A flexible architecture for pointcut-advice language implementations.
Proceedings of the 1st Workshop on Virtual Machines and Intermediate Languages for Emerging Modularization Mechanisms, 2007

2006
The SEXTANT Software Exploration Tool.
IEEE Trans. Software Eng., 2006

An Overview of CaesarJ.
LNCS Trans. Aspect Oriented Softw. Dev., 2006

Incremental Confined Types Analysis.
Electron. Notes Theor. Comput. Sci., 2006

Aspect-Oriented Workflow Languages.
Proceedings of the On the Move to Meaningful Internet Systems 2006: CoopIS, 2006

Pegasus: first steps toward a naturalistic programming language.
Proceedings of the Companion to the 21th Annual ACM SIGPLAN Conference on Object-Oriented Programming, 2006

Efficient control flow quantification.
Proceedings of the 21th Annual ACM SIGPLAN Conference on Object-Oriented Programming, 2006

Adapting virtual machine techniques for seamless aspect support.
Proceedings of the 21th Annual ACM SIGPLAN Conference on Object-Oriented Programming, 2006

Integrating and Scheduling an Open Set of Static Analyses.
Proceedings of the 21st IEEE/ACM International Conference on Automated Software Engineering (ASE 2006), 2006

Reliable Messaging for BPEL Processes.
Proceedings of the 2006 IEEE International Conference on Web Services (ICWS 2006), 2006

Reliable, Secure, and Transacted Web Service Compositions with AO4BPEL.
Proceedings of the Fourth IEEE European Conference on Web Services (ECOWS 2006), 2006

FrUiT: IDE support for framework understanding.
Proceedings of the 2006 OOPSLA workshop on Eclipse Technology eXchange, 2006

QScope: an Open, Extensible Framework for Measuring Software Projects.
Proceedings of the 10th European Conference on Software Maintenance and Reengineering (CSMR 2006), 2006

Middleware Support for BPEL Workflows in the AO4BPEL Engine.
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.
Obj. Logiciel Base données Réseaux, 2005

Middleware services for web service compositions.
Proceedings of the 14th international conference on World Wide Web, 2005

Towards More Flexibility in Software Visualization Tools.
Proceedings of the 3rd International Workshop on Visualizing Software for Understanding and Analysis, 2005

An execution layer for aspect-oriented programming languages.
Proceedings of the 1st International Conference on Virtual Execution Environments, 2005

Envelope-Based Weaving for Faster Aspect Compilers.
Proceedings of the NODe 2005, 2005

Using Aspects for Security Engineering of Web Service Compositions.
Proceedings of the 2005 IEEE International Conference on Web Services (ICWS 2005), 2005

Comprehensive Software Understanding with SEXTANT.
Proceedings of the 21st IEEE International Conference on Software Maintenance (ICSM 2005), 2005

Aspect-oriented programming and modular reasoning.
Proceedings of the 27th International Conference on Software Engineering (ICSE 2005), 2005

MobCon: A Generative Middleware Framework for Java Mobile Applications.
Proceedings of the 38th Hawaii International Conference on System Sciences (HICSS-38 2005), 2005

Using Annotations to Check Structural Properties of Classes.
Proceedings of the Fundamental Approaches to Software Engineering, 2005

Expressive Pointcuts for Increased Modularity.
Proceedings of the ECOOP 2005, 2005

Separation of Concerns with Procedures, Annotations, Advice and Pointcuts.
Proceedings of the ECOOP 2005, 2005

eAssignment: a case for EMF.
Proceedings of the 2005 OOPSLA workshop on Eclipse Technology eXchange, 2005

2004
XIRC: A Kernel for Cross-Artifact Information Engineering in Software Development Environments.
Proceedings of the 11th Working Conference on Reverse Engineering, 2004

A Comparison of Program Generation with Aspect-Oriented Programming.
Proceedings of the Unconventional Programming Paradigms, 2004

Variability management with feature-oriented programming and aspects.
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.
Proceedings of the Software Engineering and Middleware, 4th International Workshop, 2004

Micro-measurements for Dynamic Aspect-Oriented Systems.
Proceedings of the Object-Oriented and Internet-Based Technologies, 2004

Hybrid web service composition: business processes meet business rules.
Proceedings of the Service-Oriented Computing, 2004

Declaring and Enforcing Dependencies Between .NET Custom Attributes.
Proceedings of the Generative Programming and Component Engineering: Third International Conference, 2004

Aspect-Oriented Web Service Composition with AO4BPEL.
Proceedings of the Web Services, European Conference, 2004

Enforcing System-Wide Properties.
Proceedings of the 15th Australian Software Engineering Conference (ASWEC 2004), 2004

Pointcuts as Functional Queries.
Proceedings of the Programming Languages and Systems: Second Asian Symposium, 2004

Virtual machine support for dynamic join points.
Proceedings of the 3rd International Conference on Aspect-Oriented Software Development, 2004

2003
On aspectualizing component models.
Softw. Pract. Exp., 2003

The Convergence of AOP and Active Databases: Towards Reactive Middleware.
Proceedings of the Generative Programming and Component Engineering, 2003

Conquering aspects with Caesar.
Proceedings of the 2nd International Conference on Aspect-Oriented Software Development, 2003

Modules for Crosscutting Models.
Proceedings of the Reliable Software Technologies, 2003

2002
Integrating independent components with on-demand remodularization.
Proceedings of the 2002 ACM SIGPLAN Conference on Object-Oriented Programming Systems, 2002

Engineering Event-Based Systems with Scopes.
Proceedings of the ECOOP 2002, 2002

2001
Connectors for bridging mismatches between the components of a software engineering environment.
IEE Proc. Softw., 2001

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

2000
Weiterentwicklung objektorientierter Softwaresysteme: Risiken und deren Vermeidung.
Softwaretechnik-Trends, 2000

PIROL: a case study for multidimensional separation of concerns in software engineering environments.
Proceedings of the 2000 ACM SIGPLAN Conference on Object-Oriented Programming Systems, 2000

Building modular object-oriented systems with reusable collaborations (tutorial session).
Proceedings of the 22nd International Conference on on Software Engineering, 2000

1999
Detecting Evolution Incompatibilities by Analyzing Java Binaries.
Proceedings of the TOOLS 1999: 30th International Conference on Technology of Object-Oriented Languages and Systems, Delivering Quality Software, 1999

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

1998
Adaptive Plug-and-Play Components for Evolutionary Software Development.
Proceedings of the 1998 ACM SIGPLAN Conference on Object-Oriented Programming Systems, 1998

Variational Object-Oriented Programming Beyond Classes and Inheritance.
The Kluwer international series in engineering and computer science 470, Springer, ISBN: 978-0-7923-8313-0, 1998

1997
Maintaining the Consistency of Class Libraries During Their Evolution.
Proceedings of the 1997 ACM SIGPLAN Conference on Object-Oriented Programming Systems, 1997

Dynamic Object Evolution without Name Collisions.
Proceedings of the ECOOP'97, 1997

1994
4th Workshop for Doctoral Student in Object-Oriented Systems, Held in Conjunction with ECOOP'94 (Report).
ACM SIGPLAN Notices, 1994


  Loading...