Charles Consel

Int. J. Hum. Comput. Interact., 2020

A tool-based methodology for long-term activity monitoring.

[BibT_eX]

[DOI]

Rafik Belloum

Proceedings of the PETRA '20: The 13th PErvasive Technologies Related to Assistive Environments Conference, Corfu, Greece, June 30, 2020

End-user development of activity-supporting services for smart homes.

[BibT_eX]

[DOI]

Rafik Belloum

Proceedings of the 2020 IEEE International Conference on Pervasive Computing and Communications Workshops, 2020

2019

Early Detection of Mild Cognitive Impairment With In-Home Monitoring Sensor Technologies Using Functional Measures: A Systematic Review.

[BibT_eX]

[DOI]

IEEE J. Biomed. Health Informatics, 2019

An emotion regulation app for school inclusion of children with ASD: Design principles and evaluation.

[BibT_eX]

[DOI]

Comput. Educ., 2019

2018

Towards context-aware assistive applications for aging in place via real-life-proof activity detection.

[BibT_eX]

[DOI]

J. Ambient Intell. Smart Environ., 2018

A Language for Online State Processing of Binary Sensors, Applied to Ambient Assisted Living.

[BibT_eX]

[DOI]

Proc. ACM Interact. Mob. Wearable Ubiquitous Technol., 2018

A Domain-Specific Approach to Unifying the Many Dimensions of Context-Aware Home Service Development.

[BibT_eX]

[DOI]

Adrien Carteron

Proceedings of the 2018 IEEE SmartWorld, 2018

Assistive computing: a human-centered approach to developing computing support for cognition.

[BibT_eX]

[DOI]

Proceedings of the 40th International Conference on Software Engineering: Software Engineering in Society, 2018

Implementing a semi-causal domain-specific language for context detection over binary sensors.

[BibT_eX]

[DOI]

Bernard P. Serpette

Proceedings of the 17th ACM SIGPLAN International Conference on Generative Programming: Concepts and Experiences, 2018

2017

Frameworks compiled from declarations: a language-independent approach.

[BibT_eX]

[DOI]

Paul van der Walt

Emilie Balland

Softw. Pract. Exp., 2017

Designing parallel data processing for enabling large-scale sensor applications.

[BibT_eX]

[DOI]

Pers. Ubiquitous Comput., 2017

Designing an accessible and engaging email application for aging in place.

[BibT_eX]

[DOI]

Proceedings of the 2017 IEEE SmartWorld, 2017

Internet of Things: From Small- to Large-Scale Orchestration.

[BibT_eX]

[DOI]

Proceedings of the 37th IEEE International Conference on Distributed Computing Systems, 2017

HomeAssist: An Assisted Living Platform for Aging in Place Based on an Interdisciplinary Approach.

[BibT_eX]

[DOI]

Lucile Dupuy

Hélène Sauzéon

Proceedings of the Advances in Human Factors and Ergonomics in Healthcare and Medical Devices, 2017

2016

Tablet-Based Activity Schedule in Mainstream Environment for Children with Autism and Children with ID.

[BibT_eX]

[DOI]

ACM Trans. Access. Comput., 2016

Self determination-based design to achieve acceptance of assisted living technologies for older adults.

[BibT_eX]

[DOI]

Lucile Dupuy

Hélène Sauzéon

Comput. Hum. Behav., 2016

Leveraging Declarations over the Lifecycle of Large-Scale Sensor Applications.

[BibT_eX]

[DOI]

Proceedings of the 2016 Intl IEEE Conferences on Ubiquitous Intelligence & Computing, 2016

Designing Parallel Data Processing for Large-Scale Sensor Orchestration.

[BibT_eX]

[DOI]

Proceedings of the 2016 Intl IEEE Conferences on Ubiquitous Intelligence & Computing, 2016

Improving the Reliability of Pervasive Computing Applications by Continuous Checking of Sensor Readings.

[BibT_eX]

[DOI]

Adrien Carteron

Proceedings of the 2016 Intl IEEE Conferences on Ubiquitous Intelligence & Computing, 2016

2015

An evaluation of the DiaSuite toolset by professional developers: learning cost and usability.

[BibT_eX]

[DOI]

Proceedings of the 6th Workshop on Evaluation and Usability of Programming Languages and Tools, 2015

Orchestrating masses of sensors: a design-driven development Approach.

[BibT_eX]

[DOI]

Proceedings of the 2015 ACM SIGPLAN International Conference on Generative Programming: Concepts and Experiences, 2015

A Unifying Notification System To Scale Up Assistive Services.

[BibT_eX]

[DOI]

Lucile Dupuy

Hélène Sauzéon

Proceedings of the 17th International ACM SIGACCESS Conference on Computers & Accessibility, 2015

2014

DiaSuite: A tool suite to develop Sense/Compute/Control applications.

[BibT_eX]

[DOI]

Sci. Comput. Program., 2014

Internet of Things: A Challenge for Software Engineering.

[BibT_eX]

[DOI]

ERCIM News, 2014

Tablet-based activity schedule for children with autism in mainstream environment.

[BibT_eX]

[DOI]

Proceedings of the 16th international ACM SIGACCESS conference on Computers & accessibility, 2014

Verification of daily activities of older adults: a simple, non-intrusive, low-cost approach.

[BibT_eX]

[DOI]

Proceedings of the 16th international ACM SIGACCESS conference on Computers & accessibility, 2014

2013

DiaSim: a simulator for pervasive computing applications.

[BibT_eX]

[DOI]

Julien Bruneau

Softw. Pract. Exp., 2013

Denotational Semantics of A User-Oriented, Domain-Specific Language.

[BibT_eX]

[DOI]

Julien Mercadal

Proceedings of the Semantics, 2013

Design-driven Development of Dependable Applications - A Case Study in Avionics.

[BibT_eX]

Proceedings of the PECCS 2013, 2013

A case for human-driven software development.

[BibT_eX]

[DOI]

Proceedings of the 35th International Conference on Software Engineering, 2013

Design-driven development methodology for resilient computing.

[BibT_eX]

[DOI]

Proceedings of the CBSE'13, 2013

2012

Taxonomy-driven prototyping of home automation applications: A novice-programmer visual language and its evaluation.

[BibT_eX]

[DOI]

J. Vis. Lang. Comput., 2012

Toward a Tool-Based Development Methodology for Pervasive Computing Applications.

[BibT_eX]

[DOI]

IEEE Trans. Software Eng., 2012

Towards a Tool-based Development Methodology for Pervasive Computing Applications

[BibT_eX]

[DOI]

CoRR, 2012

Virtual Testing for Smart Buildings.

[BibT_eX]

[DOI]

Proceedings of the 2012 Eighth International Conference on Intelligent Environments, 2012

An experimental study of a design-driven, tool-based development approach.

[BibT_eX]

[DOI]

Proceedings of the First International Workshop on User Evaluation for Software Engineering Researchers, 2012

2011

Faire levier sur les architectures logicielles pour guider et vérifier le développement d'applications SCC

[BibT_eX]

[DOI]

CoRR, 2011

DiaSuite: a paradigm-oriented software development approach.

[BibT_eX]

[DOI]

Proceedings of the 2011 ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation, 2011

Leveraging software architectures to guide and verify the development of sense/compute/control applications.

[BibT_eX]

[DOI]

Proceedings of the 33rd International Conference on Software Engineering, 2011

A Step-Wise Approach for Integrating QoS throughout Software Development.

[BibT_eX]

[DOI]

Stéphanie Gatti

Emilie Balland

Proceedings of the Fundamental Approaches to Software Engineering, 2011

Architecturing Conflict Handling of Pervasive Computing Resources.

[BibT_eX]

[DOI]

Henner Jakob

Nicolas Loriant

Proceedings of the Distributed Applications and Interoperable Systems, 2011

2010

A visual, open-ended approach to prototyping ubiquitous computing applications.

[BibT_eX]

[DOI]

Proceedings of the Eigth Annual IEEE International Conference on Pervasive Computing and Communications, 2010

A tool suite to prototype pervasive computing applications.

[BibT_eX]

[DOI]

Damien Cassou

Julien Bruneau

Proceedings of the Eigth Annual IEEE International Conference on Pervasive Computing and Communications, 2010

A domain-specific approach to architecturing error handling in pervasive computing.

[BibT_eX]

[DOI]

Proceedings of the 25th Annual ACM SIGPLAN Conference on Object-Oriented Programming, 2010

Towards a tool-based development methodology for sense/compute/control applications.

[BibT_eX]

[DOI]

Proceedings of the Companion to the 25th Annual ACM SIGPLAN Conference on Object-Oriented Programming, 2010

Open platforms: new challenges for software engineering.

[BibT_eX]

[DOI]

Emilie Balland

Proceedings of the SPLASH Workshop on Programming Support Innovations for Emerging Distributed Applications (PSI EtA, 2010

Preliminary Results in Virtual Testing for Smart Buildings.

[BibT_eX]

[DOI]

Proceedings of the Mobile and Ubiquitous Systems: Computing, Networking, and Services, 2010

SIP as a Universal Communication Bus: A Methodology and an Experimental Study.

[BibT_eX]

[DOI]

Proceedings of IEEE International Conference on Communications, 2010

2009

DiaSim: A Parameterized Simulator for Pervasive Computing Applications.

[BibT_eX]

[DOI]

Wilfried Jouve

Julien Bruneau

Proceedings of the Seventh Annual IEEE International Conference on Pervasive Computing and Communications, 2009

An aspect-oriented approach to securing distributed systems.

[BibT_eX]

[DOI]

Henner Jakob

Nicolas Loriant

Proceedings of the 2009 international conference on Pervasive services, 2009

A generative programming approach to developing pervasive computing systems.

[BibT_eX]

[DOI]

Proceedings of the Generative Programming and Component Engineering, 2009

A Taxonomy-Driven Approach to Visually Prototyping Pervasive Computing Applications.

[BibT_eX]

[DOI]

Julien Mercadal

Proceedings of the Domain-Specific Languages, IFIP TC 2 Working Conference, 2009

2008

Remote specialization for efficient embedded operating systems.

[BibT_eX]

[DOI]

ACM Trans. Program. Lang. Syst., 2008

High-level Programming Support for Robust Pervasive Computing Applications.

[BibT_eX]

[DOI]

Proceedings of the Sixth Annual IEEE International Conference on Pervasive Computing and Communications (PerCom 2008), 2008

DSLs: the good, the bad, and the ugly.

[BibT_eX]

[DOI]

Proceedings of the Companion to the 23rd Annual ACM SIGPLAN Conference on Object-Oriented Programming, 2008

A SIP-Based Programming Framework for Advanced Telephony Applications.

[BibT_eX]

[DOI]

Proceedings of the Principles, 2008

Pantaxou: a domain-specific language for developing safe coordination services.

[BibT_eX]

[DOI]

Proceedings of the Generative Programming and Component Engineering, 2008

2007

Ontology-Directed Generation of Frameworks for Pervasive Service Development.

[BibT_eX]

[DOI]

Proceedings of the Fifth Annual IEEE International Conference on Pervasive Computing and Communications, 2007

A stepwise approach to developing languages for SIP telephony service creation.

[BibT_eX]

[DOI]

Proceedings of the Principles, 2007

Staging telephony service creation: a language approach.

[BibT_eX]

[DOI]

Fabien Latry

Julien Mercadal

Proceedings of the Principles, 2007

2006

Efficient Packet Processing in User-Level OSes: A Study of UML.

[BibT_eX]

[DOI]

Proceedings of the LCN 2006, 2006

Minimizing Cache Misses in an Event-driven Network Server: A Case Study of TUX.

[BibT_eX]

[DOI]

Julia Lawall

Proceedings of the LCN 2006, 2006

Memory-manager/scheduler co-design: optimizing event-driven servers to improve cache behavior.

[BibT_eX]

[DOI]

Julia Lawall

Proceedings of the 5th International Symposium on Memory Management, 2006

Language Technology for Internet-Telephony Service Creation.

[BibT_eX]

[DOI]

Proceedings of IEEE International Conference on Communications, 2006

A Multimedia-Specific Approach to WS-Agreement.

[BibT_eX]

[DOI]

Proceedings of the Fourth IEEE European Conference on Web Services (ECOWS 2006), 2006

2005

Clearwater: extensible, flexible, modular code generation.

[BibT_eX]

[DOI]

Proceedings of the 20th IEEE/ACM International Conference on Automated Software Engineering (ASE 2005), 2005

A Generative Programming Approach to Developing DSL Compilers.

[BibT_eX]

[DOI]

Proceedings of the Generative Programming and Component Engineering, 2005

2004

A tour of Tempo: a program specializer for the C language.

[BibT_eX]

[DOI]

Sci. Comput. Program., 2004

Specialization Scenarios: A Pragmatic Approach to Declaring Program Specialization.

[BibT_eX]

[DOI]

High. Order Symb. Comput., 2004

Infopipes: The ISL/ISG Implementation Evaluation.

[BibT_eX]

[DOI]

Proceedings of the 3rd IEEE International Symposium on Network Computing and Applications (NCA 2004), 30 August, 2004

Automatic Specialization of Protocol Stacks.

[BibT_eX]

[DOI]

Proceedings of the 29th Annual IEEE Conference on Local Computer Networks (LCN 2004), 2004

Remote customization of systems code for embedded devices.

[BibT_eX]

[DOI]

Proceedings of the EMSOFT 2004, 2004

2003

Automatic program specialization for Java.

[BibT_eX]

[DOI]

Ulrik Pagh Schultz

ACM Trans. Program. Lang. Syst., 2003

A Programmable Client-Server Model: Robust Extensibility via DSLs.

[BibT_eX]

[DOI]

Laurent Réveillère

Proceedings of the 18th IEEE International Conference on Automated Software Engineering (ASE 2003), 2003

Spidle: A DSL Approach to Specifying Streaming Applications.

[BibT_eX]

[DOI]

Proceedings of the Generative Programming and Component Engineering, 2003

A DSL Paradigm for Domains of Services: A Study of Communication Services.

[BibT_eX]

[DOI]

Laurent Réveillère

Proceedings of the Domain-Specific Program Generation, International Seminar, 2003

From a Program Family to a Domain-Specific Language.

[BibT_eX]

[DOI]

Proceedings of the Domain-Specific Program Generation, International Seminar, 2003

2002

Domain-Specific Languages: What, Why, How.

[BibT_eX]

[DOI]

Proceedings of the Second Workshop on Language Descriptions, Tools and Applications, 2002

Towards bridging the gap between programming languages and partial evaluation.

[BibT_eX]

[DOI]

Proceedings of the 2002 ACM SIGPLAN Workshop on Partial Evaluation and Semantics-Based Program Manipulation (PEPM '02), 2002

An Environment for Building Customizable Software Components.

[BibT_eX]

[DOI]

Benoît Escrig

Proceedings of the Component Deployment, IFIP/ACM Working Conference, 2002

The Abstraction and Instantiation of String-Matching Programs.

[BibT_eX]

[DOI]

Proceedings of the Essence of Computation, Complexity, Analysis, 2002

2001

Specialization tools and techniques for systematic optimization of system software.

[BibT_eX]

[DOI]

ACM Trans. Comput. Syst., 2001

WebCaL - a domain specific language for web caching.

[BibT_eX]

[DOI]

Luciano Porto Barreto

Comput. Commun., 2001

2000

Java bytecode compression for low-end embedded systems.

[BibT_eX]

[DOI]

ACM Trans. Program. Lang. Syst., 2000

Selected Papers from PEPM'97 - Foreword.

[BibT_eX]

[DOI]

Theor. Comput. Sci., 2000

Static and Dynamic Program Compilation by Interpreter Specialization.

[BibT_eX]

[DOI]

High. Order Symb. Comput., 2000

Towards robust OSes for appliances: a new approach based on domain-specific languages.

[BibT_eX]

[DOI]

Luciano Porto Barreto

Fabrice Mérillon

Laurent Réveillère

Proceedings of the 9th ACM SIGOPS European Workshop, 2000

Devil: An IDL for Hardware Programming.

[BibT_eX]

[DOI]

Proceedings of the 4th Symposium on Operating System Design and Implementation (OSDI 2000), 2000

Specialization Patterns.

[BibT_eX]

[DOI]

Ulrik Pagh Schultz

Proceedings of the Fifteenth IEEE International Conference on Automated Software Engineering, 2000

A DSL Approach to Improve Productivity and Safety in Device Drivers Development.

[BibT_eX]

[DOI]

Proceedings of the Fifteenth IEEE International Conference on Automated Software Engineering, 2000

A Declarative Approach for Designing and Developing Adaptive Components.

[BibT_eX]

[DOI]

Proceedings of the Fifteenth IEEE International Conference on Automated Software Engineering, 2000

1999

Domain-Specific Languages: From Design to Implementation Application to Video Device Drivers Generation.

[BibT_eX]

[DOI]

IEEE Trans. Software Eng., 1999

Combining Program and Data Specialization.

[BibT_eX]

[DOI]

Sandrine Chirokoff

High. Order Symb. Comput., 1999

Efficient Implementations of Software Architectures via Partial Evaluation.

[BibT_eX]

[DOI]

Autom. Softw. Eng., 1999

Efficient Incremental Run-Time Specialization for Free.

[BibT_eX]

[DOI]

Philippe Boinot

Proceedings of the 1999 ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI), 1999

Combining Program and Data Specialization.

[BibT_eX]

Sandrine Chirokoff

Proceedings of the 1999 ACM SIGPLAN Workshop on Partial Evaluation and Semantics-Based Program Manipulation, 1999

Towards Automatic Specialization of Java Programs.

[BibT_eX]

[DOI]

Proceedings of the ECOOP'99, 1999

1998

Partial Evaluation for Software Engineering.

[BibT_eX]

[DOI]

ACM Comput. Surv., 1998

Tempo: Specializing Systems applications and Beyond.

[BibT_eX]

[DOI]

ACM Comput. Surv., 1998

Safe and Efficient Active Network Programming.

[BibT_eX]

[DOI]

Proceedings of the Seventeenth Symposium on Reliable Distributed Systems, 1998

Architecture Software Using: A Methodology for Language Development.

[BibT_eX]

[DOI]

Proceedings of the Principles of Declarative Programming, 10th International Symposium, 1998

Fast, Optimized Sun RPC Using Automatic Program Specialization.

[BibT_eX]

[DOI]

Ashvin Goel

Proceedings of the 18th International Conference on Distributed Computing Systems, 1998

Automatic, Template-Based Run-Time Specialization: Implementation and Experimental Study.

[BibT_eX]

[DOI]

Proceedings of the 1998 International Conference on Computer Languages, 1998

1997

Program Adaption based on Program Transformation.

[BibT_eX]

[DOI]

ACM SIGPLAN Notices, 1997

A Framework for Application Generator Design.

[BibT_eX]

[DOI]

Proceedings of the 1997 ACM SIGSOFT Symposium on Symposium on Software Reusability, 1997

Effective Specialization of Realistic Programs via Use Sensitivity.

[BibT_eX]

[DOI]

Luke Hornof

Jacques Noyé

Proceedings of the Static Analysis, 4th International Symposium, 1997

Declarative Specialization of Object-Oriented Programs.

[BibT_eX]

[DOI]

Crispin Cowan

Proceedings of the 1997 ACM SIGPLAN Conference on Object-Oriented Programming Systems, 1997

Mapping Software Architectures to Efficient Implementations via Partial Evaluation.

[BibT_eX]

[DOI]

Proceedings of the 1997 International Conference on Automated Software Engineering, 1997

A Domain Specific Language for Video Device Drivers: From Design to Implementation.

[BibT_eX]

[DOI]

Proceedings of the Conference on Domain-Specific Languages, 1997

Harissa: A Flexible and Efficient Java Environment Mixing Bytecode and Compiled Code.

[BibT_eX]

[DOI]

Proceedings of the Third USENIX Conference on Object-Oriented Technologies (COOTS), 1997

1996

Program Adaptation Based on Program Transformation.

[BibT_eX]

[DOI]

ACM Comput. Surv., 1996

A General Approach for Run-Time Specialization and its Application to C.

[BibT_eX]

[DOI]

François Noël

Proceedings of the Conference Record of POPL'96: The 23rd ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 1996

A Uniform Approach for Compile-Time and Run-Time Specialization.

[BibT_eX]

[DOI]

Proceedings of the Partial Evaluation, International Seminar, 1996

1995

On-Line & Off-Line Partial Evaluation: Semantic Specifications and Correctness Proofs.

[BibT_eX]

[DOI]

J. Funct. Program., 1995

Optimistic Incremental Specialization: Streamlining a Commercial Operating System.

[BibT_eX]

[DOI]

Proceedings of the Fifteenth ACM Symposium on Operating System Principles, 1995

1994

Fixpoint Computation for Polyvariant Static Analyses of Higher-Order Applicative Programs.

[BibT_eX]

[DOI]

J. Michael Ashley

ACM Trans. Program. Lang. Syst., 1994

Fast Strictness Analysis Via Symbolic Fixpoint Iteration.

[BibT_eX]

[DOI]

Proceedings of the Static Analysis, First International Static Analysis Symposium, 1994

1993

Parameterized Partial Evaluation.

[BibT_eX]

[DOI]

ACM Trans. Program. Lang. Syst., 1993

Semantics-Directed Generation of a Prolog Compiler.

[BibT_eX]

[DOI]

Sci. Comput. Program., 1993

Tutorial Notes on Partial Evaluation.

[BibT_eX]

[DOI]

Proceedings of the Conference Record of the Twentieth Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 1993

Incremental Partial Evaluation: The Key to High Performance, Modularity and Portability in Operating Systems.

[BibT_eX]

[DOI]

Jonathan Walpole

Proceedings of the ACM SIGPLAN Symposium on Partial Evaluation and Semantics-Based Program Manipulation, 1993

A Tour of Schism: A Partial Evaluation System For Higher-Order Applicative Languages.

[BibT_eX]

[DOI]

Proceedings of the ACM SIGPLAN Symposium on Partial Evaluation and Semantics-Based Program Manipulation, 1993

Polyvariant Binding-Time Analysis For Applicative Languages.

[BibT_eX]

[DOI]

Proceedings of the ACM SIGPLAN Symposium on Partial Evaluation and Semantics-Based Program Manipulation, 1993

1992

Partial Evaluation in Parallel.

[BibT_eX]

LISP Symb. Comput., 1992

A Programming Environment for Binding-time Based Partial Evaluators.

[BibT_eX]

Satish Pai

Proceedings of the PEPM'92, 1992

1991

Evaluation partielle paramétrable.

[BibT_eX]

Proceedings of the Actes JTASPEFL'91 (Bordeaux, 1991

Static and Dynamic Semantics Processing.

[BibT_eX]

[DOI]

Proceedings of the Conference Record of the Eighteenth Annual ACM Symposium on Principles of Programming Languages, 1991

Monitoring Semantics: A Formal Framework for Specifying, Implementing, and Reasoning about Execution Monitors.

[BibT_eX]

[DOI]

Amir Kishon

Paul Hudak

Proceedings of the ACM SIGPLAN'91 Conference on Programming Language Design and Implementation (PLDI), 1991

For a Better Support of Static Data Flow.

[BibT_eX]

[DOI]

Proceedings of the Functional Programming Languages and Computer Architecture, 1991

1990

Binding Time Analysis for High Order Untyped Functional Languages.

[BibT_eX]

[DOI]

Proceedings of the 1990 ACM Conference on LISP and Functional Programming, 1990

From Interpreting to Compiling Binding Times.

[BibT_eX]

[DOI]

Proceedings of the ESOP'90, 1990

1989

Partial Evaluation of Pattern Matching in Strings.

[BibT_eX]

[DOI]

Inf. Process. Lett., 1989

1988

New Insights into Partial Evaluation: the SCHISM Experiment.

[BibT_eX]

[DOI]