Browse by Person
![]() | Up a level |
Roth, Tobias ; Helm, Dominik ; Reif, Michael ; Mezini, Mira (2022):
CiFi: Versatile Analysis of Class and Field Immutability.
In: GI-Edition Lecture Notes in Informatics: Proceedings, P320, In: Software Engineering 2022: Fachtagung des GI-Fachbereichs Softwaretechnik, pp. 81-82,
Gesellschaft für Informatik e.V., Software Engineering 2022, virtual Conference, 21.-25.02.2022, ISSN 1617-5468, ISBN 978-3-88579-714-2,
DOI: 10.18420/se2022-ws-027,
[Conference or Workshop Item]
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), ACM, ISSN 2475-1421,
DOI: 10.1145/3498701,
[Article]
Schlichtig, Michael ; Wickert, Anna-Katharina ; Krüger, Stefan ; Bodden, Eric ; Mezini, Mira (2022):
CamBench - Cryptographic API Misuse Detection Tool Benchmark Suite.
19th International Conference on Mining Software Repositories (MSR 2022), virtual Conference, 18.-20.05.2022, [Conference or Workshop Item]
Richter, David ; Kretzler, David ; Weisenburger, Pascal ; Salvaneschi, Guido ; Faust, Sebastian ; Mezini, Mira (2022):
Prisma: A tierless language for enforcing contract-client protocols in decentralized apps.
35th European Conference on Object-Oriented Programming, Berlin, Germany, 06.-07.07.2022, DOI: 10.4230/LIPIcs.ECOOP.2022.35,
[Conference or Workshop Item]
Roth, Tobias ; Helm, Dominik ; Reif, Michael ; Mezini, Mira (2021):
CiFi: Versatile Analysis of Class and Field Immutability.
In: Proceedings: 2021 36th IEEE/ACM International Conference on Automated Software Engineering,
IEEE, 36th IEEE/ACM International Conference on Automated Software Engineering (ASE), virtual Conference, 15.-19.11.2021, ISBN 978-1-6654-0337-5,
DOI: 10.1109/ASE51524.2021.9678903,
[Conference or Workshop Item]
Wickert, Anna-Katharina ; Baumgärtner, Lars ; Breitfelder, Florian ; Mezini, Mira (2021):
Python Crypto Misuses in the Wild.
15th ACM/IEEE International Symposium on Empirical Software Engineering and Measurement (ESEM ’21), virtual Conference, 11.-15.10.2021, DOI: 10.6084/m9.figshare.16499085.v1,
[Conference or Workshop Item]
Bonifacio, Rodrigo ; Narasimhan, Krishna ; Bodden, Eric ; Mezini, Mira ; Krüger, Stefan
Møller, Anders ; Sridharan, Manu (eds.) (2021):
Dealing with Variability in API Misuse Specification.
In: LIPIcs, 194, In: European Conference on Object-Oriented Programming (ECOOP 2021),
Leibniz-Zentrum für Informatik, 35th European Conference on Object-Oriented Programming, virtual Conference, 11.-17.07.2021, ISBN 978-3-95977-190-0,
DOI: 10.4230/LIPIcs.ECOOP.2021.19,
[Conference or Workshop Item]
Zobel, Julian ; Lieser, Patrick ; Meuser, Tobias ; Baumgärtner, Lars ; Mezini, Mira ; Steinmetz, Ralf (2021):
Modeling Civilian Mobility in Large-Scale Disasters.
18th International Conference on Information Systems for Crisis Response and Management (ISCRAM), virtual Conference, 23.-27.05.2021, [Conference or Workshop Item]
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.
In: Proceedings : 2020 IEEE 19th IEEE International Conference on Trust, Security and Privacy in Computing and Communications, pp. 458-467,
IEEE, TrustCom 2020, virtual Conference, 29.12.2020-01.01.2021, ISBN 978-0-7381-4380-4,
[Conference or Workshop Item]
Lauinger, Johannes ; Baumgärtner, Lars ; Wickert, Anna-Katharina ; Mezini, Mira (2020):
Uncovering the Hidden Dangers: Finding Unsafe Go Code in the Wild.
In: Proceedings : 2020 IEEE 19th IEEE International Conference on Trust, Security and Privacy in Computing and Communications, pp. 410-417,
IEEE, TrustCom 2020, virtual Conference, 29.12.2020-01.01.2021, ISBN 978-0-7381-4380-4,
[Conference or Workshop Item]
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), AOSA, Inc, ISSN 2473-7321,
DOI: 10.22152/programming-journal.org/2021/5/4,
[Article]
Baumgärtner, Lars ; Lieser, Patrick ; Zobel, Julian ; Bloessl, Bastian ; Steinmetz, Ralf ; Mezini, Mira (2020):
LoRAgent: A DTN-based Location-aware Communication System using LoRa.
In: 2020 IEEE Global Humanitarian Technology Conference (GHTC),
IEEE, 10th IEEE Global Humanitarian Technology Conference, virtual Conference, 29.10.-01.11.2020, ISBN 978-1-7281-7388-7,
DOI: 10.1109/GHTC46280.2020.9342886,
[Conference or Workshop Item]
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.
In: ACM Symposium on Information, Computer and Communications Security, In: Proceedings of the 15th ACM Asia Conference on Computer and Communications Security, pp. 694-707,
ACM, 15th ACM Asia Conference on Computer and Communications Security (ASIA CCS '20), Taipei, Taiwan, 05.-09.10.2020, ISBN 9781450367509,
DOI: 10.1145/3320269.3384745,
[Conference or Workshop Item]
Glanz, Leonid ; Müller, Patrick ; Baumgärtner, Lars ; Reif, Michael ; Anthonysamy, Pauline ; Mezini, Mira (2020):
Hidden in Plain Sight:Obfuscated Strings Threatening Your Privacy.
In: Proceedings of the 15th ACM Asia Conference on Computer and Communications Security, pp. 694-707,
ACM, 15th ACM Asia Conference on Computer and Communications Security (ASIA CCS '20), virtual Conference, 05.-09.10, ISBN 978-1-4503-6750-9,
DOI: 10.1145/3320269.3384745,
[Conference or Workshop Item]
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.
pp. 428-439, ACM, ISSTA '20: 29th SIGSOFT International Symposium on Software Testing and Analysis, virtual Conference, 18.-22.07., ISBN 978-1-4503-8008-9,
DOI: 10.1145/3395363.3397367,
[Conference or Workshop Item]
Reif, Michael ; Kübler, Florian ; Helm, Dominik ; Hermann, Ben ; Eichberg, Michael ; Mezini, Mira (2020):
TACAI: An Intermediate Representation Based on Abstract Interpretation.
pp. 2-7, SOAP 2020-9th ACM SIGPLAN International Workshop on the State Of the Art in Program Analysis, London, UK, June 2020, ISBN 9781450379977,
DOI: 10.1145/3394451.3397204,
[Conference or Workshop Item]
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.-01.11.2020, [Conference or Workshop Item]
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, pp. 37 - 42. Elsevier, ISSN 2212-8271,
DOI: 10.1016/j.procir.2020.01.133,
[Article]
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. (Publisher's Version)
In: Procedia CIRP, 90, pp. 37-42. Elsevier, ISSN 2212-8271,
DOI: 10.25534/tuprints-00014563,
[Article]
Krude, Johannes ; Hofmann, Jaco ; Eichholz, Matthias ; Wehrle, Klaus ; Koch, Andreas ; Mezini, Mira (2019):
Online Reprogrammable Multi Tenant Switches.
In: ENCP '19: Proceedings of the 1st ACM CoNEXT Workshop on Emerging in-Network Computing Paradigms, pp. 1-8,
ACM, 15th International Conference on emerging Networking EXperiments and Technologies, Orlando, Florida, 09.12.2019, ISBN 978-1-4503-7000-4,
DOI: 10.1145/3359993.3366643,
[Conference or Workshop Item]
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, Institute of Electrical and Electronics Engineers, ISSN 1939-3520,
DOI: 10.1109/TSE.2019.2948910,
[Article]
Penning, Alvar ; Baumgärtner, Lars ; Höchst, Jonas ; Sterz, Artur ; Mezini, Mira ; Freisleben, Bernd (2019):
DTN7: An Open-Source Disruption-tolerant Networking Implementation of Bundle Protocol 7.
18th International Conference on Ad Hoc Networks and Wireless (ADHOC-NOW 2019), Esch-sur-Alzette, Luxemburg, 01.-03.10.2019, [Conference or Workshop Item]
Blöcher, Marcel ; Eichholz, Matthias ; Weisenburger, Pascal ; Eugster, Patrick ; Mezini, Mira ; Salvaneschi, Guido (2019):
GRASS: generic reactive application-specific scheduling.
In: Proceedings of the 6th ACM SIGPLAN International Workshop on Reactive and Event-Based Languages and Systems - REBLS 2019, pp. 21-30,
Athens Greece, REBLS 2019: 6th ACM SIGPLAN International Workshop on Reactive and Event-Based Languages and Systems, Athens, Greece, Sun 20 - Fri 25 Oct., ISBN 978-1-4503-6986-2,
DOI: 10.1145/3358503.3361274,
[Conference or Workshop Item]
Baumgärtner, Lars ; Höchst, Jonas ; Lampe, Patrick ; Mogk, Ragnar ; Sterz, Artur ; Weisenburger, Pascal ; Mezini, Mira ; Freisleben, Bernd (2019):
Smart Street Lights and Mobile Citizen Apps for Resilient Communication in a Digital City.
2019 IEEE Global Humanitarian Technology Conference (GHTC 2019), Seattle, USA, 17.-20.10., [Conference or Workshop Item]
Krude, Johannes ; Eichholz, Matthias ; Winck, Maximilian ; Wehrle, Klaus ; Mezini, Mira (2019):
Optimizing Data Plane Programs for the Network.
Beijing, China, NetPL '19: ACM SIGCOMM Workshop on Networking and Programming Languages, Beijing, China, 23.8.2019, ISBN 978-1-4503-6877-3/19/08,
DOI: 10.1145/3341561.3349590,
[Conference or Workshop Item]
Reif, Michael ; Kübler, Florian ; Eichberg, Michael ; Helm, Dominik ; Mezini, Mira (2019):
Judge: Identifying, Understanding, and Evaluating Sources of Unsoundness in Call Graphs.
pp. 251-261, 28th ACM SIGSOFT International Symposium on Software Testing and Analysis (ISSTA'19), Beijing, China, 15.07.-19.0.7. 2019, ISBN 978-1-4503-6224-5,
DOI: 10.1145/3293882.3330555,
[Conference or Workshop Item]
Amann, Sven ; Nguyen, Hoan Anh ; Nadi, Sarah ; Nguyen, Tien N. ; Mezini, Mira (2019):
Investigating Next Steps in Static API-Misuse Detection.
In: MSR, In: Proceedings of the 16th International Conference on Mining Software Repositories,
k.A., IEEE, 2019 IEEE/ACM 16th International Conference on Mining Software Repositories (MSR), Montreal, QC, Canada, Sun 26 - Mon 27 May 2019, [Conference or Workshop Item]
Wickert, Anna-Katharina ; Reif, Michael ; Eichberg, Michael ; Dodhy, Anam ; Mezini, Mira (2019):
A Dataset of Parametric Cryptographic Misuses.
IEEE, 2019 IEEE/ACM 16th International Conference on Mining Software Repositories (MSR), [Conference or Workshop Item]
Helm, Dominik ; Kübler, Florian ; Eichberg, Michael ; Reif, Michael ; Mezini, Mira
Becker, Steffen ; Bogicevic, Ivan ; Herzwurm, Georg ; Wagner, Stefan (eds.) (2019):
A unified lattice model and framework for purity analyses.
In: Software Engineering and Software Management 2019,
Bonn, Gesellschaft für Informatik e.V., ISSN 16175468, ISBN 9783885796862,
DOI: 10.18420/se2019-10,
[Conference or Workshop Item]
Mogk, Ragnar ; Drechsler, Joscha ; Salvaneschi, Guido ; Mezini, Mira (2019):
A Fault-Tolerant Programming Model for Distributed Interactive Applications. (Publisher's Version)
In: Proceedings of the ACM on Programming Languages, 3 (OOPSLA), pp. 1-29. Association for Computing Machinery, ISSN 2475-1421,
DOI: 10.25534/tuprints-00014554,
[Article]
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.
In: Leibniz International Proceedings in Informatics (LIPIcs), 134, pp. 12:1-12:28, Dagstuhl, Germany, Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik, 33rd European Conference on Object-Oriented Programming (ECOOP 2019), ISSN 1868-8969, ISBN 978-3-95977-111-5,
DOI: 10.4230/LIPIcs.ECOOP.2019.12,
[Conference or Workshop Item]
Oak, Aditya ; Mezini, Mira ; Salvaneschi, Guido (2019):
Language Support for Multiple Privacy Enhancing Technologies.
ACM, Conference Companion of the 3rd International Conference on Art, Science, and Engineering of Programming, [Conference or Workshop Item]
Salvaneschi, Guido ; Köhler, Mirko ; Sokolowski, Daniel ; Haller, Philipp ; Erdweg, Sebastian ; Mezini, Mira (2019):
Language-Integrated Privacy-Aware Distributed Queries. (Publisher's Version)
In: Proceedings of the ACM on Programming Languages, 3 (OOPSLA), pp. 1-30. Association for Computing Machinery, ISSN 2475-1421,
DOI: 10.25534/tuprints-00014553,
[Article]
Drechsler, Joscha ; Mogk, Ragnar ; Salvaneschi, Guido ; Mezini, Mira (2018):
Thread-safe Reactive Programming.
In: Proceedings of the ACM on Programming Languages, 2 (OOPSLA), pp. 107:1-107:30. ISSN 2475-1421,
DOI: 10.1145/3276477,
[Article]
Bračevac, Oliver ; Amin, Nada ; Salvaneschi, Guido ; Erdweg, Sebastian ; Eugster, Patrick ; Mezini, Mira (2018):
Versatile Event Correlation with Algebraic Effects. (Publisher's Version)
In: Proceedings of the ACM on Programming Languages, 2 (ICFP), pp. 1-31. ACM, ISSN 2475-1421,
DOI: 10.25534/tuprints-00014556,
[Article]
Helm, Dominik ; Kübler, Florian ; Eichberg, Michael ; Reif, Michael ; Mezini, Mira (2018):
A unified lattice model and framework for purity analyses.
In: Proceedings of the 33rd ACM/IEEE International Conference on Automated Software Engineering, pp. 340-350,
ACM, ASE 2018, Corum, Montpellier, France, 3.-7.9.2018, DOI: 10.1145/3238147.3238226,
[Conference or Workshop Item]
Cergani, Ervina ; Proksch, Sebastian ; Nadi, Sarah ; Mezini, Mira (2018):
Investigating Order Information in API-Usage Patterns: A Benchmark and Empirical Study.
13th International Conferewnce on Software Technologies - ICSOFT 2018, Porto, Portugal, 26 -28 July, 2018, [Conference or Workshop Item]
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.
In: 32nd European Conference on Object-Oriented Programming (ECOOP 2018), pp. 10:1-10:27,
Schloss Dagstuhl-Leibniz-Zentrum für Informatik, 32nd European Conference on Object-Oriented Programming (ECOOP 2018), Amsterdam, The Netherlands, 15.-21.07.2018, DOI: 10.4230/LIPIcs.ECOOP.2018.10,
[Conference or Workshop Item]
Eichberg, Michael ; Kübler, Florian ; Helm, Dominik ; Reif, Michael ; Salvaneschi, Guido ; Mezini, Mira (2018):
Lattice Based Modularization of Static Analyses.
In: Companion Proceedings for the ISSTA/ECOOP 2018 Workshops, pp. 113-118,
ACM, SOAP 2018, Amsterdam, Netherlands, DOI: 10.1145/3236454.3236509,
[Conference or Workshop Item]
Reif, Michael ; Eichberg, Michael ; Kübler, Florian ; Mezini, Mira (2018):
Systematic Evaluation of the Unsoundness of Call Graph Construction Algorithms for Java.
In: Companion Proceedings for the ISSTA/ECOOP 2018 Workshops, pp. 107-112,
ACM, SOAP 2018, Amsterdam, Netherlands, DOI: 10.1145/3236454.3236503,
[Conference or Workshop Item]
Graubner, Pablo ; Lampe, Patrick ; Höchst, Jonas ; Baumgärtner, Lars ; Mezini, Mira ; Freisleben, Bernd (2018):
Opportunistic Named Functions in Disruption-tolerant Emergency Networks.
Ischia, Italy, ACM International Conference on Computing Frontiers 2018 (ACM CF'18), Ischia, Italy, [Conference or Workshop Item]
Glanz, Leonid ; Amann, Sven ; Eichberg, Michael ; Reif, Michael ; Mezini, Mira
Tichy, Matthias ; Bodden, Eric ; Kuhrmann, Marco ; Wagner, Stefan ; Steghöfer, Jan-Philipp (eds.) (2018):
CodeMatch: Obfuscation Won't Conceal Your Repackaged App.
In: Software Engineering und Software Management 2018, pp. 117-118, Gesellschaft für Informatik, [Book Section]
Reif, Michael ; Eichberg, Michael ; Mezini, Mira
Tichy, Matthias ; Bodden, Eric ; Kuhrmann, Marco ; Wagner, Stefan ; Steghöfer, Jan-Philipp (eds.) (2018):
Call Graph Construction for Java Libraries.
pp. 119-120, Bonn, Gesellschaft für Informatik, Software Engineering und Software Management 2018, Bonn, [Conference or Workshop Item]
Mogk, Ragnar ; Baumgärtner, Lars ; Salvaneschi, Guido ; Freisleben, Bernd ; Mezini, Mira
Millstein, Todd (ed.) (2018):
Fault-tolerant Distributed Reactive Programming.
pp. 1:1-1:26, 32nd European Conference on Object-Oriented Programming (ECOOP 2018), Amsterdam, Netherlands, July 16-21, 2018, ISBN 978-3-95977-079-8,
DOI: 10.4230/LIPIcs.ECOOP.2018.1,
[Conference or Workshop Item]
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.
pp. 112-123, Proceedings of the 12th ACM International Conference on Distributed and Event-based Systems, DEBS 2018, Hamilton, New Zealand, June 25-29, 2018, DOI: 10.1145/3210284.3210289,
[Conference or Workshop Item]
Mogk, Ragnar ; Salvaneschi, Guido ; Mezini, Mira (2018):
Reactive Programming Experience with REScala.
In: Programming'18 Companion, In: Conference Companion of the 2nd International Conference on Art, Science, and Engineering of Programming, pp. 105-112,
New York, NY, USA, ACM, Nice, France, April 09 - 12, 2018, DOI: 10.1145/3191697.3214337,
[Conference or Workshop Item]
Amann, Sven ; Nguyen, Hoan Anh ; Nadi, Sarah ; Nguyen, Tien ; Mezini, Mira (2018):
A Systematic Evaluation of API-Misuse Detectors.
In: IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, [Article]
Drechsler, Joscha ; Mogk, Ragnar ; Salvaneschi, Guido ; Mezini, Mira (2018):
Thread-Safe Reactive Programming. (Publisher's Version)
In: Proceedings of the ACM on Programming Languages, 2 (OOPSLA), pp. 1-30. ACM, ISSN 2475-1421,
DOI: 10.25534/tuprints-00014555,
[Article]
Eichholz, Matthias ; Salvaneschi, Guido ; Mezini, Mira (2018):
Towards Safe Modular Composition of Network Functions.
In: Programming'18 Companion, pp. 81-86, New York, NY, USA, ACM, Conference Companion of the 2Nd International Conference on Art, Science, and Engineering of Programming, Nice, France, April 09 - 12, 2018, ISBN 978-1-4503-5513-1,
DOI: 10.1145/3191697.3213804,
[Conference or Workshop Item]
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.
In: Automated Software Engineering (ASE'17),
Piscataway, NJ, USA, ACM, Piscataway, NJ, USA, DOI: 10.1109/ASE.2017.8115707,
[Conference or Workshop Item]
Glanz, Leonid ; Amann, Sven ; Eichberg, Michael ; Reif, Michael ; Hermann, Ben ; Lerch, Johannes ; Mezini, Mira (2017):
CodeMatch: Obfuscation Won’t Conceal Your Repackaged App.
In: Proceedings of the 2017 11th Joint Meeting on Foundations of Software Engineering, pp. 638-648,
Paderborn, Germany, Proceedings of the 2017 11th Joint Meeting on Foundations of Software Engineering, ISBN 978-1-4503-5105-8,
DOI: 10.1145/3106237.3106305,
[Conference or Workshop Item]
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, pp. 43-48, [Book Section]
Kuci, Edlira ; Erdweg, Sebastian ; Bračevac, Oliver ; Bejleri, Andi ; Mezini, Mira (2017):
A Co-contextual Type Checker for Featherweight Java.
In: Leibniz International Proceedings in Informatics (LIPIcs), 74, In: 31st European Conference on Object-Oriented Programming (ECOOP 2017), pp. 18:1-18:26, DOI: 10.4230/LIPIcs.ECOOP.2017.18,
[Book Section]
Sterz, Artur ; Baumgärtner, Lars ; Mogk, Ragnar ; Mezini, Mira ; Freisleben, Bernd (2017):
DTN-RPC: Remote Procedure Calls for Disruption-Tolerant Networking.
In: IFIP Networking 2017 Conference,
IFIP, 16th International IFIP TC6 Networking Conference, Networking 2017, Stockholm, June 12-16, 2017, [Conference or Workshop Item]
Holzinger, Philipp ; Hermann, Ben ; Lerch, Johannes ; Bodden, Eric ; Mezini, Mira (2017):
Hardening Java's Access Control by Abolishing Implicit Privilege Elevation.
2, In: 2017 IEEE Symposium on Security and Privacy (SP 2017), pp. 1.109,
Curran Associates, Inc, San Jose, CA, USA, ISBN 978-1-5090-5534-0,
[Conference or Workshop Item]
Grewe, Sylvia ; Erdweg, Sebastian ; Mezini, Mira
Kovacs, Laura ; Voronkov, Andrei (eds.) (2017):
Automating Proof Steps of Progress Proofs: Comparing Vampire and Dafny.
In: EPiC Series in Computing, 44, In: Vampire 2016. Proceedings of the 3rd Vampire Workshop, pp. 33-45, [Book Section]
Proksch, Sebastian ; Nadi, Sarah ; Amann, Sven ; Mezini, Mira (2017):
Enriching In-IDE Process Information with Fine-Grained Source Code History.
International Conference on Software Analysis, Evolution, and Reengineering, Klagenfurt, Austria, 21-24 Feb 2017, [Conference or Workshop Item]
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), pp. 1125-1143. Institute of Electrical and Electronics Engineers, ISSN 1939-3520,
DOI: 10.1109/TSE.2017.2655524,
[Article]
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]
Hauck, Markus ; Savvides, Savvas ; Eugster, Patrick ; Mezini, Mira ; Salvaneschi, Guido (2016):
SecureScala: Scala embedding of secure computations.
In: Proceedings of the 2016 7th ACM SIGPLAN Symposium on Scala,
ACM, [Conference or Workshop Item]
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, pp. 104-117, ACM, [Book Section]
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, pp. 111-121. IEEE/ACM, ISSN 978-1-4503-3845-5,
[Article]
Salvaneschi, Guido ; Mezini, Mira (2016):
Debugging for reactive programming.
In: ICSE '16 Proceedings of the 38th International Conference on Software Engineering, pp. 796-807,
ACM, Austin, TX, ISBN 978-1-4503-3900-1,
DOI: 10.1145/2884781.2884815,
[Conference or Workshop Item]
Nadi, Sarah ; Krüger, Stefan ; Mezini, Mira ; Bodden, Eric (2016):
"Jumping Through Hoops" Why do Java Developers Struggle With Cryptography APIs?
In: International Conference on Software Engineering,
ACM, Austin, Texas, USA, [Conference or Workshop Item]
Nadi, Sarah ; Krüger, Stefan ; Mezini, Mira ; Bodden, Eric (2016):
Jumping through hoops: why do Java developers struggle with cryptography APIs?
In: ICSE '16 Proceedings of the 38th International Conference on Software Engineering, pp. 935-946,
ACM, Austin, Texas, ISBN 978-1-4503-3900-1,
DOI: 10.1145/2884781.2884790,
[Conference or Workshop Item]
Bračevac, Oliver ; Erdweg, Sebastian ; Salvaneschi, Guido ; Mezini, Mira (2016):
CPL: A Core Language for Cloud Computing.
In: MODULARITY 2016, In: Proceedings of the 15th International Conference on Modularity, pp. 94-105, New York, NY, USA, ACM, ISBN 978-1-4503-3995-7,
[Book Section]
Proksch, Sebastian ; Amann, Sven ; Nadi, Sarah ; Mezini, Mira (2016):
A Dataset of Simplified Syntax Trees for C#.
In: MSR'16, In: Proceedings of the 13th International Conference on Mining Software Repositories,
13th International Conference on Mining Software Repositories, Austin, Texas, USA, May 14–15, 2016, [Conference or Workshop Item]
Amann, Sven ; Nadi, Sarah ; Nguyen, Hoan A. ; Nguyen, Tien N. ; Mezini, Mira (2016):
MUBench: A Benchmark for API-Misuse Detectors.
In: MSR'16, In: Proceedings of the 13th International Conference on Mining Software Repositories,
13th International Conference on Mining Software Repositories, Austin, Texas, USA, May 14–15, 2016, [Conference or Workshop Item]
Grewe, Sylvia ; Erdweg, Sebastian ; Mezini, Mira
Kovács, Laura ; Voronkov, Andrei (eds.) (2016):
Using Vampire in Soundness Proofs of Type Systems.
In: EPiC Series in Computing, In: Proceedings of the 1st and 2nd Vampire Workshops,
[Conference or Workshop Item]
Bračevac, Oliver ; Erdweg, Sebastian ; Salvaneschi, Guido ; Mezini, Mira (2016):
CPL: A Core Language for Cloud Computing -- Technical Report.
In: ArXiv-CoRR, (Preprint), [Article]
Amann, Sven ; Proksch, Sebastian ; Nadi, Sarah ; Mezini, Mira (2016):
A Study of Visual Studio Usage in Practice.
In: SANER '16, 23rd IEEE International Conference on Software Analysis, Evolution, and Reengineering, Osaka, Japan, 14-18 March 2016, [Conference or Workshop Item]
Cergani, Ervina ; Proksch, Sebastian ; Nadi, Sarah ; Mezini, Mira (2016):
Addressing Scalability in API Method Call Analytics.
In: Proceedings of the 2nd International Workshop on Software Analytics, pp. 1-7,
[Conference or Workshop Item]
Reif, Michael ; Eichberg, Michael ; Hermann, Ben ; Lerch, Johannes ; Mezini, Mira (2016):
Call graph construction for Java libraries.
pp. 474-486, Proceedings of the 2016 24th ACM SIGSOFT International Symposium on Foundations of Software Engineering, DOI: 10.1145/2950290.2950312,
[Conference or Workshop Item]
Proksch, Sebastian ; Lerch, Johannes ; Mezini, Mira (2015):
Intelligent Code Completion with Bayesian Networks.
In: ACM Transactions on Software Engineering and Methodology (TOSEM), 25 (1), pp. 3:1-3:31. ACM Press, [Article]
Lerch, Johannes ; Späth, Johannes ; Bodden, Eric ; Mezini, Mira (2015):
Access-Path Abstraction: Scaling Field-Sensitive Data-Flow Analysis with Unbounded Access Paths.
In: Proceedings of the 2015 30th IEEE/ACM International Conference on Automated Software Engineering (ASE), pp. 619-629,
Washington, DC, USA, IEEE Computer Society, Automated Software Engineering (ASE), 2015 30th IEEE/ACM International Conference on, Lincoln, Nebraska, USA, 9.-13. November 2015, [Conference or Workshop Item]
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, pp. 137-150, ACM, [Book Section]
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: OOPSLA 2015, In: Proceedings of the 2015 ACM SIGPLAN International Conference on Object-Oriented Programming, Systems, Languages, and Applications, pp. 880-897, New York, NY, USA, ACM, ISBN 978-1-4503-3689-5,
[Book Section]
Arzt, Steven ; Nadi, Sarah ; Ali, Karim ; Bodden, Eric ; Erdweg, Sebastian ; Mezini, Mira (2015):
Towards Secure Integration of Cryptographic Software.
In: Proceedings of the 2015 ACM International Symposium on New Ideas, New Paradigms, and Reflections on Programming & Software, OOPSLA Onward!, Piitsburgh, 25.10.2015, [Conference or Workshop Item]
Hermann, Ben ; Reif, Michael ; Eichberg, Michael ; Mezini, Mira (2015):
Getting to Know You: Towards a Capability Model for Java.
In: ESEC/FSE 2015, pp. 758-769, New York, NY, USA, ACM, Proceedings of the 2015 10th Joint Meeting on Foundations of Software Engineering, New York, NY, USA, ISBN 978-1-4503-3675-8,
[Conference or Workshop Item]
Eichberg, Michael ; Hermann, Ben ; Mezini, Mira ; Glanz, Leonid (2015):
Hidden Truths in Dead Software Paths.
In: ESEC/FSE 2015, pp. 474-484, New York, NY, USA, ACM, Proceedings of the 2015 10th Joint Meeting on Foundations of Software Engineering, New York, NY, USA, ISBN 978-1-4503-3675-8,
[Conference or Workshop Item]
Lerch, Johannes ; Hermann, Ben ; Bodden, Eric ; Mezini, Mira (2014):
FlowTwist: Efficient Context-sensitive Inside-out Taint Analysis for Large Codebases.
In: FSE 2014, pp. 98-108, New York, NY, USA, ACM, Proceedings of the 22Nd ACM SIGSOFT International Symposium on Foundations of Software Engineering, [Conference or Workshop Item]
Mitschke, Ralf ; Erdweg, Sebastian ; Köhler, Mirko ; Mezini, Mira ; Salvaneschi, Guido (2014):
i3QL: Language-Integrated Live Data Views.
In: OOPSLA '14, In: Proceedings of the 2014 ACM International Conference on Object Oriented Programming Systems Languages & Applications, pp. 417-432,
ACM, Portland, Oregon, USA, ISBN 978-1-4503-2585-1,
DOI: 10.1145/2714064.2660242,
[Conference or Workshop Item]
Proksch, Sebastian ; Amann, Sven ; Mezini, Mira (2014):
Towards Standardized Evaluation of Developer-Assistance Tools.
In: Proceedings of the 4th International Workshop on Recommendation Systems for Software Engineering - RSSE 2014, pp. 14-18,
[Conference or Workshop Item]
Amann, Sven ; Proksch, Sebastian ; Mezini, Mira (2014):
Method-Call Recommendations from Implicit Developer Feedback.
In: Proceedings of the 1st International Workshop on CrowdSourcing in Software Engineering - CSI-SE 2014, pp. 5-6,
[Conference or Workshop Item]
Drechsler, Joscha ; Salvaneschi, Guido ; Mogk, Ragnar ; Mezini, Mira (2014):
Distributed REScala: An Update Algorithm for Distributed Reactive Programming.
New York, NY, USA, ACM, Proceedings of the 2014 ACM International Conference on Object Oriented Programming Systems Languages & Applications, Portland, OR, USA, October 17 - 21, [Conference or Workshop Item]
Erdweg, Sebastian ; Vergu, Vlad ; Mezini, Mira ; Visser, Eelco (2014):
Finding bugs in program generators by dynamic analysis of syntactic language constraints.
In: Proceedings of the of the 13th international conference on Modularity - MODULARITY '14, pp. 17-20,
[Conference or Workshop Item]
Van Ham, Jurgen M. ; Salvaneschi, Guido ; Mezini, Mira ; Noyé, Jacques (2014):
JEScala.
In: Proceedings of the of the 13th international conference on Modularity - MODULARITY '14, pp. 205-216,
[Conference or Workshop Item]
Salvaneschi, Guido ; Hintz, Gerold ; Mezini, Mira (2014):
REScala.
In: Proceedings of the of the 13th international conference on Modularity - MODULARITY '14, pp. 25-36,
[Conference or Workshop Item]
Weiel, Manuel ; Maier, Ingo ; Erdweg, Sebastian ; Eichberg, Michael ; Mezini, Mira (2014):
Towards virtual traits in Scala.
In: Proceedings of the Fifth Anuual Scala Workshop on - SCALA '14, pp. 67-75,
[Conference or Workshop Item]
Salvaneschi, Guido ; Amann, Sven ; Proksch, Sebastian ; Mezini, Mira (2014):
An empirical study on program comprehension with reactive programming.
In: Proceedings of the 22nd ACM SIGSOFT International Symposium on Foundations of Software Engineering - FSE 2014, pp. 564-575,
[Conference or Workshop Item]
Oetting, Andreas ; Katzenbeisser, Stefan ; Hähnle, Reiner ; Hofmann, Klaus ; Klingauf, Uwe ; Mezini, Mira ; Schön, Sebastian ; Schütz, Ingo (2013):
Langlebige sicherheitskritische Infrastrukturen.
In: Proceedings 13th International SIGNAL+DRAHT Congress, pp. 41-42,
Fulda, Germany, [Conference or Workshop Item]
Bodden, Eric ; Hermann, Ben ; Lerch, Johannes ; Mezini, Mira (2013):
Reducing human factors in software security architectures.
Future Security Conference 2013, [Conference or Workshop Item]
Aly, Mohamed ; Charfi, Anis ; Erdweg, Sebastian ; Mezini, Mira (2013):
XPoints: Extension Interfaces for Multilayered Applications.
pp. 237-246, Enterprise Distributed Object Computing Conference (EDOC), 2013 17th IEEE International, Vancouver, Canada, 9 - 13 Sept., [Conference or Workshop Item]
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), [Conference or Workshop Item]
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.
In: ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI 2013),
[Conference or Workshop Item]
Aly, Mohamed ; Charfi, Anis ; Mezini, Mira (2013):
Building Extensions for Applications: Towards the Understanding of Extension Possibilities.
In: ICPC 2013, In: 2013 IEEE 21st International Conference on Program Comprehension (ICPC), pp. 182-191,
IEEE, 21st International Conference on Program Comprehension , San Francisco, California, USA, May 20th - 21st, 2013, [Conference or Workshop Item]
Aly, Mohamed ; Charfi, Anis ; Mezini, Mira (2013):
Building extensions for applications: Towards the understanding of extension possibilities.
In: 2013 21st International Conference on Program Comprehension (ICPC), pp. 182-191,
[Conference or Workshop Item]
Lerch, Johannes ; Mezini, Mira (2013):
Finding Duplicates of Your Yet Unwritten Bug Report.
In: 2013 17th European Conference on Software Maintenance and Reengineering, pp. 69-78,
[Conference or Workshop Item]
Mitschke, Ralf ; Eichberg, Michael ; Mezini, Mira ; Garcia, Alessandro ; Macia, Isela (2013):
Modular specification and checking of structural dependencies.
In: Proceedings of the 12th annual international conference on Aspect-oriented software development - AOSD '13, p. 85,
[Conference or Workshop Item]
Salvaneschi, Guido ; Mezini, Mira (2013):
Reactive behavior in object-oriented applications.
In: Proceedings of the 12th annual international conference on Aspect-oriented software development - AOSD '13, p. 37,
[Conference or Workshop Item]
Salvaneschi, Guido ; Mezini, Mira (2013):
Reactive behavior in object-oriented applications.
In: Proceedings of the 12th annual international conference on Aspect-oriented software development - AOSD '13, p. 37,
[Conference or Workshop Item]
Salvaneschi, Guido ; Drechsler, Joscha ; Mezini, Mira (2013):
Towards Distributed Reactive Programming.
7890, In: Coordination Models and Languages, pp. 226-235,
ISSN 0302-9743,
[Conference or Workshop Item]
Aly, Mohamed ; Charfi, Anis ; Wu, Di ; Mezini, Mira (2013):
Understanding multilayered applications for building extensions.
In: CoCoS '13, In: Proceedings of the 1st Workshop on Comprehension of Complex Systems, pp. 1-6,
New York, NY, USA, ACM, 1st Workshop on Comprehension of Complex Systems, Fukuoka, Japan, March 25th, 2013, [Conference or Workshop Item]
Aly, Mohamed ; Charfi, Anis ; Wu, Di ; Mezini, Mira (2013):
Understanding multilayered applications for building extensions.
In: Proceedings of the 1st workshop on Comprehension of complex systems - CoCoS '13, p. 1,
[Conference or Workshop Item]
Aly, Mohamed ; Charfi, Anis ; Erdweg, Sebastian ; Mezini, Mira (2013):
XPoints: Extension Interfaces for Multilayered Applications.
In: 2013 17th IEEE International Enterprise Distributed Object Computing Conference, pp. 237-246,
[Conference or Workshop Item]
Dinkelaker, Tom ; Eichberg, Michael ; Mezini, Mira (2012):
Incremental concrete syntax for embedded languages with support for separate compilation.
In: Science of Computer Programming, pp. -, Elsevier, [Book Section]
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]
Alsouri, Sami ; Sinschek, Jan ; Sewe, Andreas ; Bodden, Eric ; Mezini, Mira ; Katzenbeisser, Stefan (2012):
Dynamic Anomaly Detection for More Trustworthy Outsourced Computation.
In: Lecture Notes in Computer Science, 7483, In: Information Security, pp. 168-187,
15th International Conference on Information Security, Passau, Germany, 19-21 Sep 2012, ISSN 0302-9743,
[Conference or Workshop Item]
Henß, Stefan ; Monperrus, Martin ; Mezini, Mira (2012):
Semi-automatically extracting FAQs to improve accessibility of software development knowledge.
In: ICSE '12, In: Proceedings of the 34th International Conference on Software Engineering, pp. 793-803,
IEEE Press, Zurich, Switzerland, ISBN 978-1-4673-1067-3,
[Conference or Workshop Item]
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.
In: ISMM '12, In: Proceedings of the International Symposium on Memory Management, pp. 97-108,
New York, NY, USA, ACM, International Symposium on Memory Management, Beijing, China, 15-16 Jun 2012, [Conference or Workshop Item]
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: Lecture Notes in Computer Science, 7304, In: Objects, Models, Components, Patterns, pp. 353-368, Berlin / Heidelberg, Springer, ISBN 9783642305603,
[Book Section]
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), pp. 1-28. ISSN 1660-1769,
[Article]
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, pp. 1-35. Springer Netherlands, ISSN 1382-3256,
[Article]
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, Elsevier, ISSN 0167-6423,
[Article]
Robillard, Martin P. ; Bodden, Eric ; Kawrykow, David ; Mezini, Mira ; Ratchford, Tristan (2012):
Automated API Property Inference Techniques.
In: IEEE Transactions on Software Engineering (TSE), [Article]
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), p. 1. IEEE Computer Society, [Article]
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), p. 1. IEEE Computer Society, [Article]
Aly, Mohamed ; Charfi, Anis ; Mezini, Mira (2012):
On the extensibility requirements of business applications.
In: NEMARA '12, pp. 1-6, New York, NY, USA, ACM, Proceedings of the 2012 workshop on Next Generation Modularity Approaches for Requirements and Architecture, [Conference or Workshop Item]
Schmeling, Benjamin ; Charfi, Anis ; Martin, Marko ; Mezini, Mira
Ralyté, Jolita ; Franch, Xavier ; Brinkkemper, Sjaak ; Wrycza, Stanislaw (eds.) (2012):
Towards Conflict-Free Composition of Non-functional Concerns.
In: Lecture Notes in Computer Science, 7328, In: Proceedings of 24th International Conference on Advanced Information Systems Engineering (CAiSE 2012), pp. 80-94,
CAiSE, Gdansk, Poland, 25-29 June 2012, [Conference or Workshop Item]
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), pp. 5-31. [Article]
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.
In: OOPSLA '11, In: Proceedings of the 26th Conference on Object-Oriented Programming, Systems, Languages and Applications, pp. 657-676,
New York, NY, USA, ACM, ACM international conference on Object-Oriented Programming, Systems, Languages and Applications, Portland, OR, USA, 25-27 Oct 2011, [Conference or Workshop Item]
Sarimbekov, Aibek ; Binder, Walter ; Sewe, Andreas ; Mezini, Mira ; Villazón, Alex (2011):
JP2: Collecting Dynamic Bytecode Metrics in JVMs.
In: SPLASH '11, In: Companion of the 2nd Conference on Systems, Programming, Languages and Applications: Software for Humanity, pp. 35-36,
New York, NY, USA, ACM, ACM international conference on Object-Oriented Programming, Systems, Languages and Applications, Portland, OR, USA, 25-27 Oct 2011, [Conference or Workshop Item]
Knöll, Roman ; Gasiunas, Vaidas ; Mezini, Mira (2011):
Naturalistic Types.
SPLASH/Onward! 2011, [Conference or Workshop Item]
Schmeling, Benjamin ; Charfi, Anis ; Thome, Rainer ; Mezini, Mira (2011):
Composing Non-functional Concerns in Web Services.
In: Proceedings of the 9th IEEE European Conference on Web Services (ECOWS 2011, pp. 73-80,
9th IEEE European Conference on Web Services (ECOWS 2011), Lugano, Switzerland, [Conference or Workshop Item]
Gasiunas, Vaidas ; Núñez, Angel ; Noyé, Jacques ; Mezini, Mira
Rashid, Awais ; Royer, Jean-Claude ; Rummler, Andreas (eds.) (2011):
Product line implementation with ECaesarJ.
In: Aspect-oriented, model-driven software product lines, pp. 161-196, New York, NY, USA, Cambridge University Press, ISBN 978-0-521-76722-4,
[Book Section]
Schmeling, Benjamin ; Charfi, Anis ; Mezini, Mira (2011):
Composing Non-functional Concerns in Composite Web Services.
In: Proceedings of the 9th IEEE International Conference on Web Services, pp. 331-338,
IEEE International Conference on Web Services, Washington DC, USA, [Conference or Workshop Item]
Gasiunas, Vaidas ; Satabin, Lucas ; Mezini, Mira ; Núñez, Angel ; Noyé, Jacques (2011):
EScala: modular event-driven object interactions in Scala.
In: AOSD '11, pp. 227-240, New York, NY, USA, ACM, Proceedings of the tenth international conference on Aspect-oriented software development, [Conference or Workshop Item]
Sarimbekov, Aibek ; Moret, Philippe ; Binder, Walter ; Sewe, Andreas ; Mezini, Mira (2011):
Complete and Platform-Independent Calling Context Profiling for the Java Virtual Machine. (Publisher's Version)
In: Electronic Notes in Theoretical Computer Science, 279 (1), pp. 61-74. Elsevier, ISSN 1571-0661,
DOI: 10.25534/tuprints-00014564,
[Article]
Dinkelaker, Tom ; Eichberg, Michael ; Mezini, Mira (2011):
Incremental Concrete Syntax for Embedded Languages.
In: ACM, In: Proceedings of the 26th ACM Symposium on Applied Computing Technical Track on Programming Languages (PL at SAC),
New York, NY, USA, ACM, Proceedings of the 26th ACM Symposium on Applied Computing Technical Track on Programming Languages (PL at SAC), [Conference or Workshop Item]
Mitschke, Ralf ; Sewe, Andreas ; Mezini, Mira (2011):
Magic for the Masses: Safer High-level Low-level Programming through Customizable Static Analyses.
In: ACM Digital Library, In: Proceedings of the 1st workshop on Modularity in Systems Software, pp. 13-17,
First workshop on Modularity in Systems Software, Porto de Galinhas, Brazil, 22 Mar 2011, [Conference or Workshop Item]
Sewe, Andreas ; Jochem, Jannik ; Mezini, Mira (2011):
Next in line, Please!: Exploiting the Indirect Benefits of Inlining by Accurately Predicting Further Inlining.
In: SPLASH '11 Workshops, In: Proceedings of the compilation of the co-located workshops on DSM'11, TMC'11, AGERE!'11, AOOPES'11, NEAT'11 & VMIL'11, pp. 317-328,
New York, NY, USA, ACM, 5th workshop on Virtual Machines and Intermediate Languages, Portland, OR, USA, 24 Oct 2011, [Conference or Workshop Item]
Bockisch, Christoph ; Sewe, Andreas ; Mezini, Mira ; Akşit, Mehmet
Bishop, Judith ; Vallecillo, Antonio (eds.) (2011):
An Overview of ALIA4J: An Execution Model for Advanced-Dispatching Languages.
6705, In: Objects, Models, Components, Patterns, pp. 131-146, Springer, ISBN 978-3-642-21951-1,
DOI: 10.1007/978-3-642-21952-8_11,
[Book Section]
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.
In: PPPJ '11, In: Proceedings of the 9th International Conference on Principles and Practice of Programming in Java, pp. 11-20,
New York, NY, USA, International Conference on Principles and Practice of Programming in Java, Kongens Lyngby, Denmark, 24-26 August 2011, [Conference or Workshop Item]
Kimmig, Markus ; Monperrus, Martin ; Mezini, Mira (2011):
Querying Source Code with Natural Language.
pp. 376-379, Proceedings of the 26th IEEE/ACM International Conference On Automated Software Engineering, [Conference or Workshop Item]
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.
In: Proceedings of the 33rd International Conference on Software Engineering, pp. 241-250,
New York, NY, USA, International Conference on Software Engineering, Waikiki, Honolulu, HI, USA, 21-28 May 2011, [Conference or Workshop Item]
Bruch, Marcel ; Bodden, Eric ; Monperrus, Martin ; Mezini, Mira (2010):
IDE 2.0: Collective Intelligence in Software Development.
pp. 53-58, ACM, FSE/SDP Workshop on the Future of Software Engineering, DOI: 10.1145/1882362.1882374?,
[Conference or Workshop Item]
Schmeling, Benjamin ; Charfi, Anis ; Mezini, Mira (2010):
Non-functional Concerns in Web Services: Requirements and State of the Art Analysis.
In: Proceedings of the 12th International Conference on Information Integration and Web-based Applications & Services, pp. 67-74,
New York, NY, USA, 12th International Conference on Information Integration and Web-based Applications & Services, Paris, France, [Conference or Workshop Item]
Sewe, Andreas ; Yuan, Dingwen ; Sinschek, Jan ; Mezini, Mira (2010):
Headroom-based Pretenuring.
In: Proceedings of the 8th International Conference on the Principles and Practice of Programming in Java (PPPJ 2010), pp. 29--38,
ACM Press, Vienna, Austria, ISBN 978-1-4503-0269-2,
DOI: 10.1145/1852761.1852767,
[Conference or Workshop Item]
Charfi, Anis ; Müller, Heiko ; Mezini, Mira (2010):
Aspect-Oriented Business Process Modeling with AO4BPMN.
In: LNCS, 6138, pp. 48-61, 6th European Conference ECMFA on Modelling Foundations and Applications (ECMFA), Paris, France, 15-18 June 201, [Conference or Workshop Item]
Eichberg, Michael ; Klose, Karl ; Mitschke, Ralf ; Mezini, Mira (2010):
Component Composition Using Feature Models.
6092, In: Component-Based Software Engineering, p. 200,
ISSN 0302-9743,
[Conference or Workshop Item]
Gasiunas, Vaidas ; Satabin, Lucas ; Mezini, Mira ; Nunez, Angel ; Noyé, Jacques (2010):
Declarative Events for Object-Oriented Programming.
In: TUD-CS-2010-0122, Darmstadt, [Report]
Dinkelaker, Tom ; Mitschke, Ralf ; Fetzer, Karin ; Mezini, Mira (2010):
A Dynamic Software Product Line Approach Using Aspect Models at Runtime.
In: Proceedings of the 1st Workshop on Composition and Variability,
1st Workshop on Composition and Variability, [Conference or Workshop Item]
Bodden, Eric ; Sewe, Andreas ; Sinschek, Jan ; Mezini, Mira (2010):
Taming Reflection: Static Analysis in the Presence of Reflection and Custom Class Loaders.
(TUD-CS-2010-0066), [Report]
Dinkelaker, Tom ; Eichberg, Michael ; Mezini, Mira (2010):
An Architecture for Composing Embedded Domain-Specific Languages.
In: ACM, In: AOSD '10: Proceedings of the 9th International Conference on Aspect-Oriented Software Development, pp. 49-60,
New York, NY, USA, ACM, International Conference on Aspect-Oriented Software Development, ST Malo, France, March 16-19, [Conference or Workshop Item]
Katz, Shmuel ; Mezini, Mira ; Kienzle, Jörg
A Common Case Study for Aspect-Oriented Modeling.
In: Lecture Notes in Computer Science, In: Transactions on Aspect-Oriented Software Development VII, 6210, Springer, [Article]
Monperrus, Martin ; Bruch, Marcel ; Mezini, Mira (2010):
Detecting Missing Method Calls in Object-Oriented Software.
In: Proceedings of the 24th European Conference on Object-Oriented Programming (ECOOP'2010),
[Conference or Workshop Item]
Sewe, Andreas ; Yuan, Dingwen ; Sinschek, Jan ; Mezini, Mira (2010):
Headroom-based pretenuring: dynamically pretenuring objects that live “long enough”.
In: Proceedings of the 8th International Conference on the Principles and Practice of Programming in Java - PPPJ '10, pp. 29-38,
8th International Conference on the Principles and Practice of Programming in Java - PPPJ '10, Vienna, Austria, 15-17 Sep 2010, [Conference or Workshop Item]
Bruch, Marcel ; Mezini, Mira ; Monperrus, Martin (2010):
Mining Subclassing Directives to Improve Framework Reuse.
In: Proceedings of the 7th IEEE Working Conference on Mining Software Repositories (MSR'2010),
[Conference or Workshop Item]
Eichberg, Michael ; Monperrus, Martin ; Kloppenburg, Sven ; Mezini, Mira (2010):
Model-Driven Engineering of Machine Executable Code.
In: Proceedings of the 6th European Conference on Modelling Foundations and Applications (ECMFA'2010), p. 104,
[Conference or Workshop Item]
Dinkelaker, Tom ; Monperrus, Martin ; Mezini, Mira (2010):
Supporting Variability with Late Semantic Adaptations of Domain-Specific Modeling Languages.
In: Proceedings of the First International Workshop on Composition and Variability co-located with AOSD'2010,
[Conference or Workshop Item]
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), Eindhoven, The Netherland, IEEE computer society, [Book Section]
Bruch, Marcel ; Monperrus, Martin ; Mezini, Mira (2009):
Learning from Examples to Improve Code Completion Systems.
In: Proceedings of 17th ACM SIGSOFT Symposium on the Foundations of Software Engineering,
17th ACM SIGSOFT Symposium on the Foundations of Software Engineering (FSE-17), Amsterdam , Netherlands, 24.-28. Aug 2009, [Conference or Workshop Item]
Charfi, Anis ; Dinkelaker, Tom ; Mezini, Mira (2009):
A Plugin-Architecture for Self-Adaptive WS Compositions.
In: Proceedings of the IEEE 7th International Conference on Web Services (ICWS 2009), pp. 35-42,
IEEE, Los Angeles, CA, USA, ISBN 978-0-7695-3709-2,
DOI: 10.1109/ICWS.2009.125,
[Conference or Workshop Item]
Kallel, Slim ; Charfi, Anis ; Mezini, Mira ; Klose, Karl ; Jmaiel, Mohamed (2009):
From Formal Access Control Policies to Runtime Enforcement Aspects.
In: Proc. of the International Symposium on Engineering Secure Software and Systems (ESSOS), pp. 16--31,
Springer Verlag, Leuven, Belgium, ISBN 978-3-642-00198-7,
DOI: 10.1007/978-3-642-00199-4_2,
[Conference or Workshop Item]
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, pp. 51-62, New York, NY, USA, [Book Section]
Kallel, Slim ; Charfi, Anis ; Mezini, Mira ; Jmaiel, Mohamed ; Klose, Karl (2009):
From Formal Access Control Policies to Runtime Enforcement Aspects.
In: Lecture Notes In Computer Science, 5429, In: Proceedings of the 1st International Symposium on Engineering Secure Software and Systems, pp. 16-31, Berlin/Heidelberg, Germany, [Book Section]
Knoell, Roman ; Mezini, Mira (2009):
Pi - A Pattern Language.
In: Onward '09: Proceedings of the Onward Conference,
Onward Conference, 2009, Orlando, FL, USA, [Conference or Workshop Item]
Charfi, Anis ; Dinkelaker, Tom ; Mezini, Mira (2009):
A Plug-in Architecture for Self-Adaptive Web Service Compositions.
In: Proceedings of the IEEE 7th International Conference on Web Services (ICWS 2009),
IEEE, IEEE 7th International Conference on Web Services (ICWS 2009), [Conference or Workshop Item]
Dinkelaker, Tom ; Monperrus, Martin ; Mezini, Mira (2009):
Untangling Cross-Cutting Concerns in Domain-Specific Languages with Domain-Specific Join Points.
In: Proceedings of the 4th Workshop on Domain-Specific Aspect Languages, pp. 1-6,
ACM New York, NY, USA, 4th Workshop on Domain-Specific Aspect Languages, [Conference or Workshop Item]
Sinschek, Jan ; Sewe, Andreas ; Mezini, Mira (2009):
VM performance evaluation with functional models: An optimist's outlook.
In: Proceedings of the Third Workshop on Virtual Machines and Intermediate Languages - VMIL '09,
Third Workshop on Virtual Machines and Intermediate Languages, Orlando, FL, USA, [Conference or Workshop Item]
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), pp. 337-354. Inderscience Publishers, ISSN 1744-1765,
[Article]
Bruch, Marcel ; Mezini, Mira (2008):
Improving Code Recommender Systems using Boolean Factor Analysis and Graphical Models.
ACM, International Workshop on Recommendation Systems for Software Engineering (RSSE 2008), Atlanta, Georgia, USA, 14. Nov. 2008, [Conference or Workshop Item]
Bruch, Marcel ; Schäfer, Thorsten ; Mezini, Mira (2008):
On Evaluating Recommender Systems for API Usages.
pp. 16-20, New York, NY, USA, ACM, International Workshop on Recommendation Systems for Software Engineering, Atlanta, Georgia, USA, 14. Nov. 2008, [Conference or Workshop Item]
Kallel, Slim ; Charfi, Anis ; Mezini, Mira ; Jmaiel, Mohamed (2008):
Aspect-based Enforcement of Formal Delegation Policies.
pp. 9-17, IEEE, Third International Conference on Risks and Security of Internet and Systems (CRiSIS '08), Tozeur, Tunisia, 28.-30. Okt. 2008, [Conference or Workshop Item]
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, pp. 391-400, ACM Press, ISBN 978-1-60558-079-1,
[Book Section]
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.
In: ACM Digital Library, Procee, New York, NY, USA, 2nd Workshop on Virtual Machines and Intermediate Languages for emerging modularization mechanisms (VMIL 2008), Nashville, TN, USA, 19. Okt. 2008, [Conference or Workshop Item]
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, New York, NY, USA, [Book Section]
Bruch, Marcel ; Mezini, Mira (2008):
Improving Code Recommender Systems using Boolean
Factor Analysis and Graphical Models.
In: RSSE '08: Proceedings of the 2008 international workshop on Recommendation systems for software engineering,
ACM, Atlanta, Georgia, ISBN 978-1-60558-228-3,
[Conference or Workshop Item]
Cepa, Vasian ; Mezini, Mira (2008):
Language Support for Model-Driven Software Development.
In: Science of Computer Programming (Elsevier), [Article]
Schäfer, Thorsten ; Jonas, Jan ; Mezini, Mira (2008):
Mining framework usage changes from instantiation code.
In: Proceedings of the 30th International Conference on Software engineering, pp. 471-480,
New York, NY, USA, ACM, International Conference on Software Engineering (ICSE), Leipzig, Germany, [Conference or Workshop Item]
Sewe, Andreas ; Bockisch, Christoph ; Mezini, Mira (2008):
Redundancy-free Residual Dispatch.
In: FOAL '08: Proceedings of the 7th workshop on Foundations of Aspect-Oriented Languages,
ACM Press, Brussels, Belgium, ISBN 978-1-60558-110-1,
[Conference or Workshop Item]
Sewe, Andreas ; Bockisch, Christoph ; Mezini, Mira (2008):
Redundancy-free Residual Dispatch: Using Ordered Binary Decision Diagrams for Efficient Dispatch.
In: ACM Digital Library, Procee, New York, NY, USA, 7th workshop on Foundations of aspect-oriented languages (FOAL 2008), Brussels, Belgium, 1. Apr. 2008, [Conference or Workshop Item]
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), pp. 309-344. Springer Netherlands, ISSN 1386-145X,
[Article]
Charfi, Anis ; Berbner, Rainer ; Mezini, Mira ; Steinmetz, Ralf (2007):
On the Management Requirements of Web Service compositions.
In: IEEE ECOWS <Halle, 2007> ; Workshop on Emerging Web Services Technology , 2008, [Conference or Workshop Item]
Eichberg, Michael ; Kahl, Matthias ; Saha, Diptikalyan ; Mezini, Mira ; Ostermann, Klaus (2007):
Automatic Incrementalization of Prolog Based Static Analyses.
In: Lecture Notes In Computer Science, 4354, In: Practical Aspects of Declarative Languages, pp. 109-123, Heidelberg/Berlin, Germany, [Book Section]
Schäfer, Thorsten ; Aracic, Ivica ; Mezini, Mira ; Merz, Matthias ; Ostermann, Klaus (2007):
Clustering for Generating Framework Top-Level Views.
In: Proceedings of the 14th Working Conference on Reverse Engineering, pp. 239-248,
Washington, DC, USA, IEEE Computer Society, Working Conference on Reverse Engineering (WCRE '07), [Conference or Workshop Item]
Kallel, Slim ; Charfi, Anis ; Mezini, Mira ; Jmaiel, Mohamed (2007):
Combining Formal Methods and Aspects for Specifying and Enforcing Architectural Invariants.
In: Lecture Notes In Computer Science, 4467, In: Coordination Models and Languages, pp. 211-230, Heidelberg/Berlin, Germany, [Book Section]
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, pp. 133-152, New York, NY, USA, [Book Section]
Charfi, Anis ; Schmeling, Benjamin ; Mezini, Mira (2007):
Transactional BPEL Processes with AO4BPEL Aspects.
pp. 149-158, Fifth European Conference on Web Services (ECOWS'07), Halle, Germany, 26.-28. Nov. 2007, [Conference or Workshop Item]
Bockisch, Christoph ; Mezini, Mira (2007):
A flexible architecture for pointcut-advice language implementations.
In: ACM Digital Library, In: Proceedings of the 1st Workshop on Virtual Machines and Intermediate Languages, pp. 1-10,
New York, NY, USA, ACM Press, 1st Workshop on Virtual Machines and Intermediate Languages for emerging modularization mechanisms (VMIL 2007), Vancouver, British Columbia, Canada, 13. Mär. 2007, [Conference or Workshop Item]
Charfi, Anis ; Schmeling, Benjamin ; Mezini, Mira (2006):
Reliable Messaging for BPEL Processes.
In: Proceedings of the International Conference on Web Services, pp. 293-302,
International Conference on Web Services (ICWS '06), Chicago, IL, USA, [Conference or Workshop Item]
Eichberg, Michael ; Mezini, Mira ; Kloppenburg, Sven ; Ostermann, Klaus ; Rank, B. (2006):
Integrating and Scheduling an Open Set of Static Analyses.
In: Proceedings of the 21st International Conference on Automated Software Engineering, pp. 113-122,
21st IEEE/ACM International Conference on Automated Software Engineering (ASE '06), Tokyo, Japan, [Conference or Workshop Item]
Charfi, Anis ; Schmeling, Benjamin ; Heizenreder, Andreas ; Mezini, Mira (2006):
Reliable, Secure, and Transacted Web Service Compositions with AO4BPEL.
In: 4th European Conference on Web Services, pp. 23-34,
4th European Conference on Web Services (ECOWS '06), Zurich, Switzerland, [Conference or Workshop Item]
Charfi, Anis ; Mezini, Mira (2006):
Aspect-Oriented Workflow Languages.
In: Lecture Notes in Computer Science, 4275, In: On the Move to Meaningful Internet Systems 2006: CoopIS, DOA, GADA, and ODBASE, pp. 183-200, Berlin/Heidelberg, Germany, [Book Section]
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), pp. 44-51, [Book Section]
Charfi, Anis ; Mezini, Mira (2006):
Middlware Support for BPEL Workflows in the AO4BPEL Engine.
In: BPM '06 Demo Paper, 4th International Conference on Business Process
Management,
Vienna, Austria, [Conference or Workshop Item]
Eichberg, Michael ; Kanthak, Sebastian ; Kloppenburg, Sven ; Mezini, Mira ; Schuh, Tobias (2006):
Incremental Confined Types Analysis.
In: LDTA'06-Sixth Workshop on Language Descriptions, Tools, and Applications,
6th Workshop on Language Descriptions, Tools, and Applications, Vienna, Austria, 01.04.2006, [Conference or Workshop Item]
Bockisch, Christoph ; Arnold, Mathew ; Dinkelaker, Tom ; Mezini, Mira (2006):
Adapting Virtual Machine Techniques for Seamless Aspect Support.
In: OOPSLA '06: Proceedings of the 21st ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications, 2006, [Conference or Workshop Item]
Bockisch, Christoph ; Haupt, Michael ; Mezini, Mira (2006):
Dynamic Virtual Join Point Dispatch.
In: Workshop on Software Engineering Properties of Languages and Aspect Technologies (SPLAT '06), 2006, [Conference or Workshop Item]
Bockisch, Christoph ; Kanthak, Sebastian ; Haupt, Michael ; Arnold, Mathew ; Mezini, Mira (2006):
Efficient Control Flow Quantification.
In: 'OOPSLA '06 : Proceedings of the 2Ist ACM SIGPLAN Conference on Object-oriented programming, Systems, languages, and applications, [Conference or Workshop Item]
Bruch, Marcel ; Schäfer, Thorsten ; Mezini, Mira (2006):
FrUiT : IDE support for framework understanding.
In: 'eclipse '06 : Proceedings of the 2006 OOPSLA Workshop on Eclipse Technology eXchange, New York, NY : ACM Press, 2006, S. 55-59., [Conference or Workshop Item]
Aracic, Ivica ; Gasiunas, Vaidas ; Mezini, Mira ; Ostermann, Klaus (2006):
Overview of CaesarJ.
In: Transactions on aspect oriented software development . - Berlin : Springer T. !, S. 135-173 .- 2006 (Lecture notes in computer science ; 3880) ISBN: 978-3-540-32972-5 3-540-32972-2, Berlin, Springer T. !, [Conference or Workshop Item]
Knöll, Roman ; Mezini, Mira (2006):
Pegasus : first steps toward a naturlaistic progamming language.
In: Proceedings of the 21st International Conference on Object-Oriented Programming, Systems, Languages, and Applications : October 22 - 26, 2006, Portland Convention Center, Portland, Oregon, USA ; - New York, NY, 2006 Schriftenreihe: ACM SIGPLAN notices ; 4, [Conference or Workshop Item]
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', Washington, DC. : IEEE, pp. 113-122, [Book Section]
Schäfer, Thorsten ; Eichberg, Michael ; Haupt, Michael ; Mezini, Mira (2006):
The SEXTANT software exploration tool.
In: IEEE Transactions on Software Engineering, 32, pp. 753-768. [Article]
Bruch, Marcel ; Schäfer, Thorsten ; Mezini, Mira (2006):
FrUiT: IDE support for framework understanding.
In: eclipse '06: Proceedings of the 2006 OOPSLA Workshop on Eclipse Technology
eXchange, pp. 55--59,
ACM Press, Portland, Oregon, ISBN 1-59593-621-1,
[Conference or Workshop Item]
Eichberg, Michael ; Kanthak, Sebastian ; Kloppenburg, Sven ; Mezini, Mira ; Schuh, Tobias (2006):
Incremental Confined Types Analysis. (Publisher's Version)
In: Electronic Notes in Theoretical Computer Science, 164 (2), pp. 81-96. Elsevier, ISSN 1571-0661,
DOI: 10.25534/tuprints-00014558,
[Article]
Charfi, Anis ; Mezini, Mira (2006):
Middlware Support for BPEL Workflows in the AO4BPEL Engine.
In: Demo Paper, 4th International Conference on Business Process Management (BPM),
Vienna, Austria, [Conference or Workshop Item]
Gasiunas, Vaidas ; Ostermann, Klaus ; Mezini, Mira (2006):
Multidimensional Virtual Classes.
(TUD-ST-2006-03), [Report]
Knöll, Roman ; Mezini, Mira (2006):
Pegasus: First Steps Toward a Naturalistic Programming Language.
In: OOPSLA '06: Proceedings of the 21st ACM SIGPLAN conference on Object-oriented
programming, systems, languages, and applications,
[Conference or Workshop Item]
Eichberg, Michael ; Germanus, Daniel ; Mezini, Mira ; Mrokon, Lukas ; Schäfer, Thorsten (2006):
QScope: an Open, Extensible Framework for Measuring Software Projects.
In: CSMR '06: Proceedings of the Conference on Software Maintenance and
Reengineering, pp. 113--122,
IEEE Computer Society, ISBN 0-7695-2536-9,
[Conference or Workshop Item]
Eichberg, Michael ; Germanus, Daniel ; Mezini, Mira ; Mrokon, Lukas ; Schäfer, Thorsten (2006):
QScope: an Open, Extensible Framework for Measuring Software Projects.
In: Proceedings of 10th European Conference on Software Maintenance and Reengineering (CSMR),
IEEE Computer Society, [Conference or Workshop Item]
Eichberg, Michael ; Mezini, Mira (2005):
Alice: Modularization of Middleware Using Aspect-Oriented Programming.
3437, In: SEM '04: 4th International Workshop of Software Engineering and Middleware, pp. 47--63,
Springer-Verlag GmbH, ISBN 3-540-25328-9,
[Conference or Workshop Item]
Charfi, Anis ; Mezini, Mira (2005):
Application of Aspect-Oriented Programming to Workflows.
In: 5 eme Journees Scientifiques des Jeunes Chercheurs en Genie Electrique
et Informatique (GEI),
Sousse, Tunisia, [Conference or Workshop Item]
Bockisch, Christoph ; Mezini, Mira ; Ostermann, Klaus (2005):
Quantifying over Dynamic Properties of Program Execution.
In: Proceedings of the Second Dynamic Aspects Workshop, pp. 71-76,
Second Dynamic Aspects Workshop (DAW05), Chicago, Illinois, USA, [Conference or Workshop Item]
Charfi, Anis ; Mezini, Mira (2005):
Application of aspect-oriented programming to workflows : the case of web service composition with AO4BPEL.
In: Journées Scientifiques de Jeunes Chercheurs en Génie Electrique et Informatique (GEI), Sousse, Tunesien, 2005, [Conference or Workshop Item]
Kiczales, Gregor ; Mezini, Mira (2005):
Aspect-oriented programming and modular reasoning.
In: Proceedings : 27th International Conference on Software Engineering, May 15 - 21, 2005, St. Louis, MO, USA / ICSE 05. - New York, NY : ACM, 2005, S. 49-58 ISBN: 1-59593-963-2, New York, NY, ACM, [Conference or Workshop Item]
Eichberg, Michael ; Mezini, Mira ; Haupt, Michael ; Schäfer, Thorsten (2005):
Comprehensive software understanding with Sextant.
In: Proceedings of the 21st IEEE International Conference on Software Maintenance : [Budapest, Hungary, 26 - 29 September 2005] / sponsored by University of Szeged. In cooperation with Reengineering Forum. - Los Alamitos, Calif. [u.a.] : IEEE Computer Society, Los Alamitos, Calif. [u.a.], IEEE Computer Society, [Conference or Workshop Item]
Bockisch, Christoph ; Haupt, Michael ; Mezini, Mira ; Mitschke, Ralf (2005):
Envelope-based weaving for faster aspect compilers.
In: Conference proceedings / NODe [Net.ObjectDays] 2005, GSEM 2005 : Erfurt, Germany, September 20 - 22, 2005 / Robert Hirschfeld ... (Hrsg.). - Bonn : Ges. für Informatik, 2005 . - S. 3-18 (GI-Edition : Proceedings ; 69) ISBN: 3-88579-398-9, Bonn, Ges. für Informatik, [Conference or Workshop Item]
Ostermann, Klaus ; Mezini, Mira ; Bockisch, Christoph (2005):
Expressive pointcuts for increased modularity.
In: ECOOP 2005 - Object-Oriented Programming : 19th European conference, Glasgow, UK, July 25 - 29, 2005 ; proceedings / Andrew P. Black (ed.). - Berlin [u.a.] : Springer, 2005. - S. 214-241 (Lecture notes in computer science ; 3586) ISBN: 3-540-27992-X, Berlin [u.a.], Springer, [Conference or Workshop Item]
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 : 3 - 6 January 2005, Big Island, Hawaii, [Hilton Waikoloa] ; abstracts and CD-ROM of full papers / ed. by Ralph H. Sprague. - Los Alamitos, Calif. [u.a.] : IEEE Computer So, Los Alamitos, Calif. [u.a.], IEEE Computer Society, [Conference or Workshop Item]
Kiczales, Gregor ; Mezini, Mira (2005):
Separation of concerns wth procedures, annotations, advice and pointcuts.
In: ECOOP 2005 - Object-Oriented Programming : 19th European conference, Glasgow, UK, July 25 - 29, 2005 ; proceedings / Andrew P. Black (ed.). - Berlin [u.a.] : Springer, 2005. - 195-213 (Lecture notes in computer science ; 3586) ISBN: 3-540-27992-X, Berlin [u.a.], Springer, [Conference or Workshop Item]
Mezini, Mira ; Ostermann, Klaus (2005):
Untangling crosscutting models with Caesar.
In: Aspect-oriented software development / Robert E. Filman .... - Boston [u.a.] : Addison-Wesley, 2005. - S. 165-200 ISBN: 0-321-21976-7, Boston [u.a.], Addison-Wesley, [Book Section]
Eichberg, Michael ; Schäfer, Thorsten ; Mezini, Mira (2005):
Using annotations to check structural properties of classes.
In: Fundamental approaches to software engineering : 8th International Conference, FASE 2005, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2005, Edinburgh, UK, April 4 - 8, 2005; proceedings / Maura Cerioli (ed.). -, Berlin ; Heidelberg [u.a.], Springer, [Conference or Workshop Item]
Charfi, Anis ; Mezini, Mira (2005):
Using aspects for security engineering of web service compositions.
In: : Proceedings / 2005 IEEE International Conference on Web Services, ICWS 2005 : July 11 - 15, 2005, Orlando, Florida / sponsored by IEEE Computer Society Technical Committee on Services Computing ... Los Alamitos, Calif. [u.a.] : IEEE Computer Society, 20, [Conference or Workshop Item]
Haupt, Michael ; Mezini, Mira (2005):
Virtual machine support for aspects with advice instance tables.
In: L'Objet, 11, pp. 9-30. [Article]
Haupt, Michael ; Mezini, Mira ; Bockisch, Christoph ; Dinkelaker, Tom ; Eichberg, Michael ; Krebs, Michael (2005):
An execution layer for aspect-oriented programmjing languages.
In: VEE'05 : proceedings of the First ACM/USENIX International Conference on Virtual Execution Environments; June 11 - 12, 2005, Chicago, Illinois, USA. - New York, NY : ACM Pr., 2005 ISBN: 1-59593-047-7, New York, NY, ACM Pr., [Conference or Workshop Item]
Eichberg, Michael ; Mezini, Mira
Gschwind, Thomas ; Mascolo, Cecilia (eds.) (2005):
Alice: Modularization of Middleware Using Aspect-Oriented Programming.
In: Lecture Notes in Computer Science, 3437, In: Software Engineering and Middleware: 4th International Workshop, SEM 2004, pp. 47-63, Berlin ; Heidelberg, Springer-Verlag GmbH, ISBN 3-540-25328-9,
[Book Section]
Charfi, Anis ; Mezini, Mira (2005):
Application of Aspect-Oriented Programming to Workflows.
In: 5 eme Journees Scientifiques des Jeunes Chercheurs en Genie Electrique et Informatique (GEI),
Sousse, Tunisia, [Conference or Workshop Item]
Charfi, Anis ; Mezini, Mira (2005):
An Aspect based Process Container for BPEL.
In: Proceedings of the 1st workshop on Aspect oriented middleware development, pp. 1-6,
AOMD, Grenoble, France, 28. Nov. - 02. Dez 2005, [Conference or Workshop Item]
Charfi, Anis ; Mezini, Mira (2005):
An Aspect-based Process Container for BPEL.
In: AOMD '05: Proceedings of the 1st workshop on Aspect oriented middleware
development, pp. 1--6,
ACM Press, Grenoble, France, ISBN 1-59593-265-8,
[Conference or Workshop Item]
Charfi, Anis ; Mezini, Mira (2005):
An Aspect-based Process Container for BPEL.
In: Proceedings of the 1st Workshop on Aspect-Oriented Middleware Development (AOMD), pp. 1--6,
ACM Press, Grenoble, France, [Conference or Workshop Item]
Mezini, Mira ; Ostermann, Klaus (2005):
A Comparison of Program Generation
with Aspect-Oriented Programming.
In: Proceedings of the EU-NSF Strategic Research Workshop on Unconventional Programming Paradigms,
Springer Verlag, LNCS 3566, St. Michel, France, [Conference or Workshop Item]
Mezini, Mira ; Ostermann, Klaus (2005):
A Comparison of Program Generation with Aspect-Oriented Programming.
In: Lecture Notes in Computer Science, 3566, In: Unconventional Programming Paradigms, pp. 342-354, Heidelberg/Berlin, Germany, Springer Verlag, LNCS 3566, [Book Section]
Charfi, Anis ; Mezini, Mira (2005):
Middleware services for web service compositions.
In: Special Interest Tracks and Posters of the 14th International Conference on World Wide Web, pp. 1132-1133,
New York, NY, USA, [Conference or Workshop Item]
Cepa, Vasian ; Mezini, Mira (2005):
MobCon: A Generative Middleware Framework for Java Mobile Applications.
In: HICSS '05: Proceedings of the Proceedings of the 38th Annual Hawaii
International Conference on System Sciences - Track 9, pp. 283.2,
IEEE Computer Society, ISBN 0-7695-2268-8-9,
[Conference or Workshop Item]
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), pp. 283-???. [Article]
Mezini, Mira ; Tarr, Peri (eds.) (2005):
Proceedings of the 4th International Conference on Aspect-Oriented Software Development.
New York, NY, USA, ACM, ISBN 1-59593-042-6,
[Book]
Kiczales, Gregor ; Mezini, Mira (2005):
Separation of Concerns with Procedures, Annotations, Advice and Pointcuts.
In: Lecture Notes in Computer Science, 3586, In: ECOOP '05: Proceedings of the 19th European Conference on Object-Oriented
Programming,
Springer, ISBN 3-540-27992-X,
[Conference or Workshop Item]
Schäfer, Thorsten ; Eichberg, Michael ; Mezini, Mira (2005):
Towards exploring cross-cutting concerns.
In: Proceedings of the Workshop on Linking Aspect Technology and Evolution,
AOSD '05 Workshop on Linking Aspect Technology and Evolution (LATE), Chicago, IL, USA, [Conference or Workshop Item]
Schäfer, Thorsten ; Mezini, Mira (2005):
Towards more flexibility in software visualization tools.
In: VISSOFT '05: Proceedings of the 3rd IEEE International Workshop on Visualizing Software for Understanding and Analysis, pp. 64-69,
Washington, DC, USA, [Conference or Workshop Item]
Bruch, Marcel ; Bockisch, Christoph ; Schäfer, Thorsten ; Mezini, Mira (2005):
eAssignment: a case for EMF.
In: Proceedings of the 2005 OOPSLA workshop on Eclipse technology eXchange, pp. 110-114,
New York, NY, USA, OOPSLA workshop on eclipse technology eXchange, San Diego, CA, USA, [Conference or Workshop Item]
Haupt, Michael ; Mezini, Mira ; Bockisch, Christoph ; Dinkelaker, Tom ; Eichberg, Michael ; Krebs, Michael (2005):
An execution layer for aspect-oriented programming languages.
In: VEE '05: Proceedings of the 1st ACM/USENIX international conference
on Virtual execution environments, pp. 142--152,
ACM Press, Chicago, IL, USA, ISBN 1-59593-047-7,
[Conference or Workshop Item]
Charfi, Anis ; Mezini, Mira (2004):
Hybrid Web Service Composition: Business Processes Meet Business
Rules.
In: ICSOC '04: Proceedings of the 2nd international conference on Service
oriented computing, pp. 30--38,
ACM Press, New York, USA, ISBN 1-58113-871-7,
[Conference or Workshop Item]
Charfi, Anis ; Mezini, Mira (2004):
Aspect-Oriented Web Service Composition with {AO4BPEL}.
In: LNCS, 3250, In: ECOWS '04: Proceedings of the 2nd European Conference on Web Services, pp. 168--182,
Springer, Erfurt, Germany, [Conference or Workshop Item]
Filman, Robert ; Haupt, Michael ; Mehner, Katharina ; Mezini, Mira (eds.) (2004):
Proceedings of the 2004 Dynamic Aspects Workshop (DAW04).
[Book]
Eichberg, Michael ; Mezini, Mira (2004):
Alice : modularization of middleware using aspect-oriented programming.
In: Software engineering and middleware : 4th international workshop, SEM 2004, Linz, Austria, September 20 - 21, 2004 ; revised selected papers / Thomas Gschwind; Cecilia Mascolo (eds.). - Berlin [u.a.] : Springer, 2005, S. 47-63 (Lecture notes in computer s, Berlin [u.a.], Springer, [Conference or Workshop Item]
Charfi, Anis ; Mezini, Mira (2004):
Aspect-oriented web service composition with AO4BPEL.
In: Web services : European conference, ECOWS 2004, Erfurt, Germany, September 27 - 30, 2004 ; proceedings / Liang-Jie Zhang ... (ed.). - Berlin [u.a.] : Springer, 2004, S. 168-182 (Lecture notes in computer science ; 3250) ISBN: 3-540-23202-8, Berlin [u.a.], Springer, [Conference or Workshop Item]
Cepa, Vasian ; Mezini, Mira (2004):
Declaring and enforcing dependencies between .NET custom attributes.
In: Generative programming and component engineering : third international conference, GPCE 2004, Vancouver, Canada, October 24 - 28, 2004 ; proceedings / Gabor Karsai .. (ed.). - Berlin [u.a.] : Springer, 2004, S. 283-297 (Lecture notes in computer science ;, Berlin [u.a.], Springer, [Conference or Workshop Item]
Eichberg, Michael ; Mezini, Mira ; Schäfer, Thorsten ; Beringer, Claus ; Hamel, Karl Matthias (2004):
Enforcing system-wide properties.
In: : Proceedings / 2004 Australian Software Engineering Conference, 2004 : 13 - 16 April 2004, [Melbourne, Australia] / [sponsored by Australian Computer Society, ACS ... Ed. by Paul Strooper]. - Los Alamitos, Calif. [u.a.] : IEEE Computer Society, 2004, S., Los Alamitos, Calif. [u.a.], IEEE Computer Society, [Conference or Workshop Item]
Charfi, Anis ; Mezini, Mira (2004):
Hybrid web service composition : business processes meet business rules.
In: Proceedings of the Second International Conference on Service Oriented Computing : November 15 - 19, 2004, New York City, NY, USA / ICSOC'04. Marco Aiello ..., eds.. - New York, NY : ACM Press, 2004 .- S. 30-38 ISBN: 1-581-13871-7, New York, NY, ACM Press, [Conference or Workshop Item]
Cepa, Vasian ; Mezini, Mira (2004):
Language support for model-driven development.
In: Model Driven Architecture: Foundations and Applications, Special issue of the journal Science of Computer Programming (Elsevier) einger. Mai, 2004 . 25 S. (to appear), [Article]
Haupt, Michael ; Mezini, Mira (2004):
Micro-measurements for dynamic aspect-oriented systems.
In: Object-oriented and internet-based technologies : 5th Annual International Conference on Object-Oriented and Internet-Based Technologies, Concepts, and Applications for a Networked World, Net.ObjectDays 2004, Erfurt, Germany, September 27 - 30, 2004 ; pro, Berlin [u.a.], Springer, [Conference or Workshop Item]
Eichberg, Michael ; Mezini, Mira ; Ostermann, Klaus (2004):
Pointcuts as functional queries.
In: Programming languages and systems : second Asian symposium, APLAS 2004, Taipei, Taiwan, November 4 - 6, 2004 ; proceedings / Wei-Ngan Chin (ed.). - Berlin [u.a.] : Springer, 2004. - S. 366-381 (Lecture notes in computer science ; 3302) ISBN -540-23724-0, Berlin [u.a.], Springer, [Conference or Workshop Item]
Mezini, Mira ; Ostermann, Klaus (2004):
Variability management with feature-oriented programming and aspects.
In: SIGSOFT 2004 FSE-12 : twelfth ACM SIGSOFT international symposium on the foundations of software engineering : October 31 - November 5, 2004, Newport Beach, California, USA / [Ed. by Matthew Dwyer]. - New York, NY : Association for Computing Machinery, 20, New York, NY, Association for Computing Machinery, [Conference or Workshop Item]
Bockisch, Christoph ; Haupt, Michael ; Mezini, Mira ; Ostermann, Klaus (2004):
Virtual machine support for dynamic join ponts.
In: AOSD 2004 : proceedings of the 3rd International Conference on Aspect-Oriented Software Development, Lancaster, UK, March 22 - 26, 2004 / Gail Murphy. - New York, N.Y : Association for Computing Machinery, 2004 , S. 83-92 ISBN 1-581-13842-3, New York, N.Y, Association for Computing Machinery, [Conference or Workshop Item]
Eichberg, Michael ; Mezini, Mira ; Ostermann, Klaus ; Schäfer, Thorsten (2004):
XIRC : a kernel for cross-artifact information engineering in software development environments.
In: Working Conference on Reverse Engineering ; 11 (Delft) : 2004.11.08-12 WCRE 2004 ; 11 (Delft) : 2004.11.08-12 .- Los Alamitos, Calif. [u.a.] : IEEE Computer Society, 2004, S. 182-191 ISBN 0-7695-2243-2, Los Alamitos, Calif. [u.a.], IEEE Computer Society, [Conference or Workshop Item]
Mezini, Mira ; Ostermann, Klaus (2004):
Aspect-Oriented Software Development.
Addison-Wesley, [Book Section]
Charfi, Anis ; Mezini, Mira (2004):
Aspect-Oriented Web Service Composition with {AO4BPEL}.
In: LNCS, 3250, In: Proceedings of the 2nd European Conference on Web Services (ECOWS), pp. 168--182,
Springer, Erfurt, Germany, [Conference or Workshop Item]
Charfi, Anis ; Mezini, Mira (2004):
Hybrid Web Service Composition: Business Processes Meet Business Rules.
In: Proceedings of the 2nd International Conference on Service Oriented Computing (ICSOC), pp. 30--38,
ACM Press, New York, USA, [Conference or Workshop Item]
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, [Article]
Filman, Robert ; Haupt, Michael ; Hirschfeld, Robert ; Mezini, Mira (2004):
Proceedings of the 2004 Dynamic Aspects Workshop.
(RIACS Technical Report No), [Report]
Bockisch, Christoph ; Haupt, Michael ; Mezini, Mira ; Ostermann, Klaus (2004):
Virtual machine support for dynamic join points.
In: AOSD '04: Proceedings of the 3rd international conference on Aspect-oriented
software development, pp. 83--92,
ACM Press, Lancaster, UK, ISBN 1-58113-842-3,
[Conference or Workshop Item]
Bockisch, Christoph ; Haupt, Michael ; Mezini, Mira ; Ostermann, Klaus (2004):
Virtual machine support for dynamic join points.
In: AOSD, pp. 83-92,
[Conference or Workshop Item]
Mezini, Mira ; Ostermann, Klaus (2003):
Modules for Crosscutting Models.
In: Lecture Notes in Computer Science, 2655, In: Ada-Europe '03: Proceedings of the 8th International Conference on Reliable Software Technologies, pp. 24-45,
8th International Conference on Reliable Software Technologies, Ada-Europe 2003, Toulouse, France, June 16-20, 2003, [Conference or Workshop Item]
Cilia, Mariano ; Haupt, Michael ; Mezini, Mira ; Buchmann, Alejandro (2003):
The Convergence of AOP and Active Databases: Towards Reactive Middleware.
In: LNCS, 2830, pp. 169-188, Springer-Verlag, Proceedings of the International Conference on Generative Programming and Component Engineering (GPEC'03), [Conference or Workshop Item]
Cilia, Mariano ; Haupt, Michael ; Mezini, Mira ; Buchmann, Alejandro (2003):
The Convergence of {AOP} and Active Databases: Towards Reactive Middleware.
In: LNCS, 2830, In: Proceedings of the International Conference on Generative Programming and Component Engineering {(GPEC'03)}, pp. 169--188,
Springer-Verlag, Erfurt, Germany, [Conference or Workshop Item]
Fiege, Ludger ; Mezini, Mira ; Mühl, Gero ; Buchmann, Alejandro (2003):
Components in Event-Based Systems.
In: Thema Forschung, 1, pp. 108-114. [Article]
Mezini, Mira ; Ostermann, Klaus (2003):
Conquering aspects with Caesar.
In: Aspect-oriented software development, In: AOSD '03: Proceedings of the 2nd International Conference on Aspect-Oriented Software Development, pp. 90-99,
International Conference on Aspect-Oriented Software Development, Boston, Massachusetts, USA, March 17 - 21, 2003, [Conference or Workshop Item]
Mezini, Mira ; Eichberg, Michael ; Haupt, Michael (2003):
Komponentenbasierte Softwaresysteme: Historischer Abriss.
In: Thema Forschung: Vom Wort zum Bauelement - Komponententechnologien
in den Ingenieurwissenschaften, [Article]
Aksit, Mehmet ; Mezini, Mira ; Unland, Rainer (eds.) (2003):
Objects, Components, Architectures, Services, and Applications for a Networked World.
In: Lecture Notes in Computer Science, 2591, Berlin/Heidelberg, Germany, Springer, ISBN 978-3540007371,
[Book]
Pichler, Roman ; Ostermann, Klaus ; Mezini, Mira (2003):
On Aspectualizing Component Models.
In: Software: Practice and Experience, 33 (10), pp. 957--974. [Article]
Haupt, Michael ; Bockisch, Christoph ; Mezini, Mira ; Ostermann, Klaus (2003):
Towards Aspect-Aware Execution Models.
(TUD-ST-2003-01), [Report]
Cilia, Mariano ; Haupt, Michael ; Mezini, Mira ; Buchmann, Alejandro (2003):
The convergence of AOP and active databases: towards reactive middleware.
In: Lecture Notes in Computer Science, 2830, In: GPCE '03: Proceedings of the 2nd international conference on International Conference on Generative Programming and Component Engineering, pp. 169-188,
International Conference on Generative Programming and Component Engineering, GPCE 2003, Erfurt, Germany, September 22-25, 2003, [Conference or Workshop Item]
Fiege, Ludger ; Mezini, Mira ; Mühl, Gero ; Buchmann, Alejandro (2002):
Engineering Event-based Systems with Scopes.
In: LNCS, 2374 (ISBN 3-540-43759-2), pp. 309-333, Springer-Verlag, Proceedings of the European Conference on Object-Oriented Programming (ECOOP'02), [Conference or Workshop Item]
Fiege, Ludger ; Mezini, Mira ; Mühl, Gero ; Buchmann, Alejandro (2002):
Visibility as central abstraction in event-based systems.
In: LNCS, 2548, Springer-Verlag, Concrete Communication Abstractions of the Next 701 Distributed Object Systems (ECOOP 2002 Workshop), [Conference or Workshop Item]
Mezini, Mira ; Ostermann, Klaus (2002):
Integrating independent components with on-demand remodularization.
In: OOPSLA <17, 2002, Seattle, Wash.>: Conference proceedings November 4-8, 2002 ...- New York: ACM Pr., 2002.- S. 52ff, New York, ACM Pr., [Conference or Workshop Item]
Mezini, Mira (2002):
Softwaretechnik.
In: 30 Jahre Informatik an deutschen Hochschulen. - Darmstadt : Techn. Univ., Fachbereich Informatik, 2002. - S. 108-109, Darmstadt, Techn. Univ., [Book Section]
Haupt, Michael ; Mezini, Mira ; Cilia, Mariano ; Buchmann, Alejandro (2002):
Towards event-based aspect-oriented runtime environments.
TUD-ST, Darmstadt, TUD, [Book]
Mezini, Mira (2002):
Towards Variational Object-Oriented Programming: the RONDO Model.
Software Technology Group, Darmstadt University of Technology, [Report]
Ostermann, Klaus ; Mezini, Mira (2001):
Object-oriented composition untangled.
In: OOPSLA '01: Proceedings of the 16th ACM SIGPLAN Conference on Object Oriented Programming, Systems, Languages and Applications, pp. 283-299,
International Conference on Object Oriented Programming, Systems, Languages and Applications, OOPSLA 2001, Tampa Bay, Florida, USA, October 14 – 18, 2001, [Conference or Workshop Item]
Herrmann, Stephan ; Mezini, Mira (2001):
LAC: Aspectual Components in Lua.
In: Workshop on Advanced Separation of Concerns at the 23rd International
Conference on Software Engineering,
[Conference or Workshop Item]
Hermann, Stephan ; Mezini, Mira (2001):
Combining Composition Styles in the Evolvable Language LAC.
International Workshop on Advanced Separation of Concerns, Toronto, ON, Canada, 15. Mai 2001, [Conference or Workshop Item]
Herrmann, Stephan ; Mezini, Mira (2001):
Connectors for bridging mismatches between the components of a software
engineering environment.
In: IEE Proceedings - Software, 148 (3), pp. 104--111. [Article]
Herrmann, Stephan ; Mezini, Mira ; Ostermann, Klaus (2001):
Joint efforts to dispel an approaching modularity crisis.
In: WCOP '01: Proceedings of the Sixth International Workshop on Component-Oriented
Programming,
[Conference or Workshop Item]
Hermann, Stephan ; Mezini, Mira ; Ostermann, Klaus (2001):
Joint efforts to dispel an approaching modularity crisis: Divide et impera, quo vadis?
6th International Workshop on Component- Oriented Programming (WCOP), Budapest, Hungary, 19. Jun. 2001, [Conference or Workshop Item]
Mezini, Mira ; Haupt, Michael (2001):
Neue Programmierparadigmen: Integrationsorientierte Programmierung.
In: OBJEKTspektrum, 2, pp. 48-53. ISSN 0945-0491,
[Article]
Mezini, Mira ; Ostermann, Klaus (2001):
Object Creation Aspects with Flexible Aspect Deployment.
[Report]
Ostermann, Klaus ; Mezini, Mira (2001):
Object-Oriented Composition is Tangled.
In: Workshop on Advanced Separation of Concerns at the 15th European
Conference on Object-Oriented Programming,
[Conference or Workshop Item]
Herrmann, Stephan ; Mezini, Mira (2000):
PIROL: a case study for multidimensional separation of concerns in software engineering environments.
In: OOPSLA '00: Proceedings of the 15th ACM SIGPLAN Conference on Object Oriented Programming, Systems, Languages and Applications, pp. 188-207,
Conference on Object Oriented Programming, Systems, Languages and Applications, OOPSLA 2000, Minneapolis, Minnesota USA, October 15-19, 2000, [Conference or Workshop Item]
Herrmann, Stephan ; Mezini, Mira (2000):
Pirol: A Case-Study for Multi-Dimensional Separation of Concerns
in Software-Engineering Environments.
In: Sigplan Notices, 35, In: OOPSLA '00: Proceedings of the 15th annual ACM SIGPLAN conference
on Object-oriented programming systems, languages, and applications,
[Conference or Workshop Item]
Pulvermüller, Elke ; Speck, Andreas ; Mezini, Mira (2000):
Reusability of Concerns.
International Workshop on Aspects and Dimensions of Concerns, co-hosted with the 14th European Conference on Object-Oriented Programming (ECOOP), 2000, Sophia Antipolis, France, June 11 - 12, 2000, [Conference or Workshop Item]
Pipka, Jens Uwe ; Mezini, Mira (2000):
Weiterentwicklung objektorientierter Softwaresysteme: Risiken und
deren Vermeidung.
In: Softwaretechnik-Trends, 20 (3), [Article]
Pipka, Jens Uwe ; Mezini, Mira (2000):
Weiterentwicklung objektorientierter Softwaresysteme: Risiken und deren Vermeidung.
In: Softwaretechnik-Trends, 20 (3), ISSN 0720-8928,
[Article]
Seiter, Linda M. ; Mezini, Mira ; Lieberherr, Karl (1999):
Dynamic Component Gluing.
In: Lecture Notes in Computer Science, 1799, In: GCSE'99: Proceedings of the 1st International Conference on Generative and Component-Based Software Engineering, pp. 134-164,
International Conference on Generative and Component-Based Software Engineering, First International Symposium, GCSE 1999, Erfurt, Germany, September 28-30, 1999, [Conference or Workshop Item]
Mezini, Mira ; Pipka, Jens Uwe (1999):
A Study of Java's Binary Compatibility.
In: Lecture Notes in Computer Science, 1799, In: STJA '99: Proceedings of Smalltalk and Java in Academia and Industry,
Smalltalk and Java in Academia and Industry, Erfurt, Germany, September 28-30, 1999, [Conference or Workshop Item]
Mezini, Mira ; Pipka, Jens Uwe ; Dittmar, Thorsten ; Boot, Wim (1999):
Detecting Evolution Incompatibilities by Analyzing Java Binaries.
In: Proceedings of the Technology of Object-Oriented Languages and Systems, pp. 126-135,
Technology of Object-Oriented Languages and Systems (TOOLS '99), Santa Barbara, CA, USA, 01-05.08.1999, [Conference or Workshop Item]
Lieberherr, Karl ; Lorenz, David ; Mezini, Mira (1999):
Programming with Aspectual Components.
College of Computer Science, Northeastern University, [Report]
Seiter, Linda ; Mezini, Mira ; Lieberherr, Karl (1999):
Dynamic Integration of Concerns.
International Workshop on Multi-Dimensional Separation of Concerns in Object-Oriented Systems, co-hosted with the ACM International Conference on Object-Oriented Programming, Systems, Languages and Applications (OOPSLA '99),1999, Denver, CO, USA, [Conference or Workshop Item]
Blando, Luis ; Lieberherr, Karl ; Mezini, Mira (1999):
Modeling Behavior with Personalities.
In: SEKE '99: Proceedings of the International Conference on Software Engineering and Knowledge Engineering,
11th International Conference on Software Engineering and Knowledge Engineering (SEKE '99), Kaiserslautern, Germany, 16.-19. June 1999, [Conference or Workshop Item]
Mezini, Mira (1999):
Separation of Concerns with Adaptive Plug-n-Play Components.
[Other]
Mezini, Mira (1998):
Variational Object-Oriented Programming Beyond Classes and Inheritance.
In: Kluwer International Series in Engineering & Computer Science, Kluwer Academic Publishers, ISBN 978-0792383130,
[Book]
Mezini, Mira ; Lieberherr, Karl (1998):
Adaptive Plug and Play Components for Evolutionary Software Development.
In: Proceedings of the 13th ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications, pp. 97-116,
Conference on Object Oriented Programming Systems Languages and Applications (OOPSLA '98), Vancouver, British Columbia, Canada, [Conference or Workshop Item]
Mezini, Mira ; Lieberherr, Karl (1998):
Adaptive plug-and-play components for evolutionary software development.
In: OOPSLA '98: Proceedings of the 13th ACM SIGPLAN conference on Object-oriented
programming, systems, languages, and applications, pp. 97--116,
ACM Press, Vancouver, British Columbia, Canada, ISBN 1-58113-005-8,
[Conference or Workshop Item]
Blando, Luis ; Lieberherr, Karl ; Mezini, Mira (1998):
Micro-Frameworks and Personalities.
International Workshop on Pragmatic Issues in Framework Design, co-hosted with the ACM International Conference on Object-Oriented Programming, Systems, Languages and Applications (OOPSLA '98),1998, Denver, CO, USA, [Conference or Workshop Item]
Mezini, Mira (1997):
Dynamic Object Modification Without Name Collisions.
In: Lecture Notes in Computer Science, 1241, In: ECOOP'97 — Object-Oriented Programming, pp. 190-219, [Book Section]
Mezini, Mira (1997):
Maintaining the Consistency of Class Libraries During Evolution.
In: Proceedings of OOPSLA'97: 12th Annual Conference on Object-Oriented Programming, Systems, Languages, and Applications, pp. 1-21,
12th Annual Conference on Object-Oriented Programming, Systems, Languages, and Applications (OOPSLA'97), Atlanta, GA, USA, 05-09.10.1997, [Conference or Workshop Item]
Mezini, Mira (1997):
Maintaining the consistency of class libraries during their evolution.
In: OOPSLA '97: Proceedings of the 12th ACM SIGPLAN conference on Object-oriented
programming, systems, languages, and applications, pp. 1--21,
ACM Press, Atlanta, Georgia, United States, ISBN 0-89791-908-4,
[Conference or Workshop Item]
Mezini, Mira (1996):
Dynamic Metaclass Construction for an Explicit Specialization Interface.
In: Proceedings of the 1st International Conference on Reflection, pp. 203-219,
1st International Conference on Reflection (Reflection '96), San Francisco, California, 21-23. April 1996, [Conference or Workshop Item]
Mezini, Mira (1996):
Advances in Object-Oriented Metalevel Architectures and Reflection.
pp. 265--290, CRC Press, [Book Section]
Mezini, Mira (1995):
Supporting Evolving Objects Without Giving Up Classes.
In: Proceedings of Technology of Object-Oriented Languages and Systems 1995, pp. 183-197,
18th International Conference on Technology of Object-Oriented Languages and Systems (TOOLS '95), [Conference or Workshop Item]
Mezini, Mira (1994):
A Framework for Supporting Subject-Oriented Programming.
Workshop on Subject-Oriented Programming, co-hosted with the ACM International Conference on Object-Oriented Programming, System, Languages and Applications (OOPSLA '94),1994, Denver, CO, USA, [Conference or Workshop Item]