Guy Tremblay

According to our database1, Guy Tremblay authored at least 33 papers between 1998 and 2019.

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



In proceedings 
PhD thesis 




Languages for Big Data analysis.
Proceedings of the Encyclopedia of Big Data Technologies., 2019

PiCo: High-performance data analytics pipelines in modern C++.
Future Generation Comp. Syst., 2018

Using Natural Language Processing for Documentation Assist.
Proceedings of the Workshops of the The Thirty-Second AAAI Conference on Artificial Intelligence, 2018

A Comparison of Big Data Frameworks on a Layered Dataflow Model.
Parallel Processing Letters, 2017

Semantic Analysis of RESTful APIs for the Detection of Linguistic Patterns and Antipatterns.
Int. J. Cooperative Inf. Syst., 2017

PiCo: A Novel Approach to Stream Data Analytics.
Proceedings of the Euro-Par 2017: Parallel Processing Workshops, 2017

Are RESTful APIs Well-Designed? Detection of their Linguistic (Anti)Patterns.
Proceedings of the Service-Oriented Computing - 13th International Conference, 2015

Specification and Detection of SOA Antipatterns in Web Services.
Proceedings of the Software Architecture - 8th European Conference, 2014

A possibilistic approach to intrusion detection under imperfect logging protocol.
Proceedings of the 6th International Conference on Security of Information and Networks, 2013

Detection of SOA Patterns.
Proceedings of the Service-Oriented Computing - 11th International Conference, 2013

Agile Principles as Software Engineering Principles: An Analysis.
Proceedings of the Agile Processes in Software Engineering and Extreme Programming, 2012

Interface Expressions Monitoring for BPEL Processes.
Proceedings of the WEBIST 2011, 2011

A marking language for the oto assignment marking tool.
Proceedings of the 16th Annual SIGCSE Conference on Innovation and Technology in Computer Science Education, 2011

A Cellular Automata Breccia Simulator (CABS) and its application to rounding in hydrothermal breccias.
Computers & Geosciences, 2010

Business process modeling languages: Sorting through the alphabet soup.
ACM Comput. Surv., 2010

Oto, a generic and extensible tool for marking programming assignments.
Softw., Pract. Exper., 2008

Search-based many-to-one component substitution.
Journal of Software Maintenance, 2008

Marking musical dictations using the edit distance algorithm.
Softw., Pract. Exper., 2007

Introducing students to professional software construction: a "software construction and maintenance" course and its maintenance corpus.
Proceedings of the 12th Annual SIGCSE Conference on Innovation and Technology in Computer Science Education, 2007

Extending a marking tool with simple support for testing.
Proceedings of the 12th Annual SIGCSE Conference on Innovation and Technology in Computer Science Education, 2007

Automated and Unanticipated Flexible Component Substitution.
Proceedings of the Component-Based Software Engineering, 10th International Symposium, 2007

Classifying Business Processes for Domain Engineering.
Proceedings of the 18th IEEE International Conference on Tools with Artificial Intelligence (ICTAI 2006), 2006

Business Process Modeling for Light-Weight Inter-Entreprise System Integration.
Proceedings of the Information and Communication Technologies in Tourism, 2004

Implementation of the EARTH programming model on SMP clusters: a multi-threaded language and runtime system.
Concurrency and Computation: Practice and Experience, 2003

Évolution d'un langage pour la programmation parallèle multicontexte : Threaded-C.
Technique et Science Informatiques, 2002

On the Tamability of the Location Consistency Memory Model.
Proceedings of the International Conference on Parallel and Distributed Processing Techniques and Applications, 2002

An Abstract State Machine Specification and Verification of the Location Consistency Memory Model and Cache Protocol.
J. UCS, 2001

Formal methods: mathematics, computer science or software engineering?
IEEE Trans. Education, 2000

Lenient evaluation and parallelism.
Comput. Lang., 2000

Lenient evaluation is neither strict nor lazy.
Comput. Lang., 2000

Formal Methods: Mathematics, Computer Science, or Software Engineering?
Proceedings of the Thirteenth Conference on Software Engineering Education and Training, 2000

Exercises for teaching logic in a formal methods course: formalizing ERDs.
Proceedings of the 30th SIGCSE Technical Symposium on Computer Science Education, 1999

An undergraduate course in formal methods: "description is our business".
Proceedings of the 29th SIGCSE Technical Symposium on Computer Science Education, 1998, Atlanta, Georgia, USA, February 26, 1998