Guy Tremblay

Orcid: 0000-0002-0047-8229

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

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

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

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

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

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

2017
A Comparison of Big Data Frameworks on a Layered Dataflow Model.
Parallel Process. Lett., 2017

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

A Formal Semantics for Data Analytics Pipelines.
CoRR, 2017

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

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

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

2013
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

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

2011
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

2010
A Cellular Automata Breccia Simulator (CABS) and its application to rounding in hydrothermal breccias.
Comput. Geosci., 2010

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

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

Search-based many-to-one component substitution.
J. Softw. Maintenance Res. Pract., 2008

Extending orchids for intrusion detection in 802.11 wireless networks.
Proceedings of the 8th international conference on New technologies in distributed systems, 2008

2007
Marking musical dictations using the edit distance algorithm.
Softw. Pract. Exp., 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

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

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

2003
Implementation of the EARTH programming model on SMP clusters: a multi-threaded language and runtime system.
Concurr. Comput. Pract. Exp., 2003

2002
Évolution d'un langage pour la programmation parallèle multicontexte : Threaded-C.
Tech. Sci. 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

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

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

Lenient evaluation and parallelism.
Comput. Lang., 2000

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

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

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


  Loading...