Charles Consel

According to our database1, Charles Consel authored at least 134 papers between 1988 and 2020.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

Homepages:

On csauthors.net:

Bibliography

2020
Acceptability of notifications delivered to older adults by technology-based assisted living services.
Univers. Access Inf. Soc., 2020

Empowering Caregivers to Customizing the Assistive Computing Support of Older Adults - an End-User Domain-Specific Approach.
Int. J. Hum. Comput. Interact., 2020

A tool-based methodology for long-term activity monitoring.
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.
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.
IEEE J. Biomed. Health Informatics, 2019

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

2018
Towards context-aware assistive applications for aging in place via real-life-proof activity detection.
J. Ambient Intell. Smart Environ., 2018

A Language for Online State Processing of Binary Sensors, Applied to Ambient Assisted Living.
Proc. ACM Interact. Mob. Wearable Ubiquitous Technol., 2018

A Domain-Specific Approach to Unifying the Many Dimensions of Context-Aware Home Service Development.
Proceedings of the 2018 IEEE SmartWorld, 2018

Assistive computing: a human-centered approach to developing computing support for cognition.
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.
Proceedings of the 17th ACM SIGPLAN International Conference on Generative Programming: Concepts and Experiences, 2018

2017
Frameworks compiled from declarations: a language-independent approach.
Softw. Pract. Exp., 2017

Designing parallel data processing for enabling large-scale sensor applications.
Pers. Ubiquitous Comput., 2017

Designing an accessible and engaging email application for aging in place.
Proceedings of the 2017 IEEE SmartWorld, 2017

Internet of Things: From Small- to Large-Scale Orchestration.
Proceedings of the 37th IEEE International Conference on Distributed Computing Systems, 2017

2016
Tablet-Based Activity Schedule in Mainstream Environment for Children with Autism and Children with ID.
ACM Trans. Access. Comput., 2016

Self determination-based design to achieve acceptance of assisted living technologies for older adults.
Comput. Hum. Behav., 2016

Leveraging Declarations over the Lifecycle of Large-Scale Sensor Applications.
Proceedings of the 2016 Intl IEEE Conferences on Ubiquitous Intelligence & Computing, 2016

Designing Parallel Data Processing for Large-Scale Sensor Orchestration.
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.
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.
Proceedings of the 6th Workshop on Evaluation and Usability of Programming Languages and Tools, 2015

Orchestrating masses of sensors: a design-driven development Approach.
Proceedings of the 2015 ACM SIGPLAN International Conference on Generative Programming: Concepts and Experiences, 2015

A Unifying Notification System To Scale Up Assistive Services.
Proceedings of the 17th International ACM SIGACCESS Conference on Computers & Accessibility, 2015

2014
DiaSuite: A tool suite to develop Sense/Compute/Control applications.
Sci. Comput. Program., 2014

Internet of Things: A Challenge for Software Engineering.
ERCIM News, 2014

Tablet-based activity schedule for children with autism in mainstream environment.
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.
Proceedings of the 16th international ACM SIGACCESS conference on Computers & accessibility, 2014

2013
DiaSim: a simulator for pervasive computing applications.
Softw. Pract. Exp., 2013

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

Design-driven Development of Dependable Applications - A Case Study in Avionics.
Proceedings of the PECCS 2013, 2013

A case for human-driven software development.
Proceedings of the 35th International Conference on Software Engineering, 2013

Design-driven development methodology for resilient computing.
Proceedings of the CBSE'13, 2013

2012
Taxonomy-driven prototyping of home automation applications: A novice-programmer visual language and its evaluation.
J. Vis. Lang. Comput., 2012

Toward a Tool-Based Development Methodology for Pervasive Computing Applications.
IEEE Trans. Software Eng., 2012

Towards a Tool-based Development Methodology for Pervasive Computing Applications
CoRR, 2012

Virtual Testing for Smart Buildings.
Proceedings of the 2012 Eighth International Conference on Intelligent Environments, 2012

An experimental study of a design-driven, tool-based development approach.
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
CoRR, 2011

DiaSuite: a paradigm-oriented software development approach.
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.
Proceedings of the 33rd International Conference on Software Engineering, 2011

A Step-Wise Approach for Integrating QoS throughout Software Development.
Proceedings of the Fundamental Approaches to Software Engineering, 2011

Architecturing Conflict Handling of Pervasive Computing Resources.
Proceedings of the Distributed Applications and Interoperable Systems, 2011

2010
A visual, open-ended approach to prototyping ubiquitous computing applications.
Proceedings of the Eigth Annual IEEE International Conference on Pervasive Computing and Communications, 2010

A tool suite to prototype pervasive computing applications.
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.
Proceedings of the 25th Annual ACM SIGPLAN Conference on Object-Oriented Programming, 2010

Towards a tool-based development methodology for sense/compute/control applications.
Proceedings of the Companion to the 25th Annual ACM SIGPLAN Conference on Object-Oriented Programming, 2010

Open platforms: new challenges for software engineering.
Proceedings of the SPLASH Workshop on Programming Support Innovations for Emerging Distributed Applications (PSI EtA, 2010

Preliminary Results in Virtual Testing for Smart Buildings.
Proceedings of the Mobile and Ubiquitous Systems: Computing, Networking, and Services, 2010

SIP as a Universal Communication Bus: A Methodology and an Experimental Study.
Proceedings of IEEE International Conference on Communications, 2010

2009
DiaSim: A parameterized simulator for pervasive computing applications.
Proceedings of the 6th Annual International Conference on Mobile and Ubiquitous Systems: Computing, 2009

An aspect-oriented approach to securing distributed systems.
Proceedings of the 2009 international conference on Pervasive services, 2009

A generative programming approach to developing pervasive computing systems.
Proceedings of the Generative Programming and Component Engineering, 2009

A Taxonomy-Driven Approach to Visually Prototyping Pervasive Computing Applications.
Proceedings of the Domain-Specific Languages, IFIP TC 2 Working Conference, 2009

2008
Remote specialization for efficient embedded operating systems.
ACM Trans. Program. Lang. Syst., 2008

High-level Programming Support for Robust Pervasive Computing Applications.
Proceedings of the Sixth Annual IEEE International Conference on Pervasive Computing and Communications (PerCom 2008), 2008

DSLs: the good, the bad, and the ugly.
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.
Proceedings of the Principles, 2008

Pantaxou: a domain-specific language for developing safe coordination services.
Proceedings of the Generative Programming and Component Engineering, 2008

2007
Ontology-Directed Generation of Frameworks for Pervasive Service Development.
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.
Proceedings of the Principles, 2007

Staging telephony service creation: a language approach.
Proceedings of the Principles, 2007

2006
Efficient Packet Processing in User-Level OSes: A Study of UML.
Proceedings of the LCN 2006, 2006

Minimizing Cache Misses in an Event-driven Network Server: A Case Study of TUX.
Proceedings of the LCN 2006, 2006

Memory-manager/scheduler co-design: optimizing event-driven servers to improve cache behavior.
Proceedings of the 5th International Symposium on Memory Management, 2006

Language Technology for Internet-Telephony Service Creation.
Proceedings of IEEE International Conference on Communications, 2006

A Multimedia-Specific Approach to WS-Agreement.
Proceedings of the Fourth IEEE European Conference on Web Services (ECOWS 2006), 2006

2005
Clearwater: extensible, flexible, modular code generation.
Proceedings of the 20th IEEE/ACM International Conference on Automated Software Engineering (ASE 2005), 2005

A Generative Programming Approach to Developing DSL Compilers.
Proceedings of the Generative Programming and Component Engineering, 2005

2004
A tour of Tempo: a program specializer for the C language.
Sci. Comput. Program., 2004

Specialization Scenarios: A Pragmatic Approach to Declaring Program Specialization.
High. Order Symb. Comput., 2004

Infopipes: The ISL/ISG Implementation Evaluation.
Proceedings of the 3rd IEEE International Symposium on Network Computing and Applications (NCA 2004), 30 August, 2004

Automatic Specialization of Protocol Stacks.
Proceedings of the 29th Annual IEEE Conference on Local Computer Networks (LCN 2004), 2004

Remote customization of systems code for embedded devices.
Proceedings of the EMSOFT 2004, 2004

2003
Automatic program specialization for Java.
ACM Trans. Program. Lang. Syst., 2003

A Programmable Client-Server Model: Robust Extensibility via DSLs.
Proceedings of the 18th IEEE International Conference on Automated Software Engineering (ASE 2003), 2003

Spidle: A DSL Approach to Specifying Streaming Applications.
Proceedings of the Generative Programming and Component Engineering, 2003

A DSL Paradigm for Domains of Services: A Study of Communication Services.
Proceedings of the Domain-Specific Program Generation, International Seminar, 2003

From a Program Family to a Domain-Specific Language.
Proceedings of the Domain-Specific Program Generation, International Seminar, 2003

2002
Domain-Specific Languages: What, Why, How.
Electron. Notes Theor. Comput. Sci., 2002

Towards bridging the gap between programming languages and partial evaluation.
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.
Proceedings of the Component Deployment, IFIP/ACM Working Conference, 2002

The Abstraction and Instantiation of String-Matching Programs.
Proceedings of the Essence of Computation, Complexity, Analysis, 2002

2001
Specialization tools and techniques for systematic optimization of system software.
ACM Trans. Comput. Syst., 2001

WebCaL - a domain specific language for web caching.
Comput. Commun., 2001

2000
Java bytecode compression for low-end embedded systems.
ACM Trans. Program. Lang. Syst., 2000

Selected Papers from PEPM'97 - Foreword.
Theor. Comput. Sci., 2000

Static and Dynamic Program Compilation by Interpreter Specialization.
High. Order Symb. Comput., 2000

Towards robust OSes for appliances: a new approach based on domain-specific languages.
Proceedings of the 9th ACM SIGOPS European Workshop, 2000

Devil: An IDL for Hardware Programming.
Proceedings of the 4th Symposium on Operating System Design and Implementation (OSDI 2000), 2000

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

A DSL Approach to Improve Productivity and Safety in Device Drivers Development.
Proceedings of the Fifteenth IEEE International Conference on Automated Software Engineering, 2000

A Declarative Approach for Designing and Developing Adaptive Components.
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.
IEEE Trans. Software Eng., 1999

Combining Program and Data Specialization.
High. Order Symb. Comput., 1999

Efficient Implementations of Software Architectures via Partial Evaluation.
Autom. Softw. Eng., 1999

Efficient Incremental Run-Time Specialization for Free.
Proceedings of the 1999 ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI), 1999

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

Towards Automatic Specialization of Java Programs.
Proceedings of the ECOOP'99, 1999

1998
Partial Evaluation for Software Engineering.
ACM Comput. Surv., 1998

Tempo: Specializing Systems applications and Beyond.
ACM Comput. Surv., 1998

Safe and Efficient Active Network Programming.
Proceedings of the Seventeenth Symposium on Reliable Distributed Systems, 1998

Architecture Software Using: A Methodology for Language Development.
Proceedings of the Principles of Declarative Programming, 10th International Symposium, 1998

Fast, Optimized Sun RPC Using Automatic Program Specialization.
Proceedings of the 18th International Conference on Distributed Computing Systems, 1998

Automatic, Template-Based Run-Time Specialization: Implementation and Experimental Study.
Proceedings of the 1998 International Conference on Computer Languages, 1998

1997
Program Adaption based on Program Transformation.
ACM SIGPLAN Notices, 1997

A Framework for Application Generator Design.
Proceedings of the 1997 ACM SIGSOFT Symposium on Symposium on Software Reusability, 1997

Effective Specialization of Realistic Programs via Use Sensitivity.
Proceedings of the Static Analysis, 4th International Symposium, 1997

Declarative Specialization of Object-Oriented Programs.
Proceedings of the 1997 ACM SIGPLAN Conference on Object-Oriented Programming Systems, 1997

Mapping Software Architectures to Efficient Implementations via Partial Evaluation.
Proceedings of the 1997 International Conference on Automated Software Engineering, 1997

A Domain Specific Language for Video Device Drivers: From Design to Implementation.
Proceedings of the Conference on Domain-Specific Languages, 1997

Harissa: A Flexible and Efficient Java Environment Mixing Bytecode and Compiled Code.
Proceedings of the Third USENIX Conference on Object-Oriented Technologies (COOTS), 1997

1996
Program Adaptation Based on Program Transformation.
ACM Comput. Surv., 1996

A General Approach for Run-Time Specialization and its Application to C.
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.
Proceedings of the Partial Evaluation, International Seminar, 1996

1995
On-Line & Off-Line Partial Evaluation: Semantic Specifications and Correctness Proofs.
J. Funct. Program., 1995

Optimistic Incremental Specialization: Streamlining a Commercial Operating System.
Proceedings of the Fifteenth ACM Symposium on Operating System Principles, 1995

1994
Fixpoint Computation for Polyvariant Static Analyses of Higher-Order Applicative Programs.
ACM Trans. Program. Lang. Syst., 1994

Fast Strictness Analysis Via Symbolic Fixpoint Iteration.
Proceedings of the Static Analysis, First International Static Analysis Symposium, 1994

1993
Parameterized Partial Evaluation.
ACM Trans. Program. Lang. Syst., 1993

Semantics-Directed Generation of a Prolog Compiler.
Sci. Comput. Program., 1993

Tutorial Notes on Partial Evaluation.
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.
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.
Proceedings of the ACM SIGPLAN Symposium on Partial Evaluation and Semantics-Based Program Manipulation, 1993

Polyvariant Binding-Time Analysis For Applicative Languages.
Proceedings of the ACM SIGPLAN Symposium on Partial Evaluation and Semantics-Based Program Manipulation, 1993

1992
Partial Evaluation in Parallel.
LISP Symb. Comput., 1992

A Programming Environment for Binding-time Based Partial Evaluators.
Proceedings of the PEPM'92, 1992

1991
Evaluation partielle paramétrable.
Proceedings of the Actes JTASPEFL'91 (Bordeaux, 1991

Static and Dynamic Semantics Processing.
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.
Proceedings of the ACM SIGPLAN'91 Conference on Programming Language Design and Implementation (PLDI), 1991

For a Better Support of Static Data Flow.
Proceedings of the Functional Programming Languages and Computer Architecture, 1991

1990
Binding Time Analysis for High Order Untyped Functional Languages.
Proceedings of the 1990 ACM Conference on LISP and Functional Programming, 1990

From Interpreting to Compiling Binding Times.
Proceedings of the ESOP'90, 1990

1989
Partial Evaluation of Pattern Matching in Strings.
Inf. Process. Lett., 1989

1988
New Insights into Partial Evaluation: the SCHISM Experiment.
Proceedings of the ESOP '88, 1988


  Loading...