|
|
Venues (Conferences, Journals, ...)
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 19 occurrences of 15 keywords
|
|
|
Results
Found 20 publication records. Showing 20 according to the selection in the facets
Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
273 | Faiza Belala, Mohamed Bettaz |
A Natural Semantic Framework for ECATNets. |
Appl. Categorical Struct. |
2002 |
DBLP DOI BibTeX RDF |
ECATNets, concurrent systems, category theory, rewriting logic |
108 | Karim Djemame, Dennis C. Gilles, Lewis M. Mackenzie, Mohamed Bettaz |
Distributed Simulation of ECATNets: A Conservative Approach. |
PDP |
1996 |
DBLP DOI BibTeX RDF |
ECATNets, conservative approach, extended concurrent algebraic term nets, high-level algebraic nets, distributed systems specification, parallel systems specification, parallel simulation techniques, distributed discrete event simulation, partitioned model, connected subnets, distributed algorithms, discrete event simulation, process algebra, logical processes |
108 | Mohamed Bettaz, Mourad Maouche, Kamel Barkaoui |
Formal Specification of Communication Protocols with Object-Based ECATNets. |
EUROMICRO |
1996 |
DBLP DOI BibTeX RDF |
object-based ECATNets, specification framework, Ethernet protocol, formal specification, formal specification, Petri nets, prototyping, communication protocols, abstract data types, rewriting logic, rewriting system |
78 | Awatef Hicheur, Kamel Barkaoui, Noura Boudiaf |
Modeling Workflows with Recursive ECATNets. |
SYNASC |
2006 |
DBLP DOI BibTeX RDF |
|
78 | Mohamed Bettaz |
Object Based Software Engineering with Hidden Sorted ECATNets and Hidden Labeled Rewriting Logic. |
AICCSA |
2001 |
DBLP DOI BibTeX RDF |
object based software engineering, efficient prototyping, correct (incorrect) refinement, high-level Petri nets, rewriting logic |
54 | Kamel Barkaoui, Hanifa Boucheneb, Awatef Hicheur |
Modelling and Analysis of Time-Constrained Flexible Workflows with Time Recursive ECATNets. |
WS-FM |
2008 |
DBLP DOI BibTeX RDF |
Recursive Petri nets, Time-constrained Flexible workflows, Time Petri nets, Rewriting logic |
54 | Kamel Barkaoui, Awatef Hicheur |
Towards Analysis of Flexible and Collaborative Workflow Using Recursive ECATNets. |
Business Process Management Workshops |
2007 |
DBLP DOI BibTeX RDF |
Recursive Petri nets, Flexible collaborative workflow, Rewriting logic |
31 | Abdelkader Moudjari, Fateh Latreche, Hichem Talbi |
Meta-ECATNets for Modelling and Analyzing Clinical Pathways. |
MISC |
2018 |
DBLP DOI BibTeX RDF |
|
31 | Messaoud Rahim, Ahmed Kheldoun, Malika Boukala-Ioualalen, Ahmed Hammad |
Recursive ECATNets-based approach for formally verifying System Modelling Language activity diagrams. |
IET Softw. |
2015 |
DBLP DOI BibTeX RDF |
|
31 | Fateh Latreche, Faiza Belala |
Mop-ECATNets for Formal Modeling Dynamic Web Services. |
ICAASE |
2014 |
DBLP BibTeX RDF |
|
31 | Amel Ben Dhieb, Kamel Barkaoui |
On the Modeling of Healthcare Workflows Using Recursive ECATNets. |
Business Process Management Workshops (2) |
2011 |
DBLP DOI BibTeX RDF |
|
31 | Awatef Hicheur, Kamel Barkaoui |
Modelling collaborative workflows using recursive ECATNets. |
NOTERE |
2008 |
DBLP DOI BibTeX RDF |
|
31 | Nadia Zeghib, Kamel Barkaoui, Mohamed Bettaz |
Contextual ECATNets Semantics in Terms of Conditional Rewriting Logic. |
AICCSA |
2006 |
DBLP DOI BibTeX RDF |
|
31 | Nadia Zeghib, Mohamed Bettaz, Kamel Barkaoui |
CIRTA: An ECATNets Based Model for Embedded Systems Specification. |
ESA |
2005 |
DBLP BibTeX RDF |
|
31 | Narciso Martí-Oliet |
Review of the paper 'Concurrent Systems Analysis Using ECATNets' by F. Belala. |
Log. J. IGPL |
2002 |
DBLP DOI BibTeX RDF |
|
31 | Faiza Belala, Mohamed Bettaz, Laure Petrucci-Dauchy |
Concurrent Systems Analysis Using ECATNets. |
Log. J. IGPL |
2000 |
DBLP DOI BibTeX RDF |
|
31 | Mohamed Bettaz, Mourad Maouche |
Modelling of Object Based Systems with Hidden Sorted ECATNets. |
MASCOTS |
1995 |
DBLP DOI BibTeX RDF |
|
31 | Mohamed Bettaz, Mourad Maouche, Moussa Soualmi, Madani Boukebeche |
Compact Modeling and Rapid Prototyping of Communication Software with ECATNets: A Case Study. |
MASCOTS |
1993 |
DBLP BibTeX RDF |
|
31 | Mohamed Bettaz, Mourad Maouche, Moussa Soualmi, Madani Boukebeche |
Using ECATNets for Specifying Communication Software in the OSI Framework. |
ICCI |
1992 |
DBLP BibTeX RDF |
|
23 | Nasreddine Aoumeur, Gunter Saake |
Towards an Object Petri Nets Model for Specifying and Validating Distributed Information Systems. |
CAiSE |
1999 |
DBLP DOI BibTeX RDF |
|
Displaying result #1 - #20 of 20 (100 per page; Change: )
|
|