Helm, Dominik ; Keidel, Sven ; Kampkötter, Anemone ; Düsing, Johannes ; Roth, Tobias ; Hermann, Ben ; Mezini, Mira (2024)
Total Recall? How Good Are Static Call Graphs Really?
33rd ACM SIGSOFT International Symposium on Software Testing and Analysis (ISSTA 2024). Vienna, Austria (18.09.2024 - 20.09.2024)
doi: 10.1145/3650212.3652114
Konferenzveröffentlichung, Bibliographie

Helm, Dominik ; Roth, Tobias ; Keidel, Sven ; Reif, Michael ; Mezini, Mira (2024)
Unimocg: Modular Call-Graph Algorithms for Consistent Handling of Language Features.
33rd ACM SIGSOFT International Symposium on Software Testing and Analysis (ISSTA 2024). Vienna, Austria (18.09.2024 - 20.09.2024)
doi: 10.1145/3650212.3652109
Konferenzveröffentlichung, Bibliographie

Maninger, Daniel ; Narasimhan, Krishna ; Mezini, Mira (2024)
Towards Trustworthy AI Software Development Assistance.
44th International Conference on Software Engineering: New Ideas and Emerging Results. Lisbon, Portugal (14.04.2024 - 20.04.2024)
doi: 10.1145/3639476.3639770
Konferenzveröffentlichung, Bibliographie

Keidel, Sven ; Helm, Dominik ; Roth, Tobias ; Mezini, Mira (2024)
A Modular Soundness Theory for the Blackboard Analysis Architecture.
33rd European Symposium on Programming (ESOP 2024). Luxembourg City, Luxembourg (06.04.2024 - 11.04.2024)
doi: 10.1007/978-3-031-57267-8_14
Konferenzveröffentlichung, Bibliographie

Haas, Julian ; Mogk, Ragnar ; Yanakieva, Elena ; Bieniusa, Annette ; Mezini, Mira (2024)
LoRe: A Programming Model for Verifiably Safe Local-first Software.
In: ACM Transactions on Programming Languages and Systems, 46 (1)
doi: 10.1145/3633769
Artikel, Bibliographie

Krüger, Stefan ; Reif, Michael ; Wickert, Anna-Katharina ; Nadi, Sarah ; Ali, Karim ; Bodden, Eric ; Mezini, Mira ; Acar, Yasemin ; Fahl, Sascha (2023)
Securing Your Crypto-API Usage Through Tool Support - A Usability Study.
2023 IEEE Secure Development Conference. Atlanta, USA (18.10.2023 - 20.10.2023)
doi: 10.1109/SecDev56634.2023.00015
Konferenzveröffentlichung, Bibliographie

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

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

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

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.05.2023-16.05.2023)
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.03.2023-24.03.2023)
doi: 10.1109/SANER56733.2023.00085
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.12.2022-11.12.2022)
doi: 10.1109/TrustCom56396.2022.00051
Konferenzveröffentlichung, Bibliographie

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

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

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.05.2022-20.05.2022)
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.2022-07.07.2022)
doi: 10.4230/LIPIcs.ECOOP.2022.35
Konferenzveröffentlichung, Bibliographie

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

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.11.2021-19.11.2021)
doi: 10.1109/ASE51524.2021.9678903
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.10.2021-15.10.2021)
doi: 10.6084/m9.figshare.16499085.v1
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

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

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.07.2021-17.07.2021)
doi: 10.4230/LIPIcs.ECOOP.2021.19
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.05.2021-27.05.2021)
Konferenzveröffentlichung, Bibliographie

Baumgärtner, Lars ; Dmitrienko, Alexandra ; Freisleben, Bernd ; Gruler, Alexander ; Höchst, Jonas ; Kühlberg, Joshua ; Mezini, Mira ; Mitev, Richard ; Miettinen, Markus ; Muhamedagic, Anel ; Nguyen, Thien Duc ; Penning, Alvar ; Pustelnik, Frederik ; Roos, Filipp ; Sadeghi, Ahmad-Reza ; Schwarz, Michael ; Uhl, Christian (2020)
Mind the GAP: Security & Privacy Risks of Contact Tracing Apps.
TrustCom 2020. virtual Conference (29.12.2020-01.01.2021)
Konferenzveröffentlichung, Bibliographie

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

Sterz, Artur ; Eichholz, Matthias ; Mogk, Ragnar ; Baumgärtner, Lars ; Graubner, Pablo ; Hollick, Matthias ; Mezini, Mira ; Freisleben, Bernd (2020)
ReactiFi: Reactive Programming of Wi-Fi Firmware on Mobile Devices.
In: The Art, Science, and Engineering of Programming, 5 (2)
doi: 10.22152/programming-journal.org/2021/5/4
Artikel, Bibliographie

Helm, Dominik ; Kübler, Florian ; Reif, Michael ; Eichberg, Michael ; Mezini, Mira (2020)
Modular Collaborative Program Analysis in OPAL.
28th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering (ESEC/FSE 2020). Virtual Conference (06.11.2020-16.11.2020)
doi: 10.1145/3368089.3409765
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.2020-01.11.2020)
doi: 10.1109/GHTC46280.2020.9342886
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.10.2020-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.10.2020-09.10.2020)
doi: 10.1145/3320269.3384745
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.07.2020-22.07.2020)
doi: 10.1145/3395363.3397367
Konferenzveröffentlichung, Bibliographie

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 (15.06.2020-19.06.2020)
doi: 10.1145/3394451.3397204
Konferenzveröffentlichung, Bibliographie

Baumgärtner, Lars ; Lieser, Patrick ; Mezini, Mira (2020)
The Buschfunk Project : Offline Communication for Everyone.
10th IEEE Global Humanitarian Technology Conference. virtual Conference (29.10.2020-01.11.2020)
Konferenzveröffentlichung, Bibliographie

Sarimbekov, Aibek ; Moret, Philippe ; Binder, Walter ; Sewe, Andreas ; Mezini, Mira (2020)
Complete and Platform-Independent Calling Context Profiling for the Java Virtual Machine.
In: Electronic Notes in Theoretical Computer Science, 279 (1)
doi: 10.1016/j.entcs.2011.11.006
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, 90
doi: 10.1016/j.procir.2020.01.133
Artikel, Bibliographie

Krude, Johannes ; Hofmann, Jaco ; Eichholz, Matthias ; Wehrle, Klaus ; Koch, Andreas ; Mezini, Mira (2019)
Online Reprogrammable Multi Tenant Switches.
15th International Conference on emerging Networking EXperiments and Technologies. Orlando, Florida (09.12.2019-09.12.2019)
doi: 10.1145/3359993.3366643
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

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.10.2019-03.10.2019)
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 (20.10.2019-25.10.2019)
doi: 10.1145/3358503.3361274
Konferenzveröffentlichung, Bibliographie

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

Krude, Johannes ; Eichholz, Matthias ; Winck, Maximilian ; Wehrle, Klaus ; Mezini, Mira (2019)
Optimizing Data Plane Programs for the Network.
NetPL '19: ACM SIGCOMM Workshop on Networking and Programming Languages. Beijing, China (23.08.2019-23.08.2019)
doi: 10.1145/3341561.3349590
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.2019-19.07.2019)
doi: 10.1145/3293882.3330555
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 (26.05.2019-27.05.2019)
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

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

Mogk, Ragnar ; Drechsler, Joscha ; Salvaneschi, Guido ; Mezini, Mira (2019)
A Fault-Tolerant Programming Model for Distributed Interactive Applications.
In: Proceedings of the ACM on Programming Languages, 3 (OOPSLA)
doi: 10.1145/3360570
Artikel, Bibliographie

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

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

Salvaneschi, Guido ; Köhler, Mirko ; Sokolowski, Daniel ; Haller, Philipp ; Erdweg, Sebastian ; Mezini, Mira (2019)
Language-Integrated Privacy-Aware Distributed Queries.
In: Proceedings of the ACM on Programming Languages, 3 (OOPSLA)
doi: 10.1145/3360593
Artikel, Bibliographie

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

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 (03.09.2018-07.09.2018)
doi: 10.1145/3238147.3238226
Konferenzveröffentlichung, Bibliographie

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.07.2018-28.07.2018)
Konferenzveröffentlichung, 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.07.2018-21.07.2018)
doi: 10.4230/LIPIcs.ECOOP.2018.10
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

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

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

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

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

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 (16.07.2018-21.07.2018)
doi: 10.4230/LIPIcs.ECOOP.2018.1
Konferenzveröffentlichung, 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

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

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

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 (09.04.2018-12.04.2018)
doi: 10.1145/3191697.3213804
Konferenzveröffentlichung, Bibliographie

Bračevac, Oliver ; Amin, Nada ; Salvaneschi, Guido ; Erdweg, Sebastian ; Eugster, Patrick ; Mezini, Mira (2018)
Versatile Event Correlation with Algebraic Effects.
In: Proceedings of the ACM on Programming Languages, 2 (ICFP)
doi: 10.1145/3236762
Artikel, 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.
Automated Software Engineering (ASE'17). Urbana, Illinois, USA (30.10.2017-03.11.2017)
doi: 10.1109/ASE.2017.8115707
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

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

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

Sterz, Artur ; Baumgärtner, Lars ; Mogk, Ragnar ; Mezini, Mira ; Freisleben, Bernd (2017)
DTN-RPC: Remote Procedure Calls for Disruption-Tolerant Networking.
16th International IFIP TC6 Networking Conference, Networking 2017. Stockholm (12.06.2017-16.06.2017)
Konferenzveröffentlichung, Bibliographie

Holzinger, Philipp ; Hermann, Ben ; Lerch, Johannes ; Bodden, Eric ; Mezini, Mira (2017)
Hardening Java's Access Control by Abolishing Implicit Privilege Elevation.
San Jose, CA, USA
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

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

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

Hauck, Markus ; Savvides, Savvas ; Eugster, Patrick ; Mezini, Mira ; Salvaneschi, Guido (2016)
SecureScala: Scala embedding of secure computations.
Konferenzveröffentlichung, 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

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

Salvaneschi, Guido ; Mezini, Mira (2016)
Debugging for reactive programming.
Austin, TX
doi: 10.1145/2884781.2884815
Konferenzveröffentlichung, Bibliographie

Nadi, Sarah ; Krüger, Stefan ; Mezini, Mira ; Bodden, Eric (2016)
"Jumping Through Hoops" Why do Java Developers Struggle With Cryptography APIs?
Austin, Texas, USA
Konferenzveröffentlichung, Bibliographie

Nadi, Sarah ; Krüger, Stefan ; Mezini, Mira ; Bodden, Eric (2016)
Jumping through hoops: why do Java developers struggle with cryptography APIs?
Austin, Texas
doi: 10.1145/2884781.2884790
Konferenzveröffentlichung, 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

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 (14.05.2016-15.05.2016)
doi: 10.1145/2901739.2903507
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 (14.05.2016-15.05.2016)
Konferenzveröffentlichung, 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

Bračevac, Oliver ; Erdweg, Sebastian ; Salvaneschi, Guido ; Mezini, Mira (2016)
CPL: A Core Language for Cloud Computing -- Technical Report.
doi: 10.48550/arXiv.1602.00981
Report, 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.03.2016-18.03.2016)
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

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

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

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 (09.11.2015-13.11.2015)
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

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

Arzt, Steven ; Nadi, Sarah ; Ali, Karim ; Bodden, Eric ; Erdweg, Sebastian ; Mezini, Mira (2015)
Towards Secure Integration of Cryptographic Software.
OOPSLA Onward!. Piitsburgh (25.10.2015-25.10.2015)
Konferenzveröffentlichung, Bibliographie

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

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

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

Mitschke, Ralf ; Erdweg, Sebastian ; Köhler, Mirko ; Mezini, Mira ; Salvaneschi, Guido (2014)
i3QL: Language-Integrated Live Data Views.
Portland, Oregon, USA
doi: 10.1145/2714064.2660242
Konferenzveröffentlichung, Bibliographie

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

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

Van Ham, Jurgen M. ; Salvaneschi, Guido ; Mezini, Mira ; Noyé, Jacques (2014)
JEScala.
doi: 10.1145/2584469.2577082
Konferenzveröffentlichung, Bibliographie

Salvaneschi, Guido ; Hintz, Gerold ; Mezini, Mira (2014)
REScala.
doi: 10.1145/2584469.2577083
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

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

Oetting, Andreas ; Katzenbeisser, Stefan ; Hähnle, Reiner ; Hofmann, Klaus ; Klingauf, Uwe ; Mezini, Mira ; Schön, Sebastian ; Schütz, Ingo (2013)
Langlebige sicherheitskritische Infrastrukturen.
Fulda, Germany
Konferenzveröffentlichung, Bibliographie

Bodden, Eric ; Hermann, Ben ; Lerch, Johannes ; Mezini, Mira (2013)
Reducing human factors in software security architectures.
Future Security Conference 2013.
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 (09.09.2013-13.09.2013)
Konferenzveröffentlichung, Bibliographie

Bodden, Eric ; Mezini, Mira ; Brabrand, Claus ; Tolêdo, Társis ; Ribeiro, Márcio ; Borba, Paulo (2013)
SPLlift - Statically Analyzing Software Product Lines in Minutes Instead of Years.
ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI 2013).
Konferenzveröffentlichung, Bibliographie

Bodden, Eric ; Mezini, Mira ; Brabrand, Claus ; Tolêdo, Társis ; Ribeiro, Márcio ; Borba, Paulo (2013)
SPLlift – Statically Analyzing Software Product Lines in Minutes Instead of Years.
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 (20.05.2013-21.05.2013)
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

Lerch, Johannes ; Mezini, Mira (2013)
Finding Duplicates of Your Yet Unwritten Bug Report.
doi: 10.1109/CSMR.2013.17
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

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

Aly, Mohamed ; Charfi, Anis ; Wu, Di ; Mezini, Mira (2013)
Understanding multilayered applications for building extensions.
1st Workshop on Comprehension of Complex Systems. Fukuoka, Japan (25.03.2013-25.03.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

Dinkelaker, Tom ; Eichberg, Michael ; Mezini, Mira (2012)
Incremental concrete syntax for embedded languages with support for separate compilation.
In: Science of Computer Programming
Buchkapitel, 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

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.09.2012-21.09.2012)
doi: 10.1007/978-3-642-33383-5_11
Konferenzveröffentlichung, Bibliographie

Henß, Stefan ; Monperrus, Martin ; Mezini, Mira (2012)
Semi-automatically extracting FAQs to improve accessibility of software development knowledge.
Zurich, Switzerland
Konferenzveröffentlichung, Bibliographie

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.06.2012-16.06.2012)
doi: 10.1145/2258996.2259010
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

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

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

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

Robillard, Martin P. ; Bodden, Eric ; Kawrykow, David ; Mezini, Mira ; Ratchford, Tristan (2012)
Automated API Property Inference Techniques.
In: IEEE Transactions on Software Engineering (TSE)
Artikel, 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

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

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

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.06.2012-29.06.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.10.2011-27.10.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.10.2011-27.10.2011)
doi: 10.1145/2048147.2048165
Konferenzveröffentlichung, Bibliographie

Knöll, Roman ; Gasiunas, Vaidas ; Mezini, Mira (2011)
Naturalistic Types.
SPLASH/Onward! 2011.
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

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

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

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

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

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.03.2011-22.03.2011)
doi: 10.1145/1960518.1960522
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.10.2011-24.10.2011)
doi: 10.1145/2095050.2095102
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

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.08.2011-26.08.2011)
doi: 10.1145/2093157.2093160
Konferenzveröffentlichung, Bibliographie

Kimmig, Markus ; Monperrus, Martin ; Mezini, Mira (2011)
Querying Source Code with Natural Language.
Proceedings of the 26th IEEE/ACM International Conference On Automated Software Engineering.
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.05.2011-28.05.2011)
doi: 10.1145/1985793.1985827
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

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

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.06.2010-18.06.2010)
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

Gasiunas, Vaidas ; Satabin, Lucas ; Mezini, Mira ; Nunez, Angel ; Noyé, Jacques (2010)
Declarative Events for Object-Oriented Programming.
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

Bodden, Eric ; Sewe, Andreas ; Sinschek, Jan ; Mezini, Mira (2010)
Taming Reflection: Static Analysis in the Presence of Reflection and Custom Class Loaders.
Report, 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 (16.03.2010-19.03.2010)
Konferenzveröffentlichung, Bibliographie

Katz, Shmuel ; Mezini, Mira ; Kienzle, Jörg
A Common Case Study for Aspect-Oriented Modeling.
In: Transactions on Aspect-Oriented Software Development VII, 6210
Artikel, Bibliographie

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

Bruch, Marcel ; Mezini, Mira ; Monperrus, Martin (2010)
Mining Subclassing Directives to Improve Framework Reuse.
7th IEEE Working Conference on Mining Software Repositories (MSR 2010). Cape Town, South Africa (02-05. - 03.05.2010)
doi: 10.1109/MSR.2010.5463347
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

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

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

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

Charfi, Anis ; Dinkelaker, Tom ; Mezini, Mira (2009)
A Plugin-Architecture for Self-Adaptive WS Compositions.
Los Angeles, CA, USA
doi: 10.1109/ICWS.2009.125
Konferenzveröffentlichung, Bibliographie

Kallel, Slim ; Charfi, Anis ; Mezini, Mira ; Klose, Karl ; Jmaiel, Mohamed (2009)
From Formal Access Control Policies to Runtime Enforcement Aspects.
Leuven, Belgium
doi: 10.1007/978-3-642-00199-4_2
Konferenzveröffentlichung, Bibliographie

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

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

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

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

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

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

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

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.11.2008-14.11.2008)
Konferenzveröffentlichung, 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.10.2008-30.10.2008)
doi: 10.1109/CRISIS.2008.4757459
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

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.10.2008-19.10.2008)
doi: 10.1145/1507504.1507507
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

Bruch, Marcel ; Mezini, Mira (2008)
Improving Code Recommender Systems using Boolean Factor Analysis and Graphical Models.
Atlanta, Georgia
Konferenzveröffentlichung, Bibliographie

Cepa, Vasian ; Mezini, Mira (2008)
Language Support for Model-Driven Software Development.
In: Science of Computer Programming (Elsevier)
Artikel, 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

Sewe, Andreas ; Bockisch, Christoph ; Mezini, Mira (2008)
Redundancy-free Residual Dispatch.
Brussels, Belgium
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 (01.04.2008-01.04.2008)
doi: 10.1145/1394496.1394497
Konferenzveröffentlichung, 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.
IEEE ECOWS; Workshop on Emerging Web Services Technology. Halle (26.11.2007-28.11.2007)
Konferenzveröffentlichung, 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

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

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

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

Charfi, Anis ; Schmeling, Benjamin ; Mezini, Mira (2007)
Transactional BPEL Processes with AO4BPEL Aspects.
Fifth European Conference on Web Services (ECOWS'07). Halle, Germany (26.11.2007-28.11.2007)
doi: 10.1109/ECOWS.2007.17
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.03.2007-13.03.2007)
doi: 10.1145/1230136.1230137
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

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

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 ; Mezini, Mira (2006)
Middlware Support for BPEL Workflows in the AO4BPEL Engine.
Vienna, Austria
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-01.04.2006)
Konferenzveröffentlichung, Bibliographie

Bockisch, Christoph ; Arnold, Mathew ; Dinkelaker, Tom ; Mezini, Mira (2006)
Adapting Virtual Machine Techniques for Seamless Aspect Support.
21st ACM SIGPLAN symposium on Object-oriented programming systems, languages, and applications (OOPSLA '06). Portland, Oregon, USA (22.10.2006-26.10.2006)
doi: 10.1145/1167473.1167483
Konferenzveröffentlichung, Bibliographie

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

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

Bruch, Marcel ; Schäfer, Thorsten ; Mezini, Mira (2006)
FrUiT : IDE support for framework understanding.
2006 OOPSLA workshop on eclipse technology eXchange (eclipse '06). Portland, Oregon, USA (22.10.2006-23.10.2006)
doi: 10.1145/1188835.1188847
Konferenzveröffentlichung, Bibliographie

Aracic, Ivica ; Gasiunas, Vaidas ; Mezini, Mira ; Ostermann, Klaus (2006)
An Overview of CaesarJ.
In: Transactions on Aspect-Oriented Software Development I
doi: 10.1007/11687061_5
Buchkapitel, Bibliographie

Knöll, Roman ; Mezini, Mira (2006)
Pegasus : first steps toward a naturlaistic progamming language.
21st ACM SIGPLAN symposium on Object-oriented programming systems, languages, and applications (OOPSLA '06). Portland, Oregon, USA (22.10.2006-26.10.2006)
doi: 10.1145/1176617.1176628
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

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

Eichberg, Michael ; Kanthak, Sebastian ; Kloppenburg, Sven ; Mezini, Mira ; Schuh, Tobias (2006)
Incremental Confined Types Analysis.
In: Electronic Notes in Theoretical Computer Science, 164 (2)
doi: 10.1016/j.entcs.2006.10.006
Artikel, Bibliographie

Charfi, Anis ; Mezini, Mira (2006)
Middlware Support for BPEL Workflows in the AO4BPEL Engine.
Vienna, Austria
Konferenzveröffentlichung, Bibliographie

Gasiunas, Vaidas ; Ostermann, Klaus ; Mezini, Mira (2006)
Multidimensional Virtual Classes.
Report, Bibliographie

Knöll, Roman ; Mezini, Mira (2006)
Pegasus: First Steps Toward a Naturalistic Programming Language.
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 ; Germanus, Daniel ; Mezini, Mira ; Mrokon, Lukas ; Schäfer, Thorsten (2006)
QScope: an Open, Extensible Framework for Measuring Software Projects.
Konferenzveröffentlichung, Bibliographie

Eichberg, Michael ; Germanus, Daniel ; Mezini, Mira ; Mrokon, Lukas ; Schäfer, Thorsten (2006)
QScope: an Open, Extensible Framework for Measuring Software Projects.
Konferenzveröffentlichung, Bibliographie

Eichberg, Michael ; Mezini, Mira (2005)
Alice: Modularization of Middleware Using Aspect-Oriented Programming.
Konferenzveröffentlichung, Bibliographie

Charfi, Anis ; Mezini, Mira (2005)
Application of Aspect-Oriented Programming to Workflows.
Sousse, Tunisia
Konferenzveröffentlichung, Bibliographie

Bockisch, Christoph ; Mezini, Mira ; Ostermann, Klaus
Hrsg.: Filman, Robert E. ; Haupt, Michael (2005)
Quantifying over Dynamic Properties of Program Execution.
Second Dynamic Aspects Workshop (DAW05). Chicago, Illinois, USA (14.03.2005-18.03.2005)
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

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

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

Bockisch, Christoph ; Haupt, Michael ; Mezini, Mira ; Mitschke, Ralf (2005)
Envelope-based weaving for faster aspect compilers.
Konferenzveröffentlichung, Bibliographie

Ostermann, Klaus ; Mezini, Mira ; Bockisch, Christoph (2005)
Expressive pointcuts for increased modularity.
Konferenzveröffentlichung, Bibliographie

Cepa, Vasian ; Mezini, Mira (2005)
MobCon : a generative middleware framework for Java mobile applications.
Konferenzveröffentlichung, Bibliographie

Kiczales, Gregor ; Mezini, Mira (2005)
Separation of concerns wth procedures, annotations, advice and pointcuts.
19th Object-Oriented Programming Conference (ECOOP 2005). Glasgow, UK (25.07.2005-29.07.2005)
Konferenzveröffentlichung, Bibliographie

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

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

Charfi, Anis ; Mezini, Mira (2005)
Using aspects for security engineering of web service compositions.
2005 IEEE International Conference on Web Services (ICWS 2005). Orlando, Florida (11.07.2005-15.07.2005)
Konferenzveröffentlichung, 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

Eichberg, Michael ; Mezini, Mira
Hrsg.: Gschwind, Thomas ; Mascolo, Cecilia (2005)
Alice: Modularization of Middleware Using Aspect-Oriented Programming.
In: Software Engineering and Middleware: 4th International Workshop, SEM 2004
Buchkapitel, Bibliographie

Charfi, Anis ; Mezini, Mira (2005)
Application of Aspect-Oriented Programming to Workflows.
Sousse, Tunisia
Konferenzveröffentlichung, Bibliographie

Charfi, Anis ; Mezini, Mira (2005)
An Aspect based Process Container for BPEL.
AOMD. Grenoble, France (28.11.2005-02.12.2005)
doi: 10.1145/1101560.1101564
Konferenzveröffentlichung, Bibliographie

Charfi, Anis ; Mezini, Mira (2005)
An Aspect-based Process Container for BPEL.
Grenoble, France
Konferenzveröffentlichung, Bibliographie

Charfi, Anis ; Mezini, Mira (2005)
An Aspect-based Process Container for BPEL.
Grenoble, France
Konferenzveröffentlichung, Bibliographie

Mezini, Mira ; Ostermann, Klaus (2005)
A Comparison of Program Generation with Aspect-Oriented Programming.
St. Michel, France
Konferenzveröffentlichung, 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

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

Cepa, Vasian ; Mezini, Mira (2005)
MobCon: A Generative Middleware Framework for Java Mobile Applications.
Konferenzveröffentlichung, Bibliographie

Cepa, Vasian ; Mezini, Mira (2005)
MobCon: A Generative Middleware Framework for Java Mobile Applications.
In: Proceedings of the 38th Annual Hawaii International Conference on System Sciences (HICSS'05)
Artikel, Bibliographie

Hrsg.: Mezini, Mira ; Tarr, Peri (2005)
Proceedings of the 4th International Conference on Aspect-Oriented Software Development.
Buch, Bibliographie

Kiczales, Gregor ; Mezini, Mira (2005)
Separation of Concerns with Procedures, Annotations, Advice and Pointcuts.
Konferenzveröffentlichung, 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

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

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

Charfi, Anis ; Mezini, Mira (2004)
Hybrid Web Service Composition: Business Processes Meet Business Rules.
New York, USA
Konferenzveröffentlichung, Bibliographie

Charfi, Anis ; Mezini, Mira (2004)
Aspect-Oriented Web Service Composition with {AO4BPEL}.
Erfurt, Germany
Konferenzveröffentlichung, Bibliographie

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

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

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

Eichberg, Michael ; Mezini, Mira ; Schäfer, Thorsten ; Beringer, Claus ; Hamel, Karl Matthias (2004)
Enforcing system-wide properties.
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

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

Eichberg, Michael ; Mezini, Mira ; Ostermann, Klaus (2004)
Pointcuts as functional queries.
Konferenzveröffentlichung, Bibliographie

Mezini, Mira ; Ostermann, Klaus (2004)
Variability management with feature-oriented programming and aspects.
Konferenzveröffentlichung, Bibliographie

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

Mezini, Mira ; Ostermann, Klaus (2004)
Aspect-Oriented Software Development.
Buchkapitel, Bibliographie

Charfi, Anis ; Mezini, Mira (2004)
Aspect-Oriented Web Service Composition with {AO4BPEL}.
Erfurt, Germany
Konferenzveröffentlichung, Bibliographie

Charfi, Anis ; Mezini, Mira (2004)
Hybrid Web Service Composition: Business Processes Meet Business Rules.
New York, USA
Konferenzveröffentlichung, Bibliographie

Cepa, Vasian ; Mezini, Mira (2004)
Language Support for Model-Driven Software Development.
In: Journal Science of Computer Programming (Elsevier): Foundations and Applications Model Driven Architecture
Artikel, Bibliographie

Filman, Robert ; Haupt, Michael ; Hirschfeld, Robert ; Mezini, Mira (2004)
Proceedings of the 2004 Dynamic Aspects Workshop.
Report, Bibliographie

Hrsg.: Filman, Robert ; Haupt, Michael ; Mehner, Katharina ; Mezini, Mira (2004)
Proceedings of the 2004 Dynamic Aspects Workshop (DAW04).
Buch, Bibliographie

Bockisch, Christoph ; Haupt, Michael ; Mezini, Mira ; Ostermann, Klaus (2004)
Virtual machine support for dynamic join points.
Lancaster, UK
Konferenzveröffentlichung, Bibliographie

Bockisch, Christoph ; Haupt, Michael ; Mezini, Mira ; Ostermann, Klaus (2004)
Virtual machine support for dynamic join points.
Konferenzveröffentlichung, Bibliographie

Mezini, Mira ; Ostermann, Klaus (2003)
Modules for Crosscutting Models.
8th International Conference on Reliable Software Technologies, Ada-Europe 2003. Toulouse, France (16.06.2003-20.06.2003)
Konferenzveröffentlichung, Bibliographie

Cilia, Mariano ; Haupt, Michael ; Mezini, Mira ; Buchmann, Alejandro (2003)
The Convergence of AOP and Active Databases: Towards Reactive Middleware.
Proceedings of the International Conference on Generative Programming and Component Engineering (GPEC'03).
Konferenzveröffentlichung, Bibliographie

Cilia, Mariano ; Haupt, Michael ; Mezini, Mira ; Buchmann, Alejandro (2003)
The Convergence of {AOP} and Active Databases: Towards Reactive Middleware.
Erfurt, Germany
Konferenzveröffentlichung, Bibliographie

Fiege, Ludger ; Mezini, Mira ; Mühl, Gero ; Buchmann, Alejandro (2003)
Components in Event-Based Systems.
In: Thema Forschung, 1
Artikel, Bibliographie

Mezini, Mira ; Ostermann, Klaus (2003)
Conquering aspects with Caesar.
International Conference on Aspect-Oriented Software Development. Boston, Massachusetts, USA (17.03.2003-21.03.2003)
doi: 10.1145/643603.643613
Konferenzveröffentlichung, Bibliographie

Mezini, Mira ; Eichberg, Michael ; Haupt, Michael (2003)
Komponentenbasierte Softwaresysteme: Historischer Abriss.
In: Thema Forschung: Vom Wort zum Bauelement - Komponententechnologien in den Ingenieurwissenschaften
Artikel, Bibliographie

Hrsg.: Aksit, Mehmet ; Mezini, Mira ; Unland, Rainer (2003)
Objects, Components, Architectures, Services, and Applications for a Networked World.
Buch, Bibliographie

Pichler, Roman ; Ostermann, Klaus ; Mezini, Mira (2003)
On Aspectualizing Component Models.
In: Software: Practice and Experience, 33 (10)
Artikel, Bibliographie

Haupt, Michael ; Bockisch, Christoph ; Mezini, Mira ; Ostermann, Klaus (2003)
Towards Aspect-Aware Execution Models.
Report, 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 (22.09.2003-25.09.2003)
Konferenzveröffentlichung, 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

Fiege, Ludger ; Mezini, Mira ; Mühl, Gero ; Buchmann, Alejandro (2002)
Visibility as central abstraction in event-based systems.
Concrete Communication Abstractions of the Next 701 Distributed Object Systems (ECOOP 2002 Workshop).
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

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

Mezini, Mira (2002)
Towards Variational Object-Oriented Programming: the RONDO Model.
Report, 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 (14.10.2001-18.10.2001)
doi: 10.1145/504282.504303
Konferenzveröffentlichung, Bibliographie

Herrmann, Stephan ; Mezini, Mira (2001)
LAC: Aspectual Components in Lua.
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.05.2001-15.05.2001)
Konferenzveröffentlichung, Bibliographie

Herrmann, Stephan ; Mezini, Mira (2001)
Connectors for bridging mismatches between the components of a software engineering environment.
In: IEE Proceedings - Software, 148 (3)
Artikel, Bibliographie

Herrmann, Stephan ; Mezini, Mira ; Ostermann, Klaus (2001)
Joint efforts to dispel an approaching modularity crisis.
Konferenzveröffentlichung, 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.06.2001-19.06.2001)
Konferenzveröffentlichung, Bibliographie

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

Mezini, Mira ; Ostermann, Klaus (2001)
Object Creation Aspects with Flexible Aspect Deployment.
Report, Bibliographie

Ostermann, Klaus ; Mezini, Mira (2001)
Object-Oriented Composition is Tangled.
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 (15.10.2000-19.10.2000)
doi: 10.1145/354222.353185
Konferenzveröffentlichung, Bibliographie

Herrmann, Stephan ; Mezini, Mira (2000)
Pirol: A Case-Study for Multi-Dimensional Separation of Concerns in Software-Engineering Environments.
Konferenzveröffentlichung, 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 (11.06.2000-12.06.2000)
Konferenzveröffentlichung, Bibliographie

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

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

Mezini, Mira ; Pipka, Jens Uwe (1999)
A Study of Java's Binary Compatibility.
Smalltalk and Java in Academia and Industry. Erfurt, Germany (28.09.1999-30.09.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.08.1999-05.08.1999)
doi: 10.1109/TOOLS.1999.787542
Konferenzveröffentlichung, Bibliographie

Lieberherr, Karl ; Lorenz, David ; Mezini, Mira (1999)
Programming with Aspectual Components.
Report, 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

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

Mezini, Mira (1999)
Separation of Concerns with Adaptive Plug-n-Play Components.
Anderes, 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 ; Lieberherr, Karl (1998)
Adaptive plug-and-play components for evolutionary software development.
Vancouver, British Columbia, Canada
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

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

Mezini, Mira (1997)
Maintaining the consistency of class libraries during their evolution.
Atlanta, Georgia, United States
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.04.1996-23.04.1996)
Konferenzveröffentlichung, Bibliographie

Mezini, Mira (1996)
Advances in Object-Oriented Metalevel Architectures and Reflection.
Buchkapitel, 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