Sagar Sen's Homepage

Life in Flow


1. Sagar Sen, Automatic Effective Model Discovery, LAMBERT Publishing, 2010


2.  Sen S., Ph.D. Thesis: “Automatic Effective Model Discovery”, INRIA Rennes (in collaboration with McGill University, Canada) 2010

1. Sen S., Master’s Thesis: “A Model-driven Approach to Develop Engineered Physical Systems”,School of Computer Science, McGill University, 2006

Journal articles
13. Giske Ursin, Sagar Sen, Jean-marie Mottu, Mari Nygård, Protecting privacy in large registry data  - adding a fuzzy factor​, Cancer Epidemiology, Biomarkers & Prevention, 2017 (Accepted)
12. Rafael Caballero, Sagar Sen, Jan F Nygård , Anticipating Anonymity in Screening Program Databases, International Journal of Medical Informatics, 2017
11. Sagar Sen, Dusica Marijan, Carlo Ieva, Astrid Grime, Atle Sander, Modelling and Verifying Combinatorial Interactions to Test Data Intensive Systems: Experience at the Norwegian Customs and Excise Directorate, IEEE Trans. Reliability, 2017

10. D. Mendez Fernandez, S. Wagner, M. Kalinowski, M. Felderer, P. Mafra, A. Vetrò, T. Conte, M.-T. Christiansson, D. Greer, C. Lassenius, T. Männistö, M. Nayebi, M. Oivo, B. Penzenstadler, D. Pfahl, R. Prikladnicki, G. Ruhe, A. Schekelmann, S. Sen, R. Spinola, J.L. de la Vara, A. Tuzcu, R. Wieringa, Naming the Pain in Requirements Engineering: Contemporary Problems, Causes, and Effects in PracticeIn: Empirical Software Engineering Journal, 2016.

9. Stefano di Alesio, Sagar Sen, Using UML/MARTE to Support Performance Tuning and Stress Testing in Real-Time Systems, SoSyM 2016 
8. Rocha M. L., Sen S., Moisan S., Rigault J.P., Girgit: A Lightweight Framework for building Dynamically Adaptive Systems, SADIO Journal of Informatics and Operations Research, Vol. 11, No. 1 pp4-15, Editors Silvio Gonnet, Pablo Michelis (Invited Best Paper) (2012) 
7. Sen S., Moha N. Baudry B., Mahe V., Barais Olivier, and J.-M.Jezequel, Reusable Model Transformations SoSyM special issue on Model-driven Interoperability, 2012. 

6. Perrouin Gilles., Oster Sebastian. Sen S., Baudry Benoit,  and Le Traon Yves, Pairwise Testing for Software Product Lines: A Comparison of Two Approaches, Software Quality Journal 2011. 

5. N. Moha, Sen S., Faucher C., Barais O., and J.-M.Jezequel, Evaluation of Kermeta on Graph Transformation Problems, Journal of Software Tools and Technology Transfer, 2010 

4. Sen S., B. Baudry, Vangheluwe H.,  Towards Domain-specific Model Editors with Automatic Model Completion, Simulation : Transactions of the Modeling and Simulation Society, 2009 

3. Sen S.K., Sen S.,  Linear Systems: Relook, Concise Algorithms and Matlab Programs, Academic Studies - National Journal of Jyoti Research Academy, Vol. 1(1) 1-8, Feb 2007 

2. Sen S.K., Agarwal H., Sen S., Chemical Equation Balancing: An Integer Programming Approach, Mathematical and Computer Modeling, 44(7-8), October. pp 678-69, 2006 

1.  Sen S.K. and Sen S., O(n^3) g-inversion-free non-iterative near-consistent linear system solver for minimum-norm least-squares and nonnegative solutions, Journal of Computational Methods in Sciences and Engineering, 2005 

Proceedings and Lecture Notes

41. Michel Albonico, Stefano di Alesio, Jean-marie Mottu, Sagar Sen, Gerson Sunyé,  Generating Test Sequences to Assess the Performance of Elastic Cloud-based Systems, IEEE CLOUD 2017, Industry Track (Accepted)

40. Dusica Marijan, Sagar Sen, Detecting and Reducing Redundancy in Software Testing for Highly Configurable Systems, HASE 2017

39. Sagar Sen, Manoel Horta Ribeiro, Raquel C. de Melo Minardi, Wagner Meira Jr., Mari Nygaard​, Portinari: A Data Exploration Tool to Personalize Cervical Cancer Screening, Proceedings of the International Conference on Software Engineering- Software and Society Track 2017, Buenos Aires, Argentina,

38. Arnaud Gotlieb, Marine Louarn, Mari Nygard, Tomas Ruiz-López and Sagar Sen ,Constraint-Based Verification of a Mobile App Game Designed for Nudging People to Attend Cancer Screening, Twenty-Ninth Annual Conference on Innovative Applications of Artificial Intelligence (IAAI-17) in San Francisco, California, USA 2017

37. Waqas Moazzam, Michael Riegler, Sagar Sen, Mari Nygård: Scientific Hangman: Gamifying Scientific Evidence for General Public. [email protected] 2015: 26-33

36. Marek Machnik, Michael Riegler, Sagar Sen: Crowdpinion: Motivating People to Share their Momentary Opinion. [email protected] 2015: 44-51

35. Sagar Sen, Stefano Di Alesio, Dusica Marijan, Arnab SarkarEvaluating Reconfiguration Impact in Self-Adaptive Systems - An Approach Based on Combinatorial Interaction Testing. EUROMICRO-SEAA 2015: 250-254

34. Judith Bishop, Rakesh Shukla, Forrest Shull, Sagar Sen, 2nd International Workshop on Software Engineering Research and Industrial Practice (SER&IP 2015). ICSE (2) 2015: 1007-1008

33. Arnaud Gotlieb, Dusica Marijan, Sagar Sen, Towards More Relational Feature Models. ICSOFT-EA 2015: 381-386

32. Rakesh Shukla, Sagar Sen, Forrest Shull, Judith Bishop2nd IEEE/ACM International Workshop on Software Engineering Research and Industrial Practice, SER&IP 2015, Florence, Italy, May 17, 2015.

31. Jean-Marie Mottu, Sagar Sen, Juan José Cadavid, Benoit Baudry, Discovering model transformation pre-conditions using automatically generated test models. ISSRE 2015: 88-99

30.  Sen. S, Ieva C., Sarkar A., Sander A., Grime A.," Experience Report: Verifying Data Interaction Coverage to Improve Testing of Data-intensive Systems: The Norwegian Customs and Excise Case Study", ISSRE 2014, Naples, Italy

29. Sen S., Certus - Glimpses of a Centre for Research-based Innovation in Software Verification&Validation, SERIP 2014, ICSE 2014, INDIA

28. Dusica Marijan, Arnaud Gotlieb, Sagar Sen, "Test Case Prioritization for Continuous Regression Testing: An Industrial Case Study," ICSM, pp.540-543, 2013 IEEE International Conference on Software Maintenance (ICSM), 2013 

27.  Sen S., Jose Luis de la Vara, Arnaud Gotlieb, and Arnab Sarkar:, Modelling Data Interaction Requirements: A Position Paper, ModRE, Requirements Engineering 2013 

26. Dusica Marijan, Arnaud Gotlieb, Sagar Sen, Aymeric Hervieu: Practical pairwise testing for software product lines. SPLC 2013: 227-235

25. Nair S., Vara L.J., Sen S., A Review of Traceability Research at the Requirements Engineering Conference ([email protected]), RE 2013

24. Sen S., Gottlieb A.,Testing a Data-intensive System with Generated Data Interactions: The Norwegian Customs and Excise Case Study, CAiSE 2013 

23. Mottu J-M, Sen S.,  Tisi M., Cabot J., Static Analysis of Model Transformations for Effective Test Generation, ISSRE 2012

22. Sen S., Mottu J-M, Tisi M., Cabot J., Using Models of Partial Knowledge to Test Model Transformations. ICMT 2012, 24-39 

21.  Hurtado Santiago, Sen S., Cassallas Rubby, Reusing Legacy Software in a Self-adaptive Middleware Framework, Adaptive and Reflective Middleware Workshop, Middleware 2011

20.  Rocha Leonardo, Sen S., Moisan Sabine, Rigault Jean-Paul, Towards Lightweight Dynamic Adaptation. A Framework and its Evaluation. , 12th Argentinian Symposium on Software Engineering,  2011

19.  Rocha Leonardo, Sen S., Moisan Sabine, Rigault Jean-Paul Girgit: A Dynamically Adaptive Vision System for Scene Understanding, International Conference on Vision Systems, Sophia-Antipolis, France 2011 (20% Acceptance Rate) 

18.  Rocha Leonardo, Sen S., Moisan Sabine, Rigault Jean-Paul, Girgit: A Framework for Component-based Dynamic Adaptation in Python, EuroSciPy 2011, Paris, France (Demo)

17. Kattepur Ajay, Sen S., Baudry B., Beneveniste A., Jard C. Pairwise Testing of Dynamic Composite Services. International Symposium on Software Engineering for Adaptive and Self-managing Systems,  (co-located with International Conference of Software Engineering 2011, Hawaii, USA)

16. Kattepur Ajay, Sen S., Baudry B., Beneveniste A., Jard C. Variability Modeling and QoS Analysis of Web Services Orchestrations, International Conference on Web Services 2010, Miami, Florida 

15.  G. Perrouin, Sen S., Klein J., Baudry B, Le Traon Yves, Automated and Scalable T-wise Test Case Generation Strategies for Software Product Lines, ICST 2010, Paris, France (Acceptance rate 26.5%) 

14. Sen, S., N. Moha, B. Baudry, and J.-M.Jezequel, Meta-model Pruning. In Proceedings of  MoDeLs. 2009. Denver, Colorado. (Acceptance rate: 16%) 2009 

13. Sen, S., B. Baudry, and J.-M. Mottu. Automatic Model Generation Strategies for Model Transformation Testing. In Proceedings of  International Conference on Model Transformation. 2009. Zurich, Switzerland. 2009

12. Sen S., Baudry B., Mottu Jean-Marie. On Combining Multi-formalism Knowledge to Select Models for Model Transformation Testing. ICST'08  2008 

11. Sen S., Baudry B., Vangheluwe Hans, Domain Specific Model Editors with Model Completion, LNCS vol. on Models in Software Engineering,Workshops and Symposia at MoDELS 2007,Nashville, TN, USA, September 30 — October 5, 2007 (Best Paper) 2007 

10. Sen S., and Baudry B., Mutation-based Model Synthesis in Model Driven Engineering, Proc of IEEE ISSRE, Mutation Workshop. 2006 

9. Sen S., Baudry B. Partial Model Completion in Model Driven Engineering. In Proc. of International Conference of Applications of Declarative Programming 2007, Wurzburg, Germany. 2007

8. Sen S. and Vangheluwe H., Multi-Domain Physical System Modeling and Control Based on Meta-Modeling and Graph Rewriting, Proc. of the IEEE CACSD, pp 69-75, Munich, Germany, 2006 

7. Sen S., Concurrent Competitive Learning to find Cluster Centers Automatically, Proc. Of 48th International Congress of the ISTAM. 63-71, 2003 

6. Sen S.K., Sen S. A Shrinking-rectangle Randomized Algorithm with Interpolation for a Complex Zero of a Function, Proc. of 47th International Congress of the ISTAM. 72-80, 2002 

5. Sen S.K., Sen S. Linear Program Solver: Evolutionary Approach, Proc. of 46th International Congress of the ISTAM. 75-84, 2001.

4. Sen S., Nagarthnam S. Evolution of neural networks for Boolean function learning, 15th CSI student convention, PESIT, 2001 

3. Sen S.K., Sen S., Polytope-shrinking Algorithm for Linear Programming: Concise Form and Expository Review, Proc. of International Conference on Recent Advances in Mathematical Sciences (ICRAMS) pp. 320-326, 2000

2. Sen S.K., Sen S. Karmarkar Form of Linear Program and Algorithm: Precise Presentation, Proc. of 45th International Congress of the ISTAM. 88-96 , 2000 

1. Sen S.K., Sen S., A near-consistent linear system solver, Proc. 44th International Congress of Indian Society Of Theoretical and Applied Mechanics (ISTAM), 76-82 , 1999


6. Sagar Sen, Tomas Ruiz Lopez, Mari Nygård, FightHPV: A Game to Raise HPV Awareness and Nudge People to Take Action Against Cervical Cancer in Norway, HPV 2017

5. Adebola Adedimeiji, , Sharon Kapambwe, Sagar Sen, Mari Nygård, Using mobile games as an educational platform to promote human papillomavirus vaccination and improve sexual health in Zambian adolescents, HPV 2017

4. Manoel Ribeiro, Sagar Sen, Mari Nygård, Portinari: An Interactive Visualization Tool To Explore Alternative Patient Paths in Cervical Cancer Screening, HPV 2017

3. Sagar Sen, Manoel Ribeiro, Mari Nygård,  Portinari: Communicating Personalized Risk in Cervical Cancer Screening using Data. Proceedings of the American Association of Cancer Research on Improving Cancer Risk Prediction for Prevention and Early Detection – Poster Session B, November 2016

2. Sen. S, Waqas Moazzam Butt, Trude Andersson, Mari NygårdScientific Hangman to Gamify the Understanding of Cervical Cancer Screening Reminder Letters, Conference: 30th International Papillomavirus Conference & Clinical Workshop (HPV 2015), At Lisbon, Portugal

1. Sen. S., Baudry B., Cartier: A Tool For Automatic Model Discovery, MDD4DRES Summer School 2009 


8. Notes on Coastal Rowing: What, Why ,How? 

7. Caving for beginners (featured in Outdoor journal, India)

6. Catching Piranhas in the Amazon, Sen S. (featured in Outdoor journal, India)

5. Inquisitive Minds- My interview with Melvin Pereira. 

4. OUEST FRANCE article on Environmental Alarm Flash Mob

3. OUEST FRANCE article on Rennes Photo Marathon

2. OUEST FRANCE article on “Sagar veut faire parle d’aviron en Inde

1. OUEST FRANCE article on “Sagar Sen, champion de Bretagne d’endurance en aviron