Sagar Sen
External collaborator
Publications
Simula-affiliated publications listed
2022
Journal Articles
E. J. Husom, P. Bernabé and S. Sen
Deep learning to predict power output from respiratory inductive plethysmography data
Applied AI Letters
2020
Proceedings, refereed
S. Sen, P. Bernabé and E. J. Husom
DeepVentilation: Learning to Predict Physical Effort from Breathing
The Twenty-Ninth International Joint Conference on Artificial Intelligence Demos
M. K. Ahuja, M. B. Belaid, P. Bernabé, M. Collet, A. Gotlieb, C. Lal, D. Marijan, S. Sen, A. Sharif and H. Spieker
Opening the Software Engineering Toolbox for the Assessment of Trustworthy AI
1st International Workshop on New Foundations for Human-Centered AI @ ECAI 2020
S. Sen, P. Bernabé and S. Hamnvik
Yolo4Apnea: Real-time Detection of Obstructive Sleep Apnea
The Twenty-Ninth International Joint Conference on Artificial Intelligence (IJCAI-20)
Posters
S. Sen, P. Bernabé and E. J. Husom
DeepVentilation: Learning to Predict Physical Effort from Breathing
S. Sen, P. Bernabé and S. Hamnvik
Yolo4Apnea: Real-time Detection of Obstructive Sleep Apnea
2019
Journal Articles
T. Ruiz-López, S. Sen, E. Jakobsen, A. Tropé, P. E. Castle, B. T. Hansen and M. Nygård
FightHPV: Design and Evaluation of a Mobile Game to Raise Awareness About Human Papillomavirus and Nudge People to Take Action Against Cervical Cancer
JMIR serious games
D. Marijan and S. Sen
Good Practices in Aligning Software Engineering Research and Industry Practice
ACM SIGSOFT Software Engineering Notes
S. Wagner, D. M. Fernandez, M. Felderer, A. Vetró, M. Kalinowski, R. Wieringa, D. Pfahl, T. Conte, M. Christiansson, D. Greer, C. Lassenius, T. Männistö, M. Nayebi, M. Oivo, B. Penzenstadler, R. Prikladnicki, G. Ruhe, A. Schekelmann, S. Sen, R. Spínola, A. Tuzcu, J. L. de la Vara and D. Winkler
Status Quo in Requirements Engineering: A Theory and a Global Family of Surveys
ACM Transactions of Software Engineering and Methodology (TOSEM)
Talks, invited
S. Sen
AI4IoT at AI Night, Palais de Tokyo, Paris
Palais de Tokyo, Paris, France
S. Sen
Should artificial intelligence be part of your strategy?
Klosser Innovation, Hamar, Norway
Talks, contributed
S. Sen
Artificial Intelligence for Sensor Data for Norwegian Institute of Sports Science
Fornebu, Norway
S. Sen
Dønski videregående skole: How do we breathe?
Fornebu, Norway
S. Sen
Free-radical Research in State-governed Data-intensive Systems
Geilo, Norway
S. Sen
Towards a virtual institute of independent science in Norway
OsloMet, Oslo, Norway
Public outreach
S. Sen
Breathing right while rowing
S. Sen
Force curves that can help you row faster on water
S. Sen
Interpersonal Synchronization of Breathing while Singing
S. Sen
Measurement of Breathing in Opera Singing at the Voex Festival, Den Norsk Opera
2018
Journal Articles
S. Sen, D. Marijan and A. Gotlieb
Certus: an organizational effort towards research-based innovation in software verification and validation
International Journal of Systems Assurance Engineering and Management
Proceedings, refereed
D. Marijan and S. Sen
DevOps Enhancement with Continuous Test Optimization
The 30th International Conference on Software Engineering and Knowledge Engineering (SEKE)
D. Marijan, S. Sen and M. Liaaen
DevOps Improvements for Reduced Cycle Times with Integrated Test Optimizations for Continuous Integration
2018 IEEE 42nd Annual Computer Software and Applications Conference (COMPSAC)
Public outreach
A. R. Jensenius, N. Sparbo, S. Sen and E. Edvardsen
Breath, breathing and the sensing of breathing.
MusicLab vol. 2; 2018-04-09 - 2018-04-09
2017
Journal Articles
R. Caballero, S. Sen and J. Nygård
Anticipating anonymity in screening program databases
International Journal of Medical Informatics
S. Sen, D. Marijan, C. Ieva, A. Grime and A. Sander
Modeling and Verifying Combinatorial Interactions to Test Data Intensive Systems: Experience at the Norwegian Customs Directorate
IEEE Transactions on Reliability
G. Ursin, S. Sen, J. Mottu and M. Nygård
Protecting Privacy in Large Datasets—First We Assess the Risk; Then We Fuzzy the Data
Cancer Epidemiology Biomarkers & Prevention
Proceedings, refereed
S. Sen, J. Bishop and K. K. Breitman
4th International Workshop on Software Engineering Research and Industrial Practise (SER&IP 2017)
4th IEEE/ACM International Workshop on Software Engineering Research and Industrial Practice, SER&IP@ICSE 2017, Buenos Aires, Argentina, May 21, 2017
A. Gotlieb, M. Louarn, M. Nygård, T. Ruiz-Lopez, S. Sen and R. Gori
Constraint-Based Verification of a Mobile App Game Designed for Nudging People to Attend Cancer Screening
Proceedings of Innovative Applications of Artificial Intelligence (IAAI-17), Feb. 2017, San Francisco, USA
D. Marijan and S. Sen
Detecting and Reducing Redundancy in Software Testing for Highly Configurable Systems
IEEE International Symposium on High Assurance Systems Engineering
M. Albonico, S. Alesio, J. Mottu, S. Sen and G. Sunyé
Generating Test Sequences to Assess the Performance of Elastic Cloud-based Systems
10th IEEE International Conference on Cloud Computing
S. Sen, M. H. Ribeiro, R. C. d. M. Minardi, W. Meira and M. Nygård
Portinari: A Data Exploration Tool to Personalize Cervical Cancer Screening
39th IEEE/ACM International Conference on Software Engineering: Software Engineering in Society Track, ICSE-SEIS
D. Marijan, A. Gotlieb, M. Liaaen, S. Sen and C. Ieva
TITAN: Test Suite Optimization for Highly Configurable Software
International Conference on Software Testing, Verification and Validation (ICST 2017)
Posters
T. R. Lopez, S. Sen, E. Jakobsen and M. Nygård
FightHPV : A Game to Raise Awareness and Nudge People to Take Action Against Cervical Cancer in Norway
M. Ribeiro, S. Sen and M. Nygård
Portinari: An Interactive Visualization Tool To Explore Alternative Patient Paths in Cervical Cancer Screening
A. Adedimeiji, S. Kapambwe, S. Sen and M. Nygård
Using mobile games as an educational platform to promote human papillomavirus vaccination and improve sexual health in Zambian adolescents
Talks, contributed
S. Sen
Challenges in Testing IoT systems in the Wild : Some experiences in an IoT Startup: Sweetzpot
Oslo, Norway
S. Sen, K. Breitman, J. Bishop and R. Shukla
SER&IP: Introduction by Program Chairs
Buenos Aires, Argentina
2016
Journal Articles
S. Sen, D. Marijan, C. Ieva, A. Grime and A. Sander
Modelling and Verifying Combinatorial Interactions to Test Data Intensive Systems: Experience with Optimal Archiving at the Norwegian Customs and Excise Directorate
IEEE Transaction on Reliability
D. M. Fernandez, S. Wagner, M. Kalinowski, M. Felderer, P. Mafra, A. Vetrò, T. Conte, M. Christiansson, D. Greer, C. Lassenius, T. Männistö, M. Nayabi, M. Oivo, B. Penzenstadler, D. Pfahl, R. Prikladnicki, G. Ruhe, A. Schekelmann, S. Sen, R. Spinola, A. Tuzcu, J. L. de la Vara and R. Wieringa
Naming the Pain in Requirements Engineering: Contemporary Problems, Causes, and Effects in Practice
Empirical Software Engineering
Proceedings, refereed
S. Sen, M. H. Ribeiro and M. Nygård
Portinari: A Data Exploration Tool to Visualize Personalized Risk in Cervical Cancer Screening
Improving Cancer Risk Prediction for Prevention and Early Detection
Posters
S. Sen, M. Ribeiro and M. Nygård
Portinari: Communicating Personalized Risk in Cervical Cancer Screening using Data.
2015
Journal Articles
S. Sen, D. Marijan and A. Gotlieb
Certus: Glimpses of a Centre for Research-Based Innovation in Software Verification and Validation
International Journal of System Assurance Engineering and Management
Proceedings, refereed
M. Machnik, M. Riegler and S. Sen
Crowdpinion: Motivating people to share their momentary opinion
Second International Workshop on Gamification for Information Retrieval (GamifIR’15). Vienna, Austria, March 29 - April 2
J. Mottu, S. Sen and J. Cadavid
Discovering Model Transformation Pre-conditions using Automatically Generated Test Models
International Symposium of Software Reliability Engineering. Gaithersburg, USA, November 2-5
S. Sen, S. Di Alesio, D. Marijan and A. Sarkar
Evaluating Reconfiguration Impact in Self-Adaptive Systems – An Approach Based on Combinatorial Interaction Testing
The 41st Euromicro Conference on Software Engineering and Advanced Applications (SEAA). Madeira, Portugal, August 26-28
W. Moazzam, M. Riegler and S. Sen
Scientific Hangman: Gamifying Scientific Evidence for General Public
Second International Workshop on Gamification for Information Retrieval (GamifIR’15). Vienna, Austria, March 29 - April 2
A. Gotlieb, D. Marijan and S. Sen
Towards More Relational Feature Models
ICSOFT-EA 2015 - Proceedings of the 10th International Conference on Software Engineering and Applications, Colmar, Alsace, France, 20-22 July.
Book Chapters
S. Sen, T. Ruiz-Lopez and E. Jacobsen
FightHPV: Et spill som skal øke bevisstheten rundt HPV, og «dulte» folk til å forebygge livmorhalskreft
Special Issue: Catch-HPV
Posters
S. Sen, W. M. Butt and T. Andreassen
Scientfic Hangman: Gamifying the Understanding of Cervical Cancer Screening Reminder Letters
IPVS
Talks, contributed
S. Sen
Discovering Model Transformation Pre-conditions using Automatically Generated Test Models
International Symposium of Software Reliability Engineering, Gaithersburg, USA
S. Sen
Evaluating reconfiguration impact in self-adaptive systems: An approach based on combinatorial Interaction Testing
EUROMICRO, SEAA, Madeira, Portugal
S. Sen
Testing Data-Centric Systems Using Collective Intelligence
User Partner Workshop, Oslo, Norway
2014
Proceedings, refereed
S. Sen
Certus: glimpses of a centre for research-based innovation in software verification and validation
Proceedings of the 1st International Workshop on Software Engineering Research and Industrial Practices
S. Sen, C. Ieva, A. Sarkar, A. Grime and A. Sander
Experience Report: Verifying Data Interaction Coverage to Improve Testing of Data-Intensive Systems
International Symposium on Software Reliability Engineering
Technical reports
S. Hesari, S. Sen, A. Sarkar and S. Di Alesio
Evaluating Reconfiguration Impact in Dynamically Adaptive Software: A Methodology Based on Combinatorial Interaction Testing
S. Sen, J. Mottu and J. Cadavid
Generating Non-Isomorphic Models to Test Model Transformations
Talks, contributed
S. Sen
Glimpses From the History of Software Testing
Open Course Slides
S. Sen
Imagining Tests As Interactions
Open Course Slides
2013
Proceedings, refereed
S. Nair, J. L. de la Vara and S. Sen
A Review of Traceability Research at the Requirements Engineering Conference
21st IEEE International Requirements Engineering Conference
S. Sen, J. L. de la Vara, A. Sarkar and A. Gotlieb
Modelling Data Interaction Requirements: a Position Paper
2013 International Workshop on Model-Driven Requirements Engineering (MoDRE 2013)
D. Marijan, A. Gotlieb, A. Hervieu and S. Sen
Practical Pairwise Testing for Software Product Lines
Proceedings of the International Software Product Line Conference (SPLC)
D. Marijan, A. Gotlieb and S. Sen
Test Case Prioritization for Continuous Regression Testing: an Industrial Case Study
Proceedings of the International Conference on Software Maintenance (ICSM)
S. Sen
Test case prioritization for continuous regression testing: An industrial case study
Software Maintenance (ICSM), 2013 29th IEEE International Conference on
S. Sen and A. Gotlieb
Testing a Data-Intensive System With Generated Data Interactions: the Norwegian Customs and Excise Case Study
Proceedings of 25th International Conference on Advanced Information Systems Engineering (CAiSE'13),June 17-21 2013, Valencia, Spain
Technical reports
S. Sen, C. Ieva, D. Marijan, A. Sarkar and A. Gotlieb
Test Selection Based on Data Interactions in Data-Intensive Systems
2012
Journal Articles
S. Sen, N. Moha, V. Mahé, O. Barais and J. Jézéquel
Reusable model transformations
Software & Systems Modeling
Proceedings, refereed
J. Mottu, S. Sen, M. Tisi and J. Cabot
Static Analysis of Model Transformations for Effective Test Generation
Proceedings of 2012 IEEE 23rd International Symposium
Book Chapters
S. Sen, M. Tisi and J. Cabot
Using models of partial knowledge to test model transformations
Theory and Practice of Model Transformations
Technical reports
S. Nair, J. L. de la Vara and S. Sen
Traceability Research at the Requirements Engineering Conference: Results and Extracted Data
Miscellaneous
G. Perrouin, S. Oster, S. Sen, J. Klein and Y. Le Traon
Pairwise testing for software product lines: comparison of two approaches
2011
Proceedings, refereed
A. Kattepur, S. Sen, A. Benveniste and C. Jard
Pairwise testing of dynamic composite services
Proceedings of the 6th International Symposium on Software Engineering for Adaptive and Self-Managing Systems
S. Sen and R. Casallas
Reusing legacy software in a self-adaptive middleware framework
Adaptive and Reflective Middleware on Proceedings of the International Workshop
Book Chapters
L. M. Rocha, S. Sen, S. Moisan and J. Rigault
Girgit: a dynamically adaptive vision system for scene understanding
Computer Vision Systems
2010
Journal Articles
N. Moha and S. Sen
Evaluation of kermeta for solving graph-based problems
International Journal on Software Tools for Technology Transfer
Proceedings, refereed
A. Kattepur, S. Sen, A. Benveniste and C. Jard
Variability modeling and qos analysis of web services orchestrations
Web Services (ICWS), 2010 IEEE International Conference on
Miscellaneous
G. Perrouin, S. Sen, J. Klein and Y. Le Traon
Automated and scalable t-wise test case generation strategies for software product lines
2009
Journal Articles
S. Sen and H. Vangheluwe
Towards domain-specific model editors with automatic model completion
Transactions of Simulation
Miscellaneous
S. Sen
Automatic model generation strategies for model transformation testing
S. Sen, N. Moha and J. Jézéquel
Meta-model pruning
2008
Book Chapters
Domain-specific model editors with model completion
Models in Software Engineering
Miscellaneous
S. Sen
On combining multi-formalism knowledge to select models for model transformation testing
2007
Proceedings, refereed
S. Sen
Partial model completion in model driven engineering using constraint logic programming
International Conference on the Applications of Declarative Programming
2006
Journal Articles
S. K. Sen, H. Agarwal and S. Sen
Chemical equation balancing: An integer programming approach
Mathematical and computer modelling
Proceedings, refereed
S. Sen
Multi-domain physical system modeling and control based on meta-modeling and graph rewriting
Computer Aided Control System Design, 2006 IEEE International Conference on Control Applications, 2006 IEEE International Symposium on Intelligent Control, 2006 IEEE
Mutation-based model synthesis in model driven engineering
Mutation Analysis, 2006. Second Workshop on