TU Darmstadt / ULB / TUbiblio

Einträge mit Organisationseinheit "20 Fachbereich Informatik > Softwaretechnik"

Exportieren als [feed] Atom [feed] RSS 1.0 [feed] RSS 2.0
Springe zu: A | B | C | D | E | F | G | H | I | J | K | L | M | N | O | P | R | S | V | W | Z
Es werden nur Einträge angezeigt, bei denen keine untergeordnete Organisationseinheit ausgewählt wurde. Anzahl: 394.

A

Audrito, Giorgio ; Casadei, Roberto ; Damiani, Ferruccio ; Salvaneschi, Guido ; Viroli, Mirko
Hrsg.: 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
Konferenzveröffentlichung, 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)
Konferenzveröffentlichung, Bibliographie

Amann, Sven (2018)
A Systematic Approach to Benchmark and Improve Automated Static Detection of Java-API Misuses.
Technische Universität Darmstadt
Dissertation, Erstveröffentlichung

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
Artikel, 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)
Konferenzveröffentlichung, 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)
Konferenzveröffentlichung, 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)
Konferenzveröffentlichung, Bibliographie

Amann, Sven ; Beyer, Stefanie ; Kevic, Katja ; Gall, Harald
Hrsg.: 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
Buchkapitel, Bibliographie

Aly, Mohamed Abdulazim Mohamed (2014)
An Extension Interface Concept for Multilayered Applications.
Technische Universität Darmstadt
Dissertation, Erstveröffentlichung

Amann, Sven ; Proksch, Sebastian ; Mezini, Mira (2014)
Method-Call Recommendations from Implicit Developer Feedback.
doi: 10.1145/2593728.2593730
Konferenzveröffentlichung, 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.)
Konferenzveröffentlichung, Bibliographie

Amann, Sven (2013)
Code Completion Based on Implicit User Feedback.
Technische Universität Darmstadt
Masterarbeit, 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)
Konferenzveröffentlichung, 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)
Konferenzveröffentlichung, Bibliographie

Aly, Mohamed ; Charfi, Anis ; Wu, Di ; Mezini, Mira (2013)
Understanding multilayered applications for building extensions.
doi: 10.1145/2451592.2451594
Konferenzveröffentlichung, Bibliographie

Aly, Mohamed ; Charfi, Anis ; Erdweg, Sebastian ; Mezini, Mira (2013)
XPoints: Extension Interfaces for Multilayered Applications.
doi: 10.1109/EDOC.2013.34
Konferenzveröffentlichung, Bibliographie

Aly, Mohamed ; Charfi, Anis ; Mezini, Mira (2013)
Building extensions for applications: Towards the understanding of extension possibilities.
doi: 10.1109/ICPC.2013.6613846
Konferenzveröffentlichung, 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
Konferenzveröffentlichung, 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).
Konferenzveröffentlichung, 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.
Konferenzveröffentlichung, Bibliographie

Anquetil, Nicolas ; Kulesza, Uirá ; Mateus, Ricardo ; Mitschke, Ralf ; Moreira, Ana ; Royer, Jean-Claude ; Rummler, Andreas
Hrsg.: Rashid, Awais ; Royer, Jean-Claude ; Rummler, Andreas (2011)
Managing information flow in the SPL development process.
In: Aspect-oriented, model-driven software product lines
Buchkapitel, 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
Konferenzveröffentlichung, Bibliographie

Alnusair, Awny ; Zhao, Tian ; Bodden, Eric (2010)
Effective API Navigation and Reuse.
International Conference on Conference on Information Reuse and Integration (IEEE IRI).
Konferenzveröffentlichung, 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
Artikel, Bibliographie

Aracic, Ivica ; Gasiunas, Vaidas ; Mezini, Mira ; Ostermann, Klaus (2006)
Overview of CaesarJ.
Konferenzveröffentlichung, 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
Konferenzveröffentlichung, 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
Konferenzveröffentlichung, 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
Konferenzveröffentlichung, 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
Konferenzveröffentlichung, 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
Konferenzveröffentlichung, 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
Artikel, Zweitveröffentlichung, Verlagsversion

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)
Konferenzveröffentlichung, Bibliographie

Bračevac, Oliver (2019)
Event Correlation with Algebraic Effects - Theory, Design and Implementation.
Technische Universität Darmstadt
Dissertation, Erstveröffentlichung

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.)
Konferenzveröffentlichung, 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
Konferenzveröffentlichung, 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
Artikel, 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
Artikel, Bibliographie

Benz, Manuel (2016)
Interprocedural Graph-based Object Usage Model Generation for Detecting Anomalous Usage of Cryptographic APIs.
Technische Universität Darmstadt
Masterarbeit, 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
Buchkapitel, Bibliographie

Bračevac, Oliver ; Erdweg, Sebastian ; Salvaneschi, Guido ; Mezini, Mira (2016)
CPL: A Core Language for Cloud Computing -- Technical Report.
In: ArXiv-CoRR, (Preprint)
Artikel, 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)
Konferenzveröffentlichung, Bibliographie

Bračevac, Oliver (2013)
A Formal Model for Event Correlation in Information Flow Processing.
Technische Universität Darmstadt
Masterarbeit, 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
Artikel, 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
Konferenzveröffentlichung, 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.
Konferenzveröffentlichung, Bibliographie

Bodden, Eric (2011)
Continuation equivalence: a Correctness Criterion for Static Optimizations of Dynamic Analyses.
WODA '11: International Workshop on Dynamic Analysis.
Konferenzveröffentlichung, 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
Konferenzveröffentlichung, Bibliographie

Bodden, Eric (2011)
Closure Joinpoints: Block joinpoints without surprises.
AOSD '11: Proceedings of the 10th International Conference on Aspect-oriented Software Development.
Konferenzveröffentlichung, 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
Konferenzveröffentlichung, Bibliographie

Bockisch, Christoph ; Sewe, Andreas ; Mezini, Mira ; Akşit, Mehmet
Hrsg.: 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
Buchkapitel, 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
Konferenzveröffentlichung, Bibliographie

Bodden, Eric ; Hendren, Laurie (2011)
The Clara framework for hybrid typestate analysis.
In: International Journal on Software Tools for Technology Transfer (Springer)
Artikel, 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).
Konferenzveröffentlichung, Bibliographie

Bodden, Eric ; Lam, Patrick (2010)
Clara: Partially Evaluating Runtime Monitors at Compile Time.
1st International Conference on Runtime Verification (RV).
Konferenzveröffentlichung, 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?
Konferenzveröffentlichung, Bibliographie

Bodden, Eric ; Havelund, Klaus (2010)
Aspect-oriented Race Detection in Java.
In: IEEE Transactions on Software Engineering (TSE), 36 (4)
Artikel, 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
Konferenzveröffentlichung, Bibliographie

Bodden, Eric (2010)
Specifying and Exploiting Advice-Execution Ordering using Dependency State Machines.
International Workshop on the Foundations of Aspect-Oriented Languages (FOAL).
Konferenzveröffentlichung, 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.
Konferenzveröffentlichung, Bibliographie

Bodden, Eric (2010)
Efficient hybrid typestate analysis by determining continuation-equivalent states.
doi: 10.1145/1806799.1806805
Konferenzveröffentlichung, 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)
Konferenzveröffentlichung, 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)
Konferenzveröffentlichung, Bibliographie

Bockisch, Christoph-Matthias (2009)
An Efficient and Flexible Implementation of Aspect-Oriented Languages.
Technische Universität Darmstadt
Dissertation, Erstveröffentlichung

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)
Konferenzveröffentlichung, 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)
Konferenzveröffentlichung, 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)
Konferenzveröffentlichung, 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
Konferenzveröffentlichung, Bibliographie

Bockisch, Christoph ; Kanthak, Sebastian ; Haupt, Michael ; Arnold, Mathew ; Mezini, Mira (2006)
Efficient Control Flow Quantification.
Konferenzveröffentlichung, Bibliographie

Bockisch, Christoph ; Haupt, Michael ; Mezini, Mira (2006)
Dynamic Virtual Join Point Dispatch.
Konferenzveröffentlichung, Bibliographie

Bockisch, Christoph ; Arnold, Mathew ; Dinkelaker, Tom ; Mezini, Mira (2006)
Adapting Virtual Machine Techniques for Seamless Aspect Support.
Konferenzveröffentlichung, Bibliographie

Bruch, Marcel ; Schäfer, Thorsten ; Mezini, Mira (2006)
FrUiT : IDE support for framework understanding.
Konferenzveröffentlichung, Bibliographie

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

Bockisch, Christoph ; Haupt, Michael ; Mezini, Mira ; Mitschke, Ralf (2005)
Envelope-based weaving for faster aspect compilers.
Konferenzveröffentlichung, 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
Konferenzveröffentlichung, Bibliographie

Bockisch, Christoph ; Haupt, Michael ; Mezini, Mira ; Ostermann, Klaus (2004)
Virtual machine support for dynamic join ponts.
Konferenzveröffentlichung, 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)
Konferenzveröffentlichung, 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
Konferenzveröffentlichung, 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
Dissertation, Erstveröffentlichung

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)
Konferenzveröffentlichung, Bibliographie

Cergani, Ervina ; Proksch, Sebastian ; Nadi, Sarah ; Mezini, Mira (2016)
Addressing Scalability in API Method Call Analytics.
doi: 10.1145/2989238.2989240
Konferenzveröffentlichung, Bibliographie

Cichos, Harald (2013)
Modellbasierte Generierung und Reduktion von Testsuiten für Software-Produktlinien.
Technische Universität Darmstadt
Dissertation, Erstveröffentlichung

Cergani, Ervina ; Miettinen, Pauli (2013)
Discovering relations using matrix factorization methods.
doi: 10.1145/2505515.2507841
Konferenzveröffentlichung, 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
Konferenzveröffentlichung, 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)
Konferenzveröffentlichung, 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).
Konferenzveröffentlichung, Bibliographie

Charfi, Anis (2008)
Aspect-Oriented Workflow Management: Concepts, Languages, Applications.
Technische Universität Darmstadt
Dissertation, 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
Artikel, Bibliographie

Charfi, Anis ; Berbner, Rainer ; Mezini, Mira ; Steinmetz, Ralf (2007)
On the Management Requirements of Web Service compositions.
Konferenzveröffentlichung, Bibliographie

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

Cepa, Vasian (2007)
Attribute Enabled Software Development - Illustrated with mobile software applications.
Buch, 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
Konferenzveröffentlichung, 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
Konferenzveröffentlichung, 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
Konferenzveröffentlichung, 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
Buchkapitel, 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)
Buchkapitel, 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).
Konferenzveröffentlichung, Bibliographie

Charfi, Anis ; Mezini, Mira (2005)
Application of aspect-oriented programming to workflows : the case of web service composition with AO4BPEL.
Konferenzveröffentlichung, Bibliographie

Charfi, Anis ; Mezini, Mira (2005)
Using aspects for security engineering of web service compositions.
Konferenzveröffentlichung, Bibliographie

Cepa, Vasian ; Mezini, Mira (2005)
MobCon : a generative middleware framework for Java mobile applications.
Konferenzveröffentlichung, 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
Konferenzveröffentlichung, Bibliographie

Charfi, Anis ; Mezini, Mira (2005)
Middleware services for web service compositions.
Konferenzveröffentlichung, Bibliographie

Cepa, Vasian ; Mezini, Mira (2004)
Declaring and enforcing dependencies between .NET custom attributes.
Konferenzveröffentlichung, Bibliographie

Charfi, Anis ; Mezini, Mira (2004)
Aspect-oriented web service composition with AO4BPEL.
Konferenzveröffentlichung, Bibliographie

Charfi, Anis ; Mezini, Mira (2004)
Hybrid web service composition : business processes meet business rules.
Konferenzveröffentlichung, 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)
Artikel, 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)
Konferenzveröffentlichung, 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
Artikel, Bibliographie

Dinser, Moritz (2021)
An Empirical Study on Reactive Programming.
Technische Universität Darmstadt
doi: 10.26083/tuprints-00019901
Bachelorarbeit, Erstveröffentlichung, Verlagsversion

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
Artikel, Zweitveröffentlichung, Verlagsversion

Drechsler, Joscha (2019)
Concurrency and Distribution in Reactive Programming.
Technische Universität Darmstadt
Dissertation, Erstveröffentlichung

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
Artikel, Bibliographie

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

Dahlen, David (2015)
Identification of High-Quality Answers Containing Code Snippets on Stack Overflow.
Technische Universität Darmstadt
Masterarbeit, 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)
Konferenzveröffentlichung, Bibliographie

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

Dinkelaker, Tom (2011)
Reflective Embedding of Domain-Specific Languages.
Technische Universität Darmstadt
Dissertation, Erstveröffentlichung

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).
Konferenzveröffentlichung, 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
Konferenzveröffentlichung, 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
Konferenzveröffentlichung, 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.
Konferenzveröffentlichung, 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)
Konferenzveröffentlichung, Bibliographie

Dinkelaker, Tom ; Monperrus, Martin ; Mezini, Mira (2010)
Supporting Variability with Late Semantic Adaptations of Domain-Specific Modeling Languages.
Konferenzveröffentlichung, Bibliographie

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

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
Buchkapitel, 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.
Konferenzveröffentlichung, 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
Buchkapitel, 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.
Konferenzveröffentlichung, 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
Artikel, Bibliographie

Eichholz, Matthias (2022)
Type-Safe Data Plane Programming.
Technische Universität Darmstadt
doi: 10.26083/tuprints-00022873
Dissertation, Erstveröffentlichung, Verlagsversion

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
Konferenzveröffentlichung, 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
Artikel, Zweitveröffentlichung, Verlagsversion

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
Konferenzveröffentlichung, 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
Konferenzveröffentlichung, 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
Konferenzveröffentlichung, 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
Konferenzveröffentlichung, 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
Buchkapitel, 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
Konferenzveröffentlichung, 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
Konferenzveröffentlichung, 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
Konferenzveröffentlichung, 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
Konferenzveröffentlichung, 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
Konferenzveröffentlichung, Bibliographie

Erdweg, Sebastian ; Rieger, Felix (2013)
A framework for extensible languages.
doi: 10.1145/2517208.2517210
Konferenzveröffentlichung, Bibliographie

Erdweg, Sebastian ; Rieger, Felix (2013)
A framework for extensible languages.
doi: 10.1145/2517208.2517210
Konferenzveröffentlichung, 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
Konferenzveröffentlichung, Bibliographie

Eichberg, Michael
Hrsg.: 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
Konferenzveröffentlichung, 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
Konferenzveröffentlichung, Bibliographie

Eichberg, Michael ; Klose, Karl ; Mitschke, Ralf ; Mezini, Mira (2010)
Component Composition Using Feature Models.
doi: 10.1007/978-3-642-13238-4_12
Konferenzveröffentlichung, 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
Konferenzveröffentlichung, 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
Buchkapitel, 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
Buchkapitel, 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
Konferenzveröffentlichung, 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)
Konferenzveröffentlichung, 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
Buchkapitel, Bibliographie

Eichberg, Michael ; Mezini, Mira ; Haupt, Michael ; Schäfer, Thorsten (2005)
Comprehensive software understanding with Sextant.
Konferenzveröffentlichung, Bibliographie

Eichberg, Michael ; Schäfer, Thorsten ; Mezini, Mira (2005)
Using annotations to check structural properties of classes.
Konferenzveröffentlichung, Bibliographie

Eichberg, Michael ; Mezini, Mira ; Schäfer, Thorsten ; Beringer, Claus ; Hamel, Karl Matthias (2004)
Enforcing system-wide properties.
Konferenzveröffentlichung, Bibliographie

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

Eichberg, Michael ; Mezini, Mira (2004)
Alice : modularization of middleware using aspect-oriented programming.
Konferenzveröffentlichung, Bibliographie

Eichberg, Michael ; Mezini, Mira ; Ostermann, Klaus (2004)
Pointcuts as functional queries.
Konferenzveröffentlichung, 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
Masterarbeit, 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).
Konferenzveröffentlichung, Bibliographie

G

Giallorenzo, Saverio ; Montesi, Fabrizio ; Peressotti, Marco ; Richter, David ; Salvaneschi, Guido ; Weisenburger, Pascal
Hrsg.: 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
Konferenzveröffentlichung, 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
Konferenzveröffentlichung, 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
Konferenzveröffentlichung, Bibliographie

Glanz, Leonid (2020)
Automatic Identification and Recovery of Obfuscated Android Apps.
Technische Universität Darmstadt
doi: 10.25534/tuprints-00014647
Dissertation, Erstveröffentlichung, Verlagsversion

Grewe, Sylvia (2019)
Automating Type Soundness Proofs for Domain-Specific Languages.
Technische Universität Darmstadt
Dissertation, Erstveröffentlichung

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
Konferenzveröffentlichung, 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
Artikel, Bibliographie

Glanz, Leonid ; Amann, Sven ; Eichberg, Michael ; Reif, Michael ; Mezini, Mira
Hrsg.: 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
Buchkapitel, 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
Konferenzveröffentlichung, 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
Konferenzveröffentlichung, Bibliographie

Grewe, Sylvia ; Erdweg, Sebastian ; Mezini, Mira
Hrsg.: Kovacs, Laura ; Voronkov, Andrei (2017)
Automating Proof Steps of Progress Proofs: Comparing Vampire and Dafny.
In: Vampire 2016. Proceedings of the 3rd Vampire Workshop
Buchkapitel, 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
Buchkapitel, 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
Buchkapitel, 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
Bachelorarbeit, Bibliographie

Grewe, Sylvia ; Erdweg, Sebastian ; Mezini, Mira
Hrsg.: Kovács, Laura ; Voronkov, Andrei (2016)
Using Vampire in Soundness Proofs of Type Systems.
Konferenzveröffentlichung, 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
Buchkapitel, 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
Konferenzveröffentlichung, 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
Konferenzveröffentlichung, Bibliographie

Gasiunas, Vaidas ; Núñez, Angel ; Noyé, Jacques ; Mezini, Mira
Hrsg.: Rashid, Awais ; Royer, Jean-Claude ; Rummler, Andreas (2011)
Product line implementation with ECaesarJ.
In: Aspect-oriented, model-driven software product lines
Buchkapitel, 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.
Konferenzveröffentlichung, Bibliographie

Gasiunas, Vaidas (2010)
Advanced Object-Oriented Language Mechanisms for Variability Management.
Technische Universität Darmstadt
Dissertation, Erstveröffentlichung

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
Konferenzveröffentlichung, 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
Buchkapitel, Bibliographie

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

H

Helm, Dominik (2023)
Modular Collaborative Program Analysis.
Technische Universität Darmstadt
doi: 10.26083/tuprints-00023220
Dissertation, Erstveröffentlichung, Verlagsversion

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
Bachelorarbeit, Erstveröffentlichung, Verlagsversion

Helm, Dominik ; Kübler, Florian ; Reif, Michael ; Eichberg, Michael (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.)
doi: 10.1145/3368089.3409765
Konferenzveröffentlichung, 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
Konferenzveröffentlichung, 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)
Konferenzveröffentlichung, Bibliographie

Helm, Dominik ; Kübler, Florian ; Eichberg, Michael ; Reif, Michael ; Mezini, Mira
Hrsg.: Becker, Steffen ; Bogicevic, Ivan ; Herzwurm, Georg ; Wagner, Stefan (2019)
A unified lattice model and framework for purity analyses.
doi: 10.18420/se2019-10
Konferenzveröffentlichung, 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
Konferenzveröffentlichung, Bibliographie

Helm, Dominik (2018)
A Framework for Modular Purity Analyses.
Technische Universität Darmstadt
Masterarbeit, 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
Konferenzveröffentlichung, Bibliographie

Hermann, Ben (2016)
Full-Stack Static Security Analysis for the Java Platform.
Technische Universität Darmstadt
Dissertation, Erstveröffentlichung

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
Konferenzveröffentlichung, Bibliographie

Heller, Markus ; Schmeling, Benjamin ; Heinzl, Steffen ; Leidig, Torsten ; Duddy, Keith ; Sandfuchs, Thorsten ; Klein, Andreas ; Allgaier, Matthias
Hrsg.: Barros, Alistair ; Oberle, Daniel (2012)
Enabling USDL by Tools.
In: Handbook of Service Description
Buchkapitel, 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
Konferenzveröffentlichung, 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)
Artikel, Bibliographie

Haupt, Michael (2006)
Virtual Machine Support for Aspect-Oriented Programming Languages.
Technische Universität Darmstadt
Dissertation, Erstveröffentlichung

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

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

Haupt, Michael ; Mezini, Mira ; Bockisch, Christoph ; Dinkelaker, Tom ; Eichberg, Michael ; Krebs, Michael (2005)
An execution layer for aspect-oriented programmjing languages.
Konferenzveröffentlichung, Bibliographie

Haupt, Michael ; Mezini, Mira (2004)
Micro-measurements for dynamic aspect-oriented systems.
Konferenzveröffentlichung, Bibliographie

Haupt, Michael ; Mezini, Mira ; Cilia, Mariano ; Buchmann, Alejandro (2002)
Towards event-based aspect-oriented runtime environments.
Buch, 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)
Konferenzveröffentlichung, 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)
Konferenzveröffentlichung, 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
Konferenzveröffentlichung, 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.
Konferenzveröffentlichung, Bibliographie

J

Jafarinejad, Foad ; Narasimhan, Krishna ; Mezini, Mira
Hrsg.: 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
Konferenzveröffentlichung, 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
Artikel, 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
Dissertation, Erstveröffentlichung

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
Artikel, 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
Artikel, Zweitveröffentlichung, Verlagsversion

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
Konferenzveröffentlichung, 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
Artikel, 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
Konferenzveröffentlichung, Bibliographie

Kübler, Florian (2017)
Foundations of a refinement-based framework for escape analyses.
Technische Universität Darmstadt
Masterarbeit, 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
Konferenzveröffentlichung, 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
Buchkapitel, 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
Konferenzveröffentlichung, Bibliographie

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

Knöll, Roman ; Gasiunas, Vaidas ; Mezini, Mira (2011)
Naturalistic Types.
SPLASH/Onward! 2011.
Konferenzveröffentlichung, Bibliographie

Kallel, Slim (2011)
Specifying and Monitoring Non-functional Properties.
Technische Universität Darmstadt
Dissertation, Erstveröffentlichung

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).
Konferenzveröffentlichung, Bibliographie

Kloppenburg, Sven (2009)
Incrementalization of Analyses for Next Generation IDEs.
Technische Universität Darmstadt
Dissertation, Erstveröffentlichung

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)
Buchkapitel, 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
Buchkapitel, Bibliographie

Knoell, Roman ; Mezini, Mira (2009)
Pi - A Pattern Language.
Onward Conference, 2009. Orlando, FL, USA
Konferenzveröffentlichung, 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
Artikel, 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
Konferenzveröffentlichung, 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
Konferenzveröffentlichung, 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
Buchkapitel, Bibliographie

Knöll, Roman ; Mezini, Mira (2006)
Pegasus : first steps toward a naturlaistic progamming language.
Konferenzveröffentlichung, Bibliographie

Kiczales, Gregor ; Mezini, Mira (2005)
Aspect-oriented programming and modular reasoning.
Konferenzveröffentlichung, Bibliographie

Kiczales, Gregor ; Mezini, Mira (2005)
Separation of concerns wth procedures, annotations, advice and pointcuts.
Konferenzveröffentlichung, 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)
Konferenzveröffentlichung, Bibliographie

Lerch, Johannes (2016)
On the Scalability of Static Program Analysis to Detect Vulnerabilities in the Java Platform.
Technische Universität Darmstadt
Dissertation, Erstveröffentlichung

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)
Konferenzveröffentlichung, 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
Konferenzveröffentlichung, 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.
Konferenzveröffentlichung, Bibliographie

Lerch, Johannes ; Mezini, Mira (2013)
Finding Duplicates of Your Yet Unwritten Bug Report.
doi: 10.1109/CSMR.2013.17
Konferenzveröffentlichung, Bibliographie

Lorenzen, Florian ; Erdweg, Sebastian (2013)
Modular and automated type-soundness verification for language extensions.
doi: 10.1145/2500365.2500596
Konferenzveröffentlichung, 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).
Konferenzveröffentlichung, 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
Konferenzveröffentlichung, 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)
Konferenzveröffentlichung, Bibliographie

Mogk, Ragnar (2021)
A Programming Paradigm for Reliable Applications in a Decentralized Setting.
Technische Universität Darmstadt
doi: 10.26083/tuprints-00019403
Dissertation, Erstveröffentlichung, Verlagsversion

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
Artikel, Zweitveröffentlichung, Verlagsversion

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

Mogk, Ragnar ; Baumgärtner, Lars ; Salvaneschi, Guido ; Freisleben, Bernd ; Mezini, Mira
Hrsg.: 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
Konferenzveröffentlichung, Bibliographie

Müller, Patrick (2017)
Reconstruction of Obfuscated Strings.
Technische Universität Darmstadt
Masterarbeit, 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
Konferenzveröffentlichung, Bibliographie

Mitschke, Ralf (2014)
Scalable Automated Incrementalization for Real-Time Static Analyses.
Technische Universität Darmstadt
Dissertation, Erstveröffentlichung

Margara, Alessandro ; Salvaneschi, Guido (2014)
We have a DREAM.
doi: 10.1145/2611286.2611290
Konferenzveröffentlichung, Bibliographie

Mitschke, Ralf ; Eichberg, Michael ; Mezini, Mira ; Garcia, Alessandro ; Macia, Isela (2013)
Modular specification and checking of structural dependencies.
doi: 10.1145/2451436.2451448
Konferenzveröffentlichung, 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
Artikel, 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
Konferenzveröffentlichung, Bibliographie

Monperrus, Martin ; Bruch, Marcel ; Mezini, Mira (2010)
Detecting Missing Method Calls in Object-Oriented Software.
Konferenzveröffentlichung, 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
Artikel, Bibliographie

Monperrus, Martin ; Beugnard, Antoine ; Champeau, Joël (2009)
A Definition of "Abstraction Level" for Metamodels.
doi: 10.1109/ECBS.2009.41
Konferenzveröffentlichung, 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
Artikel, Bibliographie

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

Mezini, Mira ; Ostermann, Klaus (2005)
Untangling crosscutting models with Caesar.
In: Aspect-oriented software development / Robert E. Filman .... - Boston [u.a.] : Addison-Wesley, 2005. - S. 165-200 ISBN: 0-321-21976-7
Buchkapitel, Bibliographie

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

Mezini, Mira ; Ostermann, Klaus (2004)
Variability management with feature-oriented programming and aspects.
Konferenzveröffentlichung, 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)
Konferenzveröffentlichung, 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
Konferenzveröffentlichung, Bibliographie

Mezini, Mira ; Ostermann, Klaus (2002)
Integrating independent components with on-demand remodularization.
Konferenzveröffentlichung, Bibliographie

Mezini, Mira (2002)
Softwaretechnik.
In: 30 Jahre Informatik an deutschen Hochschulen: Festschrift
Buchkapitel, 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
Artikel, 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)
Konferenzveröffentlichung, 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
Konferenzveröffentlichung, Bibliographie

Mezini, Mira (1998)
Variational Object-Oriented Programming Beyond Classes and Inheritance.
Buch, 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
Konferenzveröffentlichung, Bibliographie

Mezini, Mira (1997)
Dynamic Object Modification Without Name Collisions.
In: ECOOP'97 — Object-Oriented Programming
doi: 10.1007/BFb0053371
Buchkapitel, 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)
Konferenzveröffentlichung, 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)
Konferenzveröffentlichung, Bibliographie

Mezini, Mira (1995)
Supporting Evolving Objects Without Giving Up Classes.
18th International Conference on Technology of Object-Oriented Languages and Systems (TOOLS '95).
Konferenzveröffentlichung, 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
Konferenzveröffentlichung, Bibliographie

N

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

Nunez, Angel ; Noyé, Jacques ; Gasiunas, Vaidas (2009)
Declarative Definition of Contexts with Polymorphic Events.
International Workshop on Context-Oriented Programming (COP'09).
Konferenzveröffentlichung, 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
Konferenzveröffentlichung, 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)
Konferenzveröffentlichung, 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.
Konferenzveröffentlichung, Bibliographie

Ostermann, Klaus ; Mezini, Mira ; Bockisch, Christoph (2005)
Expressive pointcuts for increased modularity.
Konferenzveröffentlichung, 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
Konferenzveröffentlichung, 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)
Konferenzveröffentlichung, Bibliographie

Proksch, Sebastian (2017)
Enriched Event Streams: A General Platform For Empirical Studies On In-IDE Activities Of Software Developers.
Technische Universität Darmstadt
Dissertation, Erstveröffentlichung

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)
Konferenzveröffentlichung, Bibliographie

Pun, Ka I. ; Steffen, Martin ; Stolz, Volker ; Wickert, Anna-Katharina ; Bodden, Eric ; Eichberg, Michael
Hrsg.: 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).
Konferenzveröffentlichung, 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
Artikel, 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
Konferenzveröffentlichung, 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)
Artikel, Bibliographie

Proksch, Sebastian ; Bauer, Veronika ; Murphy, Gail C.
Hrsg.: 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
Buchkapitel, Bibliographie

Proksch, Sebastian ; Amann, Sven ; Mezini, Mira (2014)
Towards Standardized Evaluation of Developer-Assistance Tools.
doi: 10.1145/2593822.2593827
Konferenzveröffentlichung, Bibliographie

Pipka, Jens Uwe ; Mezini, Mira (2000)
Weiterentwicklung objektorientierter Softwaresysteme: Risiken und deren Vermeidung.
In: Softwaretechnik-Trends, 20 (3)
Artikel, 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)
Konferenzveröffentlichung, Bibliographie

R

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
Konferenzveröffentlichung, 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
Konferenzveröffentlichung, 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
Konferenzveröffentlichung, 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
Dissertation, Erstveröffentlichung, Verlagsversion

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
Konferenzveröffentlichung, 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
Konferenzveröffentlichung, 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
Konferenzveröffentlichung, Bibliographie

Reif, Michael ; Eichberg, Michael ; Mezini, Mira
Hrsg.: 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
Konferenzveröffentlichung, 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
Buchkapitel, 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
Konferenzveröffentlichung, 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)
Artikel, 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)
Artikel, 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
Konferenzveröffentlichung, 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)
Konferenzveröffentlichung, Bibliographie

Sztwiertnia, Sebastian ; Grübel, Maximilian ; Chouchane, Amine ; Sokolowski, Daniel ; Narasimhan, Krishna ; Mezini, Mira
Hrsg.: 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
Konferenzveröffentlichung, Bibliographie

Stollenwerk, Vincent (2021)
Integrating Complex Event Processing and Transactional Dataflow.
Technische Universität Darmstadt
doi: 10.26083/tuprints-00019914
Bachelorarbeit, Erstveröffentlichung, Verlagsversion

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
Konferenzveröffentlichung, 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
Artikel, Zweitveröffentlichung, Verlagsversion

Schindelhauer, Christian ; Oak, Aditya ; Janson, Thomas
Hrsg.: 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
Konferenzveröffentlichung, Bibliographie

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

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

Srivatsa, Jeevan Karanam (2019)
Benchmarking of Data Provenance Computation Methods to Support Debugging in Apache Spark.
Technische Universität Darmstadt
Masterarbeit, 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
Artikel, Bibliographie

Singh, Govind (2017)
o Static Bug Finders Identify API Misuses?
Technische Universität Darmstadt
Masterarbeit, 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
Artikel, Bibliographie

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

Salvaneschi, Guido ; Hintz, Gerold ; Mezini, Mira (2014)
REScala.
doi: 10.1145/2584469.2577083
Konferenzveröffentlichung, Bibliographie

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

Schmeling, Benjamin (2013)
Composing Non-Functional Concerns in Web Services.
Technische Universität Darmstadt
Dissertation, Erstveröffentlichung

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
Artikel, Bibliographie

Salvaneschi, Guido ; Mezini, Mira (2013)
Reactive behavior in object-oriented applications.
doi: 10.1145/2451436.2451442
Konferenzveröffentlichung, Bibliographie

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

Salvaneschi, Guido ; Mezini, Mira (2013)
Reactive behavior in object-oriented applications.
doi: 10.1145/2451436.2451442
Konferenzveröffentlichung, 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
Artikel, Bibliographie

Sewe, Andreas (2012)
Design and Analysis of a Scala Benchmark Suite for the Java Virtual Machine.
Technische Universität Darmstadt
Dissertation, Erstveröffentlichung

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
Konferenzveröffentlichung, 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
Artikel, 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
Artikel, Bibliographie

Schmeling, Benjamin ; Charfi, Anis ; Martin, Marko ; Mezini, Mira
Hrsg.: Ralyté, Jolita ; Franch, Xavier ; Brinkkemper, Sjaak ; Wrycza, Stanislaw (2012)
Towards Conflict-Free Composition of Non-functional Concerns.
CAiSE. Gdansk, Poland (25-29 June 2012)
Konferenzveröffentlichung, 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)
Artikel, 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
Konferenzveröffentlichung, 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
Konferenzveröffentlichung, 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
Konferenzveröffentlichung, 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
Konferenzveröffentlichung, 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.)
Konferenzveröffentlichung, 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
Konferenzveröffentlichung, 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
Konferenzveröffentlichung, 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
Artikel, Zweitveröffentlichung, Verlagsversion

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
Konferenzveröffentlichung, Bibliographie

Sewe, Andreas ; Yuan, Dingwen ; Sinschek, Jan ; Mezini, Mira (2010)
Headroom-based Pretenuring.
Vienna, Austria
doi: 10.1145/1852761.1852767
Konferenzveröffentlichung, 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
Konferenzveröffentlichung, Bibliographie

Sewe, Andreas
Hrsg.: Krall, Andreas (2010)
Scala = Java (mod JVM)?
Vienna, Austria
Konferenzveröffentlichung, 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
Konferenzveröffentlichung, 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
Konferenzveröffentlichung, 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
Konferenzveröffentlichung, 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
Konferenzveröffentlichung, 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
Konferenzveröffentlichung, Bibliographie

Schäfer, Thorsten ; Eichberg, Michael ; Haupt, Michael ; Mezini, Mira (2006)
The SEXTANT software exploration tool.
In: IEEE Transactions on Software Engineering, 32
Artikel, 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
Konferenzveröffentlichung, Bibliographie

Schäfer, Thorsten ; Mezini, Mira (2005)
Towards more flexibility in software visualization tools.
Konferenzveröffentlichung, 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)
Konferenzveröffentlichung, 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
Konferenzveröffentlichung, Bibliographie

V

Van Ham, Jurgen Michael (2015)
Seamless Concurrent Programming of Objects, Aspects and Events.
Technische Universität Darmstadt
Dissertation, Erstveröffentlichung

Van Ham, Jurgen M. ; Salvaneschi, Guido ; Mezini, Mira ; Noyé, Jacques (2014)
JEScala.
doi: 10.1145/2584469.2577082
Konferenzveröffentlichung, 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
Konferenzveröffentlichung, 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)
Konferenzveröffentlichung, 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
Konferenzveröffentlichung, 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
Konferenzveröffentlichung, 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
Artikel, Bibliographie

Weisenburger, Pascal (2020)
A Programming Language for Distributed Systems.
Technische Universität Darmstadt
doi: 10.25534/tuprints-00013500
Dissertation, Erstveröffentlichung

Weisenburger, Pascal ; Salvaneschi, Guido (2019)
Multitier Modules.
London
doi: 10.4230/LIPIcs.ECOOP.2019.3
Konferenzveröffentlichung, 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
Konferenzveröffentlichung, 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).
Konferenzveröffentlichung, 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
Artikel, 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
Konferenzveröffentlichung, 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
Konferenzveröffentlichung, Bibliographie

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

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

Weisenburger, Pascal (2016)
Multitier Reactive Abstractions.
Amsterdam, Netherlands
doi: 10.1145/2984043.2984051
Konferenzveröffentlichung, Bibliographie

Weiel, Manuel ; Maier, Ingo ; Erdweg, Sebastian ; Eichberg, Michael ; Mezini, Mira (2014)
Towards virtual traits in Scala.
doi: 10.1145/2637647.2637654
Konferenzveröffentlichung, 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)
Konferenzveröffentlichung, 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)
Konferenzveröffentlichung, Bibliographie

Z

Zhou, Yu ; Jin, Haonan ; Yang, Xinying ; Chen, Taolue ; Narasimhan, Krishna ; Gall, Harald C.
Hrsg.: 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
Konferenzveröffentlichung, 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)
Konferenzveröffentlichung, Bibliographie

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

Zhou, Shurui ; Al-Kofahi, Jafar ; Nguyen, Tien ; Kaestner, Christian ; Nadi, Sarah (2015)
Extracting Configuration Knowledge from Build Files with Symbolic Analysis.
Florence, Italy
Konferenzveröffentlichung, 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
Buchkapitel, Bibliographie

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

Diese Liste wurde am Sun Mar 17 01:43:22 2024 CET generiert.