default search action
Mira Mezini
Person information
- affiliation: Darmstadt University of Technology, Germany
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2024
- [j43]David Richter, Timon Böhler, Pascal Weisenburger, Mira Mezini:
Compiling with Arrays (Artifact). Dagstuhl Artifacts Ser. 10(2): 18:1-18:7 (2024) - [j42]Julian Haas, Ragnar Mogk, Elena Yanakieva, Annette Bieniusa, Mira Mezini:
LoRe: A Programming Model for Verifiably Safe Local-first Software. ACM Trans. Program. Lang. Syst. 46(1): 2:1-2:26 (2024) - [c225]Abhinav Anand, Shweta Verma, Krishna Narasimhan, Mira Mezini:
A Critical Study of What Code-LLMs (Do Not) Learn. ACL (Findings) 2024: 15869-15889 - [c224]David Richter, Timon Böhler, Pascal Weisenburger, Mira Mezini:
Compiling with Arrays. ECOOP 2024: 33:1-33:24 - [c223]Sven Keidel, Dominik Helm, Tobias Roth, Mira Mezini:
A Modular Soundness Theory for the Blackboard Analysis Architecture. ESOP (2) 2024: 361-390 - [c222]Timon Böhler, David Richter, Mira Mezini:
Incrementalizing Polynomial Functors. FTfJP@ECOOP 2024: 44-49 - [c221]Daniel Maninger, Krishna Narasimhan, Mira Mezini:
Towards Trustworthy AI Software Development Assistance. NIER@ICSE 2024: 112-116 - [c220]Dominik Helm, Tobias Roth, Sven Keidel, Michael Reif, Mira Mezini:
Unimocg: Modular Call-Graph Algorithms for Consistent Handling of Language Features. ISSTA 2024: 51-62 - [c219]Dominik Helm, Sven Keidel, Anemone Kampkötter, Johannes Düsing, Tobias Roth, Ben Hermann, Mira Mezini:
Total Recall? How Good Are Static Call Graphs Really? ISSTA 2024: 112-123 - [c218]Anna-Katharina Wickert, Michael Schlichtig, Marvin Vogel, Lukas Winter, Mira Mezini, Eric Bodden:
Supporting Error Chains in Static Analysis for Precise Evaluation Results and Enhanced Usability. SANER 2024: 693-704 - [d6]Dominik Helm, Sven Keidel, Anemone Kampkötter, Johannes Düsing, Tobias Roth, Ben Hermann, Mira Mezini:
Total Recall? How Good are Static Call Graphs Really? - Companion Artifact. Zenodo, 2024 - [i38]Cedric Derstroff, Jannis Brugger, Jannis Blüml, Mira Mezini, Stefan Kramer, Kristian Kersting:
Amplifying Exploration in Monte-Carlo Tree Search by Focusing on the Unknown. CoRR abs/2402.08511 (2024) - [i37]Anna-Katharina Wickert, Michael Schlichtig, Marvin Vogel, Lukas Winter, Mira Mezini, Eric Bodden:
Supporting Error Chains in Static Analysis for Precise Evaluation Results and Enhanced Usability. CoRR abs/2403.07808 (2024) - [i36]Julian Haas, Ragnar Mogk, Annette Bieniusa, Mira Mezini:
Distributed Locking as a Data Type. CoRR abs/2405.15578 (2024) - [i35]David Richter, Timon Böhler, Pascal Weisenburger, Mira Mezini:
Compiling with Arrays. CoRR abs/2405.18242 (2024) - [i34]Abhinav Anand, Shweta Verma, Krishna Narasimhan, Mira Mezini:
A Critical Study of What Code-LLMs (Do Not) Learn. CoRR abs/2406.11930 (2024) - [i33]Subhabrata Dutta, Timo Kaufmann, Goran Glavas, Ivan Habernal, Kristian Kersting, Frauke Kreuter, Mira Mezini, Iryna Gurevych, Eyke Hüllermeier, Hinrich Schütze:
Problem Solving Through Human-AI Preference-Based Cooperation. CoRR abs/2408.07461 (2024) - 2023
- [j41]Julian Haas, Ragnar Mogk, Elena Yanakieva, Annette Bieniusa, Mira Mezini:
LoRe: A Programming Model for Verifiably Safe Local-First Software (Artifact). Dagstuhl Artifacts Ser. 9(2): 11:1-11:2 (2023) - [j40]David Richter, Timon Böhler, Pascal Weisenburger, Mira Mezini:
A Direct-Style Effect Notation for Sequential and Parallel Programs (Artifact). Dagstuhl Artifacts Ser. 9(2): 17:1-17:3 (2023) - [j39]Christian Kuessner, Ragnar Mogk, Anna-Katharina Wickert, Mira Mezini:
Algebraic Replicated Data Types: Programming Secure Local-First Software (Artifact). Dagstuhl Artifacts Ser. 9(2): 26:1-26:4 (2023) - [j38]David Richter, David Kretzler, Pascal Weisenburger, Guido Salvaneschi, Sebastian Faust, Mira Mezini:
Prisma : A Tierless Language for Enforcing Contract-client Protocols in Decentralized Applications. ACM Trans. Program. Lang. Syst. 45(3): 17:1-17:41 (2023) - [c217]Leon Chemnitz, David Reichenbach, Hani Aldebes, Mariam Naveed, Krishna Narasimhan, Mira Mezini:
Towards Code Generation from BDD Test Case Specifications: A Vision. CAIN 2023: 139-144 - [c216]Julian Haas, Ragnar Mogk, Elena Yanakieva, Annette Bieniusa, Mira Mezini:
LoRe: A Programming Model for Verifiably Safe Local-First Software (Extended Abstract). ECOOP 2023: 12:1-12:15 - [c215]Christian Kuessner, Ragnar Mogk, Anna-Katharina Wickert, Mira Mezini:
Algebraic Replicated Data Types: Programming Secure Local-First Software. ECOOP 2023: 14:1-14:33 - [c214]David Richter, Timon Böhler, Pascal Weisenburger, Mira Mezini:
A Direct-Style Effect Notation for Sequential and Parallel Programs. ECOOP 2023: 25:1-25:22 - [c213]Timon Böhler, David Richter, Mira Mezini:
Using Rewrite Strategies for Efficient Functional Automatic Differentiation. FTfJP@ECOOP 2023: 51-57 - [c212]Anna-Katharina Wickert, Clemens Damke, Lars Baumgärtner, Eyke Hüllermeier, Mira Mezini:
UnGoML: Automated Classification of unsafe Usages in Go. MSR 2023: 309-321 - [c211]Stefan Krüger, Michael Reif, Anna-Katharina Wickert, Sarah Nadi, Karim Ali, Eric Bodden, Yasemin Acar, Mira Mezini, Sascha Fahl:
Securing Your Crypto-API Usage Through Tool Support - A Usability Study. SecDev 2023: 14-25 - [c210]Florian Breitfelder, Tobias Roth, Lars Baumgärtner, Mira Mezini:
WasmA: A Static WebAssembly Analysis Framework for Everyone. SANER 2023: 753-757 - [c209]Marcel Ochs, Krishna Narasimhan, Mira Mezini:
Evaluating and improving transformers pre-trained on ASTs for Code Completion. SANER 2023: 834-844 - [d5]Sven Keidel, Dominik Helm, Tobias Roth, Mira Mezini:
Artifact for Paper "A Modular Soundness Theory for the Blackboard Analysis Architecture". Version 1.0. Zenodo, 2023 [all versions] - [d4]Sven Keidel, Dominik Helm, Tobias Roth, Mira Mezini:
Artifact for Paper "A Modular Soundness Theory for the Blackboard Analysis Architecture". Version 1.1. Zenodo, 2023 [all versions] - [i32]Julian Haas, Ragnar Mogk, Elena Yanakieva, Annette Bieniusa, Mira Mezini:
LoRe: A Programming Model for Verifiably Safe Local-First Software. CoRR abs/2304.07133 (2023) - [i31]David Richter, Timon Böhler, Pascal Weisenburger, Mira Mezini:
A Direct-Style Effect Notation for Sequential and Parallel Programs. CoRR abs/2305.08496 (2023) - [i30]Leon Chemnitz, David Reichenbach, Hani Aldebes, Mariam Naveed, Krishna Narasimhan, Mira Mezini:
Towards Code Generation from BDD Test Case Specifications: A Vision. CoRR abs/2305.11619 (2023) - [i29]Anna-Katharina Wickert, Clemens Damke, Lars Baumgärtner, Eyke Hüllermeier, Mira Mezini:
UNGOML: Automated Classification of unsafe Usages in Go. CoRR abs/2306.00694 (2023) - [i28]Timon Böhler, David Richter, Mira Mezini:
Using Rewrite Strategies for Efficient Functional Automatic Differentiation. CoRR abs/2307.02447 (2023) - [i27]Daniel Maninger, Krishna Narasimhan, Mira Mezini:
Towards Trustworthy AI Software Development Assistance. CoRR abs/2312.09126 (2023) - 2022
- [j37]David Richter, David Kretzler, Pascal Weisenburger, Guido Salvaneschi, Sebastian Faust, Mira Mezini:
Prisma: A Tierless Language for Enforcing Contract-Client Protocols in Decentralized Applications (Artifact). Dagstuhl Artifacts Ser. 8(2): 16:1-16:3 (2022) - [j36]Matthias Eichholz, Eric Hayden Campbell, Matthias Krebs, Nate Foster, Mira Mezini:
Dependently-typed data plane programming. Proc. ACM Program. Lang. 6(POPL): 1-28 (2022) - [c208]David Richter, David Kretzler, Pascal Weisenburger, Guido Salvaneschi, Sebastian Faust, Mira Mezini:
Prisma: A Tierless Language for Enforcing Contract-Client Protocols in Decentralized Applications (Extended Abstract). ECOOP 2022: 35:1-35:4 - [c207]Tobias Roth, Dominik Helm, Michael Reif, Mira Mezini:
CiFi: Versatile Analysis of Class and Field Immutability. Software Engineering 2022: 81-82 - [c206]Simon Binder, Krishna Narasimhan, Svenja Kernig, Mira Mezini:
jGuard: Programming Misuse-Resilient APIs. SLE 2022: 161-174 - [c205]Anna-Katharina Wickert, Lars Baumgärtner, Michael Schlichtig, Krishna Narasimhan, Mira Mezini:
To Fix or Not to Fix: A Critical Study of Crypto-misuses in the Wild. TrustCom 2022: 315-322 - [e9]Mohammed-Amine Koulali, Mira Mezini:
Networked Systems - 10th International Conference, NETYS 2022, Virtual Event, May 17-19, 2022, Proceedings. Lecture Notes in Computer Science 13464, Springer 2022, ISBN 978-3-031-17435-3 [contents] - [i26]Michael Schlichtig, Anna-Katharina Wickert, Stefan Krüger, Eric Bodden, Mira Mezini:
CamBench - Cryptographic API Misuse Detection Tool Benchmark Suite. CoRR abs/2204.06447 (2022) - [i25]David Richter, David Kretzler, Pascal Weisenburger, Guido Salvaneschi, Sebastian Faust, Mira Mezini:
Prisma: A Tierless Language for Enforcing Contract-Client Protocols in Decentralized Applications (Extended Version). CoRR abs/2205.07780 (2022) - [i24]Matthias Eichholz, Eric Hayden Campbell, Matthias Krebs, Nate Foster, Mira Mezini:
Dependently-Typed Data Plane Programming. CoRR abs/2206.03457 (2022) - [i23]Anna-Katharina Wickert, Lars Baumgärtner, Michael Schlichtig, Krishna Narasimhan, Mira Mezini:
To Fix or Not to Fix: A Critical Study of Crypto-misuses in the Wild. CoRR abs/2209.11103 (2022) - 2021
- [j35]Artur Sterz, Matthias Eichholz, Ragnar Mogk, Lars Baumgärtner, Pablo Graubner, Matthias Hollick, Mira Mezini, Bernd Freisleben:
ReactiFi: Reactive Programming of Wi-Fi Firmware on Mobile Devices. Art Sci. Eng. Program. 5(2): 4 (2021) - [j34]Stefan Krüger, Johannes Späth, Karim Ali, Eric Bodden, Mira Mezini:
CrySL: An Extensible Approach to Validating the Correct Usage of Cryptographic APIs. IEEE Trans. Software Eng. 47(11): 2382-2400 (2021) - [c204]Rodrigo Bonifácio, Stefan Krüger, Krishna Narasimhan, Eric Bodden, Mira Mezini:
Dealing with Variability in API Misuse Specification. ECOOP 2021: 19:1-19:27 - [c203]Anna-Katharina Wickert, Lars Baumgärtner, Florian Breitfelder, Mira Mezini:
Python Crypto Misuses in the Wild. ESEM 2021: 31:1-31:6 - [c202]Julian Zobel, Patrick Lieser, Tobias Meuser, Lars Baumgärtner, Mira Mezini, Ralf Steinmetz:
Modeling Civilian Mobility in Large-Scale Disasters. ISCRAM 2021: 119-132 - [c201]Sebastian Sztwiertnia, Maximilian Grübel, Amine Chouchane, Daniel Sokolowski, Krishna Narasimhan, Mira Mezini:
Impact of programming languages on machine learning bugs. AISTA@ISSTA 2021: 9-12 - [c200]Foad Jafarinejad, Krishna Narasimhan, Mira Mezini:
NerdBug: automated bug detection in neural networks. AISTA@ISSTA 2021: 13-16 - [c199]Tobias Roth, Dominik Helm, Michael Reif, Mira Mezini:
CiFi: Versatile Analysis of Class and Field Immutability. ASE 2021: 979-990 - [c198]Patrick Müller, Krishna Narasimhan, Mira Mezini:
Fex: Assisted Identification of Domain Features from C Programs. SCAM 2021: 170-180 - [c197]Mira Mezini:
Programming and execution models for next generation code intelligence systems (keynote). ESEC/SIGSOFT FSE 2021: 1-2 - [d3]Rodrigo Bonifácio, Stefan Krüger, Krishna Narasimhan, Eric Bodden, Mira Mezini:
Dealing with Variability in API Misuse Specification (Artifact Package). Zenodo, 2021 - [i22]Rodrigo Bonifácio, Stefan Krüger, Krishna Narasimhan, Eric Bodden, Mira Mezini:
Dealing with Variability in API Misuse Specification. CoRR abs/2105.04950 (2021) - [i21]Patrick Müller, Krishna Narasimhan, Mira Mezini:
Fex: Assisted Identification of Domain Features from C Programs. CoRR abs/2108.09245 (2021) - [i20]Anna-Katharina Wickert, Lars Baumgärtner, Florian Breitfelder, Mira Mezini:
Python Crypto Misuses in the Wild. CoRR abs/2109.01109 (2021) - 2020
- [c196]Leonid Glanz, Patrick Müller, Lars Baumgärtner, Michael Reif, Sven Amann, Pauline Anthonysamy, Mira Mezini:
Hidden in Plain Sight: Obfuscated Strings Threatening Your Privacy. AsiaCCS 2020: 694-707 - [c195]Lars Baumgärtner, Patrick Lieser, Julian Zobel, Bastian Bloessl, Ralf Steinmetz, Mira Mezini:
LoRAgent: A DTN-based Location-aware Communication System using LoRa. GHTC 2020: 1-8 - [c194]Dominik Helm, Florian Kübler, Jan Thomas Kölzer, Philipp Haller, Michael Eichberg, Guido Salvaneschi, Mira Mezini:
A programming model for semi-implicit parallelization of static analyses. ISSTA 2020: 428-439 - [c193]Michael Reif, Florian Kübler, Dominik Helm, Ben Hermann, Michael Eichberg, Mira Mezini:
TACAI: an intermediate representation based on abstract interpretation. SOAP@PLDI 2020: 2-7 - [c192]Sven Amann, Hoan Anh Nguyen, Sarah Nadi, Tien N. Nguyen, Mira Mezini:
Investigating Next Steps in Static API-Misuse Detection. SE 2020: 109-110 - [c191]Dominik Helm, Florian Kübler, Michael Reif, Michael Eichberg, Mira Mezini:
Modular collaborative program analysis in OPAL. ESEC/SIGSOFT FSE 2020: 184-196 - [c190]Johannes Lauinger, Lars Baumgärtner, Anna-Katharina Wickert, Mira Mezini:
Uncovering the Hidden Dangers: Finding Unsafe Go Code in the Wild. TrustCom 2020: 410-417 - [c189]Lars Baumgärtner, Alexandra Dmitrienko, Bernd Freisleben, Alexander Gruler, Jonas Höchst, Joshua Kühlberg, Mira Mezini, Richard Mitev, Markus Miettinen, Anel Muhamedagic, Thien Duc Nguyen, Alvar Penning, Dermot Frederik Pustelnik, Filipp Roos, Ahmad-Reza Sadeghi, Michael Schwarz, Christian Uhl:
Mind the GAP: Security & Privacy Risks of Contact Tracing Apps. TrustCom 2020: 458-467 - [d2]Dominik Helm, Florian Kübler, Michael Reif, Michael Eichberg, Mira Mezini:
Artifact for Modular Collaborative Program Analysis in OPAL. Zenodo, 2020 - [d1]Dominik Helm, Florian Kübler, Michael Reif, Michael Eichberg, Mira Mezini:
Evaluation Results for Modular Collaborative Program Analysis in OPAL. Zenodo, 2020 - [i19]Leonid Glanz, Patrick Müller, Lars Baumgärtner, Michael Reif, Sven Amann, Pauline Anthonysamy, Mira Mezini:
Hidden in Plain Sight: Obfuscated Strings Threatening Your Privacy. CoRR abs/2002.04540 (2020) - [i18]Lars Baumgärtner, Alexandra Dmitrienko, Bernd Freisleben, Alexander Gruler, Jonas Höchst, Joshua Kühlberg, Mira Mezini, Markus Miettinen, Anel Muhamedagic, Thien Duc Nguyen, Alvar Penning, Dermot Frederik Pustelnik, Filipp Roos, Ahmad-Reza Sadeghi, Michael Schwarz, Christian Uhl:
Mind the GAP: Security & Privacy Risks of Contact Tracing Apps. CoRR abs/2006.05914 (2020) - [i17]Artur Sterz, Matthias Eichholz, Ragnar Mogk, Lars Baumgärtner, Pablo Graubner, Matthias Hollick, Mira Mezini, Bernd Freisleben:
ReactiFi: Reactive Programming of Wi-Fi Firmware on Mobile Devices. CoRR abs/2010.00354 (2020) - [i16]Dominik Helm, Florian Kübler, Michael Reif, Michael Eichberg, Mira Mezini:
Modular Collaborative Program Analysis in OPAL. CoRR abs/2010.04476 (2020) - [i15]Johannes Lauinger, Lars Baumgärtner, Anna-Katharina Wickert, Mira Mezini:
Uncovering the Hidden Dangers: Finding Unsafe Go Code in the Wild. CoRR abs/2010.11242 (2020)
2010 – 2019
- 2019
- [j33]Ragnar Mogk, Joscha Drechsler, Guido Salvaneschi, Mira Mezini:
A fault-tolerant programming model for distributed interactive applications. Proc. ACM Program. Lang. 3(OOPSLA): 144:1-144:29 (2019) - [j32]Guido Salvaneschi, Mirko Köhler, Daniel Sokolowski, Philipp Haller, Sebastian Erdweg, Mira Mezini:
Language-integrated privacy-aware distributed queries. Proc. ACM Program. Lang. 3(OOPSLA): 167:1-167:30 (2019) - [j31]Andi Bejleri, Elton Domnori, Malte Viering, Patrick Eugster, Mira Mezini:
Comprehensive Multiparty Session Types. Art Sci. Eng. Program. 3(3): 6 (2019) - [j30]Sven Amann, Hoan Anh Nguyen, Sarah Nadi, Tien N. Nguyen, Mira Mezini:
A Systematic Evaluation of Static API-Misuse Detectors. IEEE Trans. Software Eng. 45(12): 1170-1188 (2019) - [c188]Alvar Penning, Lars Baumgärtner, Jonas Höchst, Artur Sterz, Mira Mezini, Bernd Freisleben:
DTN7: An Open-Source Disruption-Tolerant Networking Implementation of Bundle Protocol 7. ADHOC-NOW 2019: 196-209 - [c187]Johannes Krude, Jaco A. Hofmann, Matthias Eichholz, Klaus Wehrle, Andreas Koch, Mira Mezini:
Online Reprogrammable Multi Tenant Switches. ENCP@CoNEXT 2019: 1-8 - [c186]Matthias Eichholz, Eric Hayden Campbell, Nate Foster, Guido Salvaneschi, Mira Mezini:
How to Avoid Making a Billion-Dollar Mistake: Type-Safe Data Plane Programming with SafeP4. ECOOP 2019: 12:1-12:28 - [c185]Lars Baumgärtner, Jonas Höchst, Patrick Lampe, Ragnar Mogk, Artur Sterz, Pascal Weisenburger, Mira Mezini, Bernd Freisleben:
Smart Street Lights and Mobile Citizen Apps for Resilient Communication in a Digital City. GHTC 2019: 1-8 - [c184]Michael Reif, Florian Kübler, Michael Eichberg, Dominik Helm, Mira Mezini:
Judge: identifying, understanding, and evaluating sources of unsoundness in call graphs. ISSTA 2019: 251-261 - [c183]Anna-Katharina Wickert, Michael Reif, Michael Eichberg, Anam Dodhy, Mira Mezini:
A dataset of parametric cryptographic misuses. MSR 2019: 96-100 - [c182]Sven Amann, Hoan Anh Nguyen, Sarah Nadi, Tien N. Nguyen, Mira Mezini:
Investigating next steps in static API-misuse detection. MSR 2019: 265-275 - [c181]Marcel Blöcher, Matthias Eichholz, Pascal Weisenburger, Patrick Eugster, Mira Mezini, Guido Salvaneschi:
GRASS: generic reactive application-specific scheduling. REBLS@SPLASH 2019: 21-30 - [c180]Aditya Oak, Mira Mezini, Guido Salvaneschi:
Language support for multiple privacy enhancing technologies. Programming 2019: 12:1-12:2 - [c179]Dominik Helm, Florian Kübler, Michael Eichberg, Michael Reif, Mira Mezini:
A Unified Lattice Model and Framework for Purity Analyses. SE/SWM 2019: 51-52 - [c178]Johannes Krude, Matthias Eichholz, Maximilian Winck, Klaus Wehrle, Mira Mezini:
Optimizing Data Plane Programs for the Network. NetPL@SIGCOMM 2019: 1 - [i14]Andi Bejleri, Elton Domnori, Malte Viering, Patrick Eugster, Mira Mezini:
Comprehensive Multiparty Session Types. CoRR abs/1902.00544 (2019) - [i13]Matthias Eichholz, Eric Hayden Campbell, Nate Foster, Guido Salvaneschi, Mira Mezini:
How to Avoid Making a Billion-Dollar Mistake: Type-Safe Data Plane Programming with SafeP4. CoRR abs/1906.07223 (2019) - [i12]Oliver Bracevac, Guido Salvaneschi, Sebastian Erdweg, Mira Mezini:
Type-safe, Polyvariadic Event Correlation. CoRR abs/1907.02990 (2019) - [i11]Lars Baumgärtner, Jonas Höchst, Patrick Lampe, Ragnar Mogk, Artur Sterz, Pascal Weisenburger, Mira Mezini, Bernd Freisleben:
Smart Street Lights and Mobile Citizen Apps for Resilient Communication in a Digital City. CoRR abs/1908.10233 (2019) - [i10]Alvar Penning, Lars Baumgärtner, Jonas Höchst, Artur Sterz, Mira Mezini, Bernd Freisleben:
DTN7: An Open-Source Disruption-tolerant Networking Implementation of Bundle Protocol 7. CoRR abs/1908.10237 (2019) - 2018
- [j29]Stefan Krüger, Johannes Späth, Karim Ali, Eric Bodden, Mira Mezini:
CrySL: An Extensible Approach to Validating the Correct Usage of Cryptographic APIs (Artifact). Dagstuhl Artifacts Ser. 4(3): 06:1-06:4 (2018) - [j28]Oliver Bracevac, Nada Amin, Guido Salvaneschi, Sebastian Erdweg, Patrick Eugster, Mira Mezini:
Versatile event correlation with algebraic effects. Proc. ACM Program. Lang. 2(ICFP): 67:1-67:31 (2018) - [j27]Joscha Drechsler, Ragnar Mogk, Guido Salvaneschi, Mira Mezini:
Thread-safe reactive programming. Proc. ACM Program. Lang. 2(OOPSLA): 107:1-107:30 (2018) - [j26]Sylvia Grewe, Sebastian Erdweg, André Pacak, Michael Raulf, Mira Mezini:
Exploration of language specifications by compilation to first-order logic. Sci. Comput. Program. 155: 146-172 (2018) - [j25]Andi Bejleri, Mira Mezini, Patrick Eugster, Elton Domnori:
Cooperative decoupled processes. Softw. Qual. J. 26(3): 1147-1183 (2018) - [c177]Pablo Graubner, Patrick Lampe, Jonas Hochst, Lars Baumgärtner, Mira Mezini, Bernd Freisleben:
Opportunistic named functions in disruption-tolerant emergency networks. CF 2018: 129-137 - [c176]Pablo Graubner, Christoph Thelen, Michael Körber, Artur Sterz, Guido Salvaneschi, Mira Mezini, Bernhard Seeger, Bernd Freisleben:
Multimodal Complex Event Processing on Mobile Devices. DEBS 2018: 112-123 - [c175]Ragnar Mogk, Lars Baumgärtner, Guido Salvaneschi, Bernd Freisleben, Mira Mezini:
Fault-tolerant Distributed Reactive Programming. ECOOP 2018: 1:1-1:26 - [c174]Stefan Krüger, Johannes Späth, Karim Ali, Eric Bodden, Mira Mezini:
CrySL: An Extensible Approach to Validating the Correct Usage of Cryptographic APIs. ECOOP 2018: 10:1-10:27 - [c173]Ervina Çergani, Mira Mezini:
On the Impact of Order Information in API Usage Patterns. ICSOFT (Selected Papers) 2018: 79-103 - [c172]Ervina Çergani, Sebastian Proksch, Sarah Nadi, Mira Mezini:
Investigating Order Information in API-Usage Patterns: A Benchmark and Empirical Study. ICSOFT 2018: 91-102 - [c171]Tamás Szabó, Edlira Kuci, Matthijs Bijman, Mira Mezini, Sebastian Erdweg:
Incremental overload resolution in object-oriented programming languages. ISSTA/ECOOP Workshops 2018: 27-33 - [c170]Michael Reif, Florian Kübler, Michael Eichberg, Mira Mezini:
Systematic evaluation of the unsoundness of call graph construction algorithms for Java. ISSTA/ECOOP Workshops 2018: 107-112 - [c169]Michael Eichberg, Florian Kübler, Dominik Helm, Michael Reif, Guido Salvaneschi, Mira Mezini:
Lattice based modularization of static analyses. ISSTA/ECOOP Workshops 2018: 113-118 - [c168]Dominik Helm, Florian Kübler, Michael Eichberg, Michael Reif, Mira Mezini:
A unified lattice model and framework for purity analyses. ASE 2018: 340-350 - [c167]Sylvia Grewe, Sebastian Erdweg, André Pacak, Mira Mezini:
System Description: An Infrastructure for Combining Domain Knowledge with Automated Theorem Provers. PPDP 2018: 24:1-24:10 - [c166]Matthias Eichholz, Guido Salvaneschi, Mira Mezini:
Towards safe modular composition of network functions. Programming 2018: 81-86 - [c165]Ragnar Mogk, Guido Salvaneschi, Mira Mezini:
Reactive programming experience with REScala. Programming 2018: 105-112 - [c164]Leonid Glanz, Sven Amann, Michael Eichberg, Michael Reif, Mira Mezini:
CodeMatch. Software Engineering 2018: 117-118 - [c163]Michael Reif, Michael Eichberg, Mira Mezini:
Call Graph Construction for Java Libraries. Software Engineering 2018: 119-120 - 2017
- [j24]Guido Salvaneschi, Sebastian Proksch, Sven Amann, Sarah Nadi, Mira Mezini:
On the Positive Effect of Reactive Programming on Software Comprehension: An Empirical Study. IEEE Trans. Software Eng. 43(12): 1125-1143 (2017) - [c162]Edlira Kuci, Sebastian Erdweg, Oliver Bracevac, Andi Bejleri, Mira Mezini:
A Co-contextual Type Checker for Featherweight Java . ECOOP 2017: 18:1-18:26 - [c161]Stefan Krüger, Sarah Nadi, Michael Reif, Karim Ali, Mira Mezini, Eric Bodden, Florian Göpfert, Felix Günther, Christian Weinert, Daniel Demmler, Ram Kamath:
CogniCrypt: supporting developers in using cryptography. ASE 2017: 931-936 - [c160]Artur Sterz, Lars Baumgärtner, Ragnar Mogk, Mira Mezini, Bernd Freisleben:
DTN-RPC: Remote procedure calls for disruption-tolerant networking. Networking 2017: 1-9 - [c159]Michael Reif, Michael Eichberg, Ben Hermann, Mira Mezini:
Hermes: assessment and creation of effective test corpora. SOAP@PLDI 2017: 43-48 - [c158]Sarah Nadi, Stefan Krüger, Mira Mezini, Eric Bodden:
"Jumping Through Hoops": Why do Java Developers Struggle With Cryptography APIs? Software Engineering 2017: 57 - [c157]Leonid Glanz, Sven Amann, Michael Eichberg, Michael Reif, Ben Hermann, Johannes Lerch, Mira Mezini:
CodeMatch: obfuscation won't conceal your repackaged app. ESEC/SIGSOFT FSE 2017: 638-648 - [c156]Philipp Holzinger, Ben Hermann, Johannes Lerch, Eric Bodden, Mira Mezini:
Hardening Java's Access Control by Abolishing Implicit Privilege Elevation. IEEE Symposium on Security and Privacy 2017: 1027-1040 - [c155]Sebastian Proksch, Sarah Nadi, Sven Amann, Mira Mezini:
Enriching in-IDE process information with fine-grained source code history. SANER 2017: 250-260 - [i9]Edlira Kuci, Sebastian Erdweg, Oliver Bracevac, Andi Bejleri, Mira Mezini:
A Co-contextual Type Checker for Featherweight Java (incl. Proofs). CoRR abs/1705.05828 (2017) - [i8]Stefan Krüger, Johannes Späth, Karim Ali, Eric Bodden, Mira Mezini:
CrySL: Validating Correct Usage of Cryptographic APIs. CoRR abs/1710.00564 (2017) - [i7]Sven Amann, Hoan Anh Nguyen, Sarah Nadi, Tien N. Nguyen, Mira Mezini:
A Systematic Evaluation of API-Misuse Detectors. CoRR abs/1712.00242 (2017) - 2016
- [c154]Andi Bejleri, Mira Mezini, Patrick Eugster:
Cooperative decoupled processes: the e-calculus and linearity. MODULARITY 2016: 82-93 - [c153]Oliver Bracevac, Sebastian Erdweg, Guido Salvaneschi, Mira Mezini:
CPL: a core language for cloud computing. MODULARITY 2016: 94-105 - [c152]Sylvia Grewe, Sebastian Erdweg, Mira Mezini:
Automating Proof Steps of Progress Proofs: Comparing Vampire and Dafny. Vampire@IJCAR 2016: 33-45 - [c151]Guido Salvaneschi, Mira Mezini:
Debugging reactive programming with reactive inspector. ICSE (Companion Volume) 2016: 728-730 - [c150]Guido Salvaneschi, Mira Mezini:
Debugging for reactive programming. ICSE 2016: 796-807 - [c149]Sarah Nadi, Stefan Krüger, Mira Mezini, Eric Bodden:
Jumping through hoops: why do Java developers struggle with cryptography APIs? ICSE 2016: 935-946 - [c148]Sebastian Proksch, Sven Amann, Sarah Nadi, Mira Mezini:
Evaluating the evaluations of code recommender systems: a reality check. ASE 2016: 111-121 - [c147]Sven Amann, Sarah Nadi, Hoan Anh Nguyen, Tien N. Nguyen, Mira Mezini:
MUBench: a benchmark for API-misuse detectors. MSR 2016: 464-467 - [c146]Sebastian Proksch, Sven Amann, Sarah Nadi, Mira Mezini:
A dataset of simplified syntax trees for C#. MSR 2016: 476-479 - [c145]Sylvia Grewe, Sebastian Erdweg, Michael Raulf, Mira Mezini:
Exploration of language specifications by compilation to first-order logic. PPDP 2016: 104-117 - [c144]Markus Hauck, Savvas Savvides, Patrick Eugster, Mira Mezini, Guido Salvaneschi:
SecureScala: Scala embedding of secure computations. SCALA@SPLASH 2016: 75-84 - [c143]Sebastian Proksch, Johannes Lerch, Mira Mezini:
Intelligent code completion with Bayesian networks. Software Engineering 2016: 25-26 - [c142]Ben Hermann, Michael Reif, Michael Eichberg, Mira Mezini:
Getting to know you: towards a capability model for Java. Software Engineering 2016: 59-60 - [c141]Michael Eichberg, Ben Hermann, Mira Mezini, Leonid Glanz:
Hidden Truths in Dead Software Paths. Software Engineering 2016: 63-64 - [c140]Guido Salvaneschi, Sven Amann, Sebastian Proksch, Mira Mezini:
An empirical study on program comprehension with reactive programming. Software Engineering 2016: 69-70 - [c139]Ervina Çergani, Sebastian Proksch, Sarah Nadi, Mira Mezini:
Addressing scalability in API method call analytics. SWAN@SIGSOFT FSE 2016: 1-7 - [c138]Michael Reif, Michael Eichberg, Ben Hermann, Johannes Lerch, Mira Mezini:
Call graph construction for Java libraries. SIGSOFT FSE 2016: 474-486 - [c137]Sven Amann, Sebastian Proksch, Sarah Nadi, Mira Mezini:
A Study of Visual Studio Usage in Practice. SANER 2016: 124-134 - [i6]Oliver Bracevac, Sebastian Erdweg, Guido Salvaneschi, Mira Mezini:
CPL: A Core Language for Cloud Computing - Technical Report. CoRR abs/1602.00981 (2016) - 2015
- [j23]Alper Ortac, Martin Monperrus, Mira Mezini:
Abmash: mashing up legacy Web applications by automated imitation of human actions. Softw. Pract. Exp. 45(5): 581-612 (2015) - [j22]Sebastian Proksch, Johannes Lerch, Mira Mezini:
Intelligent Code Completion with Bayesian Networks. ACM Trans. Softw. Eng. Methodol. 25(1): 3:1-3:31 (2015) - [c136]Sylvia Grewe, Sebastian Erdweg, Mira Mezini:
Using Vampire in Soundness Proofs of Type Systems. Vampire Workshop 2015: 33-51 - [c135]Johannes Lerch, Johannes Späth, Eric Bodden, Mira Mezini:
Access-Path Abstraction: Scaling Field-Sensitive Data-Flow Analysis with Unbounded Access Paths (T). ASE 2015: 619-629 - [c134]Steven Arzt, Sarah Nadi, Karim Ali, Eric Bodden, Sebastian Erdweg, Mira Mezini:
Towards secure integration of cryptographic software. Onward! 2015: 1-13 - [c133]Edlira Kuci, Sebastian Erdweg, Mira Mezini:
Toward incremental type checking for Java. SPLASH (Companion Volume) 2015: 46-47 - [c132]Sylvia Grewe, Sebastian Erdweg, Pascal Wittmann, Mira Mezini:
Type systems for the masses: deriving soundness proofs and efficient checkers. Onward! 2015: 137-150 - [c131]Sebastian Erdweg, Oliver Bracevac, Edlira Kuci, Matthias Krebs, Mira Mezini:
A co-contextual formulation of type rules and its application to incremental type checking. OOPSLA 2015: 880-897 - [c130]Michael Eichberg, Ben Hermann, Mira Mezini, Leonid Glanz:
Hidden truths in dead software paths. ESEC/SIGSOFT FSE 2015: 474-484 - [c129]Ben Hermann, Michael Reif, Michael Eichberg, Mira Mezini:
Getting to know you: towards a capability model for Java. ESEC/SIGSOFT FSE 2015: 758-769 - 2014
- [j21]Aibek Sarimbekov, Andreas Sewe, Walter Binder, Philippe Moret, Mira Mezini:
JP2: Call-site aware calling context profiling for the Java Virtual Machine. Sci. Comput. Program. 79: 146-157 (2014) - [j20]Guido Salvaneschi, Patrick Eugster, Mira Mezini:
Programming with Implicit Flows. IEEE Softw. 31(5): 52-59 (2014) - [c128]Sebastian Erdweg, Vlad A. Vergu, Mira Mezini, Eelco Visser:
Finding bugs in program generators by dynamic analysis of syntactic language constraints. MODULARITY (Companion) 2014: 17-20 - [c127]Guido Salvaneschi, Gerold Hintz, Mira Mezini:
REScala: bridging between object-oriented and functional style in reactive applications. MODULARITY 2014: 25-36 - [c126]Alessandro Cavalcante Gurgel, Isela Macia Bertran, Alessandro Garcia, Arndt von Staa, Mira Mezini, Michael Eichberg, Ralf Mitschke:
Blending and reusing rules for architectural degradation prevention. MODULARITY 2014: 61-72 - [c125]Jurgen Michael Van Ham, Guido Salvaneschi, Mira Mezini, Jacques Noyé:
JEScala: modular coordination with declarative events and joins. MODULARITY 2014: 205-216 - [c124]Sebastian Erdweg, Vlad A. Vergu, Mira Mezini, Eelco Visser:
Modular specification and dynamic enforcement of syntactic language constraints when generating code. MODULARITY 2014: 241-252 - [c123]Manuel Weiel, Ingo Maier, Sebastian Erdweg, Michael Eichberg, Mira Mezini:
Towards virtual traits in Scala. SCALA@ECOOP 2014: 67-75 - [c122]Heiko Witteborg, Anis Charfi, Daniel Colomer Collell, Mira Mezini:
Weaving Aspects and Business Processes through Model Transformation. ESOCC 2014: 47-61 - [c121]Sven Amann, Sebastian Proksch, Mira Mezini:
Method-call recommendations from implicit developer feedback. CSI-SE 2014: 5-6 - [c120]Sebastian Proksch, Sven Amann, Mira Mezini:
Towards standardized evaluation of developer-assistance tools. RSSE@ICSE 2014: 14-18 - [c119]Joscha Drechsler, Guido Salvaneschi, Ragnar Mogk, Mira Mezini:
Distributed REScala: an update algorithm for distributed reactive programming. OOPSLA 2014: 361-376 - [c118]Ralf Mitschke, Sebastian Erdweg, Mirko Köhler, Mira Mezini, Guido Salvaneschi:
i3QL: language-integrated live data views. OOPSLA 2014: 417-432 - [c117]Eric Bodden, Társis Tolêdo, Márcio Ribeiro, Claus Brabrand, Paulo Borba, Mira Mezini:
SPLLIFT - Statically Analyzing Software Product Lines in Minutes Instead of Years. Software Engineering 2014: 81-82 - [c116]Johannes Lerch, Ben Hermann, Eric Bodden, Mira Mezini:
FlowTwist: efficient context-sensitive inside-out taint analysis for large codebases. SIGSOFT FSE 2014: 98-108 - [c115]Guido Salvaneschi, Sven Amann, Sebastian Proksch, Mira Mezini:
An empirical study on program comprehension with reactive programming. SIGSOFT FSE 2014: 564-575 - 2013
- [j19]Tom Dinkelaker, Michael Eichberg, Mira Mezini:
Incremental concrete syntax for embedded languages with support for separate compilation. Sci. Comput. Program. 78(6): 615-632 (2013) - [j18]Ralf Mitschke, Michael Eichberg, Mira Mezini, Alessandro Garcia, Isela Macia Bertran:
Modular Specification and Checking of Structural Dependencies. LNCS Trans. Aspect Oriented Softw. Dev. 11: 193-226 (2013) - [j17]Guido Salvaneschi, Mira Mezini:
Towards Reactive Programming for Object-Oriented Applications. LNCS Trans. Aspect Oriented Softw. Dev. 11: 227-261 (2013) - [j16]Martin Monperrus, Mira Mezini:
Detecting missing method calls as violations of the majority rule. ACM Trans. Softw. Eng. Methodol. 22(1): 7:1-7:25 (2013) - [j15]Martin P. Robillard, Eric Bodden, David Kawrykow, Mira Mezini, Tristan Ratchford:
Automated API Property Inference Techniques. IEEE Trans. Software Eng. 39(5): 613-637 (2013) - [c114]Mohamed Aly, Anis Charfi, Di Wu, Mira Mezini:
Understanding multilayered applications for building extensions. CoCoS@AOSD 2013: 1-6 - [c113]Guido Salvaneschi, Mira Mezini:
Reactive behavior in object-oriented applications: an analysis and a research roadmap. AOSD 2013: 37-48 - [c112]Ralf Mitschke, Michael Eichberg, Mira Mezini, Alessandro Garcia, Isela Macia Bertran:
Modular specification and checking of structural dependencies. AOSD 2013: 85-96 - [c111]Guido Salvaneschi, Joscha Drechsler, Mira Mezini:
Towards Distributed Reactive Programming. COORDINATION 2013: 226-235 - [c110]Johannes Lerch, Mira Mezini:
Finding Duplicates of Your Yet Unwritten Bug Report. CSMR 2013: 69-78 - [c109]Mohamed Aly, Anis Charfi, Sebastian Erdweg, Mira Mezini:
XPoints: Extension Interfaces for Multilayered Applications. EDOC 2013: 237-246 - [c108]Marko Martin, Mira Mezini, Sebastian Erdweg:
Template constructors for reusable object initialization. GPCE 2013: 43-52 - [c107]Mohamed Aly, Anis Charfi, Mira Mezini:
Building extensions for applications: Towards the understanding of extension possibilities. ICPC 2013: 182-191 - [c106]Eric Bodden, Társis Tolêdo, Márcio Ribeiro, Claus Brabrand, Paulo Borba, Mira Mezini:
SPLLIFT: statically analyzing software product lines in minutes instead of years. PLDI 2013: 355-364 - [e8]Bertrand Meyer, Luciano Baresi, Mira Mezini:
Joint Meeting of the European Software Engineering Conference and the ACM SIGSOFT Symposium on the Foundations of Software Engineering, ESEC/FSE'13, Saint Petersburg, Russian Federation, August 18-26, 2013. ACM 2013, ISBN 978-1-4503-2237-9 [contents] - [i5]Martin Monperrus, Mira Mezini:
Detecting Missing Method Calls as Violations of the Majority Rule. CoRR abs/1306.0762 (2013) - [i4]Alper Ortac, Martin Monperrus, Mira Mezini:
Abmash: Mashing Up Legacy Web Applications by Automated Imitation of Human Actions. CoRR abs/1312.0461 (2013) - 2012
- [j14]Martin Monperrus, Michael Eichberg, Elif Tekes, Mira Mezini:
What should developers be aware of? An empirical study on the directives of API documentation. Empir. Softw. Eng. 17(6): 703-737 (2012) - [j13]Anis Charfi, Benjamin Schmeling, Mira Mezini:
An aspect-oriented framework for specification and enforcement of non-functional concerns in WS-BPEL. Int. J. Web Grid Serv. 8(4): 386-424 (2012) - [j12]Benjamin Schmeling, Anis Charfi, Steffen Heinzl, Mira Mezini:
A survey on non-functional concerns in web services. Int. J. Web Inf. Syst. 8(1): 5-31 (2012) - [j11]Christoph Bockisch, Andreas Sewe, Haihan Yin, Mira Mezini, Mehmet Aksit:
An In-Depth Look at ALIA4J. J. Object Technol. 11(1): 1-28 (2012) - [c105]Mohamed Aly, Anis Charfi, Mira Mezini:
On the extensibility requirements of business applications. NEMARA@AOSD 2012: 1-6 - [c104]Benjamin Schmeling, Anis Charfi, Marko Martin, Mira Mezini:
Towards Conflict-Free Composition of Non-functional Concerns. CAiSE 2012: 80-94 - [c103]Eiji Adachi Barbosa, Alessandro F. Garcia, Mira Mezini:
A recommendation system for exception handling code. WEH@ICSE 2012: 52-54 - [c102]Stefan Henß, Martin Monperrus, Mira Mezini:
Semi-automatically extracting FAQs to improve accessibility of software development knowledge. ICSE 2012: 793-803 - [c101]Sami Alsouri, Jan Sinschek, Andreas Sewe, Eric Bodden, Mira Mezini, Stefan Katzenbeisser:
Dynamic Anomaly Detection for More Trustworthy Outsourced Computation. ISC 2012: 168-187 - [c100]Andreas Sewe, Mira Mezini, Aibek Sarimbekov, Danilo Ansaloni, Walter Binder, Nathan P. Ricci, Samuel Z. Guyer:
new Scala() instance of Java: a comparison of the memory behaviour of Java and Scala programs. ISMM 2012: 97-108 - [c99]Eiji Adachi Barbosa, Alessandro Garcia, Mira Mezini:
Heuristic Strategies for Recommendation of Exception Handling Code. SBES 2012: 171-180 - [c98]Yudi Zheng, Danilo Ansaloni, Lukás Marek, Andreas Sewe, Walter Binder, Alex Villazón, Petr Tuma, Zhengwei Qi, Mira Mezini:
Turbo DiSL: Partial Evaluation for High-Level Bytecode Instrumentation. TOOLS (50) 2012: 353-368 - [i3]Stefan Henß, Martin Monperrus, Mira Mezini:
Semi-Automatically Extracting FAQs to Improve Accessibility of Software Development Knowledge. CoRR abs/1203.5188 (2012) - [i2]Markus Kimmig, Martin Monperrus, Mira Mezini:
Querying Source Code with Natural Language. CoRR abs/1205.6361 (2012) - [i1]Martin Monperrus, Michael Eichberg, Elif Tekes, Mira Mezini:
What Should Developers Be Aware Of? An Empirical Study on the Directives of API Documentation. CoRR abs/1205.6363 (2012) - 2011
- [c97]Ralf Mitschke, Andreas Sewe, Mira Mezini:
Magic for the masses: safer high-level low-level programming through customizable static analyses. MISS@AOSD 2011: 13-17 - [c96]Lucas Satabin, Mira Mezini:
Event-driven programming with EScala. AOSD (Companion) 2011: 67-68 - [c95]Vaidas Gasiunas, Lucas Satabin, Mira Mezini, Angel Núñez, Jacques Noyé:
EScala: modular event-driven object interactions in scala. AOSD 2011: 227-240 - [c94]Benjamin Schmeling, Anis Charfi, Rainer Thome, Mira Mezini:
Composing Non-functional Concerns in Web Services. ECOWS 2011: 73-80 - [c93]Eric Bodden, Andreas Sewe, Jan Sinschek, Hela Oueslati, Mira Mezini:
Taming reflection: Aiding static analysis in the presence of reflection and custom class loaders. ICSE 2011: 241-250 - [c92]Benjamin Schmeling, Anis Charfi, Mira Mezini:
Composing Non-functional Concerns in Composite Web Services. ICWS 2011: 331-338 - [c91]Markus Kimmig, Martin Monperrus, Mira Mezini:
Querying source code with natural language. ASE 2011: 376-379 - [c90]Roman Knöll, Vaidas Gasiunas, Mira Mezini:
Naturalistic types. Onward! 2011: 33-48 - [c89]Aibek Sarimbekov, Walter Binder, Andreas Sewe, Mira Mezini, Alex Villazón:
JP2: collecting dynamic bytecode metrics in JVMs. OOPSLA Companion 2011: 35-36 - [c88]Andreas Sewe, Jannik Jochem, Mira Mezini:
Next in line, please!: exploiting the indirect benefits of inlining by accurately predicting further inlining. SPLASH Workshops 2011: 317-328 - [c87]Andreas Sewe, Mira Mezini, Aibek Sarimbekov, Walter Binder:
Da capo con scala: design and analysis of a scala benchmark suite for the java virtual machine. OOPSLA 2011: 657-676 - [c86]Aibek Sarimbekov, Andreas Sewe, Walter Binder, Philippe Moret, Martin Schoeberl, Mira Mezini:
Portable and accurate collection of calling-context-sensitive bytecode metrics for the Java virtual machine. PPPJ 2011: 11-20 - [c85]Tom Dinkelaker, Michael Eichberg, Mira Mezini:
Incremental concrete syntax for embedded languages. SAC 2011: 1309-1316 - [c84]Christoph Bockisch, Andreas Sewe, Mira Mezini, Mehmet Aksit:
An Overview of ALIA4J - An Execution Model for Advanced-Dispatching Languages. TOOLS (49) 2011: 131-146 - [c83]Aibek Sarimbekov, Philippe Moret, Walter Binder, Andreas Sewe, Mira Mezini:
Complete and Platform-Independent Calling Context Profiling for the Java Virtual Machine. Bytecode@ETAPS 2011: 61-74 - [e7]Mira Mezini:
ECOOP 2011 - Object-Oriented Programming - 25th European Conference, Lancaster, UK, July 25-29, 2011 Proceedings. Lecture Notes in Computer Science 6813, Springer 2011, ISBN 978-3-642-22654-0 [contents] - [e6]Shmuel Katz, Mira Mezini, Christa Schwanninger, Wouter Joosen:
Transactions on Aspect-Oriented Software Development VIII. Lecture Notes in Computer Science 6580, Springer 2011, ISBN 978-3-642-22030-2 [contents] - 2010
- [c82]Tom Dinkelaker, Michael Eichberg, Mira Mezini:
An architecture for composing embedded domain-specific languages. AOSD 2010: 49-60 - [c81]Michael Eichberg, Karl Klose, Ralf Mitschke, Mira Mezini:
Component Composition Using Feature Models. CBSE 2010: 200-215 - [c80]Anis Charfi, Heiko Müller, Mira Mezini:
Aspect-Oriented Business Process Modeling with AO4BPMN. ECMFA 2010: 48-61 - [c79]Michael Eichberg, Martin Monperrus, Sven Kloppenburg, Mira Mezini:
Model-Driven Engineering of Machine Executable Code. ECMFA 2010: 104-115 - [c78]Martin Monperrus, Marcel Bruch, Mira Mezini:
Detecting Missing Method Calls in Object-Oriented Software. ECOOP 2010: 2-25 - [c77]Julia Rubin, Goetz Botterweck, Mira Mezini, Itay Maman, Andreas Pleuss:
First International Workshop on Product Line Approaches in Software Engineering (PLEASE 2010). ICSE (2) 2010: 439-440 - [c76]Benjamin Schmeling, Anis Charfi, Mira Mezini:
Non-functional concerns in web services: requirements and state of the art analysis. iiWAS 2010: 67-74 - [c75]Marcel Bruch, Mira Mezini, Martin Monperrus:
Mining subclassing directives to improve framework reuse. MSR 2010: 141-150 - [c74]Andreas Sewe, Dingwen Yuan, Jan Sinschek, Mira Mezini:
Headroom-based pretenuring: dynamically pretenuring objects that live "long enough". PPPJ 2010: 29-38 - [c73]Marcel Bruch, Eric Bodden, Martin Monperrus, Mira Mezini:
IDE 2.0: collective intelligence in software development. FoSER 2010: 53-58 - [e5]Julia Rubin, Goetz Botterweck, Mira Mezini, Itay Maman, Andreas Pleuss:
Proceedings of the 2010 ICSE Workshop on Product Line Approaches in Software Engineering, PLEASE 2010, Cape Town, South Africa, May 2, 2010. ACM 2010, ISBN 978-1-60558-968-8 [contents] - [e4]Shmuel Katz, Mira Mezini, Jörg Kienzle:
Transactions on Aspect-Oriented Software Development VII - A Common Case Study for Aspect-Oriented Modeling. Lecture Notes in Computer Science 6210, Springer 2010, ISBN 978-3-642-16085-1 [contents]
2000 – 2009
- 2009
- [j10]Slim Kallel, Anis Charfi, Mira Mezini, Mohamed Jmaiel, Andreas Sewe:
A holistic approach for access control policies: from formal specification to aspect-based enforcement. Int. J. Inf. Comput. Secur. 3(3/4): 337-354 (2009) - [c72]Tom Dinkelaker, Martin Monperrus, Mira Mezini:
Untangling crosscutting concerns in domain-specific languages with domain-specific join points. DSAL@AOSD 2009: 1-6 - [c71]Tom Dinkelaker, Mira Mezini, Christoph Bockisch:
The art of the meta-aspect protocol. AOSD 2009: 51-62 - [c70]Slim Kallel, Anis Charfi, Tom Dinkelaker, Mira Mezini, Mohamed Jmaiel:
Specifying and Monitoring Temporal Properties in Web Services Compositions. ECOWS 2009: 148-157 - [c69]Slim Kallel, Anis Charfi, Mira Mezini, Mohamed Jmaiel, Karl Klose:
From Formal Access Control Policies to Runtime Enforcement Aspects. ESSoS 2009: 16-31 - [c68]Anis Charfi, Tom Dinkelaker, Mira Mezini:
A Plug-in Architecture for Self-Adaptive Web Service Compositions. ICWS 2009: 35-42 - [c67]Jan Sinschek, Andreas Sewe, Mira Mezini:
VM performance evaluation with functional models: an optimist's outlook. VMIL@SPLASH 2009: 6:1-6:2 - [c66]Roman Knöll, Mira Mezini:
pi: a pattern language. OOPSLA 2009: 503-522 - [c65]Marcel Bruch, Martin Monperrus, Mira Mezini:
Learning from examples to improve code completion systems. ESEC/SIGSOFT FSE 2009: 213-222 - 2008
- [j9]Vasian Cepa, Mira Mezini:
Language support for model-driven software development. Sci. Comput. Program. 73(1): 13-25 (2008) - [c64]Tom Dinkelaker, Mira Mezini:
Dynamically linked domain-specific extensions for advice languages. DSAL@AOSD 2008: 3:1-3:7 - [c63]Slim Kallel, Anis Charfi, Mira Mezini, Mohamed Jmaiel:
Aspect-based enforcement of formal delegation policies. CRiSIS 2008: 9-17 - [c62]Andreas Sewe, Christoph Bockisch, Mira Mezini:
Redundancy-free residual dispatch: using ordered binary decision diagrams for efficient dispatch. FOAL 2008: 1-7 - [c61]Michael Eichberg, Sven Kloppenburg, Karl Klose, Mira Mezini:
Defining and continuous checking of structural program dependencies. ICSE 2008: 391-400 - [c60]Thorsten Schäfer, Jan Jonas, Mira Mezini:
Mining framework usage changes from instantiation code. ICSE 2008: 471-480 - [c59]Andreas Sewe, Christoph Bockisch, Mira Mezini:
Aspects and class-based security: a survey of interactions between advice weaving and the Java 2 security model. VMIL@SPLASH 2008: 3:1-3:7 - [c58]Marcel Bruch, Mira Mezini:
Improving code recommender systems by incorporating domain knowledge and graphical models. RSSE@SIGSOFT FSE 2008: 3 - [c57]Marcel Bruch, Thorsten Schäfer, Mira Mezini:
On evaluating recommender systems for API usages. RSSE@SIGSOFT FSE 2008: 16-20 - 2007
- [j8]Anis Charfi, Mira Mezini:
AO4BPEL: An Aspect-oriented Extension to BPEL. World Wide Web(3): 309-344 (2007) - [c56]Christoph Bockisch, Mira Mezini:
A flexible architecture for pointcut-advice language implementations. VMIL 2007: 1 - [c55]Slim Kallel, Anis Charfi, Mira Mezini, Mohamed Jmaiel:
Combining Formal Methods and Aspects for Specifying and Enforcing Architectural Invariants. COORDINATION 2007: 211-230 - [c54]Anis Charfi, Rainer Berbner, Mira Mezini, Ralf Steinmetz:
Management Requirements of Web Service Compositions. WEWST 2007 - [c53]Anis Charfi, Rainer Berbner, Mira Mezini, Ralf Steinmetz:
On the Management Requirements of Web Service Compositions. WEWST@ECOWS (Final Proceedings) 2007: 97-109 - [c52]Anis Charfi, Benjamin Schmeling, Mira Mezini:
Transactional BPEL Processes with AO4BPEL Aspects. ECOWS 2007: 149-158 - [c51]Vaidas Gasiunas, Mira Mezini, Klaus Ostermann:
Dependent classes. OOPSLA 2007: 133-152 - [c50]Michael Eichberg, Matthias Kahl, Diptikalyan Saha, Mira Mezini, Klaus Ostermann:
Automatic Incrementalization of Prolog Based Static Analyses. PADL 2007: 109-123 - [c49]Thorsten Schäfer, Ivica Aracic, Matthias Merz, Mira Mezini, Klaus Ostermann:
Clustering for Generating Framework Top-Level Views. WCRE 2007: 239-248 - [e3]Hridesh Rajan, Mira Mezini:
Proceedings of the 1st Workshop on Virtual Machines and Intermediate Languages for Emerging Modularization Mechanisms, VMIL 2007, Vancouver, British Columbia, Canada, March 12-16, 2007. ACM International Conference Proceeding Series 212, ACM 2007 [contents] - 2006
- [j7]Ivica Aracic, Vaidas Gasiunas, Mira Mezini, Klaus Ostermann:
An Overview of CaesarJ. LNCS Trans. Aspect Oriented Softw. Dev. 1: 135-173 (2006) - [j6]Thorsten Schäfer, Michael Eichberg, Michael Haupt, Mira Mezini:
The SEXTANT Software Exploration Tool. IEEE Trans. Software Eng. 32(9): 753-768 (2006) - [c48]Anis Charfi, Mira Mezini:
Middleware Support for BPEL Workflows in the AO4BPEL Engine. BPM Demos 2006 - [c47]Michael Eichberg, Daniel Germanus, Mira Mezini, Lukas Mrokon, Thorsten Schäfer:
QScope: an Open, Extensible Framework for Measuring Software Projects. CSMR 2006: 113-122 - [c46]Marcel Bruch, Thorsten Schäfer, Mira Mezini:
FrUiT: IDE support for framework understanding. ETX 2006: 55-59 - [c45]Anis Charfi, Benjamin Schmeling, Andreas Heizenreder, Mira Mezini:
Reliable, Secure, and Transacted Web Service Compositions with AO4BPEL. ECOWS 2006: 23-34 - [c44]Anis Charfi, Benjamin Schmeling, Mira Mezini:
Reliable Messaging for BPEL Processes. ICWS 2006: 293-302 - [c43]Michael Eichberg, Mira Mezini, Sven Kloppenburg, Klaus Ostermann, Benjamin Rank:
Integrating and Scheduling an Open Set of Static Analyses. ASE 2006: 113-122 - [c42]Christoph Bockisch, Matthew Arnold, Tom Dinkelaker, Mira Mezini:
Adapting virtual machine techniques for seamless aspect support. OOPSLA 2006: 109-124 - [c41]Christoph Bockisch, Sebastian Kanthak, Michael Haupt, Matthew Arnold, Mira Mezini:
Efficient control flow quantification. OOPSLA 2006: 125-138 - [c40]Roman Knöll, Mira Mezini:
Pegasus: first steps toward a naturalistic programming language. OOPSLA Companion 2006: 542-559 - [c39]Anis Charfi, Mira Mezini:
Aspect-Oriented Workflow Languages. OTM Conferences (1) 2006: 183-200 - [c38]Michael Eichberg, Sebastian Kanthak, Sven Kloppenburg, Mira Mezini, Tobias Schuh:
Incremental Confined Types Analysis. LDTA@ETAPS 2006: 81-96 - 2005
- [j5]Michael Haupt, Mira Mezini:
Virtual Machine Support for Aspects with Advice Instance Tables. Obj. Logiciel Base données Réseaux 11(3): 9-30 (2005) - [c37]Marcel Bruch, Christoph Bockisch, Thorsten Schäfer, Mira Mezini:
eAssignment: a case for EMF. eTX 2005: 110-114 - [c36]Gregor Kiczales, Mira Mezini:
Separation of Concerns with Procedures, Annotations, Advice and Pointcuts. ECOOP 2005: 195-213 - [c35]Klaus Ostermann, Mira Mezini, Christoph Bockisch:
Expressive Pointcuts for Increased Modularity. ECOOP 2005: 214-240 - [c34]Michael Eichberg, Thorsten Schäfer, Mira Mezini:
Using Annotations to Check Structural Properties of Classes. FASE 2005: 237-252 - [c33]Vasian Cepa, Mira Mezini:
MobCon: A Generative Middleware Framework for Java Mobile Applications. HICSS 2005 - [c32]Gregor Kiczales, Mira Mezini:
Aspect-oriented programming and modular reasoning. ICSE 2005: 49-58 - [c31]Michael Eichberg, Michael Haupt, Mira Mezini, Thorsten Schäfer:
Comprehensive Software Understanding with SEXTANT. ICSM 2005: 315-324 - [c30]Anis Charfi, Mira Mezini:
Using Aspects for Security Engineering of Web Service Compositions. ICWS 2005: 59-66 - [c29]Christoph Bockisch, Michael Haupt, Mira Mezini, Ralf Mitschke:
Envelope-Based Weaving for Faster Aspect Compilers. NODe/GSEM 2005: 3-18 - [c28]Michael Haupt, Mira Mezini, Christoph Bockisch, Tom Dinkelaker, Michael Eichberg, Michael Krebs:
An execution layer for aspect-oriented programming languages. VEE 2005: 142-152 - [c27]Thorsten Schäfer, Mira Mezini:
Towards More Flexibility in Software Visualization Tools. VISSOFT 2005: 64-69 - [c26]Anis Charfi, Mira Mezini:
Middleware services for web service compositions. WWW (Special interest tracks and posters) 2005: 1132-1133 - [e2]Mira Mezini, Peri L. Tarr:
Proceedings of the 4th International Conference on Aspect-Oriented Software Development, AOSD 2005, Chicago, Illinois, USA, March 14-18, 2005. ACM 2005, ISBN 1-59593-042-6 [contents] - 2004
- [c25]Christoph Bockisch, Michael Haupt, Mira Mezini, Klaus Ostermann:
Virtual machine support for dynamic join points. AOSD 2004: 83-92 - [c24]Michael Eichberg, Mira Mezini, Klaus Ostermann:
Pointcuts as Functional Queries. APLAS 2004: 366-381 - [c23]Michael Eichberg, Mira Mezini, Thorsten Schäfer, Claus Beringer, Karl Matthias Hamel:
Enforcing System-Wide Properties. Australian Software Engineering Conference 2004: 158-167 - [c22]Anis Charfi, Mira Mezini:
Aspect-Oriented Web Service Composition with AO4BPEL. ECOWS 2004: 168-182 - [c21]Vasian Cepa, Mira Mezini:
Declaring and Enforcing Dependencies Between .NET Custom Attributes. GPCE 2004: 283-297 - [c20]Anis Charfi, Mira Mezini:
Hybrid web service composition: business processes meet business rules. ICSOC 2004: 30-38 - [c19]Michael Haupt, Mira Mezini:
Micro-measurements for Dynamic Aspect-Oriented Systems. Net.ObjectDays 2004: 81-96 - [c18]Michael Eichberg, Mira Mezini:
Alice: Modularization of Middleware Using Aspect-Oriented Programming. SEM 2004: 47-63 - [c17]Mira Mezini, Klaus Ostermann:
Variability management with feature-oriented programming and aspects. SIGSOFT FSE 2004: 127-136 - [c16]Mira Mezini, Klaus Ostermann:
A Comparison of Program Generation with Aspect-Oriented Programming. UPP 2004: 342-354 - [c15]Michael Eichberg, Mira Mezini, Klaus Ostermann, Thorsten Schäfer:
XIRC: A Kernel for Cross-Artifact Information Engineering in Software Development Environments. WCRE 2004: 182-191 - 2003
- [j4]Roman Pichler, Klaus Ostermann, Mira Mezini:
On aspectualizing component models. Softw. Pract. Exp. 33(10): 957-974 (2003) - [c14]Mira Mezini, Klaus Ostermann:
Modules for Crosscutting Models. Ada-Europe 2003: 24-44 - [c13]Mira Mezini, Klaus Ostermann:
Conquering aspects with Caesar. AOSD 2003: 90-99 - [c12]Mariano Cilia, Michael Haupt, Mira Mezini, Alejandro P. Buchmann:
The Convergence of AOP and Active Databases: Towards Reactive Middleware. GPCE 2003: 169-188 - [e1]Mehmet Aksit, Mira Mezini, Rainer Unland:
Objects, Components, Architectures, Services, and Applications for a Networked World, International Conference NetObjectDays, NODe 2002, Erfurt, Germany, October 7-10, 2002, Revised Papers. Lecture Notes in Computer Science 2591, Springer 2003, ISBN 3-540-00737-7 [contents] - 2002
- [c11]Ludger Fiege, Mira Mezini, Gero Mühl, Alejandro P. Buchmann:
Engineering Event-Based Systems with Scopes. ECOOP 2002: 309-333 - [c10]Mira Mezini, Klaus Ostermann:
Integrating independent components with on-demand remodularization. OOPSLA 2002: 52-67 - 2001
- [j3]Stephan Herrmann, Mira Mezini:
Connectors for bridging mismatches between the components of a software engineering environment. IEE Proc. Softw. 148(3): 104-111 (2001) - [c9]Klaus Ostermann, Mira Mezini:
Object-Oriented Composition Untangled. OOPSLA 2001: 283-299 - 2000
- [j2]Jens Uwe Pipka, Mira Mezini:
Weiterentwicklung objektorientierter Softwaresysteme: Risiken und deren Vermeidung. Softwaretechnik-Trends 20(3) (2000) - [c8]Jens Uwe Pipka, Mira Mezini:
Weiterentwicklung objektorientierter Softwaresysteme: Risiken und deren Vermeidung. GI Jahrestagung 2000: 420-439 - [c7]Karl J. Lieberherr, David H. Lorenz, Mira Mezini:
Building modular object-oriented systems with reusable collaborations (tutorial session). ICSE 2000: 821 - [c6]Stephan Herrmann, Mira Mezini:
PIROL: a case study for multidimensional separation of concerns in software engineering environments. OOPSLA 2000: 188-207
1990 – 1999
- 1999
- [c5]Linda M. Seiter, Mira Mezini, Karl J. Lieberherr:
Dynamic Component Gluing. GCSE 1999: 134-164 - [c4]Mira Mezini, Jens Uwe Pipka, Thorsten Dittmar, Wim Boot:
Detecting Evolution Incompatibilities by Analyzing Java Binaries. TOOLS (30) 1999: 126-135 - 1998
- [b1]Mira Mezini:
Variational Object-Oriented Programming Beyond Classes and Inheritance. The Kluwer international series in engineering and computer science 470, Springer 1998, ISBN 978-0-7923-8313-0, pp. I-XVI, 1-258 - [c3]Mira Mezini, Karl J. Lieberherr:
Adaptive Plug-and-Play Components for Evolutionary Software Development. OOPSLA 1998: 97-116 - 1997
- [c2]Mira Mezini:
Dynamic Object Evolution without Name Collisions. ECOOP 1997: 190-219 - [c1]Mira Mezini:
Maintaining the Consistency of Class Libraries During Their Evolution. OOPSLA 1997: 1-21 - 1994
- [j1]Thilo Kielmann, Mira Mezini, Arjan Loeffen:
4th Workshop for Doctoral Student in Object-Oriented Systems, Held in Conjunction with ECOOP'94 (Report). ACM SIGPLAN Notices 29(12): 7-10 (1994)
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from , , and to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-10-31 20:15 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint