Stéphane Julia

According to our database1, Stéphane Julia authored at least 47 papers between 1998 and 2022.

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

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

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

A Symbolic Time Constraint Propagation Mechanism Proposal for Workflow Nets.
Proceedings of the 24th International Conference on Enterprise Information Systems, 2022

2021
Formal Approach Based on Petri Nets for Modeling and Verification of Video Games.
Comput. Informatics, 2021

2020
A Possibilistic Simulation Model for Multiplayer Game Scenarios Using CPN Tools.
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
Using Linear Logic to Verify Requirement Scenarios in Composite Web Service.
Proceedings of the Formal Methods: Foundations and Applications - 20th Brazilian Symposium, 2017

Modeling of Video Games Using Workflow Nets and State Graphs.
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

Functional Testing Using Object WorkFlow Nets.
Comput. Informatics, 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

Uncertain Marking for Dealing with Partial Parallelization in Business Processes.
Proceedings of the ICEIS 2016, 2016

Modeling a Fuzzy Resource Allocation Mechanism based on Workflow Nets.
Proceedings of the ICEIS 2016, 2016

2015
Deadlock-Freeness Scenarios Detection in Web Service Composition.
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

Fuzzy Time Constraint Propagation Mechanism for Workflow Nets.
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

Relaxed Soundness Verification for Interorganizational Workflow Processes.
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

Fuzzy Resource Allocation Mechanisms in Workflow Nets.
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

A Straightforward Introduction to Formal Methods Using Coloured Petri Nets.
Proceedings of the ICEIS 2014, 2014

Modeling and analysis of video games based on workflow nets and state graphs.
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

Siphon-based deadlock prevention policy for interorganizational WorkFlow net design.
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
Possibilistic WorkFlow nets to deal with non-conformance in process execution.
Proceedings of the IEEE International Conference on Systems, Man, and Cybernetics, 2012

Inconsistency Recovery in Business Processes Using a Possibilistic WorkFlow Net.
Proceedings of the 31st International Conference of the Chilean Computer Science Society, 2012

2011
Game modeling using WorkFlow nets.
Proceedings of the IEEE International Conference on Systems, 2011

2009
Qualitative Analysis of WorkFlow nets using Linear Logic: Soundness Verification.
Proceedings of the IEEE International Conference on Systems, 2009

Análise qualitativa e quantitativa de WorkFlow nets utilizando Lógica Linear.
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

Real-time scheduling of batch systems using Petri nets and linear logic.
J. Syst. Softw., 2008

2007
Modelling biological processes using differential predicate transition Petri nets.
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

Fuzzy continuous resource allocation mechanisms in workflow management systems.
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
Real time scheduling of batch systems.
Simul. Pract. Theory, 2000

Scheduling batch systems using a Petri net model and an intelligent backtrack mechanism.
Proceedings of the IEEE International Conference on Systems, 2000

1998
Scheduling batch systems using a token player algorithm.
Proceedings of the IEEE International Conference on Systems, Man and Cybernetics, 1998


  Loading...