TU Darmstadt / ULB / TUbiblio

Items in division

Export as [feed] Atom [feed] RSS 1.0 [feed] RSS 2.0
Group by: Creators | Date | Item Type | Language | No Grouping
Jump to: A | B | C | D | E | F | G | H | I | J | K | L | M | N | O | P | R | S | V | W | Z
Number of items at this level (without sub-levels): 396.

A

Audrito, Giorgio ; Casadei, Roberto ; Damiani, Ferruccio ; Salvaneschi, Guido ; Viroli, Mirko
eds.: Ali, Karim ; Vitek, Jan (2022)
Functional Programming for Distributed Systems with XC.
36th European Conference on Object-Oriented Programming. Berlin, Germany (06.-10.06.2022)
doi: 10.4230/LIPIcs.ECOOP.2022.20
Conference or Workshop Item, Bibliographie

Amann, Sven ; Nguyen, Hoan Anh ; Nadi, Sarah ; Nguyen, Tien N. ; Mezini, Mira (2019)
Investigating Next Steps in Static API-Misuse Detection.
2019 IEEE/ACM 16th International Conference on Mining Software Repositories (MSR). Montreal, QC, Canada (Sun 26 - Mon 27 May 2019)
Conference or Workshop Item, Bibliographie

Amann, Sven (2018)
A Systematic Approach to Benchmark and Improve Automated Static Detection of Java-API Misuses.
Technische Universität Darmstadt
Ph.D. Thesis, Primary publication

Amann, Sven ; Nguyen, Hoan Anh ; Nadi, Sarah ; Nguyen, Tien ; Mezini, Mira (2018)
A Systematic Evaluation of API-Misuse Detectors.
In: IEEE TRANSACTIONS ON SOFTWARE ENGINEERING
Article, Bibliographie

Amann, Sven ; Proksch, Sebastian ; Nadi, Sarah (2016)
FeedBaG: An Interaction Tracker for Visual Studio.
International Conference on Program Comprehension. Austin, Texas, USA (May 16–17, 2016)
Conference or Workshop Item, Bibliographie

Amann, Sven ; Nadi, Sarah ; Nguyen, Hoan A. ; Nguyen, Tien N. ; Mezini, Mira (2016)
MUBench: A Benchmark for API-Misuse Detectors.
13th International Conference on Mining Software Repositories. Austin, Texas, USA (May 14–15, 2016)
Conference or Workshop Item, Bibliographie

Amann, Sven ; Proksch, Sebastian ; Nadi, Sarah ; Mezini, Mira (2016)
A Study of Visual Studio Usage in Practice.
23rd IEEE International Conference on Software Analysis, Evolution, and Reengineering. Osaka, Japan (14-18 March 2016)
Conference or Workshop Item, Bibliographie

Amann, Sven ; Beyer, Stefanie ; Kevic, Katja ; Gall, Harald
eds.: Meyer, Bertrand ; Nordio, Martin (2015)
Software Mining Studies: Goals, Approaches, Artifacts, and Replicability.
In: Advances in the theory and practice of software engineering - LASER 2013-2014
Book Section, Bibliographie

Aly, Mohamed Abdulazim Mohamed (2014)
An Extension Interface Concept for Multilayered Applications.
Technische Universität Darmstadt
Ph.D. Thesis, Primary publication

Amann, Sven ; Proksch, Sebastian ; Mezini, Mira (2014)
Method-Call Recommendations from Implicit Developer Feedback.
doi: 10.1145/2593728.2593730
Conference or Workshop Item, Bibliographie

Aly, Mohamed ; Charfi, Anis ; Erdweg, Sebastian ; Mezini, Mira (2013)
XPoints: Extension Interfaces for Multilayered Applications.
Enterprise Distributed Object Computing Conference (EDOC), 2013 17th IEEE International. Vancouver, Canada (9 - 13 Sept.)
Conference or Workshop Item, Bibliographie

Amann, Sven (2013)
Code Completion Based on Implicit User Feedback.
Technische Universität Darmstadt
Master Thesis, Bibliographie

Aly, Mohamed ; Charfi, Anis ; Wu, Di ; Mezini, Mira (2013)
Understanding multilayered applications for building extensions.
1st Workshop on Comprehension of Complex Systems. Fukuoka, Japan (March 25th, 2013)
Conference or Workshop Item, Bibliographie

Aly, Mohamed ; Charfi, Anis ; Mezini, Mira (2013)
Building Extensions for Applications: Towards the Understanding of Extension Possibilities.
21st International Conference on Program Comprehension . San Francisco, California, USA (May 20th - 21st, 2013)
Conference or Workshop Item, Bibliographie

Aly, Mohamed ; Charfi, Anis ; Wu, Di ; Mezini, Mira (2013)
Understanding multilayered applications for building extensions.
doi: 10.1145/2451592.2451594
Conference or Workshop Item, Bibliographie

Aly, Mohamed ; Charfi, Anis ; Erdweg, Sebastian ; Mezini, Mira (2013)
XPoints: Extension Interfaces for Multilayered Applications.
doi: 10.1109/EDOC.2013.34
Conference or Workshop Item, Bibliographie

Aly, Mohamed ; Charfi, Anis ; Mezini, Mira (2013)
Building extensions for applications: Towards the understanding of extension possibilities.
doi: 10.1109/ICPC.2013.6613846
Conference or Workshop Item, Bibliographie

Alsouri, Sami ; Sinschek, Jan ; Sewe, Andreas ; Bodden, Eric ; Mezini, Mira ; Katzenbeisser, Stefan (2012)
Dynamic Anomaly Detection for More Trustworthy Outsourced Computation.
15th International Conference on Information Security. Passau, Germany (19-21 Sep 2012)
doi: 10.1007/978-3-642-33383-5_11
Conference or Workshop Item, Bibliographie

Ansaloni, Danilo ; Binder, Walter ; Bockisch, Christoph ; Bodden, Eric ; Hatun, Kardelen ; Marek, Lukas ; Qi, Zhengwei ; Sarimbekov, Aibek ; Sewe, Andreas ; Tuma, Petr ; Zheng, Yudi (2012)
Challenges for Refinement and Composition of Instrumentations (Position Paper).
International Conference on Software Composition (SC 2012).
Conference or Workshop Item, Bibliographie

Aly, Mohamed ; Charfi, Anis ; Mezini, Mira (2012)
On the extensibility requirements of business applications.
Proceedings of the 2012 workshop on Next Generation Modularity Approaches for Requirements and Architecture.
Conference or Workshop Item, Bibliographie

Anquetil, Nicolas ; Kulesza, Uirá ; Mateus, Ricardo ; Mitschke, Ralf ; Moreira, Ana ; Royer, Jean-Claude ; Rummler, Andreas
eds.: Rashid, Awais ; Royer, Jean-Claude ; Rummler, Andreas (2011)
Managing information flow in the SPL development process.
In: Aspect-oriented, model-driven software product lines
Book Section, Bibliographie

Andrade, Rodrigo ; Ribeiro, Márcio ; Gasiunas, Vaidas ; Satabin, Lucas ; Rebêlo, Henrique ; Borba, Paulo (2011)
Assessing Idioms for Implementing Features with Flexible Binding Times.
Oldenburg, Germany (1-4 March 2011)
doi: 10.1109/CSMR.2011.29
Conference or Workshop Item, Bibliographie

Alnusair, Awny ; Zhao, Tian ; Bodden, Eric (2010)
Effective API Navigation and Reuse.
International Conference on Conference on Information Reuse and Integration (IEEE IRI).
Conference or Workshop Item, Bibliographie

Anquetil, Nicolas ; Kulesza, Uirá ; Mitschke, Ralf ; Moreira, Ana ; Royer, Jean-Claude ; Rummler, Andreas ; Sousa, André (2009)
A model-driven traceability framework for software product lines.
In: Software and Systems Modeling
doi: 10.1007/s10270-009-0120-9
Article, Bibliographie

Aracic, Ivica ; Gasiunas, Vaidas ; Mezini, Mira ; Ostermann, Klaus (2006)
Overview of CaesarJ.
Conference or Workshop Item, Bibliographie

B

Böhler, Timon ; Richter, David ; Mezini, Mira (2023)
Using Rewrite Strategies for Efficient Functional Automatic Differentiation.
25th ACM International Workshop on Formal Techniques for Java-like Programs. Seattle, USA (18.07.2023)
doi: 10.1145/3605156.3606456
Conference or Workshop Item, Bibliographie

Breitfelder, Florian ; Roth, Tobias ; Baumgärtner, Lars ; Mezini, Mira (2023)
WasmA: A Static WebAssembly Analysis Framework for Everyone.
30th IEEE International Conference on Software Analysis, Evolution and Reengineering (SANER 2023). Taipa, Macao (21.-24.03.2023)
doi: 10.1109/SANER56733.2023.00085
Conference or Workshop Item, Bibliographie

Bonifacio, Rodrigo ; Narasimhan, Krishna ; Bodden, Eric ; Mezini, Mira ; Krüger, Stefan (2021)
Dealing with Variability in API Misuse Specification.
35th European Conference on Object-Oriented Programming. virtual Conference (11.-17.07.2021)
doi: 10.4230/LIPIcs.ECOOP.2021.19
Conference or Workshop Item, Bibliographie

Baumgärtner, Lars ; Lieser, Patrick ; Zobel, Julian ; Bloessl, Bastian ; Steinmetz, Ralf ; Mezini, Mira (2020)
LoRAgent: A DTN-based Location-aware Communication System using LoRa.
10th IEEE Global Humanitarian Technology Conference. virtual Conference (29.10.-01.11.2020)
doi: 10.1109/GHTC46280.2020.9342886
Conference or Workshop Item, Bibliographie

Bloessl, Bastian ; Baumgärtner, Lars ; Hollick, Matthias (2020)
Hardware-Accelerated Real-Time Stream Data Processing on Android with GNU Radio.
Proceedings of the 14th International Workshop on Wireless Network Testbeds, Experimental evaluation & Characterization. London, United Kingdom (September 2020)
doi: 10.1145/3411276.3412184
Conference or Workshop Item, Bibliographie

Bračevac, Oliver ; Amin, Nada ; Salvaneschi, Guido ; Erdweg, Sebastian ; Eugster, Patrick ; Mezini, Mira (2020)
Versatile Event Correlation with Algebraic Effects.
In: Proceedings of the ACM on Programming Languages, 2018, 2 (ICFP)
doi: 10.25534/tuprints-00014556
Article, Secondary publication, Publisher's Version

Baumgärtner, Lars ; Höchst, Jonas ; Meuser, Tobias (2019)
B-DTN7: Browser-based Disruption-tolerant Networking via Bundle Protocol 7.
6th International Conference on Information and Communication Technologies for Disaster Management (ICT-DM'19). Paris, France (18.-20.12.2019)
Conference or Workshop Item, Bibliographie

Bračevac, Oliver (2019)
Event Correlation with Algebraic Effects - Theory, Design and Implementation.
Technische Universität Darmstadt
Ph.D. Thesis, Primary publication

Baumgärtner, Lars ; Höchst, Jonas ; Lampe, Patrick ; Mogk, Ragnar ; Sterz, Artur ; Weisenburger, Pascal ; Mezini, Mira ; Freisleben, Bernd (2019)
Smart Street Lights and Mobile Citizen Apps for Resilient Communication in a Digital City.
2019 IEEE Global Humanitarian Technology Conference (GHTC 2019). Seattle, USA (17.-20.10.)
Conference or Workshop Item, Bibliographie

Blöcher, Marcel ; Eichholz, Matthias ; Weisenburger, Pascal ; Eugster, Patrick ; Mezini, Mira ; Salvaneschi, Guido (2019)
GRASS: generic reactive application-specific scheduling.
REBLS 2019: 6th ACM SIGPLAN International Workshop on Reactive and Event-Based Languages and Systems. Athens, Greece (Sun 20 - Fri 25 Oct.)
doi: 10.1145/3358503.3361274
Conference or Workshop Item, Bibliographie

Bračevac, Oliver ; Gay, Richard ; Grewe, Sylvia ; Mantel, Heiko ; Sudbrock, Henning ; Tasch, Markus (2018)
An Isabelle/HOL Formalization of the Modular Assembly Kit for Security Properties.
In: Archive of Formal Proofs, 2018
Article, Bibliographie

Beller, Moritz ; Gousios, Georgius ; Panichella, Annibale ; Proksch, Sebastian ; Amann, Sven ; Zaidman, Andy (2017)
Developer Testing in the IDE: Patterns, Beliefs, and Behavior.
In: IEEE Transactions on Software Engineering, 45 (3)
doi: 10.1109/TSE.2017.2776152
Article, Bibliographie

Benz, Manuel (2016)
Interprocedural Graph-based Object Usage Model Generation for Detecting Anomalous Usage of Cryptographic APIs.
Technische Universität Darmstadt
Master Thesis, Bibliographie

Bračevac, Oliver ; Erdweg, Sebastian ; Salvaneschi, Guido ; Mezini, Mira (2016)
CPL: A Core Language for Cloud Computing.
In: Proceedings of the 15th International Conference on Modularity
doi: 10.1145/2889443.2889452
Book Section, Bibliographie

Bračevac, Oliver ; Erdweg, Sebastian ; Salvaneschi, Guido ; Mezini, Mira (2016)
CPL: A Core Language for Cloud Computing -- Technical Report.
In: ArXiv-CoRR, (Preprint)
Article, Bibliographie

Bračevac, Oliver (2015)
Temporal Correlation Patterns -- Intersecting Joins, Streams, Events and Reactive Programming.
Workshop on Reactive and Event-based Languages & Systems co-located with SPLASH '15. (27 Oct 2015)
Conference or Workshop Item, Bibliographie

Bračevac, Oliver (2013)
A Formal Model for Event Correlation in Information Flow Processing.
Technische Universität Darmstadt
Master Thesis, Bibliographie

Bodden, Eric ; Tolêdo, Társis ; Ribeiro, Márcio ; Brabrand, Claus ; Borba, Paulo ; Mezini, Mira (2012)
Transparent and Efficient Reuse of IFDS-based Static Program Analyses for Software Product Lines.
Report, Bibliographie

Bockisch, Christoph ; Sewe, Andreas ; Yin, Haihan ; Mezini, Mira ; Aksit, Mehmet (2012)
An In-Depth Look at ALIA4J.
In: The Journal of Object Technology, 11 (1)
doi: 10.5381/jot.2012.11.1.a7
Article, Bibliographie

Bockisch, Christoph ; Sewe, Andreas (2012)
The ALIA4J Approach to Efficient Language Implementation.
Demo at the 3rd Annual Conference on Systems, Programming, and Applications: Software for Humanity. Tucson, AZ, USA
doi: 10.1145/2384716.2384726
Conference or Workshop Item, Bibliographie

Bodden, Eric (2011)
Stateful Breakpoints: A Practical Approach to Defining Parameterized Runtime Monitors.
ESEC/FSE '11: Joint meeting of the European Software Engineering Conference and the ACM SIGSOFT Symposium on the Foundations of Software Engineering.
Conference or Workshop Item, Bibliographie

Bodden, Eric (2011)
Continuation equivalence: a Correctness Criterion for Static Optimizations of Dynamic Analyses.
WODA '11: International Workshop on Dynamic Analysis.
Conference or Workshop Item, Bibliographie

Barros, A. ; Allgaier, M. ; Charfi, A. ; Heller, M. ; Kylau, U. ; Schmeling, B. ; Stollberg, M. (2011)
Diversified Service Provisioning in Global Business Networks.
SRII Global Conference (SRII), 2011 Annual. San Jose, CA, USA
Conference or Workshop Item, Bibliographie

Bodden, Eric (2011)
Closure Joinpoints: Block joinpoints without surprises.
AOSD '11: Proceedings of the 10th International Conference on Aspect-oriented Software Development.
Conference or Workshop Item, Bibliographie

Bodden, Eric ; Sewe, Andreas ; Sinschek, Jan ; Oueslati, Hela ; Mezini, Mira (2011)
Taming reflection: Aiding static analysis in the presence of reflection and custom class loaders.
International Conference on Software Engineering. Waikiki, Honolulu, HI, USA (21-28 May 2011)
doi: 10.1145/1985793.1985827
Conference or Workshop Item, Bibliographie

Bockisch, Christoph ; Sewe, Andreas ; Mezini, Mira ; Akşit, Mehmet
eds.: Bishop, Judith ; Vallecillo, Antonio (2011)
An Overview of ALIA4J: An Execution Model for Advanced-Dispatching Languages.
In: Objects, Models, Components, Patterns
doi: 10.1007/978-3-642-21952-8_11
Book Section, Bibliographie

Bockisch, Christoph ; Sewe, Andreas ; Zandberg, Martin (2011)
ALIA4J's (just-in-time) compile-time MOP for advanced dispatching.
5th workshop on Virtual Machines and Intermediate Languages. Portland, OR, USA (24 Oct 2011)
doi: 10.1145/2095050.2095101
Conference or Workshop Item, Bibliographie

Bodden, Eric ; Hendren, Laurie (2011)
The Clara framework for hybrid typestate analysis.
In: International Journal on Software Tools for Technology Transfer (Springer)
Article, Bibliographie

Bodden, Eric ; Lam, Patrick ; Hendren, Laurie (2010)
Clara: a Framework for Statically Evaluating Finite-state Runtime Monitors.
1st International Conference on Runtime Verification (RV).
Conference or Workshop Item, Bibliographie

Bodden, Eric ; Lam, Patrick (2010)
Clara: Partially Evaluating Runtime Monitors at Compile Time.
1st International Conference on Runtime Verification (RV).
Conference or Workshop Item, Bibliographie

Bruch, Marcel ; Bodden, Eric ; Monperrus, Martin ; Mezini, Mira (2010)
IDE 2.0: Collective Intelligence in Software Development.
FSE/SDP Workshop on the Future of Software Engineering.
doi: 10.1145/1882362.1882374?
Conference or Workshop Item, Bibliographie

Bodden, Eric ; Havelund, Klaus (2010)
Aspect-oriented Race Detection in Java.
In: IEEE Transactions on Software Engineering (TSE), 36 (4)
Article, Bibliographie

Bockisch, Christoph ; Sewe, Andreas (2010)
Generic IDE Support for Dispatch-Based Composition.
Composition & Variability 2010: First International Workshop on Composition: Objects, Aspects, Components, Services and Product Lines. Rennes, France
Conference or Workshop Item, Bibliographie

Bodden, Eric (2010)
Specifying and Exploiting Advice-Execution Ordering using Dependency State Machines.
International Workshop on the Foundations of Aspect-Oriented Languages (FOAL).
Conference or Workshop Item, Bibliographie

Bodden, Eric ; Sewe, Andreas ; Sinschek, Jan ; Mezini, Mira (2010)
Taming Reflection: Static Analysis in the Presence of Reflection and Custom Class Loaders.
Report, Bibliographie

Bruch, Marcel ; Mezini, Mira ; Monperrus, Martin (2010)
Mining Subclassing Directives to Improve Framework Reuse.
Conference or Workshop Item, Bibliographie

Bodden, Eric (2010)
Efficient hybrid typestate analysis by determining continuation-equivalent states.
doi: 10.1145/1806799.1806805
Conference or Workshop Item, Bibliographie

Bijker, Remko ; Bockisch, Christoph ; Sewe, Andreas (2010)
Optimizing the evaluation of patterns in pointcuts.
Workshop on Virtual Machines and Intermediate Languages. Reno, Nevada, USA (17 Oct 2010)
Conference or Workshop Item, Bibliographie

Bruch, Marcel ; Monperrus, Martin ; Mezini, Mira (2009)
Learning from Examples to Improve Code Completion Systems.
17th ACM SIGSOFT Symposium on the Foundations of Software Engineering (FSE-17). Amsterdam , Netherlands (24.-28. Aug 2009)
Conference or Workshop Item, Bibliographie

Bockisch, Christoph-Matthias (2009)
An Efficient and Flexible Implementation of Aspect-Oriented Languages.
Technische Universität Darmstadt
Ph.D. Thesis, Primary publication

Bruch, Marcel ; Schäfer, Thorsten ; Mezini, Mira (2008)
On Evaluating Recommender Systems for API Usages.
International Workshop on Recommendation Systems for Software Engineering. Atlanta, Georgia, USA (14. Nov. 2008)
Conference or Workshop Item, Bibliographie

Bruch, Marcel ; Mezini, Mira (2008)
Improving Code Recommender Systems using Boolean Factor Analysis and Graphical Models.
International Workshop on Recommendation Systems for Software Engineering (RSSE 2008). Atlanta, Georgia, USA (14. Nov. 2008)
Conference or Workshop Item, Bibliographie

Bruch, Marcel (2008)
Towards Control-flow Aware Code Recommender Systems.
3rd International Doctoral Symposium on Empirical Software Engineering 2008. Kaiserslautern, Deutschland (08. Okt. 2008)
Conference or Workshop Item, Bibliographie

Bockisch, Christoph ; Mezini, Mira (2007)
A flexible architecture for pointcut-advice language implementations.
1st Workshop on Virtual Machines and Intermediate Languages for emerging modularization mechanisms (VMIL 2007). Vancouver, British Columbia, Canada (13. Mär. 2007)
doi: 10.1145/1230136.1230137
Conference or Workshop Item, Bibliographie

Bockisch, Christoph ; Kanthak, Sebastian ; Haupt, Michael ; Arnold, Mathew ; Mezini, Mira (2006)
Efficient Control Flow Quantification.
Conference or Workshop Item, Bibliographie

Bockisch, Christoph ; Haupt, Michael ; Mezini, Mira (2006)
Dynamic Virtual Join Point Dispatch.
Conference or Workshop Item, Bibliographie

Bockisch, Christoph ; Arnold, Mathew ; Dinkelaker, Tom ; Mezini, Mira (2006)
Adapting Virtual Machine Techniques for Seamless Aspect Support.
Conference or Workshop Item, Bibliographie

Bruch, Marcel ; Schäfer, Thorsten ; Mezini, Mira (2006)
FrUiT : IDE support for framework understanding.
Conference or Workshop Item, Bibliographie

Bockisch, Christoph ; Mezini, Mira ; Ostermann, Klaus (2005)
Quantifying over Dynamic Properties of Program Execution.
Second Dynamic Aspects Workshop (DAW05). Chicago, Illinois, USA (2005)
Conference or Workshop Item, Bibliographie

Bockisch, Christoph ; Haupt, Michael ; Mezini, Mira ; Mitschke, Ralf (2005)
Envelope-based weaving for faster aspect compilers.
Conference or Workshop Item, Bibliographie

Bruch, Marcel ; Bockisch, Christoph ; Schäfer, Thorsten ; Mezini, Mira (2005)
eAssignment: a case for EMF.
OOPSLA workshop on eclipse technology eXchange. San Diego, CA, USA
doi: 10.1145/1117696.1117719
Conference or Workshop Item, Bibliographie

Bockisch, Christoph ; Haupt, Michael ; Mezini, Mira ; Ostermann, Klaus (2004)
Virtual machine support for dynamic join ponts.
Conference or Workshop Item, Bibliographie

Blando, Luis ; Lieberherr, Karl ; Mezini, Mira (1999)
Modeling Behavior with Personalities.
11th International Conference on Software Engineering and Knowledge Engineering (SEKE '99). Kaiserslautern, Germany (16.-19. June 1999)
Conference or Workshop Item, Bibliographie

Blando, Luis ; Lieberherr, Karl ; Mezini, Mira (1998)
Micro-Frameworks and Personalities.
International Workshop on Pragmatic Issues in Framework Design, co-hosted with the ACM International Conference on Object-Oriented Programming, Systems, Languages and Applications (OOPSLA '98),1998. Denver, CO, USA
Conference or Workshop Item, Bibliographie

C

Cergani, Ervina (2020)
Machine Learning as a Mean to Uncover Latent Knowledge from Source Code.
Technische Universität Darmstadt
doi: 10.25534/tuprints-00011658
Ph.D. Thesis, Primary publication

Cergani, Ervina ; Proksch, Sebastian ; Nadi, Sarah ; Mezini, Mira (2018)
Investigating Order Information in API-Usage Patterns: A Benchmark and Empirical Study.
13th International Conferewnce on Software Technologies - ICSOFT 2018. Porto, Portugal (26 -28 July, 2018)
Conference or Workshop Item, Bibliographie

Cergani, Ervina ; Proksch, Sebastian ; Nadi, Sarah ; Mezini, Mira (2016)
Addressing Scalability in API Method Call Analytics.
doi: 10.1145/2989238.2989240
Conference or Workshop Item, Bibliographie

Cichos, Harald (2013)
Modellbasierte Generierung und Reduktion von Testsuiten für Software-Produktlinien.
Technische Universität Darmstadt
Ph.D. Thesis, Primary publication

Cergani, Ervina ; Miettinen, Pauli (2013)
Discovering relations using matrix factorization methods.
doi: 10.1145/2505515.2507841
Conference or Workshop Item, Bibliographie

Charfi, Anis ; Schmeling, Benjamin ; Novelli, Francesco ; Witteborg, Heiko ; Kylau, Uwe (2010)
An Overview of the Unified Service Description Language.
8th IEEE European Conference on Web Services (ECOWS 2010). Ayia Napa, Cyprus
Conference or Workshop Item, Bibliographie

Charfi, Anis ; Müller, Heiko ; Mezini, Mira (2010)
Aspect-Oriented Business Process Modeling with AO4BPMN.
6th European Conference ECMFA on Modelling Foundations and Applications (ECMFA). Paris, France (15-18 June 201)
Conference or Workshop Item, Bibliographie

Charfi, Anis ; Dinkelaker, Tom ; Mezini, Mira (2009)
A Plug-in Architecture for Self-Adaptive Web Service Compositions.
IEEE 7th International Conference on Web Services (ICWS 2009).
Conference or Workshop Item, Bibliographie

Charfi, Anis (2008)
Aspect-Oriented Workflow Management: Concepts, Languages, Applications.
Technische Universität Darmstadt
Ph.D. Thesis, Bibliographie

Charfi, Anis ; Mezini, Mira (2007)
AO4BPEL: An Aspect-Oriented Extension to BPEL.
In: World Wide Web Journal: Recent Advances on Web Services (special issue), 10 (3)
doi: 10.1007/s11280-006-0016-3
Article, Bibliographie

Charfi, Anis ; Berbner, Rainer ; Mezini, Mira ; Steinmetz, Ralf (2007)
On the Management Requirements of Web Service compositions.
Conference or Workshop Item, Bibliographie

Charfi, Anis (2007)
Aspect-Oriented Workflow Languages: AO4BPEL and Applications.
Technische Universität Darmstadt
Ph.D. Thesis, Bibliographie

Cepa, Vasian (2007)
Attribute Enabled Software Development - Illustrated with mobile software applications.
Book, Bibliographie

Charfi, Anis ; Schmeling, Benjamin ; Mezini, Mira (2007)
Transactional BPEL Processes with AO4BPEL Aspects.
Fifth European Conference on Web Services (ECOWS'07). Halle, Germany (26.-28. Nov. 2007)
doi: 10.1109/ECOWS.2007.17
Conference or Workshop Item, Bibliographie

Charfi, Anis ; Schmeling, Benjamin ; Mezini, Mira (2006)
Reliable Messaging for BPEL Processes.
International Conference on Web Services (ICWS '06). Chicago, IL, USA
doi: 10.1109/ICWS.2006.111
Conference or Workshop Item, Bibliographie

Charfi, Anis ; Schmeling, Benjamin ; Heizenreder, Andreas ; Mezini, Mira (2006)
Reliable, Secure, and Transacted Web Service Compositions with AO4BPEL.
4th European Conference on Web Services (ECOWS '06). Zurich, Switzerland
doi: 10.1109/ECOWS.2006.32
Conference or Workshop Item, Bibliographie

Charfi, Anis ; Mezini, Mira (2006)
Aspect-Oriented Workflow Languages.
In: On the Move to Meaningful Internet Systems 2006: CoopIS, DOA, GADA, and ODBASE
doi: 10.1007/11914853_12
Book Section, Bibliographie

Charfi, Anis ; Mezini, Mira (2006)
Middleware Support for BPEL Workflows in the AO4BPEL Engine.
In: Proceedings of the Demo Session of the 4th International Conference on Business Process Management (BPM)
Book Section, Bibliographie

Charfi, Anis ; Riveill, Michel ; Blay-Fornarino, Mireille ; Pinna-Dery, Anne-Marie (2006)
Transparent and Dynamic Aspect Composition.
Workshop on Software Engineering Properties of Languages and Aspect Technologies (SPLAT '06).
Conference or Workshop Item, Bibliographie

Charfi, Anis ; Mezini, Mira (2005)
Application of aspect-oriented programming to workflows : the case of web service composition with AO4BPEL.
Conference or Workshop Item, Bibliographie

Charfi, Anis ; Mezini, Mira (2005)
Using aspects for security engineering of web service compositions.
Conference or Workshop Item, Bibliographie

Cepa, Vasian ; Mezini, Mira (2005)
MobCon : a generative middleware framework for Java mobile applications.
Conference or Workshop Item, Bibliographie

Charfi, Anis ; Mezini, Mira (2005)
An Aspect based Process Container for BPEL.
AOMD. Grenoble, France (28. Nov. - 02. Dez 2005)
doi: 10.1145/1101560.1101564
Conference or Workshop Item, Bibliographie

Charfi, Anis ; Mezini, Mira (2005)
Middleware services for web service compositions.
Conference or Workshop Item, Bibliographie

Cepa, Vasian ; Mezini, Mira (2004)
Declaring and enforcing dependencies between .NET custom attributes.
Conference or Workshop Item, Bibliographie

Charfi, Anis ; Mezini, Mira (2004)
Aspect-oriented web service composition with AO4BPEL.
Conference or Workshop Item, Bibliographie

Charfi, Anis ; Mezini, Mira (2004)
Hybrid web service composition : business processes meet business rules.
Conference or Workshop Item, Bibliographie

Cepa, Vasian ; Mezini, Mira (2004)
Language support for model-driven development.
In: Model Driven Architecture: Foundations and Applications, Special issue of the journal Science of Computer Programming (Elsevier) einger. Mai, 2004 . 25 S. (to appear)
Article, Bibliographie

Cilia, Mariano ; Haupt, Michael ; Mezini, Mira ; Buchmann, Alejandro (2003)
The convergence of AOP and active databases: towards reactive middleware.
International Conference on Generative Programming and Component Engineering, GPCE 2003. Erfurt, Germany (September 22-25, 2003)
Conference or Workshop Item, Bibliographie

D

da Costa, Francisco Handrick ; Medeiros, Ismael ; Menezes, Thales ; da Silva, João Victor ; da Silva, Ingrid Lorraine ; Bonifácio, Rodrigo ; Narasimhan, Krishna ; Ribeiro, Márcio (2022)
Exploring the Use of Static and Dynamic Analysis to Improve the Performance of the Mining Sandbox Approach for Android Malware Identification.
In: Journal of Systems and Software, 183
doi: 10.1016/j.jss.2021.111092
Article, Bibliographie

Dinser, Moritz (2021)
An Empirical Study on Reactive Programming.
Technische Universität Darmstadt
doi: 10.26083/tuprints-00019901
Bachelor Thesis, Primary publication, Publisher's Version

Drechsler, Joscha ; Mogk, Ragnar ; Salvaneschi, Guido ; Mezini, Mira (2020)
Thread-Safe Reactive Programming.
In: Proceedings of the ACM on Programming Languages, 2018, 2 (OOPSLA)
doi: 10.25534/tuprints-00014555
Article, Secondary publication, Publisher's Version

Drechsler, Joscha (2019)
Concurrency and Distribution in Reactive Programming.
Technische Universität Darmstadt
Ph.D. Thesis, Primary publication

Drechsler, Joscha ; Mogk, Ragnar ; Salvaneschi, Guido ; Mezini, Mira (2018)
Thread-safe Reactive Programming.
In: Proceedings of the ACM on Programming Languages, 2 (OOPSLA)
doi: 10.1145/3276477
Article, Bibliographie

Dodhy, Anam (2018)
Misuses of Parameters for Cryptographic APIs.
Technische Universität Darmstadt
Master Thesis, Bibliographie

Dahlen, David (2015)
Identification of High-Quality Answers Containing Code Snippets on Stack Overflow.
Technische Universität Darmstadt
Master Thesis, Bibliographie

Drechsler, Joscha ; Salvaneschi, Guido ; Mogk, Ragnar ; Mezini, Mira (2014)
Distributed REScala: An Update Algorithm for Distributed Reactive Programming.
Proceedings of the 2014 ACM International Conference on Object Oriented Programming Systems Languages & Applications. Portland, OR, USA (October 17 - 21)
Conference or Workshop Item, Bibliographie

Duddy, Keith ; Heinrich, Matthias ; Heinzl, Steffen ; Knechtel, Martin ; Pedrinaci, Carlos ; Schmeling, Benjamin ; Smith, Virginia
eds.: Barros, Alistair ; Oberle, Daniel (2012)
Representing USDL for Humans and Tools.
In: Handbook of Service Description
Book Section, Bibliographie

Dinkelaker, Tom (2011)
Reflective Embedding of Domain-Specific Languages.
Technische Universität Darmstadt
Ph.D. Thesis, Primary publication

Dinkelaker, Tom ; Eichberg, Michael ; Mezini, Mira (2011)
Incremental Concrete Syntax for Embedded Languages.
Proceedings of the 26th ACM Symposium on Applied Computing Technical Track on Programming Languages (PL at SAC).
Conference or Workshop Item, Bibliographie

Dinkelaker, Tom (2011)
AO4SQL: Towards an Aspect-Oriented Extension for SQL.
Proceedings of the 8th Workshop on Reflection, AOP and Meta-Data for Software Evolution (RAM-SE'11). Zurich, Switzerland
Conference or Workshop Item, Bibliographie

Dinkelaker, Tom ; Hauke, Sascha (2011)
Policy Languages Require the Same Composition Mechanisms as Programming Languages.
Proceedings of the Workshop on Free Composition (FREECO'11). Lancaster, UK
Conference or Workshop Item, Bibliographie

Dinkelaker, Tom (2010)
Review of the Support for Modular Language Implementation with Embedding Approaches.
Report, Bibliographie

Dinkelaker, Tom (2010)
Review of the Support for Modular Language Implementation in Embedding Approaches.
Report, Bibliographie

Dinkelaker, Tom ; Mitschke, Ralf ; Fetzer, Karin ; Mezini, Mira (2010)
A Dynamic Software Product Line Approach Using Aspect Models at Runtime.
1st Workshop on Composition and Variability.
Conference or Workshop Item, Bibliographie

Dinkelaker, Tom ; Eichberg, Michael ; Mezini, Mira (2010)
An Architecture for Composing Embedded Domain-Specific Languages.
International Conference on Aspect-Oriented Software Development. ST Malo, France (March 16-19)
Conference or Workshop Item, Bibliographie

Dinkelaker, Tom ; Monperrus, Martin ; Mezini, Mira (2010)
Supporting Variability with Late Semantic Adaptations of Domain-Specific Modeling Languages.
Conference or Workshop Item, Bibliographie

Dinkelaker, Tom ; Wende, Christian ; Lochmann, Henrik (2009)
Implementing and Composing MDSD-Typical DSLs.
Report, Primary publication

Dinkelaker, Tom ; Mezini, Mira ; Bockisch, Christoph (2009)
The Art of the Meta-Aspect Protocol.
In: Proceedings of the 8th ACM International Conference on Aspect-Oriented Software Development
doi: 10.1145/1509239.1509248
Book Section, Bibliographie

Dinkelaker, Tom ; Monperrus, Martin ; Mezini, Mira (2009)
Untangling Cross-Cutting Concerns in Domain-Specific Languages with Domain-Specific Join Points.
4th Workshop on Domain-Specific Aspect Languages.
Conference or Workshop Item, Bibliographie

Dinkelaker, Tom ; Mezini, Mira (2008)
Dynamically linked Domain-Specific Extensions for Advice Languages.
In: Proceedings of the 2008 AOSD workshop on Domain-Specific Aspect Languages
doi: 10.1145/1404927.1404930
Book Section, Bibliographie

Dinkelaker, Tom ; Johnstone, Alisdair ; Karabulut, Yuecel ; Nassi, Ike (2007)
Secure Scripting Based Composite Application Development: Framework, Architecture, and Implementation.
The 5th International Conference on Collaborative Computing: Networking, Applications and Worksharing.
Conference or Workshop Item, Bibliographie

E

Eichholz, Matthias ; Campbell, Eric Hayden ; Krebs, Matthias ; Foster, Nate ; Mezini, Mira (2022)
Dependently-Typed Data Plane Programming.
In: Proceedings of the ACM on Programming Languages, 6 (POPL)
doi: 10.1145/3498701
Article, Bibliographie

Eichholz, Matthias (2022)
Type-Safe Data Plane Programming.
Technische Universität Darmstadt
doi: 10.26083/tuprints-00022873
Ph.D. Thesis, Primary publication, Publisher's Version

Eskandani, Nafise ; Salvaneschi, Guido (2021)
The Wonderless Dataset for Serverless Computing.
18th International Conference on Mining Software Repositories (MSR). virtual Conference (22.-30.05.2021)
doi: 10.1109/MSR52588.2021.00075
Conference or Workshop Item, Bibliographie

Eichberg, Michael ; Kanthak, Sebastian ; Kloppenburg, Sven ; Mezini, Mira ; Schuh, Tobias (2020)
Incremental Confined Types Analysis.
In: Electronic Notes in Theoretical Computer Science, 164 (2)
doi: 10.25534/tuprints-00014558
Article, Secondary publication, Publisher's Version

Eichholz, Matthias ; Campbell, Eric ; Foster, Nate ; Salvaneschi, Guido ; Mezini, Mira (2019)
How to Avoid Making a Billion-Dollar Mistake: Type-Safe Data Plane Programming with SafeP4.
33rd European Conference on Object-Oriented Programming (ECOOP 2019).
doi: 10.4230/LIPIcs.ECOOP.2019.12
Conference or Workshop Item, Bibliographie

Eskandani, Nafise ; Köhler, Mirko ; Margara, Alessandro ; Salvaneschi, Guido (2019)
Distributed object-oriented programming with multiple consistency levels in ConSysT.
SPLASH'19 : 2019 ACM SIGPLAN International Conference on Systems, Programming, Languages, and Applications: Software for Humanity. Athens, Greece (20.-25.10.2019)
doi: 10.1145/3359061.3362779
Conference or Workshop Item, Bibliographie

Eichberg, Michael ; Kübler, Florian ; Helm, Dominik ; Reif, Michael ; Salvaneschi, Guido ; Mezini, Mira (2018)
Lattice Based Modularization of Static Analyses.
SOAP 2018. Amsterdam, Netherlands
doi: 10.1145/3236454.3236509
Conference or Workshop Item, Bibliographie

Eichholz, Matthias ; Salvaneschi, Guido ; Mezini, Mira (2018)
Towards Safe Modular Composition of Network Functions.
Conference Companion of the 2Nd International Conference on Art, Science, and Engineering of Programming. Nice, France (April 09 - 12, 2018)
doi: 10.1145/3191697.3213804
Conference or Workshop Item, Bibliographie

Erdweg, Sebastian ; Bračevac, Oliver ; Kuci, Edlira ; Krebs, Matthias ; Mezini, Mira (2015)
A Co-contextual Formulation of Type Rules and Its Application to Incremental Type Checking.
In: Proceedings of the 2015 ACM SIGPLAN International Conference on Object-Oriented Programming, Systems, Languages, and Applications
doi: 10.1145/2814270.2814277
Book Section, Bibliographie

Eichberg, Michael ; Hermann, Ben ; Mezini, Mira ; Glanz, Leonid (2015)
Hidden Truths in Dead Software Paths.
Proceedings of the 2015 10th Joint Meeting on Foundations of Software Engineering. New York, NY, USA
Conference or Workshop Item, Bibliographie

Erdweg, Sebastian ; van der Storm, Tijs ; Dai, Yi (2014)
Capture-Avoiding and Hygienic Program Transformations.
28th European Conference on Object-Oriented Programming. Uppsala, Sweden (28.07.-01.08.2014)
doi: 10.1007/978-3-662-44202-9_20
Conference or Workshop Item, Bibliographie

Erdweg, Sebastian ; Vergu, Vlad ; Mezini, Mira ; Visser, Eelco (2014)
Finding bugs in program generators by dynamic analysis of syntactic language constraints.
doi: 10.1145/2584469.2584474
Conference or Workshop Item, Bibliographie

Eichberg, Michael ; Hermann, Ben (2014)
A Software Product Line for Static Analyses: The OPAL Framework.
Proceedings of the 3rd ACM SIGPLAN International Workshop on the State of the Art in Java Program Analysis. New York, NY, USA
Conference or Workshop Item, Bibliographie

Erdweg, Sebastian ; Rieger, Felix (2013)
A Framework for Extensible Languages.
Proceedings of Conference on Generative Programming and Component Engineering (GPCE).
doi: 10.1145/2517208.2517210
Conference or Workshop Item, Bibliographie

Erdweg, Sebastian ; Rieger, Felix (2013)
A framework for extensible languages.
doi: 10.1145/2517208.2517210
Conference or Workshop Item, Bibliographie

Erdweg, Sebastian ; Rieger, Felix (2013)
A framework for extensible languages.
doi: 10.1145/2517208.2517210
Conference or Workshop Item, Bibliographie

Eichberg, Michael ; Sewe, Andreas (2011)
Encoding the Java Virtual Machine's Instruction Set.
Fifth Workshop on Bytecode Semantics, Verification, Analysis and Transformation (Bytecode 2010). Paphos, Cyprus (27 Mar 2010)
doi: 10.1016/j.entcs.2011.02.004
Conference or Workshop Item, Bibliographie

Eichberg, Michael
eds.: Gallagher, John ; Gelfond, Michael (2011)
Compiling Prolog to Idiomatic Java.
Technical Communications of the 27th International Conference on Logic Programming (ICLP'11). Lexington, KY, USA
Conference or Workshop Item, Bibliographie

Erradi, Mohammed ; Dinkelaker, Tom (2011)
Using Aspect-Oriented State Machines for Resolving Feature Interactions.
Proceedings of the 3rd Workshop on Advances in Programming Languages (WAPL'11). Szczecin, Poland
Conference or Workshop Item, Bibliographie

Eichberg, Michael ; Klose, Karl ; Mitschke, Ralf ; Mezini, Mira (2010)
Component Composition Using Feature Models.
doi: 10.1007/978-3-642-13238-4_12
Conference or Workshop Item, Bibliographie

Eichberg, Michael ; Monperrus, Martin ; Kloppenburg, Sven ; Mezini, Mira (2010)
Model-Driven Engineering of Machine Executable Code.
doi: 10.1007/978-3-642-13595-8_10
Conference or Workshop Item, Bibliographie

Eichberg, Michael ; Kloppenburg, Sven ; Klose, Karl ; Mezini, Mira (2008)
Defining and continuous checking of structural program dependencies.
In: Proceedings of the 30th International Conference on Software Engineering
Book Section, Bibliographie

Eichberg, Michael ; Kahl, Matthias ; Saha, Diptikalyan ; Mezini, Mira ; Ostermann, Klaus (2007)
Automatic Incrementalization of Prolog Based Static Analyses.
In: Practical Aspects of Declarative Languages
doi: 10.1007/978-3-540-69611-7_7
Book Section, Bibliographie

Eichberg, Michael ; Mezini, Mira ; Kloppenburg, Sven ; Ostermann, Klaus ; Rank, B. (2006)
Integrating and Scheduling an Open Set of Static Analyses.
21st IEEE/ACM International Conference on Automated Software Engineering (ASE '06). Tokyo, Japan
doi: 10.1109/ASE.2006.43
Conference or Workshop Item, Bibliographie

Eichberg, Michael ; Kanthak, Sebastian ; Kloppenburg, Sven ; Mezini, Mira ; Schuh, Tobias (2006)
Incremental Confined Types Analysis.
6th Workshop on Language Descriptions, Tools, and Applications. Vienna, Austria (01.04.2006)
Conference or Workshop Item, Bibliographie

Eichberg, Michael ; Germanus, Daniel ; Mezini, Mira ; Mrokon, Lukas ; Schafer, Thorsten (2006)
QScope : an Open, Extensible Framework for Measuring Software Projects.
In: CSMR '06 : Proceedings of the Conference on Software Maintenance and Reengineering
Book Section, Bibliographie

Eichberg, Michael ; Mezini, Mira ; Haupt, Michael ; Schäfer, Thorsten (2005)
Comprehensive software understanding with Sextant.
Conference or Workshop Item, Bibliographie

Eichberg, Michael ; Schäfer, Thorsten ; Mezini, Mira (2005)
Using annotations to check structural properties of classes.
Conference or Workshop Item, Bibliographie

Eichberg, Michael ; Mezini, Mira ; Schäfer, Thorsten ; Beringer, Claus ; Hamel, Karl Matthias (2004)
Enforcing system-wide properties.
Conference or Workshop Item, Bibliographie

Eichberg, Michael ; Mezini, Mira ; Ostermann, Klaus ; Schäfer, Thorsten (2004)
XIRC : a kernel for cross-artifact information engineering in software development environments.
Conference or Workshop Item, Bibliographie

Eichberg, Michael ; Mezini, Mira (2004)
Alice : modularization of middleware using aspect-oriented programming.
Conference or Workshop Item, Bibliographie

Eichberg, Michael ; Mezini, Mira ; Ostermann, Klaus (2004)
Pointcuts as functional queries.
Conference or Workshop Item, Bibliographie

F

Fasihi Yazdi, Mohsen (2018)
Study on Security Level of "Security Stack Exchange": How Trustable are Code Snippet on this Plattform?!
Technische Universität Darmstadt
Master Thesis, Bibliographie

Fiege, Ludger ; Mezini, Mira ; Mühl, Gero ; Buchmann, Alejandro (2002)
Engineering Event-based Systems with Scopes.
Proceedings of the European Conference on Object-Oriented Programming (ECOOP'02).
Conference or Workshop Item, Bibliographie

G

Giallorenzo, Saverio ; Montesi, Fabrizio ; Peressotti, Marco ; Richter, David ; Salvaneschi, Guido ; Weisenburger, Pascal
eds.: Møller, Anders ; Sridharan, Manu (2021)
Multiparty Languages: The Choreographic and Multitier Cases (Pearl).
35th European Conference on Object-Oriented Programming. virtual Conference (11.-17.07.2021)
doi: 10.4230/LIPIcs.ECOOP.2021.22
Conference or Workshop Item, Bibliographie

Glanz, Leonid ; Müller, Patrick ; Baumgärtner, Lars ; Reif, Michael ; Amann, Sven ; Anthonysamy, Pauline ; Mezini, Mira (2020)
Hidden in Plain Sight: Obfuscated Strings Threatening Your Privacy.
15th ACM Asia Conference on Computer and Communications Security (ASIA CCS '20). Taipei, Taiwan (05.-09.10.2020)
doi: 10.1145/3320269.3384745
Conference or Workshop Item, Bibliographie

Glanz, Leonid ; Müller, Patrick ; Baumgärtner, Lars ; Reif, Michael ; Anthonysamy, Pauline ; Mezini, Mira (2020)
Hidden in Plain Sight:Obfuscated Strings Threatening Your Privacy.
15th ACM Asia Conference on Computer and Communications Security (ASIA CCS '20). virtual Conference (05.-09.10)
doi: 10.1145/3320269.3384745
Conference or Workshop Item, Bibliographie

Glanz, Leonid (2020)
Automatic Identification and Recovery of Obfuscated Android Apps.
Technische Universität Darmstadt
doi: 10.25534/tuprints-00014647
Ph.D. Thesis, Primary publication, Publisher's Version

Grewe, Sylvia (2019)
Automating Type Soundness Proofs for Domain-Specific Languages.
Technische Universität Darmstadt
Ph.D. Thesis, Primary publication

Graubner, Pablo ; Lampe, Patrick ; Höchst, Jonas ; Baumgärtner, Lars ; Mezini, Mira ; Freisleben, Bernd (2018)
Opportunistic Named Functions in Disruption-tolerant Emergency Networks.
ACM International Conference on Computing Frontiers 2018 (ACM CF'18). Ischia, Italy
Conference or Workshop Item, Bibliographie

Grewe, Sylvia ; Erdweg, Sebastian ; Pacak, André ; Raulf, Michael ; Mira, Mezini (2018)
Exploration of language specifications by compilation to first-order logic.
In: Science of Computer Programming, 155
doi: 10.1016/j.scico.2017.08.001
Article, Bibliographie

Glanz, Leonid ; Amann, Sven ; Eichberg, Michael ; Reif, Michael ; Mezini, Mira
eds.: Tichy, Matthias ; Bodden, Eric ; Kuhrmann, Marco ; Wagner, Stefan ; Steghöfer, Jan-Philipp (2018)
CodeMatch: Obfuscation Won't Conceal Your Repackaged App.
In: Software Engineering und Software Management 2018
Book Section, Bibliographie

Graubner, Pablo ; Thelen, Christoph ; Körber, Michael ; Sterz, Artur ; Salvaneschi, Guido ; Mezini, Mira ; Seeger, Bernhard ; Freisleben, Bernd (2018)
Multimodal Complex Event Processing on Mobile Devices.
Proceedings of the 12th ACM International Conference on Distributed and Event-based Systems, DEBS 2018, Hamilton, New Zealand, June 25-29, 2018.
doi: 10.1145/3210284.3210289
Conference or Workshop Item, Bibliographie

Glanz, Leonid ; Amann, Sven ; Eichberg, Michael ; Reif, Michael ; Hermann, Ben ; Lerch, Johannes ; Mezini, Mira (2017)
CodeMatch: Obfuscation Won’t Conceal Your Repackaged App.
Proceedings of the 2017 11th Joint Meeting on Foundations of Software Engineering.
doi: 10.1145/3106237.3106305
Conference or Workshop Item, Bibliographie

Grewe, Sylvia ; Erdweg, Sebastian ; Mezini, Mira
eds.: Kovacs, Laura ; Voronkov, Andrei (2017)
Automating Proof Steps of Progress Proofs: Comparing Vampire and Dafny.
In: Vampire 2016. Proceedings of the 3rd Vampire Workshop
Book Section, Bibliographie

Grewe, Sylvia (2016)
VeriTaS: Verification of type system specifications: Mechanizing domain knowledge about progress and preservation proofs.
In: Companion Proceedings of the 2016 ACM SIGPLAN International Conference on Systems, Programming, Languages and Applications: Software for Humanity, SPLASH 2016
Book Section, Bibliographie

Grewe, Sylvia ; Erdweg, Sebastian ; Raulf, Michael ; Mezini, Mira (2016)
Exploration of language specifications by compilation to first-order logic.
In: Proceedings of the 18th International Symposium on Principles and Practice of Declarative Programming, Edinburgh, United Kingdom, September 5-7, 2016
Book Section, Bibliographie

Graf, Waldemar (2016)
A Case Study of Simplified Syntax Trees as a Unified Data Structure for Recommender Systems in Software Engineering.
Technische Universität Darmstadt
Bachelor Thesis, Bibliographie

Grewe, Sylvia ; Erdweg, Sebastian ; Mezini, Mira
eds.: Kovács, Laura ; Voronkov, Andrei (2016)
Using Vampire in Soundness Proofs of Type Systems.
Conference or Workshop Item, Bibliographie

Grewe, Sylvia ; Erdweg, Sebastian ; Wittmann, Pascal ; Mezini, Mira (2015)
Type Systems for the Masses: Deriving Soundness Proofs and Efficient Checkers.
In: 2015 ACM International Symposium on New Ideas, New Paradigms, and Reflections on Programming and Software, Onward! 2015, Pittsburgh, PA, USA, October 25-30, 2015
Book Section, Bibliographie

Glanz, Leonid ; Schmidt, Sebastian ; Wollny, Sebastian ; Hermann, Ben (2015)
A Vulnerability's Lifetime: Enhancing Version Information in CVE Databases.
Proceedings of the 15th International Conference on Knowledge Technologies and Data-driven Business. New York, NY, USA
Conference or Workshop Item, Bibliographie

Giarrusso, Paolo G. ; Ostermann, Klaus ; Eichberg, Michael ; Mitschke, Ralf ; Rendel, Tillmann ; Kästner, Christian (2013)
Reify your collection queries for modularity and speed!
doi: 10.1145/2451436.2451438
Conference or Workshop Item, Bibliographie

Gasiunas, Vaidas ; Núñez, Angel ; Noyé, Jacques ; Mezini, Mira
eds.: Rashid, Awais ; Royer, Jean-Claude ; Rummler, Andreas (2011)
Product line implementation with ECaesarJ.
In: Aspect-oriented, model-driven software product lines
Book Section, Bibliographie

Gasiunas, Vaidas ; Satabin, Lucas ; Mezini, Mira ; Núñez, Angel ; Noyé, Jacques (2011)
EScala: modular event-driven object interactions in Scala.
Proceedings of the tenth international conference on Aspect-oriented software development.
Conference or Workshop Item, Bibliographie

Gasiunas, Vaidas (2010)
Advanced Object-Oriented Language Mechanisms for Variability Management.
Technische Universität Darmstadt
Ph.D. Thesis, Primary publication

Gasiunas, Vaidas ; Satabin, Lucas ; Mezini, Mira ; Nunez, Angel ; Noyé, Jacques (2010)
Declarative Events for Object-Oriented Programming.
Report, Bibliographie

Gasiunas, Vaidas ; Aracic, Ivica (2007)
Dungeon: A Case Study of Feature-Oriented Programming with Virtual Classes.
2nd Workshop on Aspect-Oriented Product Line Engineering (AOPLE). Salzburg, Austria
Conference or Workshop Item, Bibliographie

Gasiunas, Vaidas ; Mezini, Mira ; Ostermann, Klaus (2007)
Dependent Classes.
In: Proceedings of the 22nd annual ACM SIGPLAN conference on Object-Oriented Programming, Systems, Languages and Applications
doi: 10.1145/1297027.1297038
Book Section, Bibliographie

Gasiunas, Vaidas ; Bartolomei, Thiago Tonelli (2006)
Towards Goal-Driven Design.
Workshop on Software Engineering Properties of Languages and Aspect Technologies (SPLAT) at AOSD.
Conference or Workshop Item, Bibliographie

H

Helm, Dominik (2023)
Modular Collaborative Program Analysis.
Technische Universität Darmstadt
doi: 10.26083/tuprints-00023220
Ph.D. Thesis, Primary publication, Publisher's Version

Herbold, Steffen ; Trautsch, Alexander ; Ledel, Benjamin ; Aghamohammadi, Alireza ; Ghaleb, Taher Ahmed ; Chahal, Kuljit Kaur ; Bossenmaier, Tim ; Nagaria, Bhaveet ; Makedonski, Philip ; Ahmadabadi, Matin Nili ; Szabados, Kristof ; Spieker, Helge ; Madeja, Matej ; Hoy, Nathaniel ; Lenarduzzi, Valentina ; Wang, Shangwen ; Rodrıguez-Perez, Gema ; Colomo-Palacios, Ricardo ; Verdecchia, Roberto ; Singh, Paramvir ; Qin, Yihao ; Chakroborti, Debasish ; Davis, Willard ; Walunj, Vijay ; Wu, Hongjun ; Marcilio, Diego ; Alam, Omar ; Aldaeej, Abdullah ; Amit, Idan ; Turhan, Burak ; Eismann, Simon ; Wickert, Anna-Katharina ; Malavolta, Ivano ; Sulir, Matus ; Fard, Fatemeh ; Henley, Austin Z. ; Kourtzanidis, Stratos ; Tuzun, Eray ; Treude, Christoph ; Shamasbi, Simin Maleki ; Pashchenko, Ivan ; Wyrich, Marvin ; Davis, James ; Serebrenik, Alexander ; Albrecht, Ella ; Aktas, Ethem Utku ; Strüber, Daniel ; Erbel, Johannes (2021)
A Fine-grained Data Set and Analysis of Tangling in Bug Fixing Commits.
doi: 10.48550/arXiv.2011.06244
Report, Bibliographie

Holst, Lukas (2021)
Dynamic Placement of Continuous Data Processing with Real Time Sensory Readout on IOT Devices.
Technische Universität Darmstadt
doi: 10.26083/tuprints-00020200
Bachelor Thesis, Primary publication, Publisher's Version

Helm, Dominik ; Kübler, Florian ; Reif, Michael ; Eichberg, Michael ; Mezini, Mira (2020)
Modular Collaborative Program Analysis in OPAL.
28th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering (ESEC/FSE 2020). Virtual Conference (06.-16.11.2020)
doi: 10.1145/3368089.3409765
Conference or Workshop Item, Bibliographie

Helm, Dominik ; Kübler, Florian ; Kölzer, Jan Thomas ; Haller, Philipp ; Eichberg, Michael ; Salvaneschi, Guido ; Mezini, Mira (2020)
A Programming Model for Semi-implicit Parallelization of Static Analyses.
ISSTA '20: 29th SIGSOFT International Symposium on Software Testing and Analysis. virtual Conference (18.-22.07.)
doi: 10.1145/3395363.3397367
Conference or Workshop Item, Bibliographie

Höchst, Jonas ; Baumgärtner, Lars ; Kuntke, Franz ; Penning, Alvar ; Sterz, Artur ; Freisleben, Bernd (2020)
LoRa-based Device-to-Device Smartphone Communication for Crisis Scenarios.
17th International Conference on Information Systems for Crisis Response and Management (ISCRAM 2020). Blacksburg, Virginia, USA (24.5.-27.5.2020)
Conference or Workshop Item, Bibliographie

Helm, Dominik ; Kübler, Florian ; Eichberg, Michael ; Reif, Michael ; Mezini, Mira
eds.: Becker, Steffen ; Bogicevic, Ivan ; Herzwurm, Georg ; Wagner, Stefan (2019)
A unified lattice model and framework for purity analyses.
doi: 10.18420/se2019-10
Conference or Workshop Item, Bibliographie

Helm, Dominik ; Kübler, Florian ; Eichberg, Michael ; Reif, Michael ; Mezini, Mira (2018)
A unified lattice model and framework for purity analyses.
ASE 2018. Corum, Montpellier, France (3.-7.9.2018)
doi: 10.1145/3238147.3238226
Conference or Workshop Item, Bibliographie

Helm, Dominik (2018)
A Framework for Modular Purity Analyses.
Technische Universität Darmstadt
Master Thesis, Bibliographie

Hermann, Ben ; Li, Ximeng ; Mantel, Heiko ; Mezini, Mira ; Tasch, Markus ; Wendel, Florian ; Weber, Friedrich (2017)
Requirements for a Specification Language for Data and Information Flow, and A Literature Review of Analytical and Constructive Research on the Java Native Interface.
Report, Bibliographie

Haller, Philipp ; Geries, Simon ; Eichberg, Michael ; Salvaneschi, Guido (2016)
Reactive Async: Expressive Deterministic Concurrency.
SCALA 2016. Amsterdam, Netherlands (30.-31.10.2016)
doi: 10.1145/2998392.2998396
Conference or Workshop Item, Bibliographie

Hermann, Ben (2016)
Full-Stack Static Security Analysis for the Java Platform.
Technische Universität Darmstadt
Ph.D. Thesis, Primary publication

Hermann, Ben ; Reif, Michael ; Eichberg, Michael ; Mezini, Mira (2015)
Getting to Know You: Towards a Capability Model for Java.
Proceedings of the 2015 10th Joint Meeting on Foundations of Software Engineering. New York, NY, USA
Conference or Workshop Item, Bibliographie

Heller, Markus ; Schmeling, Benjamin ; Heinzl, Steffen ; Leidig, Torsten ; Duddy, Keith ; Sandfuchs, Thorsten ; Klein, Andreas ; Allgaier, Matthias
eds.: Barros, Alistair ; Oberle, Daniel (2012)
Enabling USDL by Tools.
In: Handbook of Service Description
Book Section, Bibliographie

Heinzl, Steffen ; Schmeling, Benjamin (2010)
Using XML schema to improve writing, validation, and structure of WS-policies.
2010 ACM Symposium on Applied Computing (SAC). Sierre, Switzerland
Conference or Workshop Item, Bibliographie

Heinzl, Steffen ; Schmeling, Benjamin ; Freisleben, Bernd (2010)
Using temporal policies for managing changing meta-data of Web Services.
In: International Journal of Web and Grid Services (IJWGS), 6 (4)
Article, Bibliographie

Haupt, Michael (2006)
Virtual Machine Support for Aspect-Oriented Programming Languages.
Technische Universität Darmstadt
Ph.D. Thesis, Primary publication

Haupt, Michael (2006)
Virtual Machine Support for Aspect-Oriented Programming Languages.
Technische Universität Darmstadt
Ph.D. Thesis, Bibliographie

Haupt, Michael ; Mezini, Mira (2005)
Virtual machine support for aspects with advice instance tables.
In: L'Objet, 11
Article, Bibliographie

Haupt, Michael ; Mezini, Mira ; Bockisch, Christoph ; Dinkelaker, Tom ; Eichberg, Michael ; Krebs, Michael (2005)
An execution layer for aspect-oriented programmjing languages.
Conference or Workshop Item, Bibliographie

Haupt, Michael ; Mezini, Mira (2004)
Micro-measurements for dynamic aspect-oriented systems.
Conference or Workshop Item, Bibliographie

Haupt, Michael ; Mezini, Mira ; Cilia, Mariano ; Buchmann, Alejandro (2002)
Towards event-based aspect-oriented runtime environments.
Book, Bibliographie

Hermann, Stephan ; Mezini, Mira ; Ostermann, Klaus (2001)
Joint efforts to dispel an approaching modularity crisis: Divide et impera, quo vadis?
6th International Workshop on Component- Oriented Programming (WCOP). Budapest, Hungary (19. Jun. 2001)
Conference or Workshop Item, Bibliographie

Hermann, Stephan ; Mezini, Mira (2001)
Combining Composition Styles in the Evolvable Language LAC.
International Workshop on Advanced Separation of Concerns. Toronto, ON, Canada (15. Mai 2001)
Conference or Workshop Item, Bibliographie

Herrmann, Stephan ; Mezini, Mira (2000)
PIROL: a case study for multidimensional separation of concerns in software engineering environments.
Conference on Object Oriented Programming, Systems, Languages and Applications, OOPSLA 2000. Minneapolis, Minnesota USA (October 15-19, 2000)
doi: 10.1145/354222.353185
Conference or Workshop Item, Bibliographie

I

Inostroza, Milton ; Tanter, Éric ; Bodden, Eric (2011)
Join Point Interfaces for Modular Reasoning in Aspect-Oriented Programs.
ESEC/FSE '11: Joint meeting of the European Software Engineering Conference and the ACM SIGSOFT Symposium on the Foundations of Software Engineering.
Conference or Workshop Item, Bibliographie

J

Jafarinejad, Foad ; Narasimhan, Krishna ; Mezini, Mira
eds.: Wang, Shuai ; Xie, Xiaofei ; Ma, Lei (2021)
NerdBug: automated bug detection in neural networks.
30th ACM SIGSOFT International Symposium on Software Testing and Analysis (ISSTA '21). virtual Conference (12.07.2021)
doi: 10.1145/3464968.3468409
Conference or Workshop Item, Bibliographie

K

Köhler, Mirko ; Eskandani, Nafise ; Weisenburger, Pascal ; Margara, Alessandro ; Salvaneschi, Guido (2020)
Rethinking Safe Consistency in Distributed Object-Oriented Programming.
In: Proceedings of the ACM on Programming Languages, 4 (OOPSLA)
doi: 10.1145/3428256
Article, Bibliographie

Kuci, Edlira (2020)
Co-Contextual Type Systems: Contextless Deductive Reasoning for Correct Incremental Type Checking.
Technische Universität Darmstadt
doi: 10.25534/tuprints-00011419
Ph.D. Thesis, Primary publication

Kutscher, Vladimir ; Ruland, Sebastian ; Müller, Patrick ; Wasser, Nathan ; Lochau, Malte ; Anderl, Reiner ; Schürr, Andy ; Mezini, Mira ; Hähnle, Reiner (2020)
Towards a Circular Economy of Industrial Software.
In: Procedia CIRP, 90
doi: 10.1016/j.procir.2020.01.133
Article, Bibliographie

Kutscher, Vladimir ; Ruland, Sebastian ; Müller, Patrick ; Wasser, Nathan ; Lochau, Malte ; Anderl, Reiner ; Schürr, Andy ; Mezini, Mira ; Hähnle, Reiner (2020)
Towards a Circular Economy of Industrial Software.
In: Procedia CIRP, 2020, 90
doi: 10.25534/tuprints-00014563
Article, Secondary publication, Publisher's Version

Köhler, Mirco ; Salvaneschi, Guido (2019)
Automated Refactoring to Reactive Programming.
ASE'19 - The 34th International Conference on Automated Software Engineering. San Diego, Ca, USA (November 10.-15.,2019)
doi: 10.1109/ASE.2019.00082
Conference or Workshop Item, Bibliographie

Krüger, Stefan ; Späth, Johannes ; Ali, Karim ; Bodden, Eric ; Mezini, Mira (2019)
CrySL: An Extensible Approach to Validating the Correct Usage of Cryptographic APIs.
In: IEEE Transactions on Software Engineering, 2019
doi: 10.1109/TSE.2019.2948910
Article, Bibliographie

Krüger, Stefan ; Späth, Johannes ; Ali, Karim ; Bodden, Eric ; Mezini, Mira (2018)
CrySL: An Extensible Approach to Validating the Correct Usage of Cryptographic APIs.
32nd European Conference on Object-Oriented Programming (ECOOP 2018). Amsterdam, The Netherlands (15.-21.07.2018)
doi: 10.4230/LIPIcs.ECOOP.2018.10
Conference or Workshop Item, Bibliographie

Kübler, Florian (2017)
Foundations of a refinement-based framework for escape analyses.
Technische Universität Darmstadt
Master Thesis, Bibliographie

Krüger, Stefan ; Nadi, Sarah ; Reif, Michael ; Ali, Karim ; Mezini, Mira ; Bodden, Eric ; Göpfert, Florian ; Günther, Felix ; Weinert, Christian ; Demmler, Daniel ; Kamath, Ram (2017)
CogniCrypt: Supporting Developers in using Cryptography.
Piscataway, NJ, USA
doi: 10.1109/ASE.2017.8115707
Conference or Workshop Item, Bibliographie

Kuci, Edlira ; Erdweg, Sebastian ; Bračevac, Oliver ; Bejleri, Andi ; Mezini, Mira (2017)
A Co-contextual Type Checker for Featherweight Java.
In: 31st European Conference on Object-Oriented Programming (ECOOP 2017)
doi: 10.4230/LIPIcs.ECOOP.2017.18
Book Section, Bibliographie

Kübler, Florian ; Müller, Patrick ; Hermann, Ben (2017)
SootKeeper: Runtime Reusability for Modular Static Analysis.
Proceedings of the 6th ACM SIGPLAN International Workshop on State Of the Art in Program Analysis. New York, NY, USA
doi: 10.1145/3088515.3088518
Conference or Workshop Item, Bibliographie

Kutschke, Michael (2013)
Ensemble Learning for Method-Call Recommendation.
Technische Universität Darmstadt
Master Thesis, Bibliographie

Knöll, Roman ; Gasiunas, Vaidas ; Mezini, Mira (2011)
Naturalistic Types.
SPLASH/Onward! 2011.
Conference or Workshop Item, Bibliographie

Kallel, Slim (2011)
Specifying and Monitoring Non-functional Properties.
Technische Universität Darmstadt
Ph.D. Thesis, Primary publication

Kim, Chang Hwan Peter ; Bodden, Eric ; Batory, Don ; Khurshid, Sarfraz (2010)
Reducing Configurations to Monitor in a Software Product Line.
1st International Conference on Runtime Verification (RV).
Conference or Workshop Item, Bibliographie

Kloppenburg, Sven (2009)
Incrementalization of Analyses for Next Generation IDEs.
Technische Universität Darmstadt
Ph.D. Thesis, Primary publication

Kallel, Slim ; Charfi, Anis ; Dinkelaker, Tom ; Mezini, Mira ; Jmaiel, Mohamed (2009)
Specifying and Monitoring Temporal Properties in Web Services Compositions.
In: Proceedings of the 7th IEEE European Conference on Web Services (ECOWS)
Book Section, Bibliographie

Kallel, Slim ; Charfi, Anis ; Mezini, Mira ; Jmaiel, Mohamed ; Klose, Karl (2009)
From Formal Access Control Policies to Runtime Enforcement Aspects.
In: Proceedings of the 1st International Symposium on Engineering Secure Software and Systems
doi: 10.1007/978-3-642-00199-4_2
Book Section, Bibliographie

Knoell, Roman ; Mezini, Mira (2009)
Pi - A Pattern Language.
Onward Conference, 2009. Orlando, FL, USA
Conference or Workshop Item, Bibliographie

Kallel, Slim ; Charfi, Anis ; Mezini, Mira ; Jmaiel, Mohamed ; Sewe, Andreas (2009)
A holistic approach for access control policies: from formal specification to aspect-based enforcement.
In: International Journal of Information and Computer Security, 3 (3/4)
doi: 10.1504/IJICS.2009.031044
Article, Bibliographie

Kallel, Slim ; Charfi, Anis ; Mezini, Mira ; Jmaiel, Mohamed (2008)
Aspect-based Enforcement of Formal Delegation Policies.
Third International Conference on Risks and Security of Internet and Systems (CRiSIS '08). Tozeur, Tunisia (28.-30. Okt. 2008)
doi: 10.1109/CRISIS.2008.4757459
Conference or Workshop Item, Bibliographie

Kallel, Slim ; Charfi, Anis ; Jmaiel, Mohamed (2008)
Using Aspects for Enforcing Formal Architectural Invariants.
4th International Workshop on Formal Aspects of Component Software (FACS 2007). Sophia-Antipolis, France (29. Jun. 2008)
doi: 10.1016/j.entcs.2008.06.018
Conference or Workshop Item, Bibliographie

Kallel, Slim ; Charfi, Anis ; Mezini, Mira ; Jmaiel, Mohamed (2007)
Combining Formal Methods and Aspects for Specifying and Enforcing Architectural Invariants.
In: Coordination Models and Languages
doi: 10.1007/978-3-540-72794-1_12
Book Section, Bibliographie

Knöll, Roman ; Mezini, Mira (2006)
Pegasus : first steps toward a naturlaistic progamming language.
Conference or Workshop Item, Bibliographie

Kiczales, Gregor ; Mezini, Mira (2005)
Aspect-oriented programming and modular reasoning.
Conference or Workshop Item, Bibliographie

Kiczales, Gregor ; Mezini, Mira (2005)
Separation of concerns wth procedures, annotations, advice and pointcuts.
Conference or Workshop Item, Bibliographie

L

Lauinger, Johannes ; Baumgärtner, Lars ; Wickert, Anna-Katharina ; Mezini, Mira (2020)
Uncovering the Hidden Dangers: Finding Unsafe Go Code in the Wild.
TrustCom 2020. virtual Conference (29.12.2020-01.01.2021)
Conference or Workshop Item, Bibliographie

Lerch, Johannes (2016)
On the Scalability of Static Program Analysis to Detect Vulnerabilities in the Java Platform.
Technische Universität Darmstadt
Ph.D. Thesis, Primary publication

Lerch, Johannes ; Späth, Johannes ; Bodden, Eric ; Mezini, Mira (2015)
Access-Path Abstraction: Scaling Field-Sensitive Data-Flow Analysis with Unbounded Access Paths.
Automated Software Engineering (ASE), 2015 30th IEEE/ACM International Conference on. Lincoln, Nebraska, USA (9.-13. November 2015)
Conference or Workshop Item, Bibliographie

Lerch, Johannes ; Hermann, Ben (2015)
Design Your Analysis: A Case Study on Implementation Reusability of Data-flow Functions.
Proceedings of the 4th ACM SIGPLAN International Workshop on State Of the Art in Program Analysis. New York, NY, USA
Conference or Workshop Item, Bibliographie

Lerch, Johannes ; Hermann, Ben ; Bodden, Eric ; Mezini, Mira (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.
Conference or Workshop Item, Bibliographie

Lerch, Johannes ; Mezini, Mira (2013)
Finding Duplicates of Your Yet Unwritten Bug Report.
doi: 10.1109/CSMR.2013.17
Conference or Workshop Item, Bibliographie

Lorenzen, Florian ; Erdweg, Sebastian (2013)
Modular and automated type-soundness verification for language extensions.
doi: 10.1145/2500365.2500596
Conference or Workshop Item, Bibliographie

Lam, Patrick ; Bodden, Eric ; Lhotak, Ondrej ; Hendren, Laurie (2011)
The Soot framework for Java program analysis: a retrospective.
Cetus Users and Compiler Infastructure Workshop (CETUS 2011).
Conference or Workshop Item, Bibliographie

Lieberherr, Karl ; Lorenz, David ; Mezini, Mira (1999)
Programming with Aspectual Components.
Report, Bibliographie

M

Müller, Patrick ; Narasimhan, Krishna ; Mezini, Mira (2021)
Fex: Assisted Identification of Domain Features from C Programs.
21st International Working Conference on Source Code Analysis and Manipulation. virtual Conference (27.-28.09.2021)
doi: 10.1109/SCAM52516.2021.00029
Conference or Workshop Item, Bibliographie

Meuser, Tobias ; Baumgärtner, Lars ; Lieser, Patrick (2021)
Pandemic Skylines: Digital Twins for More Realism in Epidemic Simulations.
18th International Conference on Information Systems for Crisis Response and Management (ISCRAM). Blacksburg, USA (23.-26.05.2021)
Conference or Workshop Item, Bibliographie

Mogk, Ragnar (2021)
A Programming Paradigm for Reliable Applications in a Decentralized Setting.
Technische Universität Darmstadt
doi: 10.26083/tuprints-00019403
Ph.D. Thesis, Primary publication, Publisher's Version

Mogk, Ragnar ; Drechsler, Joscha ; Salvaneschi, Guido ; Mezini, Mira (2020)
A Fault-Tolerant Programming Model for Distributed Interactive Applications.
In: Proceedings of the ACM on Programming Languages, 2019, 3 (OOPSLA)
doi: 10.25534/tuprints-00014554
Article, Secondary publication, Publisher's Version

Mogk, Ragnar ; Salvaneschi, Guido ; Mezini, Mira (2018)
Reactive Programming Experience with REScala.
Nice, France (April 09 - 12, 2018)
doi: 10.1145/3191697.3214337
Conference or Workshop Item, Bibliographie

Mogk, Ragnar ; Baumgärtner, Lars ; Salvaneschi, Guido ; Freisleben, Bernd ; Mezini, Mira
ed.: Millstein, Todd (2018)
Fault-tolerant Distributed Reactive Programming.
32nd European Conference on Object-Oriented Programming (ECOOP 2018). Amsterdam, Netherlands (July 16-21, 2018)
doi: 10.4230/LIPIcs.ECOOP.2018.1
Conference or Workshop Item, Bibliographie

Müller, Patrick (2017)
Reconstruction of Obfuscated Strings.
Technische Universität Darmstadt
Master Thesis, Bibliographie

Medeiros, Flávio ; Kästner, Christian ; Ribeiro, Márcio ; Nadi, Sarah ; Gheyi, Rohit (2015)
The Love/Hate Relationship with the C Preprocessor: An Interview Study.
Prague, Czech Republic
Conference or Workshop Item, Bibliographie

Mitschke, Ralf (2014)
Scalable Automated Incrementalization for Real-Time Static Analyses.
Technische Universität Darmstadt
Ph.D. Thesis, Primary publication

Margara, Alessandro ; Salvaneschi, Guido (2014)
We have a DREAM.
doi: 10.1145/2611286.2611290
Conference or Workshop Item, Bibliographie

Mitschke, Ralf ; Eichberg, Michael ; Mezini, Mira ; Garcia, Alessandro ; Macia, Isela (2013)
Modular specification and checking of structural dependencies.
doi: 10.1145/2451436.2451448
Conference or Workshop Item, Bibliographie

Monperrus, Martin ; Eichberg, Michael ; Tekes, Elif ; Mezini, Mira (2012)
What should developers be aware of? An empirical study on the directives of API documentation.
In: Empirical Software Engineering
doi: 10.1007/s10664-011-9186-4
Article, Bibliographie

Mitschke, Ralf ; Sewe, Andreas ; Mezini, Mira (2011)
Magic for the Masses: Safer High-level Low-level Programming through Customizable Static Analyses.
First workshop on Modularity in Systems Software. Porto de Galinhas, Brazil (22 Mar 2011)
doi: 10.1145/1960518.1960522
Conference or Workshop Item, Bibliographie

Monperrus, Martin ; Bruch, Marcel ; Mezini, Mira (2010)
Detecting Missing Method Calls in Object-Oriented Software.
Conference or Workshop Item, Bibliographie

Monperrus, Martin ; Jézéquel, Jean-Marc ; Baudry, Benoit ; Champeau, Joël ; Hoeltzener, Brigitte (2010)
Model-driven generative development of measurement software.
In: Software & Systems Modeling
doi: 10.1007/s10270-010-0165-9
Article, Bibliographie

Monperrus, Martin ; Beugnard, Antoine ; Champeau, Joël (2009)
A Definition of "Abstraction Level" for Metamodels.
doi: 10.1109/ECBS.2009.41
Conference or Workshop Item, Bibliographie

Monperrus, Martin ; Long, Benoit ; Champeau, Joel ; Hoeltzener, Brigitte ; Marchalot, Gabriel ; Jézéquel, Jean-Marc (2009)
Model-driven architecture of a maritime surveillance system simulator.
In: Systems Engineering, 13 (3)
doi: 10.1002/sys.20149
Article, Bibliographie

Mitschke, Ralf ; Eichberg, Michael (2008)
Supporting the Evolution of Software Product Lines.
ECMDA Traceability Workshop. Berlin, Germany (09.-12. Jun. 2008)
Conference or Workshop Item, Bibliographie

Mezini, Mira ; Ostermann, Klaus (2005)
Untangling crosscutting models with Caesar.
In: Aspect-oriented software development
Book Section, Bibliographie

Mezini, Mira ; Ostermann, Klaus (2005)
A Comparison of Program Generation with Aspect-Oriented Programming.
In: Unconventional Programming Paradigms
doi: 10.1007/11527800_26
Book Section, Bibliographie

Mezini, Mira ; Ostermann, Klaus (2004)
Variability management with feature-oriented programming and aspects.
Conference or Workshop Item, Bibliographie

Mezini, Mira ; Ostermann, Klaus (2003)
Modules for Crosscutting Models.
8th International Conference on Reliable Software Technologies, Ada-Europe 2003. Toulouse, France (June 16-20, 2003)
Conference or Workshop Item, Bibliographie

Mezini, Mira ; Ostermann, Klaus (2003)
Conquering aspects with Caesar.
International Conference on Aspect-Oriented Software Development. Boston, Massachusetts, USA (March 17 - 21, 2003)
doi: 10.1145/643603.643613
Conference or Workshop Item, Bibliographie

Mezini, Mira ; Ostermann, Klaus (2002)
Integrating independent components with on-demand remodularization.
Conference or Workshop Item, Bibliographie

Mezini, Mira (2002)
Softwaretechnik.
In: 30 Jahre Informatik an deutschen Hochschulen: Festschrift
Book Section, Bibliographie

Mezini, Mira (2002)
Towards Variational Object-Oriented Programming: the RONDO Model.
Report, Bibliographie

Mezini, Mira ; Haupt, Michael (2001)
Neue Programmierparadigmen: Integrationsorientierte Programmierung.
In: OBJEKTspektrum, 2
Article, Bibliographie

Mezini, Mira ; Pipka, Jens Uwe (1999)
A Study of Java's Binary Compatibility.
Smalltalk and Java in Academia and Industry. Erfurt, Germany (September 28-30, 1999)
Conference or Workshop Item, Bibliographie

Mezini, Mira ; Pipka, Jens Uwe ; Dittmar, Thorsten ; Boot, Wim (1999)
Detecting Evolution Incompatibilities by Analyzing Java Binaries.
Technology of Object-Oriented Languages and Systems (TOOLS '99). Santa Barbara, CA, USA (01-05.08.1999)
doi: 10.1109/TOOLS.1999.787542
Conference or Workshop Item, Bibliographie

Mezini, Mira (1998)
Variational Object-Oriented Programming Beyond Classes and Inheritance.
Book, Bibliographie

Mezini, Mira ; Lieberherr, Karl (1998)
Adaptive Plug and Play Components for Evolutionary Software Development.
Conference on Object Oriented Programming Systems Languages and Applications (OOPSLA '98). Vancouver, British Columbia, Canada
Conference or Workshop Item, Bibliographie

Mezini, Mira (1997)
Dynamic Object Modification Without Name Collisions.
In: ECOOP'97 — Object-Oriented Programming
doi: 10.1007/BFb0053371
Book Section, Bibliographie

Mezini, Mira (1997)
Maintaining the Consistency of Class Libraries During Evolution.
12th Annual Conference on Object-Oriented Programming, Systems, Languages, and Applications (OOPSLA'97). Atlanta, GA, USA (05-09.10.1997)
Conference or Workshop Item, Bibliographie

Mezini, Mira (1996)
Dynamic Metaclass Construction for an Explicit Specialization Interface.
1st International Conference on Reflection (Reflection '96). San Francisco, California (21-23. April 1996)
Conference or Workshop Item, Bibliographie

Mezini, Mira (1995)
Supporting Evolving Objects Without Giving Up Classes.
18th International Conference on Technology of Object-Oriented Languages and Systems (TOOLS '95).
Conference or Workshop Item, Bibliographie

Mezini, Mira (1994)
A Framework for Supporting Subject-Oriented Programming.
Workshop on Subject-Oriented Programming, co-hosted with the ACM International Conference on Object-Oriented Programming, System, Languages and Applications (OOPSLA '94),1994. Denver, CO, USA
Conference or Workshop Item, Bibliographie

N

Nanjunde Gowda, Vidyashree (2018)
Benchmarking Static Misuse or Bug Detectors Using Software Vulnerabilities.
Technische Universität Darmstadt
Master Thesis, Bibliographie

Nunez, Angel ; Noyé, Jacques ; Gasiunas, Vaidas (2009)
Declarative Definition of Contexts with Polymorphic Events.
International Workshop on Context-Oriented Programming (COP'09).
Conference or Workshop Item, Bibliographie

O

Oak, Aditya ; Ahmadian, Amir M. ; Balliu, Musard ; Salvaneschi, Guido (2021)
Enclave-Based Secure Programming with JE.
6th IEEE Secure Development Conference (SecDev 2021). virtual Conference (18.-20.10.2021)
doi: 10.1109/SecDev51306.2021.00026
Conference or Workshop Item, Bibliographie

Oak, Aditya ; Ahmadian, Amir M. ; Balliu, Musard ; Salvaneschi, Guido (2021)
Language Support for Secure Software Development with Enclaves.
34th IEEE Computer Security Foundations Symposium (CSF 2021). virtual Conference (21.-24.06.2021)
Conference or Workshop Item, Bibliographie

Oak, Aditya ; Mezini, Mira ; Salvaneschi, Guido (2019)
Language Support for Multiple Privacy Enhancing Technologies.
Conference Companion of the 3rd International Conference on Art, Science, and Engineering of Programming.
Conference or Workshop Item, Bibliographie

Ostermann, Klaus ; Mezini, Mira ; Bockisch, Christoph (2005)
Expressive pointcuts for increased modularity.
Conference or Workshop Item, Bibliographie

Ostermann, Klaus ; Mezini, Mira (2001)
Object-oriented composition untangled.
International Conference on Object Oriented Programming, Systems, Languages and Applications, OOPSLA 2001. Tampa Bay, Florida, USA (October 14 – 18, 2001)
doi: 10.1145/504282.504303
Conference or Workshop Item, Bibliographie

P

Penning, Alvar ; Baumgärtner, Lars ; Höchst, Jonas ; Sterz, Artur ; Mezini, Mira ; Freisleben, Bernd (2019)
DTN7: An Open-Source Disruption-tolerant Networking Implementation of Bundle Protocol 7.
18th International Conference on Ad Hoc Networks and Wireless (ADHOC-NOW 2019). Esch-sur-Alzette, Luxemburg (01.-03.10.2019)
Conference or Workshop Item, Bibliographie

Proksch, Sebastian (2017)
Enriched Event Streams: A General Platform For Empirical Studies On In-IDE Activities Of Software Developers.
Technische Universität Darmstadt
Ph.D. Thesis, Primary publication

Proksch, Sebastian ; Nadi, Sarah ; Amann, Sven ; Mezini, Mira (2017)
Enriching In-IDE Process Information with Fine-Grained Source Code History.
International Conference on Software Analysis, Evolution, and Reengineering. Klagenfurt, Austria (21-24 Feb 2017)
Conference or Workshop Item, Bibliographie

Pun, Ka I. ; Steffen, Martin ; Stolz, Volker ; Wickert, Anna-Katharina ; Bodden, Eric ; Eichberg, Michael
eds.: Larsen, Kim G. ; Srba, Jiří (2016)
Don't let data Go astray - A Context-Sensitive Taint Analysis for Concurrent Programs in Go.
Nordic Workshop on Programming Theory (NWPT'16).
Conference or Workshop Item, Bibliographie

Proksch, Sebastian ; Amann, Sven ; Nadi, Sarah ; Mezini, Mira (2016)
Evaluating the Evaluations of Code Recommender Systems: A Reality Check.
In: International Conference on Automated Software Engineering
doi: 10.1145/2970276.2970330
Article, Bibliographie

Proksch, Sebastian ; Amann, Sven ; Nadi, Sarah ; Mezini, Mira (2016)
A Dataset of Simplified Syntax Trees for C#.
13th International Conference on Mining Software Repositories. Austin, Texas, USA (May 14–15, 2016)
doi: 10.1145/2901739.2903507
Conference or Workshop Item, Bibliographie

Proksch, Sebastian ; Lerch, Johannes ; Mezini, Mira (2015)
Intelligent Code Completion with Bayesian Networks.
In: ACM Transactions on Software Engineering and Methodology (TOSEM), 25 (1)
Article, Bibliographie

Proksch, Sebastian ; Bauer, Veronika ; Murphy, Gail C.
eds.: Meyer, Bertrand ; Nordio, Martin (2015)
How to Build a Recommendation System for Software Engineering.
In: Advances in the theory and practice of software engineering - LASER 2013-2014
Book Section, Bibliographie

Proksch, Sebastian ; Amann, Sven ; Mezini, Mira (2014)
Towards Standardized Evaluation of Developer-Assistance Tools.
doi: 10.1145/2593822.2593827
Conference or Workshop Item, Bibliographie

Pipka, Jens Uwe ; Mezini, Mira (2000)
Weiterentwicklung objektorientierter Softwaresysteme: Risiken und deren Vermeidung.
In: Softwaretechnik-Trends, 20 (3)
Article, Bibliographie

Pulvermüller, Elke ; Speck, Andreas ; Mezini, Mira (2000)
Reusability of Concerns.
International Workshop on Aspects and Dimensions of Concerns, co-hosted with the 14th European Conference on Object-Oriented Programming (ECOOP), 2000. Sophia Antipolis, France (June 11 - 12, 2000)
Conference or Workshop Item, Bibliographie

R

Richter, David ; Kretzler, David ; Weisenburger, Pascal ; Salvaneschi, Guido ; Faust, Sebastian ; Mezini, Mira (2023)
Prisma: A Tierless Language for Enforcing Contract-client Protocols in Decentralized Applications.
In: ACM Transactions on Programming Languages and Systems, 45 (3)
doi: 10.1145/3604629
Article, Bibliographie

Richter, David ; Böhler, Timon ; Weisenburger, Pascal ; Mezini, Mira (2023)
A Direct-Style Effect Notation for Sequential and Parallel Programs.
37th European Conference on Object-Oriented Programming. Seattle, United States (17.-21.07.2023)
doi: 10.4230/LIPIcs.ECOOP.2023.25
Conference or Workshop Item, Bibliographie

Roth, Tobias ; Helm, Dominik ; Reif, Michael ; Mezini, Mira (2022)
CiFi: Versatile Analysis of Class and Field Immutability.
Software Engineering 2022. virtual Conference (21.-25.02.2022)
doi: 10.18420/se2022-ws-027
Conference or Workshop Item, Bibliographie

Richter, David ; Kretzler, David ; Weisenburger, Pascal ; Salvaneschi, Guido ; Faust, Sebastian ; Mezini, Mira (2022)
Prisma: A tierless language for enforcing contract-client protocols in decentralized apps.
35th European Conference on Object-Oriented Programming. Berlin, Germany (06.-07.07.2022)
doi: 10.4230/LIPIcs.ECOOP.2022.35
Conference or Workshop Item, Bibliographie

Roth, Tobias ; Helm, Dominik ; Reif, Michael ; Mezini, Mira (2021)
CiFi: Versatile Analysis of Class and Field Immutability.
36th IEEE/ACM International Conference on Automated Software Engineering (ASE). virtual Conference (15.-19.11.2021)
doi: 10.1109/ASE51524.2021.9678903
Conference or Workshop Item, Bibliographie

Reif, Michael (2021)
Novel Approaches to Systematically Evaluating and Constructing Call Graphs for Java Software.
Technische Universität Darmstadt
doi: 10.26083/tuprints-00019286
Ph.D. Thesis, Primary publication, Publisher's Version

Reif, Michael ; Kübler, Florian ; Helm, Dominik ; Hermann, Ben ; Eichberg, Michael ; Mezini, Mira (2020)
TACAI: An Intermediate Representation Based on Abstract Interpretation.
SOAP 2020-9th ACM SIGPLAN International Workshop on the State Of the Art in Program Analysis. London, UK (June 2020)
doi: 10.1145/3394451.3397204
Conference or Workshop Item, Bibliographie

Reif, Michael ; Kübler, Florian ; Eichberg, Michael ; Helm, Dominik ; Mezini, Mira (2019)
Judge: Identifying, Understanding, and Evaluating Sources of Unsoundness in Call Graphs.
28th ACM SIGSOFT International Symposium on Software Testing and Analysis (ISSTA'19). Beijing, China (15.07.-19.0.7. 2019)
doi: 10.1145/3293882.3330555
Conference or Workshop Item, Bibliographie

Reif, Michael ; Eichberg, Michael ; Kübler, Florian ; Mezini, Mira (2018)
Systematic Evaluation of the Unsoundness of Call Graph Construction Algorithms for Java.
SOAP 2018. Amsterdam, Netherlands
doi: 10.1145/3236454.3236503
Conference or Workshop Item, Bibliographie

Reif, Michael ; Eichberg, Michael ; Mezini, Mira
eds.: Tichy, Matthias ; Bodden, Eric ; Kuhrmann, Marco ; Wagner, Stefan ; Steghöfer, Jan-Philipp (2018)
Call Graph Construction for Java Libraries.
Software Engineering und Software Management 2018. Bonn
Conference or Workshop Item, Bibliographie

Reif, Michael ; Eichberg, Michael ; Hermann, Ben ; Mezini, Mira (2017)
Hermes: assessment and creation of effective test corpora.
In: Proceeding SOAP 2017 Proceedings of the 6th ACM SIGPLAN International Workshop on State Of the Art in Program Analysis
Book Section, Bibliographie

Reif, Michael ; Eichberg, Michael ; Hermann, Ben ; Lerch, Johannes ; Mezini, Mira (2016)
Call graph construction for Java libraries.
Proceedings of the 2016 24th ACM SIGSOFT International Symposium on Foundations of Software Engineering.
doi: 10.1145/2950290.2950312
Conference or Workshop Item, Bibliographie

Robillard, Martin P. ; Bodden, Eric ; Kawrykow, David ; Mezini, Mira ; Ratchford, Tristan (2012)
Automated API Property Inference Techniques.
In: IEEE Transactions on Software Engineering, 99 (PrePrints)
Article, Bibliographie

Regayeg, Amira ; Kallel, Slim ; Kacem, Ahmed Hadj ; Jmaiel, Mohamed (2006)
ForMAAD Method: An Experimental Design for Air Traffic Control.
In: International Transactions on Systems Science and Applications, 1 (4)
Article, Bibliographie

S

Sokolowski, Daniel ; Weisenburger, Pascal ; Salvaneschi, Guido (2022)
Change is the Only Constant: Dynamic Updates for Workflows.
44th International Conference on Software Engineering. Pittsburgh, Pennsylvania (21.-29.05.2022)
doi: 10.1145/3510003.3510065
Conference or Workshop Item, Bibliographie

Schlichtig, Michael ; Wickert, Anna-Katharina ; Krüger, Stefan ; Bodden, Eric ; Mezini, Mira (2022)
CamBench - Cryptographic API Misuse Detection Tool Benchmark Suite.
19th International Conference on Mining Software Repositories (MSR 2022). virtual Conference (18.-20.05.2022)
Conference or Workshop Item, Bibliographie

Sztwiertnia, Sebastian ; Grübel, Maximilian ; Chouchane, Amine ; Sokolowski, Daniel ; Narasimhan, Krishna ; Mezini, Mira
eds.: Wang, Shuai ; Xie, Xiaofei ; Ma, Lei (2021)
Impact of programming languages on machine learning bugs.
30th ACM SIGSOFT International Symposium on Software Testing and Analysis (ISSTA '21). virtual Conference (12.07.2021)
doi: 10.1145/3464968.3468408
Conference or Workshop Item, Bibliographie

Stollenwerk, Vincent (2021)
Integrating Complex Event Processing and Transactional Dataflow.
Technische Universität Darmstadt
doi: 10.26083/tuprints-00019914
Bachelor Thesis, Primary publication, Publisher's Version

Sokolowski, Daniel ; Lehr, Jan-Patrick ; Bischof, Christian ; Salvaneschi, Guido (2020)
Leveraging Hybrid Cloud HPC with Multitier Reactive Programming.
3rd International Workshop on Interoperability of Supercomputing and Cloud Technologies. Virtual Conference (11.11.2020)
doi: 10.1109/SuperCompCloud51944.2020.00010
Conference or Workshop Item, Bibliographie

Salvaneschi, Guido ; Köhler, Mirko ; Sokolowski, Daniel ; Haller, Philipp ; Erdweg, Sebastian ; Mezini, Mira (2020)
Language-Integrated Privacy-Aware Distributed Queries.
In: Proceedings of the ACM on Programming Languages, 2019, 3 (OOPSLA)
doi: 10.25534/tuprints-00014553
Article, Secondary publication, Publisher's Version

Schindelhauer, Christian ; Oak, Aditya ; Janson, Thomas
eds.: Dressler, Falko ; Scheideler, Christian (2019)
Collaborative Broadcast in O(log log n) Rounds.
15th International Symposium on Algorithms and Experiments for Wireless Sensor Networks (ALGOSENSORS 2019). Munich, Germany (12.-13.09.2019)
doi: 10.1007/978-3-030-34405-4_7
Conference or Workshop Item, Bibliographie

Speth, Jonathan (2019)
How secure are business applications? An in-depth study on the security of business applications.
Technische Universität Darmstadt
Bachelor Thesis, Bibliographie

Schulz, Philipp (2019)
Developing Secure Distributed Systems with Modular Tierless Programming.
Technische Universität Darmstadt
Master Thesis, Bibliographie

Srivatsa, Jeevan Karanam (2019)
Benchmarking of Data Provenance Computation Methods to Support Debugging in Apache Spark.
Technische Universität Darmstadt
Master Thesis, Bibliographie

Salvaneschi, Guido ; Margara, Alessandro (2018)
On the Semantics of Distributed Reactive Programming: The Cost of Consistency.
In: IEEE Transactions on Software Engineering, 44 (7)
doi: 10.1109/TSE.2018.2833109
Article, Bibliographie

Singh, Govind (2017)
o Static Bug Finders Identify API Misuses?
Technische Universität Darmstadt
Master Thesis, Bibliographie

Salvaneschi, Guido ; Proksch, Sebastian ; Amann, Sven ; Nadi, Sarah ; Mezini, Mira (2017)
On the Positive Effect of Reactive Programming on Software Comprehension: An Empirical Study.
In: IEEE Transactions on Software Engineering, 43 (12)
doi: 10.1109/TSE.2017.2655524
Article, Bibliographie

Schlitzer, Jonas (2015)
Does Inlining Helper-Methods Improve Code Recommendation?
Technische Universität Darmstadt
Bachelor Thesis, Bibliographie

Salvaneschi, Guido ; Hintz, Gerold ; Mezini, Mira (2014)
REScala.
doi: 10.1145/2584469.2577083
Conference or Workshop Item, Bibliographie

Salvaneschi, Guido ; Amann, Sven ; Proksch, Sebastian ; Mezini, Mira (2014)
An empirical study on program comprehension with reactive programming.
doi: 10.1145/2635868.2635895
Conference or Workshop Item, Bibliographie

Schmeling, Benjamin (2013)
Composing Non-Functional Concerns in Web Services.
Technische Universität Darmstadt
Ph.D. Thesis, Primary publication

Salvaneschi, Guido ; Ghezzi, Carlo ; Pradella, Matteo (2013)
An Analysis of Language-Level Support for Self-Adaptive Software.
In: ACM Transactions on Autonomous and Adaptive Systems, 8 (2)
doi: 10.1145/2491465.2491466
Article, Bibliographie

Salvaneschi, Guido ; Mezini, Mira (2013)
Reactive behavior in object-oriented applications.
doi: 10.1145/2451436.2451442
Conference or Workshop Item, Bibliographie

Salvaneschi, Guido ; Drechsler, Joscha ; Mezini, Mira (2013)
Towards Distributed Reactive Programming.
doi: 10.1007/978-3-642-38493-6_16
Conference or Workshop Item, Bibliographie

Salvaneschi, Guido ; Mezini, Mira (2013)
Reactive behavior in object-oriented applications.
doi: 10.1145/2451436.2451442
Conference or Workshop Item, Bibliographie

Salvaneschi, Guido ; Ghezzi, Carlo ; Pradella, Matteo (2013)
An Analysis of Language-Level Support for Self-Adaptive Software.
In: ACM Transactions on Autonomous and Adaptive Systems, 8 (2)
doi: 10.1145/2491465.2491466
Article, Bibliographie

Sewe, Andreas (2012)
Design and Analysis of a Scala Benchmark Suite for the Java Virtual Machine.
Technische Universität Darmstadt
Ph.D. Thesis, Primary publication

Sewe, Andreas ; Mezini, Mira ; Sarimbekov, Aibek ; Ansaloni, Danilo ; Binder, Walter ; Ricci, Nathan ; Guyer, Samuel Z. (2012)
new Scala() instance of Java: a Comparison of the Memory Behaviour of Java and Scala Programs.
International Symposium on Memory Management. Beijing, China (15-16 Jun 2012)
doi: 10.1145/2258996.2259010
Conference or Workshop Item, Bibliographie

Salvaneschi, Guido ; Ghezzi, Carlo ; Pradella, Matteo (2012)
Context-oriented programming: A software engineering perspective.
In: Journal of Systems and Software
doi: 10.1016/j.jss.2012.03.024
Article, Bibliographie

Sarimbekov, Aibek ; Sewe, Andreas ; Binder, Walter ; Moret, Philippe ; Mezini, Mira (2012)
JP2: Call-site aware calling context profiling for the Java Virtual Machine.
In: Science of Computer Programming
doi: 10.1016/j.scico.2011.11.003
Article, Bibliographie

Schmeling, Benjamin ; Charfi, Anis ; Martin, Marko ; Mezini, Mira
eds.: Ralyté, Jolita ; Franch, Xavier ; Brinkkemper, Sjaak ; Wrycza, Stanislaw (2012)
Towards Conflict-Free Composition of Non-functional Concerns.
CAiSE. Gdansk, Poland (25-29 June 2012)
Conference or Workshop Item, Bibliographie

Schmeling, Benjamin ; Charfi, Anis ; Heinzl, Steffen ; Mezini, Mira (2012)
A survey on non-functional concerns in web services.
In: International Journal of Web Information Systems (IJWIS), 8 (1)
Article, Bibliographie

Sewe, Andreas ; Mezini, Mira ; Sarimbekov, Aibek ; Binder, Walter (2011)
Da Capo con Scala: Design and Analysis of a Scala Benchmark Suite for the Java Virtual Machine.
ACM international conference on Object-Oriented Programming, Systems, Languages and Applications. Portland, OR, USA (25-27 Oct 2011)
doi: 10.1145/2048066.2048118
Conference or Workshop Item, Bibliographie

Sarimbekov, Aibek ; Binder, Walter ; Sewe, Andreas ; Mezini, Mira ; Villazón, Alex (2011)
JP2: Collecting Dynamic Bytecode Metrics in JVMs.
ACM international conference on Object-Oriented Programming, Systems, Languages and Applications. Portland, OR, USA (25-27 Oct 2011)
doi: 10.1145/2048147.2048165
Conference or Workshop Item, Bibliographie

Schmeling, Benjamin ; Charfi, Anis ; Thome, Rainer ; Mezini, Mira (2011)
Composing Non-functional Concerns in Web Services.
9th IEEE European Conference on Web Services (ECOWS 2011). Lugano, Switzerland
Conference or Workshop Item, Bibliographie

Schmeling, Benjamin ; Charfi, Anis ; Mezini, Mira (2011)
Composing Non-functional Concerns in Composite Web Services.
IEEE International Conference on Web Services. Washington DC, USA
Conference or Workshop Item, Bibliographie

Sewe, Andreas (2011)
Scala = Java (mod JVM): On the Performance Characteristics of Scala Programs on the Java Virtual Machine.
Work-in-Progress Session at PPPJ 2010. Vienna, Austria (16 Sep 2010.)
Conference or Workshop Item, Bibliographie

Sarimbekov, Aibek ; Sewe, Andreas ; Binder, Walter ; Moret, Philippe ; Schoeberl, Martin ; Mezini, Mira (2011)
Portable and Accurate Collection of Calling-Context-Sensitive Bytecode Metrics for the Java Virtual Machine.
International Conference on Principles and Practice of Programming in Java. Kongens Lyngby, Denmark (24-26 August 2011)
doi: 10.1145/2093157.2093160
Conference or Workshop Item, Bibliographie

Sewe, Andreas ; Jochem, Jannik ; Mezini, Mira (2011)
Next in line, Please!: Exploiting the Indirect Benefits of Inlining by Accurately Predicting Further Inlining.
5th workshop on Virtual Machines and Intermediate Languages. Portland, OR, USA (24 Oct 2011)
doi: 10.1145/2095050.2095102
Conference or Workshop Item, Bibliographie

Sarimbekov, Aibek ; Moret, Philippe ; Binder, Walter ; Sewe, Andreas ; Mezini, Mira (2011)
Complete and Platform-Independent Calling Context Profiling for the Java Virtual Machine.
In: Electronic Notes in Theoretical Computer Science, 2020, 279 (1)
doi: 10.25534/tuprints-00014564
Article, Secondary publication, Publisher's Version

Schmeling, Benjamin ; Charfi, Anis ; Mezini, Mira (2010)
Non-functional Concerns in Web Services: Requirements and State of the Art Analysis.
12th International Conference on Information Integration and Web-based Applications & Services. Paris, France
Conference or Workshop Item, Bibliographie

Sewe, Andreas ; Yuan, Dingwen ; Sinschek, Jan ; Mezini, Mira (2010)
Headroom-based Pretenuring.
Vienna, Austria
doi: 10.1145/1852761.1852767
Conference or Workshop Item, Bibliographie

Sewe, Andreas ; Yuan, Dingwen ; Sinschek, Jan ; Mezini, Mira (2010)
Headroom-based pretenuring: dynamically pretenuring objects that live “long enough”.
8th International Conference on the Principles and Practice of Programming in Java - PPPJ '10. Vienna, Austria (15-17 Sep 2010)
doi: 10.1145/1852761.1852767
Conference or Workshop Item, Bibliographie

Sewe, Andreas
ed.: Krall, Andreas (2010)
Scala = Java (mod JVM)?
Vienna, Austria
Conference or Workshop Item, Bibliographie

Sinschek, Jan ; Sewe, Andreas ; Mezini, Mira (2009)
VM performance evaluation with functional models: An optimist's outlook.
Third Workshop on Virtual Machines and Intermediate Languages. Orlando, FL, USA
doi: 10.1145/1711506.1711512
Conference or Workshop Item, Bibliographie

Sewe, Andreas ; Bockisch, Christoph ; Mezini, Mira (2008)
Aspects and Class-based Security: A Survey of Interactions between Advice Weaving and the Java 2 Security Model.
2nd Workshop on Virtual Machines and Intermediate Languages for emerging modularization mechanisms (VMIL 2008). Nashville, TN, USA (19. Okt. 2008)
doi: 10.1145/1507504.1507507
Conference or Workshop Item, Bibliographie

Sewe, Andreas ; Bockisch, Christoph ; Mezini, Mira (2008)
Redundancy-free Residual Dispatch: Using Ordered Binary Decision Diagrams for Efficient Dispatch.
7th workshop on Foundations of aspect-oriented languages (FOAL 2008). Brussels, Belgium (1. Apr. 2008)
doi: 10.1145/1394496.1394497
Conference or Workshop Item, Bibliographie

Schäfer, Thorsten ; Jonas, Jan ; Mezini, Mira (2008)
Mining framework usage changes from instantiation code.
International Conference on Software Engineering (ICSE). Leipzig, Germany
doi: 10.1145/1368088.1368153
Conference or Workshop Item, Bibliographie

Schäfer, Thorsten ; Aracic, Ivica ; Mezini, Mira ; Merz, Matthias ; Ostermann, Klaus (2007)
Clustering for Generating Framework Top-Level Views.
Working Conference on Reverse Engineering (WCRE '07).
doi: 10.1109/WCRE.2007.16
Conference or Workshop Item, Bibliographie

Schäfer, Thorsten ; Eichberg, Michael ; Haupt, Michael ; Mezini, Mira (2006)
The SEXTANT software exploration tool.
In: IEEE Transactions on Software Engineering, 32
Article, Bibliographie

Schäfer, Thorsten ; Eichberg, Michael ; Mezini, Mira (2005)
Towards exploring cross-cutting concerns.
AOSD '05 Workshop on Linking Aspect Technology and Evolution (LATE). Chicago, IL, USA
Conference or Workshop Item, Bibliographie

Schäfer, Thorsten ; Mezini, Mira (2005)
Towards more flexibility in software visualization tools.
Conference or Workshop Item, Bibliographie

Seiter, Linda M. ; Mezini, Mira ; Lieberherr, Karl (1999)
Dynamic Component Gluing.
International Conference on Generative and Component-Based Software Engineering, First International Symposium, GCSE 1999. Erfurt, Germany (September 28-30, 1999)
Conference or Workshop Item, Bibliographie

Seiter, Linda ; Mezini, Mira ; Lieberherr, Karl (1999)
Dynamic Integration of Concerns.
International Workshop on Multi-Dimensional Separation of Concerns in Object-Oriented Systems, co-hosted with the ACM International Conference on Object-Oriented Programming, Systems, Languages and Applications (OOPSLA '99),1999. Denver, CO, USA
Conference or Workshop Item, Bibliographie

V

Van Ham, Jurgen Michael (2015)
Seamless Concurrent Programming of Objects, Aspects and Events.
Technische Universität Darmstadt
Ph.D. Thesis, Primary publication

Van Ham, Jurgen M. ; Salvaneschi, Guido ; Mezini, Mira ; Noyé, Jacques (2014)
JEScala.
doi: 10.1145/2584469.2577082
Conference or Workshop Item, Bibliographie

Van Ham, Jurgen (2012)
Adding high-level concurrency to EScala.
International Conference on Aspect-Oriented Software Development. Potsdam, Germany
doi: 10.1145/2162110.2162125
Conference or Workshop Item, Bibliographie

W

Wickert, Anna-Katharina ; Damke, Clemens ; Baumgärtner, Lars ; Hüllermeier, Eyke ; Mezini, Mira (2023)
UNGOML: Automated Classification of unsafe Usages in Go.
20th International Conference on Mining Software Repositories (MSR 2023). Melbourne, Australia (15.-16.05.2023)
Conference or Workshop Item, Bibliographie

Wickert, Anna-Katharina ; Baumgärtner, Lars ; Schlichtig, Michael ; Narasimhan, Krishna ; Mezini, Mira (2022)
To Fix or Not to Fix: A Critical Study of Crypto-misuses in the Wild.
21st International Conference on Trust, Security and Privacy in Computing and Communications. Wuhan, Peoples Republik of China (09.-11.12.2022)
doi: 10.1109/TrustCom56396.2022.00051
Conference or Workshop Item, Bibliographie

Wickert, Anna-Katharina ; Baumgärtner, Lars ; Breitfelder, Florian ; Mezini, Mira (2021)
Python Crypto Misuses in the Wild.
15th ACM/IEEE International Symposium on Empirical Software Engineering and Measurement (ESEM ’21). virtual Conference (11.-15.10.2021)
doi: 10.6084/m9.figshare.16499085.v1
Conference or Workshop Item, Bibliographie

Weisenburger, Pascal ; Salvaneschi, Guido (2020)
Implementing a Language for Distributed Systems: Choices and Experiences with Type Level and Macro Programming in Scala.
In: The Art, Science, and Engineering of Programming, 4 (3)
doi: 10.22152/programming-journal.org/2020/4/17
Article, Bibliographie

Weisenburger, Pascal (2020)
A Programming Language for Distributed Systems.
Technische Universität Darmstadt
doi: 10.25534/tuprints-00013500
Ph.D. Thesis, Primary publication

Weisenburger, Pascal ; Salvaneschi, Guido (2019)
Multitier Modules.
London
doi: 10.4230/LIPIcs.ECOOP.2019.3
Conference or Workshop Item, Bibliographie

Weisenburger, Pascal ; Salvaneschi, Guido (2019)
Tutorial: Developing Distributed Systems with Multitier Programming.
13th ACM International Conference on Distributed and Event-based Systems (DEBS ’19). Darmstadt, Germany (June 24 - 28, 2019)
doi: 10.1145/3328905.3332465
Conference or Workshop Item, Bibliographie

Wickert, Anna-Katharina ; Reif, Michael ; Eichberg, Michael ; Dodhy, Anam ; Mezini, Mira (2019)
A Dataset of Parametric Cryptographic Misuses.
2019 IEEE/ACM 16th International Conference on Mining Software Repositories (MSR).
Conference or Workshop Item, Bibliographie

Weisenburger, Pascal ; Köhler, Mirko ; Salvaneschi, Guido (2018)
Distributed System Development with ScalaLoci.
In: Proceedings of the ACM on Programming Languages, 2 (OOPSLA)
doi: 10.1145/3276499
Article, Bibliographie

Weisenburger, Pascal ; Reinhard, Tobias ; Salvaneschi, Guido (2018)
Static Latency Tracking with Placement Types.
Amsterdam, Netherlands (July 15 - 21, 2018)
doi: 10.1145/3236454.3236486
Conference or Workshop Item, Bibliographie

Weisenburger, Pascal ; Luthra, Manisha ; Koldehofe, Boris ; Salvaneschi, Guido (2017)
Quality-Aware Runtime Adaptation in Complex Event Processing.
IEEE/ACM 12th International Symposium on Software Engineering for Adaptive and Self-Managing Systems (SEAMS), 2017. Buenos Aires, Argentina
Conference or Workshop Item, Bibliographie

Weiler, Simon (2016)
Integrating an API-Misuse Detector into Eclipse.
Technische Universität Darmstadt
Master Thesis, Bibliographie

Weirich, Felix (2016)
Improving Code Recommendation Using Expert Feedback.
Technische Universität Darmstadt
Bachelor Thesis, Bibliographie

Weisenburger, Pascal (2016)
Multitier Reactive Abstractions.
Amsterdam, Netherlands
doi: 10.1145/2984043.2984051
Conference or Workshop Item, Bibliographie

Weiel, Manuel ; Maier, Ingo ; Erdweg, Sebastian ; Eichberg, Michael ; Mezini, Mira (2014)
Towards virtual traits in Scala.
doi: 10.1145/2637647.2637654
Conference or Workshop Item, Bibliographie

Witteborg, Heiko ; Charfi, Anis ; Aly, Mohamed ; Holmes, Ta'id (2012)
Business process extensions as first-class entities — a model-driven and aspect-oriented approach.
10th international conference on Service-Oriented Computing. Shanghai, China (12th - 15th November, 2012)
Conference or Workshop Item, Bibliographie

Weimer, Markus ; Karatzoglou, Alexandros ; Bruch, Marcel (2009)
Maximum Margin Code Recommendation.
RecSys '09: Third ACM Conference on Recommender Systems. New York, NY, USA (23-25.10.2009)
Conference or Workshop Item, Bibliographie

Z

Zhou, Yu ; Jin, Haonan ; Yang, Xinying ; Chen, Taolue ; Narasimhan, Krishna ; Gall, Harald C.
eds.: Spinellis, Diomidis ; Gousios, Georgios ; Chechik, Marsha ; Penta, Massimiliano Di (2021)
BRAID: an API recommender supporting implicit user feedback.
29th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering. Athens, Greece (23.-28.08.2021)
doi: 10.1145/3468264.3473111
Conference or Workshop Item, Bibliographie

Zobel, Julian ; Lieser, Patrick ; Meuser, Tobias ; Baumgärtner, Lars ; Mezini, Mira ; Steinmetz, Ralf (2021)
Modeling Civilian Mobility in Large-Scale Disasters.
18th International Conference on Information Systems for Crisis Response and Management (ISCRAM). virtual Conference (23.-27.05.2021)
Conference or Workshop Item, Bibliographie

Zimmermann, Markus (2016)
Using Domain Knowledge to Improve Source Code Differencing.
Technische Universität Darmstadt
Bachelor Thesis, Bibliographie

Zhou, Shurui ; Al-Kofahi, Jafar ; Nguyen, Tien ; Kaestner, Christian ; Nadi, Sarah (2015)
Extracting Configuration Knowledge from Build Files with Symbolic Analysis.
Florence, Italy
Conference or Workshop Item, Bibliographie

Zheng, Yudi ; Ansaloni, Danilo ; Marek, Lukas ; Sewe, Andreas ; Binder, Walter ; Villazón, Alex ; Tuma, Petr ; Qi, Zhengwei ; Mezini, Mira (2012)
Turbo DiSL: Partial Evaluation for High-level Bytecode Instrumentation.
In: Objects, Models, Components, Patterns
doi: 10.1007/978-3-642-30561-0_24
Book Section, Bibliographie

Zschaler, Steffen ; Sánchez, Pablo ; Nebrera, Carlos ; Fuentes, Lidia ; Gasiunas, Vaidas ; Fiege, Ludger
eds.: Rashid, Awais ; Royer, Jean-Claude ; Rummler, Andreas (2011)
Product-driven software product line engineering.
In: Aspect-oriented, model-driven software product lines
Book Section, Bibliographie

This list was generated on Thu Apr 11 01:11:57 2024 CEST.