Filter your results
- 222
- 44
- 195
- 56
- 5
- 4
- 3
- 2
- 1
- 265
- 1
- 1
- 1
- 2
- 5
- 15
- 12
- 11
- 7
- 5
- 10
- 22
- 21
- 12
- 12
- 14
- 19
- 12
- 15
- 6
- 11
- 1
- 11
- 3
- 1
- 3
- 2
- 4
- 9
- 7
- 3
- 2
- 1
- 3
- 1
- 1
- 2
- 1
- 257
- 9
- 264
- 11
- 9
- 7
- 7
- 5
- 4
- 3
- 2
- 2
- 2
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 266
- 20
- 15
- 14
- 12
- 12
- 12
- 11
- 11
- 11
- 10
- 9
- 9
- 9
- 9
- 7
- 7
- 7
- 6
- 6
- 6
- 6
- 6
- 6
- 6
- 6
- 6
- 6
- 6
- 5
- 5
- 5
- 5
- 5
- 5
- 4
- 4
- 4
- 4
- 4
- 4
- 4
- 4
- 4
- 4
- 4
- 4
- 4
- 4
- 4
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 1
266 Results
Exploiting Local Persistency for Reduced State Space Generation12th International Conference on Verification and Evaluation of Computer and Communication Systems VECoS 2018, Oct 2018, Porto, Portugal. pp.166-181, ⟨10.1007/978-3-030-00359-3_11⟩
Conference papers
hal-02475841v1
|
|||
A Model-Based and Resource-Aware Testing Framework for Parking System Payment using Blockchain2020 International Wireless Communications and Mobile Computing (IWCMC), Jun 2020, Limassol, France. pp.1252-1259, ⟨10.1109/IWCMC48107.2020.9148212⟩
Conference papers
hal-03027784v1
|
|||
HapiFabric: A Teleconsultation Framework Based on Hyperledger FabricEuropean, Mediterranean, and Middle Eastern Conference on Information Systems, Nov 2020, Dubai, United Arab Emirates. pp.399-414, ⟨10.1007/978-3-030-63396-7_27⟩
Conference papers
hal-03027684v1
|
|||
Compact Supervisory Control of Discrete Event Systems by Petri Nets With Data Inhibitor ArcsIEEE Transactions on Systems, Man, and Cybernetics: Systems, 2017, 47 (2), pp.364-379. ⟨10.1109/TSMC.2016.2521833⟩
Journal articles
hal-02476553v1
|
|||
Mobility Load Balancing over Intra-frequency Heterogeneous Networks Using Handover AdaptationInternational Conference on Verification and Evaluation of Computer and Communication Systems. VECoS 2017, Aug 2017, Montreal, Canada. pp.108-123, ⟨10.1007/978-3-319-66176-6_8⟩
Conference papers
hal-02476503v1
|
|||
Necessary and sufficient liveness condition of GS 3 PR Petri netsInternational Journal of Systems Science, 2015, 46 (7), pp.1147-1160. ⟨10.1080/00207721.2013.827257⟩
Journal articles
hal-02479669v1
|
|||
|
A New Analytical Model for Calculating Elasticity in Cloud ComputingMSR 2019 - 12ème Colloque sur la Modélisation des Systèmes Réactifs, Nov 2019, Angers, France, Nov 2019, Angers, France
Conference papers
hal-02432308v1
|
||
|
IoT-based smart and complex systems: a guest editorial reportIEEE/CAA Journal of Automatica Sinica, 2018, 5 (1), pp.69-73. ⟨10.1109/JAS.2017.7510748⟩
Journal articles
hal-02475831v1
|
||
A Multi-Dimensional Architectural Approach to Behavior-Intensive Adaptive Pervasive ApplicationsISWPC'09, 4th Int. Symp. on Wireless Pervasive Computing, Melbourne, Australia, Jan 2009, X, France. pp.1-8
Conference papers
hal-01125683v1
|
|||
Text Retrieval Based on Dyadic Conceptual Projection25th International Workshop on Database and Expert Systems Applications (DEXA), 2014, Sep 2014, X, France. pp.198 - 202
Conference papers
hal-01126572v1
|
|||
On compatibility analysis of inter organizational business processes10th International Workshop on Enterprise Organizational Modeling and Simulation (EOMAS 2014), Jun 2014, X, France. pp.171-186
Conference papers
hal-01126577v1
|
|||
Une Approche Basée K pour la Description de Services WebICAIIT2014 - Conf?rence internationale sur l'intelligence artificielle et les technologies de l?information, Mar 2014, X, France. pp.12-20
Conference papers
hal-01126590v1
|
|||
Towards a Temporal Logic Tau LTL for the Verification of Rewriting Theories Denoting ECATNets1st Int'l Workshop on Automated Technology for Verification and Analysis (ATVA'03), Taiwan,, Jan 2003, X, France
Conference papers
hal-01125035v1
|
|||
Sur la vérification de la cohérence de processus workflow temporisésGEI'08, 8i?mes Journ?es Scientifiques des Jeunes Chercheurs en Génie Electrique et Informatique, Sousse, Tunisia, Jan 2008, X, France. pp.57-68
Conference papers
hal-01125455v1
|
|||
Dynamic Interaction of Information Systems - Weaving Architectural Connectors on Component Petri NetsICEIS'07, 9th Int. Conf. on Enterprise Information Systems, Funchal, Madeira Island, Portugal, Jan 2007, X, France. pp.152-158
Conference papers
hal-01125460v1
|
|||
Performance evaluation of a pessimistic global concurrency control algorithm for multidatabase systemsSymposium on discrete events and manufacturing systems, CESA'96 IMACS Multiconference, Lille, Jan 1996, X, France. pp.322-327
Conference papers
hal-01125478v1
|
|||
Evaluation de l'impact de la sporadicité du trafic sur les performances d'un serveur webActes de la Conférence SETIT, Tunisie, Jan 2003, X, France
Conference papers
hal-01124993v1
|
|||
On performance analysis of Web oriented systemsProc. of the 2nd ACS/IEEE Int'l. Conf. on Computers Systems and Applications,, Jan 2003, X, France. pp.59-66
Conference papers
hal-01124995v1
|
|||
Relevant Timed Schedules / Clock Valuations for Constructing Time Petri Net Reachability GraphsFORMATS'08, 6th International Conference on Formal Modeling and Analysis of Timed Systems, Saint-Malo, France, Jan 2008, X, France. pp.265-279
Conference papers
hal-01125623v1
|
|||
Deadlock avoidance in FMS based on structural theory of Petri netsINRIA/IEEE Int. Conf. on Emerging Technologies and Factory Automation ETFA95, Jan 1995, X, France. pp.499 - 510
Conference papers
hal-01125438v1
|
|||
A Deadlock Prevention Method for a Class of FMSIEEE Int. Conf. on Systems, Man and Cybernetics 1995 SMC95, Jan 1995, X, France. pp.4119-4124
Conference papers
hal-01125439v1
|
|||
On Liveness in Extended non Self-Controlling Nets16th Int. Conf. on Application and Theory of Petri Nets, ICATPN 95, Jan 1995, X, France. pp.25-46
Conference papers
hal-01125441v1
|
|||
Vérification Paramétrée de la Cohérence des Processus WorkflowMSR'07, 6ème Colloque Francophone sur la Modélisation des Systèmes Réactifs, Lyon, France, Jan 2007, X, France. pp.255-268
Conference papers
hal-01125449v1
|
|||
Robustness of deadlock control for a class of Petri nets with unreliable resourcesInformation sciences, Information Sciences, 2013, 235, pp.259-279
Journal articles
hal-01126292v1
|
|||
On Agile Service-oriented Business Processes: Activity-centric ECA-Architectural Foundation with Aspectual .NET EnvironmentWWS'09, 1er Workshop sur les Services Web dans les Systèmes d'Information, Algiers, Algeria, Jan 2009, X, France. pp.1-11
Conference papers
hal-01125693v1
|
|||
Workflow Modeling and Analysis using Petri NetsICICS'09, 7th International Conference on Information, Communications and Signal Processing, Macau, 8-10 December, 2009, Jan 2009, X, France. pp.25-33
Conference papers
hal-01125807v1
|
|||
|
An unreliable single server retrial queue with collisions and transmission errorsCommunications in Statistics - Theory and Methods, 2022, ⟨10.1080/03610926.2020.1758943⟩
Journal articles
hal-02585949v1
|
||
|
M/M/1 Retrial Queue with Collisions and Transmission ErrorsMethodology and Computing in Applied Probability, 2019, 21 (4), pp.1395-1406. ⟨10.1007/s11009-018-9680-x⟩
Journal articles
hal-02475784v1
|
||
APN Model for Specification of the Communication Protocols in Multi-Agent SystemJournal of Software Engineering and Applications, 2013, 6, pp.14-22
Journal articles
hal-01126305v1
|
|||
Parametric Verification of Time Workflow Nets24th International Conference on Software Engineering (SEKE), Jul 2012, X, France. pp.375-380
Conference papers
hal-01126315v1
|