Sabine Moisan

According to our database1, Sabine Moisan authored at least 37 papers between 1997 and 2023.

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

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2023
A Formal Probabilistic Model of the Inhibitory Control Circuit in the Brain.
Proceedings of the 16th International Joint Conference on Biomedical Engineering Systems and Technologies, 2023

2021
Probabilistic model checking for human activity recognition in medical serious games.
Sci. Comput. Program., 2021

Probabilistic Model Checking for Activity Recognition in Medical Serious Games.
Proceedings of the 3rd IEEE/ACM International Workshop on Software Engineering for Healthcare, 2021

2019
Probabilistic Activity Recognition for Serious Games with Applications in Medicine.
Proceedings of the Formal Techniques for Safety-Critical Systems, 2019

2018
A Synchronous Approach to Activity Recognition.
Proceedings of the 12th IEEE International Conference on Semantic Computing, 2018

2017
An activity description language for activity recognition.
Proceedings of the International Conference on Internet of Things, 2017

2015
An approach based on feature models and quality criteria for adapting component-based systems.
J. Softw. Eng. Res. Dev., 2015

2014
An Approach for Managing Quality Attributes at Runtime Using Feature Models.
Proceedings of the Eighth Brazilian Symposium on Software Components, 2014

2013
Metrics on feature models to optimize configuration adaptation at run time.
Proceedings of the 1st International Workshop on Combining Modelling and Search-Based Software Engineering, 2013

2012
A feature-based approach to system deployment and adaptation.
Proceedings of the 4th International Workshop on Modeling in Software Engineering, 2012

Intelligent monitoring of software components.
Proceedings of the First International Workshop on Realizing AI Synergies in Software Engineering, 2012

2011
Girgit: A Dynamically Adaptive Vision System for Scene Understanding.
Proceedings of the Computer Vision Systems - 8th International Conference, 2011

Run Time Adaptation of Video-Surveillance Systems: A Software Modeling Approach.
Proceedings of the Computer Vision Systems - 8th International Conference, 2011

Modeling Variability from Requirements to Runtime.
Proceedings of the 16th IEEE International Conference on Engineering of Complex Computer Systems, 2011

2010
Generating Knowledge-Based System Generators: A Software Engineering Approach.
Int. J. Intell. Inf. Technol., 2010

On-Line Video Recognition and Counting of Harmful Insects.
Proceedings of the 20th International Conference on Pattern Recognition, 2010

2009
Teaching Object-Oriented Modeling and UML to Various Audiences.
Proceedings of the Models in Software Engineering, 2009

Tackling high variability in video surveillance systems through a model transformation approach.
Proceedings of the ICSE Workshop on Modeling in Software Engineering, 2009

2008
Component-Based Support for Knowledge-Based Systems.
Proceedings of the ICEIS 2008, 2008

2007
River model calibration, from guidelines to operational support tools.
Environ. Model. Softw., 2007

2004
Towards Formalizing Behavioral Substitutability in Component Frameworks.
Proceedings of the 2nd International Conference on Software Engineering and Formal Methods (SEFM 2004), 2004

2003
Knowledge-Based Hydraulic Model Calibration.
Proceedings of the Knowledge-Based Intelligent Information and Engineering Systems, 2003

2002
The AEX Method and Its Instrumentation.
Proceedings of the ICEIS 2002, 2002

Knowledge Representation for Program Reuse.
Proceedings of the 15th European Conference on Artificial Intelligence, 2002

2001
Réutilisation et générateurs de systèmes à base de connaissances : le framework BLOCKS (Reuse and knowledge based systems : the BLOCKS Framework).
Tech. Sci. Informatiques, 2001

Blocks, a component framework with checking facilities for knowledge-based systems.
Informatica (Slovenia), 2001

Distributed Access Knowledge-Based System: Reified Interaction Service for Trace and Control.
Proceedings of the 3rd International Symposium on Distributed Objects and Applications, 2001

2000
What can program supervision do for program reuse?
IEE Proc. Softw., 2000

Model-based verification of knowledge-based systems: a case study.
IEE Proc. Softw., 2000

Knowledge Management by Reusing Experience (Short Paper).
Proceedings of the Knowledge Acquisition, 2000

1999
Knowledge-based control of vision systems.
Image Vis. Comput., 1999

Knowledge Modeling of Program Supervision Task and its Application to Knowledge Base Verification.
Appl. Intell., 1999

Experience in Integrating Image Processing Programs.
Proceedings of the Computer Vision Systems, First International Conference, 1999

1998
What Can Program Supervision Do for Program Re-use?
Proceedings of the Tasks and Methods in Applied Artificial Intelligence, 1998

Use of Knowledge-Based Control for Vision Systems.
Proceedings of the Tasks and Methods in Applied Artificial Intelligence, 1998

Knowledge Modeling of Program Supervision Task.
Proceedings of the Methodology and Tools in Knowledge-Based Systems, 1998

1997
A Model-based Approach to the Verification of Program Supervision Systems.
Proceedings of the Fourth European Symposium on the Validation and Verification of Knowledge-Based Systems, 1997


  Loading...