Ernesto Pimentel - researchr profile publications

researchr

You are not signed in
Sign in
Sign up

[Clear Filters]

Publications tagged safe composition

A Theory of Software Product Line RefinementPaulo Borba, Leopoldo Teixeira, Rohit Gheyi. TCS, (0), 2012. [doi]

Safe Composition of TransformationsFlorian Heidenreich, Jan Kopcsek, Uwe Aßmann. jot, 10, 2011. [doi]

Safe Composition of Configuration Knowledge-Based Software Product LinesLeopoldo Teixeira, Borba, P., Gheyi, R.. In Software Engineering (SBES), 2011 25th Brazilian Symposium on. 2011: 263-272 [doi]

Safe compositional network sketches: formal frameworkAzer Bestavros, Assaf J. Kfoury, Andrei Lapets, Michael J. Ocean. hybrid 2010: 231-241 [doi]

Safe Composition of TransformationsFlorian Heidenreich, Jan Kopcsek, Uwe Aßmann. ICMT 2010: 108-122 [doi]

Using Reified Contextual Information for Safe Run-time Adaptation of Software Product LinesSagar Sunkle, Mario Pukall. 7th ECOOP'2010 Workshop on Reflection, AOP and Meta-Data for Software Evolution (RAM-SE'10), , June 2010.

Safe composition of non-monotonic featuresMartin Kuhlemann, Don S. Batory, Christian KÃ¤stner. GPCE 2009: 177-186 [doi]

Causing communication closure: safe program composition with reliable non-FIFO channelsKai Engelhardt, Yoram Moses. dc, 22(2):73-91, 2009. [doi]

A machine-checked model of safe compositionBenjamin Delaware, William R. Cook, Don S. Batory. foal 2009: 31-35 [doi]

Fitting the pieces together: a machine-checked model of safe compositionBenjamin Delaware, William R. Cook, Don S. Batory. FSE 2009: 243-252 [doi]

Towards safer compositionAndreas Classen, Patrick Heymans, Thein Than Tun, Bashar Nuseibeh. ICSE 2009: 227-230 [doi]

Safe Composition of Non-Monotonic FeaturesMartin Kuhlemann, Don S. Batory, Christian Kästner. In Proceedings of the 8th International Conference on Generative Programming and Component Engineering (GPCE). 2009:

Type-Safe Feature-Oriented Product LinesSven Apel, Christian Kästner, Armin Gr{\"o}{\ss}linger, Christian Lengauer. Technical Report MIP-0909, 2009.

Perpetuality for Full and Safe Composition (in a Constructive Setting)Delia Kesner. icalp 2008: 311-322 [doi]

Assessing query privileges via safe and efficient permission compositionSabrina De Capitani di Vimercati, Sara Foresti, Sushil Jajodia, Stefano Paraboschi, Pierangela Samarati. ccs 2008: 311-322 [doi]

Safe composition of product linesSahil Thaker, Don S. Batory, David Kitchin, William R. Cook. GPCE 2007: 95-104 [doi]

Typage de modèlesJim Steel. PhD thesis, Université de Rennes 1, April 2007.

Binary Change Set CompositionTijs van der Storm. cbse 2007: 17-32 [doi]

Strongly Typed Rewriting For Coupled Software TransformationAlcino Cunha, Joost Visser. ENTCS, 174(1):17-34, 2007. [doi]

A type-level approach to component prototypingLuís Barbosa, Jácome Cunha, Joost Visser. ESEC/FSE 2007: 23-36 [doi]

Robust Composition: Towards a Unified Approach to Access Control and Concurrency ControlMark Samuel Miller. PhD thesis, Johns Hopkins University, Baltimore, Maryland, USA, May 2006.

CompAr: Ensuring Safe Around Advice CompositionRenaud Pawlak, Laurence Duchien, Lionel Seinturier. fmoods 2005: 163-178 [doi]

Safe Composition of Real Time SoftwareIain Bate, Philippa Conmy. hase 2005: 79-88 [doi]

Uniform and safe metaclass compositionStéphane Ducasse, Nathanael Schärli, Roel Wuyts. Comp. Lang., Syst. \& Struct., 31(3-4):143-164, 2005. [doi]

Causing Communication Closure: Safe Program Composition with Non-FIFO ChannelsKai Engelhardt, Yoram Moses. wdag 2005: 229-243 [doi]

Safe Composition of Distributed Programs Communicating over Order-Preserving Imperfect ChannelsKai Engelhardt, Yoram Moses. iwdc 2005: 32-44 [doi]

Safe Object Composition in the Presence of SubtypingLorenzo Bettini, Viviana Bono, Silvia Likavec. ictcs 2005: 128-142 [doi]

Uniform and Safe Metaclass CompositionStéphane Ducasse, Nathanael Schärli, Roel Wuyts. Journal of Computer Languages, Systems and Structures, 31(3-4), dec 2005. [doi]

Safe compositional specification of networking systemsAzer Bestavros, Adam Bradley, Assaf J. Kfoury, Ibrahim Matta. ccr, 34(3):21-34, 2004. [doi]

Safe metaclass composition using mixin-based inheritanceNoury Bouraqadi. Comp. Lang., Syst. \& Struct., 30(1-2):49-61, 2004. [doi]

Safe Composition of Linda-based ComponentsAna M. Roldán, Ernesto Pimentel, Antonio Brogi. ENTCS, 82(6):180-189, 2003. [doi]

runs on WebDSL