Mira Mezini
#36,647
Most Influential Person Now
German computer scientist
Mira Mezini's AcademicInfluence.com Rankings
Mira Mezinicomputer-science Degrees
Computer Science
#1559
World Rank
#1613
Historical Rank
Software Engineering
#108
World Rank
#108
Historical Rank
Algorithms
#393
World Rank
#398
Historical Rank
Database
#6590
World Rank
#6825
Historical Rank
Download Badge
Computer Science
Why Is Mira Mezini Influential?
(Suggest an Edit or Addition)According to Wikipedia, Mira Mezini is a German computer scientist and Professor of Computer Science at the Department of Computer Science of the Technische Universität Darmstadt. She heads the software engineering group.
Mira Mezini's Published Works
Published Works
- Pi: a Pattern Language (2009) (374)
- Conquering aspects with Caesar (2003) (362)
- Aspect-oriented programming and modular reasoning (2005) (343)
- Learning from examples to improve code completion systems (2009) (343)
- Aspect-Oriented Web Service Composition with AO4BPEL (2004) (290)
- An Overview of CaesarJ (2006) (289)
- AO4BPEL: An Aspect-oriented Extension to BPEL (2007) (273)
- Variability management with feature-oriented programming and aspects (2004) (248)
- Adaptive plug-and-play components for evolutionary software development (1998) (248)
- Taming reflection: Aiding static analysis in the presence of reflection and custom class loaders (2011) (241)
- Hybrid web service composition: business processes meet business rules (2004) (223)
- Virtual machine support for dynamic join points (2004) (209)
- Automated API Property Inference Techniques (2013) (197)
- "Jumping Through Hoops": Why do Java Developers Struggle with Cryptography APIs? (2016) (194)
- Expressive Pointcuts for Increased Modularity (2005) (190)
- Programming with Aspectual Components (1999) (181)
- Engineering Event-Based Systems with Scopes (2002) (127)
- SPLLIFT: statically analyzing software product lines in minutes instead of years (2013) (111)
- Separation of Concerns with Procedures, Annotations, Advice and Pointcuts (2005) (110)
- Integrating independent components with on-demand remodularization (2002) (107)
- REScala: bridging between object-oriented and functional style in reactive applications (2014) (107)
- Mining framework usage changes from instantiation code (2008) (104)
- Defining and continuous checking of structural program dependencies (2008) (96)
- Da capo con scala: design and analysis of a scala benchmark suite for the java virtual machine (2011) (96)
- Component Integration with Pluggable Composite Adapters (2002) (95)
- Using aspects for security engineering of Web service compositions (2005) (92)
- CogniCrypt: Supporting developers in using cryptography (2017) (87)
- A Plug-in Architecture for Self-Adaptive Web Service Compositions (2009) (87)
- CrySL: An Extensible Approach to Validating the Correct Usage of Cryptographic APIs (2018) (81)
- A Systematic Evaluation of Static API-Misuse Detectors (2017) (81)
- What should developers be aware of? An empirical study on the directives of API documentation (2012) (80)
- MUBench: A Benchmark for API-Misuse Detectors (2016) (74)
- Pointcuts as Functional Queries (2004) (73)
- Mind the GAP: Security & Privacy Risks of Contact Tracing Apps (2020) (71)
- Aspect-Oriented Business Process Modeling with AO4BPMN (2010) (70)
- Intelligent Code Completion with Bayesian Networks (2015) (68)
- EScala: modular event-driven object interactions in scala (2011) (66)
- A Study of Visual Studio Usage in Practice (2016) (63)
- Object-oriented composition untangled (2001) (60)
- Detecting Missing Method Calls in Object-Oriented Software (2010) (60)
- FrUiT: IDE support for framework understanding (2006) (59)
- Dynamic Object Evolution without Name Collisions (1997) (57)
- Reliable, Secure, and Transacted Web Service Compositions with AO4BPEL (2006) (57)
- Finding Duplicates of Your Yet Unwritten Bug Report (2013) (51)
- Aspect-Oriented Workflow Languages (2006) (50)
- Semi-automatically extracting FAQs to improve accessibility of software development knowledge (2012) (48)
- An execution layer for aspect-oriented programming languages (2005) (46)
- Specifying and Monitoring Temporal Properties in Web Services Compositions (2009) (46)
- A Dynamic Software Product Line Approach Using Aspect Models at Runtime (2010) (46)
- Efficient control flow quantification (2006) (43)
- On aspectualizing component models (2003) (43)
- Adapting virtual machine techniques for seamless aspect support (2006) (42)
- Pegasus: first steps toward a naturalistic programming language (2006) (42)
- Micro-measurements for Dynamic Aspect-Oriented Systems (2004) (42)
- PIROL: a case study for multidimensional separation of concerns in software engineering environments (2000) (41)
- The SEXTANT Software Exploration Tool (2006) (39)
- The Convergence of AOP and Active Databases: Towards Reactive Middleware (2003) (39)
- An empirical study on program comprehension with reactive programming (2014) (38)
- An aspect-based process container for BPEL (2005) (38)
- Investigating Next Steps in Static API-Misuse Detection (2019) (38)
- Detecting missing method calls as violations of the majority rule (2013) (38)
- XIRC: a kernel for cross-artifact information engineering in software development environments (2004) (37)
- Distributed REScala: an update algorithm for distributed reactive programming (2014) (37)
- Variational Object-Oriented Programming Beyond Classes and Inheritance (1998) (37)
- Using Annotations to Check Structural Properties of Classes (2005) (35)
- Automatic Incrementalization of Prolog Based Static Analyses (2007) (34)
- JP2: Call-site aware calling context profiling for the Java Virtual Machine (2014) (33)
- Dependent classes (2007) (33)
- Call graph construction for Java libraries (2016) (33)
- The art of the meta-aspect protocol (2009) (33)
- Reactive behavior in object-oriented applications: an analysis and a research roadmap (2013) (33)
- Access-Path Abstraction: Scaling Field-Sensitive Data-Flow Analysis with Unbounded Access Paths (T) (2015) (32)
- On the Positive Effect of Reactive Programming on Software Comprehension: An Empirical Study (2017) (32)
- CodeMatch: obfuscation won't conceal your repackaged app (2017) (32)
- FlowTwist: efficient context-sensitive inside-out taint analysis for large codebases (2014) (32)
- Querying source code with natural language (2011) (31)
- Debugging for Reactive Programming (2016) (31)
- Maintaining the consistency of class libraries during their evolution (1997) (31)
- Towards secure integration of cryptographic software (2015) (31)
- Alice: Modularization of Middleware Using Aspect-Oriented Programming (2004) (30)
- IDE 2.0: collective intelligence in software development (2010) (30)
- Mining subclassing directives to improve framework reuse (2010) (28)
- Transactional BPEL Processes with AO4BPEL Aspects (2007) (27)
- Towards Distributed Reactive Programming (2013) (26)
- i3QL: language-integrated live data views (2014) (26)
- Comprehensive software understanding with SEXTANT (2005) (25)
- A flexible architecture for pointcut-advice language implementations (2007) (25)
- Portable and accurate collection of calling-context-sensitive bytecode metrics for the Java virtual machine (2011) (24)
- Enforcing system-wide properties (2004) (24)
- An architecture for composing embedded domain-specific languages (2010) (24)
- Enriching in-IDE process information with fine-grained source code history (2017) (23)
- On evaluating recommender systems for API usages (2008) (23)
- Combining Composition Styles in the Evolvable Language LAC (2001) (23)
- Declaring and Enforcing Dependencies Between .NET Custom Attributes (2004) (22)
- Judge: identifying, understanding, and evaluating sources of unsoundness in call graphs (2019) (22)
- Modules for Crosscutting Models (2003) (22)
- Evaluating the evaluations of code recommender systems: A reality check (2016) (22)
- Towards More Flexibility in Software Visualization Tools (2005) (22)
- Heuristic Strategies for Recommendation of Exception Handling Code (2012) (22)
- Virtual Machine Support for Aspects with Advice Instance Tables (2005) (21)
- Quantifying over Dynamic Properties of Program Execution (2005) (21)
- A co-contextual formulation of type rules and its application to incremental type checking (2015) (21)
- new Scala() instance of Java: a comparison of the memory behaviour of Java and Scala programs (2012) (21)
- Blending and reusing rules for architectural degradation prevention (2014) (20)
- Systematic evaluation of the unsoundness of call graph construction algorithms for Java (2018) (20)
- Fault-tolerant Distributed Reactive Programming (2018) (20)
- Type systems for the masses: deriving soundness proofs and efficient checkers (2015) (18)
- An In-Depth Look at ALIA4J (2012) (18)
- Programming with Implicit Flows (2014) (18)
- Envelope-Based Weaving for Faster Aspect Compilers (2005) (17)
- Versatile event correlation with algebraic effects (2018) (17)
- Towards Reactive Programming for Object-Oriented Applications (2013) (17)
- JEScala: modular coordination with declarative events and joins (2014) (17)
- Towards standardized evaluation of developer-assistance tools (2014) (17)
- Dynamic Component Gluing (1999) (16)
- Complete and Platform-Independent Calling Context Profiling for the Java Virtual Machine (2011) (16)
- Dynamically linked domain-specific extensions for advice languages (2008) (16)
- Naturalistic types (2011) (15)
- From Formal Access Control Policies to Runtime Enforcement Aspects (2009) (15)
- Middleware services for web service compositions (2005) (14)
- QScope: an open, extensible framework for measuring software projects (2006) (14)
- Turbo DiSL: Partial Evaluation for High-Level Bytecode Instrumentation (2012) (14)
- Language-integrated privacy-aware distributed queries (2019) (14)
- A Dataset of Simplified Syntax Trees for C# (2016) (14)
- Reliable Messaging for BPEL Processes (2006) (14)
- Hidden truths in dead software paths (2015) (13)
- Hidden in Plain Sight: Obfuscated Strings Threatening Your Privacy (2020) (13)
- Next in line, please!: exploiting the indirect benefits of inlining by accurately predicting further inlining (2011) (13)
- Thread-safe reactive programming (2018) (12)
- Online Reprogrammable Multi Tenant Switches (2019) (12)
- Transactions on Aspect-Oriented Software Development VII - A Common Case Study for Aspect-Oriented Modeling (2010) (12)
- DTN7: An Open-Source Disruption-tolerant Networking Implementation of Bundle Protocol 7 (2019) (12)
- MobCon: A Generative Middleware Framework for Java Mobile Applications (2005) (12)
- Hermes: assessment and creation of effective test corpora (2017) (11)
- Untangling crosscutting models with Caesar (2005) (11)
- Combining Formal Methods and Aspects for Specifying and Enforcing Architectural Invariants (2007) (11)
- A fault-tolerant programming model for distributed interactive applications (2019) (11)
- Multimodal Complex Event Processing on Mobile Devices (2018) (11)
- Incremental concrete syntax for embedded languages with support for separate compilation (2013) (11)
- An Overview of ALIA4J - An Execution Model for Advanced-Dispatching Languages (2011) (11)
- Hardening Java’s Access Control by Abolishing Implicit Privilege Elevation (2017) (11)
- Reusability of Concerns (2000) (11)
- Redundancy-free Residual Dispatch (2008) (10)
- CPL: a core language for cloud computing (2016) (10)
- Object Creation Aspects with Flexible Aspect Deployment (2001) (10)
- Component Composition Using Feature Models (2010) (10)
- Towards event-based aspect-oriented runtime environments (2002) (10)
- A Co-contextual Type Checker for Featherweight Java (2017) (9)
- How to Avoid Making a Billion-Dollar Mistake: Type-Safe Data Plane Programming with SafeP4 (2019) (9)
- Method-call recommendations from implicit developer feedback (2014) (9)
- Incremental concrete syntax for embedded languages (2011) (9)
- Modular specification and checking of structural dependencies (2013) (9)
- Composing Non-functional Concerns in Composite Web Services (2011) (9)
- Getting to know you: towards a capability model for Java (2015) (9)
- Supporting Evolving Objects Without Giving Up Classes (1995) (9)
- Exploration of language specifications by compilation to first-order logic (2016) (9)
- A Comparison of Program Generation with Aspect-Oriented Programming (2004) (9)
- Redundancy-free residual dispatch: using ordered binary decision diagrams for efficient dispatch (2008) (9)
- Model-Driven Engineering of Machine Executable Code (2010) (8)
- Composing Non-functional Concerns in Web Services (2011) (8)
- Debugging Reactive Programming with Reactive Inspector (2016) (8)
- CrySL: Validating Correct Usage of Cryptographic APIs (2017) (8)
- Opportunistic named functions in disruption-tolerant emergency networks (2018) (8)
- Dynamic Virtual Join Point Dispatch (2006) (8)
- A recommendation system for exception handling code (2012) (8)
- A Dataset of Parametric Cryptographic Misuses (2019) (8)
- Integrating and Scheduling an Open Set of Static Analyses (2006) (8)
- Visibility as central abstraction in event-based systems (2002) (7)
- A Unified Lattice Model and Framework for Purity Analyses (2018) (7)
- Incremental Confined Types Analysis (2006) (7)
- Language support for model-driven software development (2008) (7)
- Headroom-based pretenuring: dynamically pretenuring objects that live "long enough" (2010) (7)
- Modular specification and dynamic enforcement of syntactic language constraints when generating code (2014) (7)
- Untangling crosscutting concerns in domain-specific languages with domain-specific join points (2009) (7)
- DTN-RPC: Remote procedure calls for disruption-tolerant networking (2017) (7)
- LoRAgent: A DTN-based Location-aware Communication System using LoRa (2020) (7)
- Joint efforts to dispel an approaching modularity crisis: Divide et impera, quo vadis? (2001) (7)
- Dynamic Metaclass Construction for an Explicit Specialization Interface (1996) (6)
- Using Vampire in Soundness Proofs of Type Systems (2016) (6)
- Clustering for Generating Framework Top-Level Views (2007) (6)
- Proceedings of the 2013 9th Joint Meeting on Foundations of Software Engineering (2013) (6)
- Lattice based modularization of static analyses (2018) (6)
- Aspects and class-based security: a survey of interactions between advice weaving and the Java 2 security model (2008) (6)
- Incremental overload resolution in object-oriented programming languages (2018) (6)
- Towards Aspect-Aware Execution Models (2003) (6)
- Supporting Variability with Late Semantic Adaptations of Domain-Specific Modeling Languages (2010) (6)
- Modular collaborative program analysis in OPAL (2020) (6)
- A programming model for semi-implicit parallelization of static analyses (2020) (6)
- Modeling Behavior with Personalities (1999) (6)
- π: a pattern language (2009) (5)
- Building modular object-oriented systems with reusable collaborations (2000) (5)
- Weaving Aspects and Business Processes through Model Transformation (2014) (5)
- Management Requirements of Web Service Compositions (2007) (5)
- Dynamic Object Modification Without Name Collisions (1997) (5)
- Proceedings of the 25th European conference on Object-oriented programming (2011) (5)
- Transactions on Aspect-Oriented Software Development VIII (2011) (5)
- Connectors for bridging mismatches between the components of a software engineering environment (2001) (5)
- A Systematic Evaluation of API-Misuse Detectors (2017) (5)
- Declarative Events for Object-Oriented Programming (2010) (5)
- Aspect-based enforcement of formal delegation policies (2008) (5)
- Dynamic Anomaly Detection for More Trustworthy Outsourced Computation (2012) (4)
- On the extensibility requirements of business applications (2012) (4)
- QL : Language-Integrated Live Data Views (2014) (4)
- Non-functional concerns in web services: requirements and state of the art analysis (2010) (4)
- SecureScala: Scala embedding of secure computations (2016) (4)
- Automating Proof Steps of Progress Proofs: Comparing Vampire and Dafny (2017) (4)
- Reducing human factors in software security architectures (2013) (4)
- Investigating Order Information in API-Usage Patterns: A Benchmark and Empirical Study (2018) (4)
- A holistic approach for access control policies: from formal specification to aspect-based enforcement (2009) (4)
- Smart Street Lights and Mobile Citizen Apps for Resilient Communication in a Digital City (2019) (4)
- Towards Variational Object-Oriented Programming: the RONDO Model (2002) (4)
- Improving Code Recommender Systems using Boolean Factor Analysis and Graphical Models (2008) (4)
- Detecting evolution incompatibilities by analyzing Java binaries (1999) (3)
- Middleware Support for BPEL Workflows in the AO4BPEL Engine (2006) (3)
- Dependently-typed data plane programming (2022) (3)
- On the Need for a Unified MDSOC Model: Experiences from Constructing a Modular Software Engineering Environment (2000) (3)
- Python Crypto Misuses in the Wild (2021) (3)
- Understanding multilayered applications for building extensions (2013) (3)
- Dealing with Variability in API Misuse Specification (2021) (3)
- AMPLE : Supporting Product Line Engineering through Synthesis of Aspect-Oriented and Model-Driven Development (2008) (3)
- ReactiFi: Reactive Programming of Wi-Fi Firmware on Mobile Devices (2020) (3)
- A Survey on Interactive Grouping and Filtering in Graph-based Software Visualizations (2007) (3)
- Comprehensive Multiparty Session Types (2019) (3)
- Impact of programming languages on machine learning bugs (2021) (3)
- VM performance evaluation with functional models: an optimist's outlook (2009) (3)
- Towards a Circular Economy of Industrial Software (2020) (2)
- Building extensions for applications: Towards the understanding of extension possibilities (2013) (2)
- ECOOP 2011 – Object-Oriented Programming (2011) (2)
- Multidimensional Virtual Classes (2006) (2)
- i3QL (2014) (2)
- Abmash: mashing up legacy Web applications by automated imitation of human actions (2013) (2)
- Towards exploring cross-cutting concerns (2005) (2)
- Reactive programming experience with REScala (2018) (2)
- Cooperative decoupled processes: the e-calculus and linearity (2016) (2)
- Proceedings of the 2004 Dynamic Aspects Workshop (2004) (2)
- Finding bugs in program generators by dynamic analysis of syntactic language constraints (2014) (2)
- H2020 ICT R&D&I beyond 2015 (2014) (2)
- Distributed REScala (2014) (2)
- Blurring the Borders between Object Composition , Inheritance , and Delegation (2002) (2)
- A survey on non-functional concerns in web services (2012) (2)
- eAssignment: a case for EMF (2005) (2)
- Product line implementation with ECaesarJ (2011) (2)
- Towards virtual traits in Scala (2014) (2)
- Magic for the masses: safer high-level low-level programming through customizable static analyses (2011) (1)
- Application of aspect-oriented programming to workflows : the case of web service composition with AO4BPEL (2005) (1)
- Template constructors for reusable object initialization (2014) (1)
- Cooperative decoupled processes (2018) (1)
- Building Modular Ob ject-Oriented Systems with Reusable Collaborat ions (2000) (1)
- TACAI: an intermediate representation based on abstract interpretation (2020) (1)
- Incremental Variations in Object-Oriented Programming (1998) (1)
- Improving code recommender systems by incorporating domain knowledge and graphical models (2008) (1)
- Incremental Redeenition of Open Implementations (1996) (1)
- Towards safe modular composition of network functions (2018) (1)
- Optimizing Data Plane Programs for the Network (2019) (1)
- Prisma: A Tierless Language for Enforcing Contract-Client Protocols in Decentralized Applications (Extended Version) (2022) (1)
- XPoints: Extension Interfaces for Multilayered Applications (2013) (1)
- Proceedings of the 2010 ICSE Workshop on Product Line Approaches in Software Engineering, PLEASE 2010, Cape Town, South Africa, May 2, 2010 (2010) (1)
- Addressing scalability in API method call analytics (2016) (1)
- CamBench - Cryptographic API Misuse Detection Tool Benchmark Suite (2022) (1)
- Towards Conflict-Free Composition of Non-functional Concerns (2012) (1)
- An aspect-oriented framework for specification and enforcement of non-functional concerns in WS-BPEL (2012) (1)
- Toward incremental type checking for Java (2015) (1)
- Joint Meeting of the European Software Engineering Conference and the ACM SIGSOFT Symposium on the Foundations of Software Engineering, ESEC/FSE'13, Saint Petersburg, Russian Federation, August 18-26, 2013 (2013) (1)
- What should developers be aware of? An empirical study on the directives of API documentation (2011) (1)
- Proceedings of the 2004 Dynamic Aspects Workshop (DAW04) (2004) (1)
- Using Vampire with Support for Algebraic Datatypes in Type Soundness Proofs (2018) (1)
- System Description: An Infrastructure for Combining Domain Knowledge with Automated Theorem Provers (2018) (1)
- Modeling Civilian Mobility in Large-Scale Disasters (2021) (1)
- Fex: Assisted Identification of Domain Features from C Programs (2021) (1)
- CPL: A Core Language for Cloud Computing - Technical Report (2016) (1)
- First International Workshop on Product Line Approaches in Software Engineering (PLEASE 2010) (2010) (1)
- A Natural Language Interface for Code Search (2011) (0)
- Programming and execution models for next generation code intelligence systems (keynote) (2021) (0)
- Proceedings of the 1st Workshop on Virtual Machines and Intermediate Languages for Emerging Modularization Mechanisms, VMIL 2007, Vancouver, British Columbia, Canada, March 12-16, 2007 (2007) (0)
- Organizing Committee General Workshop Organization 1st International Workshop on Model-driven Product Line Engineering Table of Contents @bullet Interactive Techniques to Support the Configuration of Complex Feature Models 1 @bullet Functional Hazard Assessment in Product-lines -a Model-based Approa (2009) (0)
- Micro-Frameworks and Personalities (1998) (0)
- 1st Workshop on Virtual Machines and Intermediate Languages for Emerging Modularization Mechanisms : VMIL '07 : held at the 6th International Conference on Aspect-Oriented Software Development, March 12-16, 2007, Vancouver, British Columbia, Canada (2007) (0)
- Prisma: A Tierless Language for Enforcing Contract-Client Protocols in Decentralized Applications (Extended Abstract) (2022) (0)
- Session details: Concurrency 1 (2013) (0)
- Dynamic Integration of Concerns (1999) (0)
- CiFi: Versatile Analysis of Class and Field Immutability (2021) (0)
- Uncovering the Hidden Dangers: Finding Unsafe Go Code in the Wild (2020) (0)
- Modeling Context-Dependent Behavior Variations (1998) (0)
- On the Impact of Order Information in API Usage Patterns (2018) (0)
- Connectors for Reusable Aspects (2010) (0)
- Proceedings of the 4th international conference on Aspect-oriented software development (2005) (0)
- Cooperative decoupled processes (2017) (0)
- Session details: Being empirical (2011) (0)
- Incrementalization of Static Analyses (2006) (0)
- Proceedings of the 4th International Conference on Aspect-Oriented Software Development, AOSD 2005, Chicago, Illinois, USA, March 14-18, 2005 (2005) (0)
- First-order theorem prover Type-checker generator Domain-specific optimization strategies Constraint generator / solver check applicability with Type Systems for the Masses : Deriving Soundness Proofs and E � cient Checkers (2015) (0)
- An Efficient Runtime System for Reactive Programming (2015) (0)
- Separation of Concerns with Adaptive Plug-n-Play Components (1999) (0)
- jGuard: Programming Misuse-Resilient APIs (2022) (0)
- Session details: Software architecture and modelling (2009) (0)
- Extension Interfaces for Multilayered Applications (2013) (0)
- Transparent and Efficient Reuse of IFDS-based Static Program Analyses for Software Product Lines (2012) (0)
- REScala (2014) (0)
- GRASS: generic reactive application-specific scheduling (2019) (0)
- A Denotational Semantics of RONDO (1998) (0)
- LoRe: A Programming Model for Verifiably Safe Local-First Software (2023) (0)
- Fig.9. Pricing Component Adapter -succinct Speciication 4 Related Work 3.1 Dynamic, Non-invasive F Ramework Deployment Fig. 5. Pricing Framework Class Model (1999) (0)
- Proceedings of the 1 st International Workshop on Model-Driven Product Line Engineering ( MDPLE ' 2009 ) (2010) (0)
- Language support for multiple privacy enhancing technologies (2019) (0)
- Encrypted Replicated Data Types within REScala (2022) (0)
- To Fix or Not to Fix: A Critical Study of Crypto-misuses in the Wild (2022) (0)
- Example Project, Library Source and Benchmark Suite and Tools for Article "Thread-Safe Reactive Programming" (2018) (0)
- 4th Workshop for Doctoral Students in Object-Oriented Systems (1994) (0)
- Requirements for a Specification Language for Data and Information Flow, and A Literature Review of Analytical and Constructive Research on the Java Native Interface (2017) (0)
- A Framework for Supporting Subject-Oriented Programming (1994) (0)
- NerdBug: automated bug detection in neural networks (2021) (0)
- JP2: collecting dynamic bytecode metrics in JVMs (2011) (0)
- 4th Workshop for Doctoral Student in Object-Oriented Systems, Held in Conjunction with ECOOP'94 (Report) (1994) (0)
- Prisma: A Tierless Language for Enforcing Contract-Client Protocols in Decentralized Applications (Artifact) (2022) (0)
- RONDO at Work: Managing the Evolution of Class Libraries (1998) (0)
- Development Task Query in Natural Language Translation to a Code Query Engine Displaying the Search Results (2018) (0)
- Session details: Architecture and design (2012) (0)
- 7th International Conference on Aspect-Oriented Software Development : research track proceedings : March 31st-April 4th 2008, Brussels, Belgium (2008) (0)
- SPL LIFT — Transparent and Efficient Reuse of IFDS-based Static Program Analyses for Software Product Lines (2013) (0)
- RONDO or a Theme on Variations (1998) (0)
- A Study of Java's Binary Compatibility (1999) (0)
- The ClassCombiner: A Framework for Supporting Subjectivity in Class-Based Object-Oriented Systems (1995) (0)
- Type-safe, Polyvariadic Event Correlation (2019) (0)
- Components in Event-Based Systems (2003) (0)
- Event-driven programming with EScala (2011) (0)
- Language support for model-driven development. (2004) (0)
This paper list is powered by the following services:
Other Resources About Mira Mezini
What Schools Are Affiliated With Mira Mezini?
Mira Mezini is affiliated with the following schools: