Stéphane Julia

Publication Activity (10 Years)

Years Active: 1998-2022
Publications (10 Years): 17

Top Topics

Business Process

Coloured Petri Nets

Web Services Composition

Top Venues

Publications

Lorena Rodrigues Bruno, Stéphane Julia
A Symbolic Time Constraint Propagation Mechanism Proposal for Workflow Nets. ICEIS (1) (2022)
Lorena Rodrigues Bruno, Stéphane Julia
Resource Planning in Workflow Nets Based on a Symbolic Time Constraint Propagation Mechanism. ICEIS (Revised Selected Papers) (2022)
Claudiney R. Tinoco, Leiliane Pereira de Rezende, Stéphane Julia, Gina M. B. Oliveira
Swarm robotics coordination dynamics modelled and formalised through Coloured Petri Nets. ICTAI (2022)
Franciny Medeiros Barreto, Stéphane Julia
Formal Approach Based on Petri Nets for Modeling and Verification of Video Games. Comput. Informatics 40 (1) (2021)
Franciny Medeiros Barreto, Stéphane Julia
A Possibilistic Simulation Model for Multiplayer Game Scenarios Using CPN Tools. SBES (2020)
Lígia Maria Soares Passos, Stéphane Julia, Bruno Francisco Martins da Silva
A Linear Logic Based Method for Deadlock-Freeness Scenarios Monitoring in Web Services Composition. SOSE (2019)
Kênia Santos de Oliveira, Stéphane Julia
Using Linear Logic to Verify Requirement Scenarios in Composite Web Service. SBMF (2017)
Kênia Santos de Oliveira, Vinícius Ferreira de Oliveira, Stéphane Julia
Using Linear Logic to Verify Requirement Scenarios in SOA Models based on Interorganizational WorkFlow Nets Relaxed Sound. ICEIS (2) (2017)
Franciny Medeiros Barreto, Stéphane Julia
Modeling of Video Games Using Workflow Nets and State Graphs. SBES (2017)
Flávio Félix Medeiros, Stéphane Julia
Constraint Analysis based on Energetic Reasoning Applied to the Problem of Real Time Scheduling of Workflow Management Systems. ICEIS (3) (2017)
Vinícius Ferreira de Oliveira, Stéphane Julia, Lígia Maria Soares Passos, Kênia Santos de Oliveira
A Linear Logic based Synchronization Rule for Deadlock Prevention in Web Service Composition. ICEIS (2) (2017)
Lígia Maria Soares Passos, Stéphane Julia
Linear Logic as a Tool for Qualitative and Quantitative Analysis of Workow Processes. Int. J. Artif. Intell. Tools 25 (3) (2016)
Leiliane Pereira de Rezende, Stéphane Julia, Janette Cardoso
Possibilistic WorkFlow Nets for Dealing with Cancellation Regions in Business Processes. ICEIS (2) (2016)
Stéphane Julia, Liliane do Nascimento Vale, Lígia Maria Soares Passos
Functional Testing Using Object WorkFlow Nets. Comput. Informatics 35 (3) (2016)
Leiliane Pereira de Rezende, Stéphane Julia, Janette Cardoso
Uncertain Marking for Dealing with Partial Parallelization in Business Processes. ICEIS (2) (2016)
Joslaine Cristina Jeske de Freitas, Stéphane Julia, Leiliane Pereira de Rezende
Modeling a Fuzzy Resource Allocation Mechanism based on Workflow Nets. ICEIS (2) (2016)
Lígia Maria Soares Passos, Stéphane Julia
Linear Logic as a Tool for Weak Soundness Verification for Interorganizational Workflow Processes. ICTAI (2016)
Leiliane Pereira de Rezende, Stéphane Julia
Deadlock Avoidance in Interorganizational Business Processes using a Possibilistic WorkFlow Net. ICEIS (1) (2015)
Lígia Maria Soares Passos, Stéphane Julia
Deadlock-Freeness Scenarios Detection in Web Service Composition. ITNG (2015)
Joslaine Cristina Jeske de Freitas, Stéphane Julia, Leiliane Pereira de Rezende
Fuzzy Resource Allocation Mechanisms in Workflow Nets. ICEIS (1) (2015)
Leiliane Pereira de Rezende, Stéphane Julia
Possibilistic WorkFlow Net for Deadlock Avoidance in Interorganizational Business Processes. ICEIS (Revised Selected Papers) (2015)
Clarimundo Machado Moraes Junior, Rita Maria da Silva Julia, Stéphane Julia
Modeling Recursive Search Algorithms by Means of Hierarchical Colored Petri Nets and CPN Tools. ITNG (2015)
Joslaine Cristina Jeske de Freitas, Stéphane Julia
Fuzzy Time Constraint Propagation Mechanism for Workflow Nets. ITNG (2015)
Lígia Maria Soares Passos, Stéphane Julia
Relaxed Soundness Verification for Interorganizational Workflow Processes. ICEIS (3) (2015)
Joslaine Cristina Jeske de Freitas, Stéphane Julia, Leiliane Pereira de Rezende
Resource Allocation Mechanisms and Time Constraint Propagation Techniques in Fuzzy Workflow Nets. ICEIS (Revised Selected Papers) (2015)
Lígia Maria Soares Passos, Stéphane Julia
Linear Logic as a Tool for Deadlock-Freeness Scenarios Detection in Interorganizational Workflow Processes. ICTAI (2014)
Franciny Medeiros Barreto, Stéphane Julia
Modeling and analysis of video games based on workflow nets and state graphs. CASCON (2014)
Leiliane Pereira de Rezende, Stéphane Julia, Janette Cardoso
Possibilistic Interorganizational Workflow Net for the Recovery Problem Concerning Communication Failures. ICEIS (1) (2014)
Franciny Medeiros Barreto, Joslaine Cristina Jeske de Freitas, Michel S. Soares, Stéphane Julia
A Straightforward Introduction to Formal Methods Using Coloured Petri Nets. ICEIS (2) (2014)
Lígia Maria Soares Passos, Stéphane Julia
Qualitative Analysis of Interorganizational WorkFlow Nets Using Linear Logic: Soundness Verification. ICTAI (2013)
Luciane de Fatima Silva, Lígia Maria Soares Passos, Michel dos Santos Soares, Stéphane Julia
Siphon-based deadlock prevention policy for interorganizational WorkFlow net design. IRI (2013)
Lígia Maria Soares Passos, Tarcísio Abadio de Magalhães Júnior, Marcelo de Almeida Maia, Stéphane Julia
Verification of Workflow Specifications in UML Using Automated Transformations to WF-nets. SBSI (2013)
Leiliane Pereira de Rezende, Stéphane Julia, Janette Cardoso
Inconsistency Recovery in Business Processes Using a Possibilistic WorkFlow Net. SCCC (2012)
Leiliane Pereira de Rezende, Stéphane Julia, Janette Cardoso
Possibilistic WorkFlow nets to deal with non-conformance in process execution. SMC (2012)
Guilherme Willian de Oliveira, Stéphane Julia, Lígia Maria Soares Passos
Game modeling using WorkFlow nets. SMC (2011)
Lígia Maria Soares Passos, Stéphane Julia
Qualitative Analysis of WorkFlow nets using Linear Logic: Soundness Verification. SMC (2009)
Joslaine Cristina Jeske de Freitas, Stéphane Julia, Robert Valette
Fuzzy Continuous Resource Allocation Mechanisms in Workflow Management Systems. SBES (2009)
Lígia Maria Soares Passos, Stéphane Julia
Análise qualitativa e quantitativa de WorkFlow nets utilizando Lógica Linear. SBSI (2009)
Michel dos Santos Soares, Stéphane Julia, Jos L. M. Vrancken
Real-time scheduling of batch systems using Petri nets and linear logic. J. Syst. Softw. 81 (11) (2008)
Stéphane Julia, Fernanda Francielle de Oliveira, Robert Valette
Real time scheduling of Workflow Management Systems based on a p-time Petri net model with hybrid resources. Simul. Model. Pract. Theory 16 (4) (2008)
Michele Nasu Tomiyama, Stéphane Julia
Modelling biological processes using differential predicate transition Petri nets. SMC (2007)
Joslaine Cristina Jeske de Freitas, Stéphane Julia, Robert Valette
Fuzzy continuous resource allocation mechanisms in workflow management systems. IRI (2006)
Fernanda Francielle de Oliveira, Stéphane Julia
Software Architecture for the Real Time Scheduling of Workflow Management Systems based on a Petri net model. SBES (2006)
Sílvio Bacalá Júnior, Stéphane Julia
Object Oriented Software Architecture Design based on UML/Petri Net approach for deadlock prevention of Real Time Systems. J. Comput. Methods Sci. Eng. 5 (4) (2005)
Stéphane Julia, Fernanda Francielle de Oliveira
A p-time hybrid Petri net model for the scheduling problem of workflow management systems. SMC (5) (2004)
Stéphane Julia, Robert Valette
Real time scheduling of batch systems. Simul. Pract. Theory 8 (5) (2000)
Stéphane Julia, Clarimundo Machado M. Júior
Scheduling batch systems using a Petri net model and an intelligent backtrack mechanism. SMC (2000)
Stéphane Julia, Robert Valette, José M. Fernandes
Scheduling batch systems using a token player algorithm. SMC (1998)