Author Info
Name
Affiliation
Papers
MICHAEL LIENHARDT
PPS Laboratory, Paris Diderot University, France
20
Collaborators
Citations 
PageRank 
28
75
8.24
Referers 
Referees 
References 
106
602
465
Search Limit
100602
Title
Citations
PageRank
Year
A formal model for Multi Software Product Lines.00.342019
On checking delta-oriented product lines of statecharts.10.352018
Interoperability of software product line variants.20.392018
Multi Software Product Lines in the Wild.10.352018
An Extension of the ABS Toolchain with a Mechanism for Type Checking SPLs.20.362017
A Unified and Formal Programming Model for Deltas and Traits.60.462017
Dynamic Rebinding for Concurrent Object Groups: Theory and practice.00.342017
A Formal Model for Multi SPLs.30.372017
Abstraction Refinement for the Analysis of Software Product Lines.00.342017
Refactoring Delta-Oriented Product Lines to Enforce Guidelines for Efficient Type-Checking.30.382016
On Type Checking Delta-Oriented Product Lines.100.472016
On the Integration of Automatic Deployment into the ABS Modeling Language30.412015
Fault Model Design Space for Cooperative Concurrency.20.402014
Concurrent flexible reversibility40.462013
A reversible abstract machine and its space overhead130.662012
An object group-based component model30.402012
A component model for the ABS language40.422010
Typing Component-Based Communication Systems40.442009
Typing communicating component assemblages30.392008
Oz/K: a kernel language for component-based open programming110.542007