Stéphane Julia
According to our database1,
Stéphane Julia
authored at least 47 papers
between 1998 and 2022.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
2022
Swarm robotics coordination dynamics modelled and formalised through Coloured Petri Nets.
Proceedings of the 34th IEEE International Conference on Tools with Artificial Intelligence, 2022
Resource Planning in Workflow Nets Based on a Symbolic Time Constraint Propagation Mechanism.
Proceedings of the Enterprise Information Systems - 24th International Conference, 2022
Proceedings of the 24th International Conference on Enterprise Information Systems, 2022
2021
Comput. Informatics, 2021
2020
Proceedings of the 34th Brazilian Symposium on Software Engineering, 2020
2019
A Linear Logic Based Method for Deadlock-Freeness Scenarios Monitoring in Web Services Composition.
Proceedings of the 13th IEEE International Conference on Service-Oriented System Engineering, 2019
2017
Proceedings of the Formal Methods: Foundations and Applications - 20th Brazilian Symposium, 2017
Proceedings of the 31st Brazilian Symposium on Software Engineering, 2017
Using Linear Logic to Verify Requirement Scenarios in SOA Models based on Interorganizational WorkFlow Nets Relaxed Sound.
Proceedings of the ICEIS 2017, 2017
A Linear Logic based Synchronization Rule for Deadlock Prevention in Web Service Composition.
Proceedings of the ICEIS 2017, 2017
Constraint Analysis based on Energetic Reasoning Applied to the Problem of Real Time Scheduling of Workflow Management Systems.
Proceedings of the ICEIS 2017, 2017
2016
Linear Logic as a Tool for Qualitative and Quantitative Analysis of Workow Processes.
Int. J. Artif. Intell. Tools, 2016
Linear Logic as a Tool for Weak Soundness Verification for Interorganizational Workflow Processes.
Proceedings of the 28th IEEE International Conference on Tools with Artificial Intelligence, 2016
Possibilistic WorkFlow Nets for Dealing with Cancellation Regions in Business Processes.
Proceedings of the ICEIS 2016, 2016
Proceedings of the ICEIS 2016, 2016
Proceedings of the ICEIS 2016, 2016
2015
Proceedings of the 12th International Conference on Information Technology, 2015
Modeling Recursive Search Algorithms by Means of Hierarchical Colored Petri Nets and CPN Tools.
Proceedings of the 12th International Conference on Information Technology, 2015
Proceedings of the 12th International Conference on Information Technology, 2015
Possibilistic WorkFlow Net for Deadlock Avoidance in Interorganizational Business Processes.
Proceedings of the Enterprise Information Systems - 17th International Conference, 2015
Deadlock Avoidance in Interorganizational Business Processes using a Possibilistic WorkFlow Net.
Proceedings of the ICEIS 2015, 2015
Proceedings of the ICEIS 2015, 2015
Resource Allocation Mechanisms and Time Constraint Propagation Techniques in Fuzzy Workflow Nets.
Proceedings of the Enterprise Information Systems - 17th International Conference, 2015
Proceedings of the ICEIS 2015, 2015
2014
Linear Logic as a Tool for Deadlock-Freeness Scenarios Detection in Interorganizational Workflow Processes.
Proceedings of the 26th IEEE International Conference on Tools with Artificial Intelligence, 2014
Possibilistic Interorganizational Workflow Net for the Recovery Problem Concerning Communication Failures.
Proceedings of the ICEIS 2014, 2014
Proceedings of the ICEIS 2014, 2014
Proceedings of 24th Annual International Conference on Computer Science and Software Engineering, 2014
2013
Verification of Workflow Specifications in UML Using Automated Transformations to WF-nets.
Proceedings of the 9th Brazilian Symposium on Information Systems, 2013
Proceedings of the IEEE 14th International Conference on Information Reuse & Integration, 2013
Qualitative Analysis of Interorganizational WorkFlow Nets Using Linear Logic: Soundness Verification.
Proceedings of the 25th IEEE International Conference on Tools with Artificial Intelligence, 2013
2012
Proceedings of the IEEE International Conference on Systems, Man, and Cybernetics, 2012
Proceedings of the 31st International Conference of the Chilean Computer Science Society, 2012
2011
Proceedings of the IEEE International Conference on Systems, 2011
2009
Proceedings of the IEEE International Conference on Systems, 2009
Proceedings of the 5th Brazilian Symposium on Information Systems, 2009
2008
Real time scheduling of Workflow Management Systems based on a p-time Petri net model with hybrid resources.
Simul. Model. Pract. Theory, 2008
J. Syst. Softw., 2008
2007
Proceedings of the IEEE International Conference on Systems, 2007
2006
Software Architecture for the Real Time Scheduling of Workflow Management Systems based on a Petri net model.
Proceedings of the 20th Brazilian Symposium on Software Engineering, 2006
Proceedings of the 2006 IEEE International Conference on Information Reuse and Integration, 2006
2005
Object Oriented Software Architecture Design based on UML/Petri Net approach for deadlock prevention of Real Time Systems.
J. Comput. Methods Sci. Eng., 2005
2004
A p-time hybrid Petri net model for the scheduling problem of workflow management systems.
Proceedings of the IEEE International Conference on Systems, 2004
2000
Scheduling batch systems using a Petri net model and an intelligent backtrack mechanism.
Proceedings of the IEEE International Conference on Systems, 2000
1998
Proceedings of the IEEE International Conference on Systems, Man and Cybernetics, 1998