Sylvain Hallé
Orcid: 0000-0002-4406-6154Affiliations:
- Université du Québec à Chicoutimi, Canada
According to our database1,
Sylvain Hallé
authored at least 147 papers
between 2004 and 2024.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
Online presence:
-
on orcid.org
-
on dl.acm.org
On csauthors.net:
Bibliography
2024
ACM SIGSOFT Softw. Eng. Notes, April, 2024
Emerging Results on Automated Support for Searching and Selecting Evidence for Systematic Literature Review Updates.
Proceedings of the 1st IEEE/ACM International Workshop on Methodological Issues with Empirical Studies in Software Engineering, 2024
Proceedings of the Enterprise Design, Operations, and Computing, 2024
2023
Formal verification for event stream processing: Model checking of BeepBeep stream processing pipelines.
Inf. Comput., August, 2023
Ann. des Télécommunications, August, 2023
Softw. Test. Verification Reliab., June, 2023
LE2ML: a microservices-based machine learning workbench as part of an agnostic, reliable and scalable architecture for smart homes.
J. Ambient Intell. Humaniz. Comput., 2023
Proceedings of the 34th IEEE International Symposium on Software Reliability Engineering, 2023
Proceedings of the Workshop on Applications of Formal Methods and Digital Twins co-located with 25th International Symposium on Formal Methods (FM 2023), 2023
Monitoring Business Process Compliance Across Multiple Executions with Stream Processing.
Proceedings of the Enterprise Design, Operations, and Computing. EDOC 2023 Workshops, 2023
2022
Proceedings of the Sixth IEEE International Conference on Robotic Computing, 2022
Proceedings of the 44th IEEE/ACM International Conference on Software Engineering: Companion Proceedings, 2022
Proceedings of the 10th IEEE/ACM International Conference on Formal Methods in Software Engineering, 2022
SCAS-AI: A Strategy to Semi-Automate the Initial Selection Task in Systematic Literature Reviews.
Proceedings of the 48th Euromicro Conference on Software Engineering and Advanced Applications, 2022
Proceedings of the 48th Euromicro Conference on Software Engineering and Advanced Applications, 2022
2021
Int. J. Softw. Tools Technol. Transf., 2021
The Botnet Simulator: A simulation tool for understanding the interaction between botnets.
Softw. Impacts, 2021
The evolution of IoT Malwares, from 2008 to 2019: Survey, taxonomy, process simulator and perspectives.
J. Syst. Archit., 2021
A survey of malware detection in Android apps: Recommendations and perspectives for future research.
Comput. Sci. Rev., 2021
Proceedings of the 28th International Symposium on Temporal Representation and Reasoning, 2021
Proceedings of the SAC '21: The 36th ACM/SIGAPP Symposium on Applied Computing, 2021
Proceedings of the Web Engineering - 21st International Conference, 2021
Proceedings of the 14th IEEE International Conference on Software Testing, 2021
Proceedings of the 9th IEEE/ACM International Conference on Formal Methods in Software Engineering, 2021
Proceedings of the Foundations and Practice of Security - 14th International Symposium, 2021
Automated Support for Searching and Selecting Evidence in Software Engineering: A Cross-domain Systematic Mapping.
Proceedings of the 47th Euromicro Conference on Software Engineering and Advanced Applications, 2021
Proceedings of the 47th Euromicro Conference on Software Engineering and Advanced Applications, 2021
Proceedings of the Computer Aided Verification - 33rd International Conference, 2021
2020
Proceedings of the 12th International Workshop on Theory and Practice of Provenance, 2020
Proceedings of the Integrated Formal Methods - 16th International Conference, 2020
Proceedings of the Web Engineering - 20th International Conference, 2020
Proceedings of the Web Engineering - 20th International Conference, 2020
Proceedings of the Foundations and Practice of Security - 13th International Symposium, 2020
Knowledge Management for Promoting Update of Systematic Literature Reviews: An Experience Report.
Proceedings of the 46th Euromicro Conference on Software Engineering and Advanced Applications, 2020
Proceedings of the 24th IEEE International Enterprise Distributed Object Computing Conference, 2020
Proceedings of the 24th IEEE International Enterprise Distributed Object Computing Conference, 2020
2019
IT Prof., 2019
Proceedings of the 19th IEEE International Conference on Software Quality, 2019
Proceedings of the 19th IEEE International Conference on Software Quality, 2019
Proceedings of the IEEE International Symposium on Software Reliability Engineering Workshops, 2019
Electric Device Recognition and Recommendation in Real-Time Based on Complex Event Processing for Smart Homes.
Proceedings of the 5th EAI International Conference on Smart Objects and Technologies for Social Good, 2019
Proceedings of the 23rd IEEE International Enterprise Distributed Object Computing Conference, 2019
2018
Computer, 2018
A Comparison of Inertial Data Acquisition Methods for a Position-Independent Soil Types Recognition.
Proceedings of the 2018 IEEE SmartWorld, 2018
Proceedings of the Runtime Verification - 18th International Conference, 2018
Tally Keeping-LTL: An LTL Semantics for Quantitative Evaluation of LTL Specifications.
Proceedings of the 2018 IEEE International Conference on Information Reuse and Integration, 2018
Proceedings of the 22nd IEEE International Enterprise Distributed Object Computing Conference, 2018
2017
J. Netw. Syst. Manag., 2017
Comput. Entertain., 2017
A position-independent method for soil types recognition using inertial data from a wearable device.
Proceedings of the 2017 IEEE SmartWorld, 2017
Proceedings of the Runtime Verification - 17th International Conference, 2017
Proceedings of the RV-CuBES 2017. An International Workshop on Competitions, 2017
Proceedings of the Runtime Verification - 17th International Conference, 2017
Proceedings of the RV-CuBES 2017. An International Workshop on Competitions, 2017
Proceedings of the 26th ACM SIGSOFT International Symposium on Software Testing and Analysis, Santa Barbara, CA, USA, July 10, 2017
Proceedings of the 26th ACM SIGSOFT International Symposium on Software Testing and Analysis, Santa Barbara, CA, USA, July 10, 2017
Proceedings of the 10th IEEE/ACM International Workshop on Search-Based Software Testing, 2017
Proceedings of the Foundations and Practice of Security - 10th International Symposium, 2017
2016
J. Log. Algebraic Methods Program., 2016
CoRR, 2016
Proceedings of the Proceedings First Workshop on Causal Reasoning for Embedded and safety-critical Systems Technologies, 2016
Proceedings of the Runtime Verification - 16th International Conference, 2016
Proceedings of the Runtime Verification - 16th International Conference, 2016
Towards User Activity Recognition Through Energy Usage Analysis And Complex Event Processing.
Proceedings of the 9th ACM International Conference on PErvasive Technologies Related to Assistive Environments, 2016
Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation: Discussion, Dissemination, Applications, 2016
Proceedings of the Foundations and Practice of Security - 9th International Symposium, 2016
Proceedings of the 20th IEEE International Enterprise Distributed Object Computing Conference, 2016
Proceedings of the 2016 IEEE International Conference on Big Data (IEEE BigData 2016), 2016
Proceedings of the Artificial Intelligence Applied to Assistive Technologies and Smart Environments, 2016
2015
Int. J. Softw. Tools Technol. Transf., 2015
Proceedings of the 6th IEEE International Workshop on Program Comprehension through Dynamic Analysis, 2015
Proceedings of the Testing Software and Systems, 2015
Proceedings of the IFIP/IEEE International Symposium on Integrated Network Management, 2015
Proceedings of the 8th IEEE International Conference on Software Testing, 2015
Proceedings of the Foundations and Practice of Security - 8th International Symposium, 2015
Proceedings of the Foundations and Practice of Security - 8th International Symposium, 2015
Proceedings of the 19th IEEE International Enterprise Distributed Object Computing Workshop, 2015
2014
Multiple Ways to Fail: Generalizing a Monitor's Verdict for the Classification of Execution Traces.
Proceedings of the Runtime Verification - 5th International Conference, 2014
Proceedings of the Runtime Verification - 5th International Conference, 2014
Proceedings of the Language and Automata Theory and Applications, 2014
Proceedings of the Seventh IEEE International Conference on Software Testing, 2014
Proceedings of the Seventh IEEE International Conference on Software Testing, 2014
Proceedings of the 2014 19th International Conference on Engineering of Complex Computer Systems, 2014
Proceedings of the 2014 19th International Conference on Engineering of Complex Computer Systems, 2014
Proceedings of the 18th IEEE International Enterprise Distributed Object Computing Conference, 2014
2013
Proceedings of the 22nd International World Wide Web Conference, 2013
Proceedings of the 28th Annual ACM Symposium on Applied Computing, 2013
Proceedings of the Runtime Verification - 4th International Conference, 2013
Proceedings of the 2013 IFIP/IEEE International Symposium on Integrated Network Management (IM 2013), 2013
The Relational Database Engine: An Efficient Validator of Temporal Properties on Event Traces.
Proceedings of the 17th IEEE International Enterprise Distributed Object Computing Conference Workshops, 2013
2012
IEEE Trans. Serv. Comput., 2012
Trans. Comput. Sci., 2012
SiteHopper: Abstracting Navigation State Machines for the Efficient Verification of Web Applications.
Proceedings of the Web Services and Formal Methods - 9th International Workshop, 2012
Proceedings of the Runtime Verification, Third International Conference, 2012
Proceedings of the Runtime Verification, Third International Conference, 2012
Proceedings of the 2012 IEEE Network Operations and Management Symposium, 2012
Proceedings of the 2012 IEEE Network Operations and Management Symposium, 2012
Proceedings of the 2012 IEEE Network Operations and Management Symposium, 2012
Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change, 2012
Proceedings of the Fifth IEEE International Conference on Software Testing, 2012
Proceedings of the 4th International ICSE Workshop on Principles of Engineering Service-Oriented Systems, 2012
Proceedings of the Developments in Language Theory - 16th International Conference, 2012
2011
Proceedings of the 16th IEEE International Conference on Engineering of Complex Computer Systems, 2011
Proceedings of the 15th IEEE International Enterprise Distributed Object Computing Conference, 2011
Proceedings of the Workshops Proceedings of the 15th IEEE International Enterprise Distributed Object Computing Conference, 2011
2010
Proceedings of the Web Services and Formal Methods - 7th International Workshop, 2010
Realizability analysis for message-based interactions using shared-state projections.
Proceedings of the 18th ACM SIGSOFT International Symposium on Foundations of Software Engineering, 2010
Runtime Verification for the Web - A Tutorial Introduction to Interface Contracts in Web Applications.
Proceedings of the Runtime Verification - First International Conference, 2010
Eliminating navigation errors in web applications via model checking and runtime enforcement of navigation state machines.
Proceedings of the ASE 2010, 2010
Proceedings of the 14th IEEE International Enterprise Distributed Object Computing Conference, 2010
2009
IEEE Trans. Software Eng., 2009
Proceedings of the TIME 2009, 2009
Proceedings of the 2009 ACM Symposium on Applied Computing (SAC), 2009
Proceedings of the Service-Oriented Computing, 7th International Joint Conference, 2009
Proceedings of the Workshops Proceedings of the 12th IEEE International Enterprise Distributed Object Computing Conference, 2009
Proceedings of the Workshops Proceedings of the 12th IEEE International Enterprise Distributed Object Computing Conference, 2009
Proceedings of the Computer Aided Verification, 21st International Conference, 2009
2008
Proceedings of the 15th International Symposium on Temporal Representation and Reasoning, 2008
Proceedings of the On the Move to Meaningful Internet Systems: OTM 2008, 2008
Proceedings of the 12th International IEEE Enterprise Distributed Object Computing Conference, 2008
2007
Proceedings of the Web Services and Formal Methods, 4th International Workshop, 2007
Proceedings of the 11th IEEE International Enterprise Distributed Object Computing Conference (EDOC 2007), 2007
2006
Proceedings of the 13th International Symposium on Temporal Representation and Reasoning (TIME 2006), 2006
Proceedings of the Autonomic Networking, First International IFIP TC6 Conference, 2006
Proceedings of the Fifth International Conference on Machine Learning and Applications, 2006
2005
Proceedings of the 12th International Symposium on Temporal Representation and Reasoning (TIME 2005), 2005
Using Boolean Differences for Discovering Ill-Defined Attributes in Propositional Machine Learning.
Proceedings of the MICAI 2005: Advances in Artificial Intelligence, 2005
Proceedings of the Network Control and Engineering for QoS, 2005
2004
Proceedings of the Management of Multimedia Networks and Services: 7th IFIP/IEEE International Conference, 2004
Proceedings of the Utility Computing: 15th IFIP/IEEE International Workshop on Distributed Systems: Operations and Management, 2004