Ugo Buy

According to our database1, Ugo Buy authored at least 21 papers between 1997 and 2018.

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

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

On csauthors.net:

Bibliography

2018
AppSeer: discovering flawed interactions among Android components.
Proceedings of the 1st International Workshop on Advances in Mobile App Analysis, 2018

DDS: Deadlock Detector and Solver.
Proceedings of the 2018 IEEE International Symposium on Software Reliability Engineering Workshops, 2018

2016
From video games to debugging code.
Proceedings of the 5th International Workshop on Games and Software Engineering, 2016

2014
Probabilistic Macro-Architectural Decision Framework.
Proceedings of the ECSA 2014 Workshops & Tool Demos Track, 2014

2013
REDACT: preventing database deadlocks from application-based transactions.
Proceedings of the Joint Meeting of the European Software Engineering Conference and the ACM SIGSOFT Symposium on the Foundations of Software Engineering, 2013

Preventing database deadlocks in applications.
Proceedings of the Joint Meeting of the European Software Engineering Conference and the ACM SIGSOFT Symposium on the Foundations of Software Engineering, 2013

Testing Database-Centric Applications for Causes of Database Deadlocks.
Proceedings of the Sixth IEEE International Conference on Software Testing, 2013

2012
Enhancing the software architecture analysis and design process with inferred macro-architectural requirements.
Proceedings of the First IEEEInternational Workshop on the Twin Peaks of Requirements and Architecture, 2012

2011
Enforcing Periodic Transition Deadlines in Time Petri Nets With Net Unfoldings.
IEEE Trans. Systems, Man, and Cybernetics, Part A, 2011

Formal Modeling of Sequential Function Charts With Time Petri Nets.
IEEE Trans. Contr. Sys. Techn., 2011

The Need for a Multilevel Context-Aware Software Architecture Analysis and Design Method with Enterprise and System Architecture Concerns as First Class Entities.
Proceedings of the 9th Working IEEE/IFIP Conference on Software Architecture, 2011

A Systemic Methodology for Software Architecture Analysis and Design.
Proceedings of the Eighth International Conference on Information Technology: New Generations, 2011

2010
Trajectory Data Reduction in Wireless Sensor Networks.
IJNGC, 2010

2008
Control Reconfiguration of Discrete Event Systems With Dynamic Control Specifications.
IEEE Trans. Automation Science and Engineering, 2008

2007
Enforcing transition deadlines in time Petri nets.
Proceedings of 12th IEEE International Conference on Emerging Technologies and Factory Automation, 2007

2005
Clock synchronization for wireless sensor networks: a survey.
Ad Hoc Networks, 2005

Latency-Based Supervisors for Enforcing Deadlines in Time Petri Nets.
Proceedings of the 29th Annual IEEE / NASA Software Engineering Workshop (SEW-29 2005), 2005

Supervisory Control of Time Petri Nets Using Net Unfolding.
Proceedings of the 29th Annual International Computer Software and Applications Conference, 2005

2003
A Framework for the Efficient Production of Web Applications.
Proceedings of the IASTED International Conference on Modelling and Simulation (MS 2003), 2003

A Framework for the Efficient Production of Web Applications.
Proceedings of the Eighth IEEE Symposium on Computers and Communications (ISCC 2003), 30 June, 2003

1997
Compiling process algebraic specifications into timed automata.
Proceedings of the 21st International Computer Software and Applications Conference (COMPSAC '97), 1997


  Loading...