Jacques Combaz
According to our database1,
Jacques Combaz
authored at least 30 papers
between 2005 and 2024.
Collaborative distances:
Collaborative distances:
Timeline
2006
2008
2010
2012
2014
2016
2018
2020
2022
2024
0
1
2
3
4
5
6
7
2
1
1
1
1
1
1
1
1
1
1
1
1
3
3
2
1
1
1
2
1
2
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
2024
Decision-Making Under Environmental Complexity: The Need for Moving from Avoided Impacts of ICT Solutions to Systems Thinking Approaches.
Proceedings of the 10th International Conference on ICT for Sustainability, 2024
2023
Proceedings of the International Conference on ICT for Sustainability, 2023
2021
CoRR, 2021
2020
Proceedings of the 18th ACM/IEEE International Conference on Formal Methods and Models for System Design, 2020
2019
Leibniz Trans. Embed. Syst., 2019
2018
Int. J. Crit. Comput. Based Syst., 2018
2017
Proceedings of the 24th Asia-Pacific Software Engineering Conference, 2017
2016
RTD-Finder: A Tool for Compositional Verification of Real-Time Component-Based Systems.
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2016
Proceedings of the Integrated Formal Methods - 12th International Conference, 2016
Proceedings of the FM 2016: Formal Methods, 2016
2015
Proceedings of the Software Engineering for Collective Autonomic Systems, 2015
Proceedings of the Software Engineering for Collective Autonomic Systems, 2015
Compositional Verification for Timed Systems Based on Automatic Invariant Generation.
Log. Methods Comput. Sci., 2015
Proceedings of the NASA Formal Methods - 7th International Symposium, 2015
Proceedings of the NASA Formal Methods - 7th International Symposium, 2015
Proceedings of the 13. ACM/IEEE International Conference on Formal Methods and Models for Codesign, 2015
2014
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2014
Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change, 2014
2013
Math. Struct. Comput. Sci., 2013
Proceedings of the Fundamental Approaches to Software Engineering, 2013
2012
Robotics Auton. Syst., 2012
2011
Proceedings of the 37th EUROMICRO Conference on Software Engineering and Advanced Applications, SEAA 2011, Oulu, Finland, August 30, 2011
2010
Proceedings of the 10th International conference on Embedded software, 2010
2008
Proceedings of 13th IEEE International Conference on Emerging Technologies and Factory Automation, 2008
Proceedings of the 6th IEEE/ACM/IFIP Workshop on Embedded Systems for Real-Time Multimedia, 2008
2007
Proceedings of the 21th International Parallel and Distributed Processing Symposium (IPDPS 2007), 2007
2005
Proceedings of the 2005 Design, 2005