Остановите войну!
for scientists:
default search action
Franco Cicirelli
- > Home > Persons > Franco Cicirelli
Publications
- 2013
- [j10]Franco Cicirelli, Angelo Furfaro, Libero Nigro:
Using time stream Petri nets for workflow modelling analysis and enactment. Simul. 89(1): 68-86 (2013) - [c23]Franco Cicirelli, Angelo Furfaro, Libero Nigro, Francesco Pupo:
Agent Methodological Layers In Repast Simphony. ECMS 2013: 68-74 - [c21]Franco Cicirelli, Angelo Furfaro, Libero Nigro, Francesco Pupo:
Modelling Java Concurrency: An Approach and a Uppaal Library. FedCSIS 2013: 1361-1368 - 2012
- [j9]Franco Cicirelli, Angelo Furfaro, Libero Nigro:
Model checking time-dependent system specifications using Time Stream Petri Nets and Uppaal. Appl. Math. Comput. 218(16): 8160-8186 (2012) - [c20]Franco Cicirelli, Angelo Furfaro, Libero Nigro, Francesco Pupo:
Development of a Schedulability Analysis Framework Based on pTPN and UPPAAL with Stopwatches. DS-RT 2012: 57-64 - [c19]Franco Cicirelli, Angelo Furfaro, Libero Nigro, Francesco Pupo:
Agents Over The Grid: An Experience Using The Globus Toolkit 4. ECMS 2012: 78-85 - 2011
- [j8]Franco Cicirelli, Angelo Furfaro, Andrea Giordano, Libero Nigro:
HLA_ACTOR_REPAST: An approach to distributing RePast models for high-performance simulations. Simul. Model. Pract. Theory 19(1): 283-300 (2011) - [j7]Franco Cicirelli, Angelo Furfaro, Libero Nigro:
Modelling and simulation of complex manufacturing systems using statechart-based actors. Simul. Model. Pract. Theory 19(2): 685-703 (2011) - [c17]Franco Cicirelli, Angelo Furfaro, Libero Nigro, Francesco Pupo:
Dynamic Sociality Minority Game. ECMS 2011: 27-33 - [c15]Franco Cicirelli, Angelo Furfaro, Andrea Giordano, Libero Nigro:
Performance of a multi-agent system over a multi-core cluster managed by Terracotta. SpringSim (TMS-DEVS) 2011: 125-133 - 2010
- [j6]Franco Cicirelli, Angelo Furfaro, Libero Nigro:
A service-based architecture for dynamically reconfigurable workflows. J. Syst. Softw. 83(7): 1148-1164 (2010) - [c14]Franco Cicirelli, Angelo Furfaro, Andrea Giordano, Libero Nigro:
Parallel Simulation of Multi-agent Systems Using Terracotta. DS-RT 2010: 219-222 - [c13]Franco Cicirelli, Angelo Furfaro, Libero Nigro, Francesco Pupo:
Temporal verification of RT-DEVS models with implementation aspects. SpringSim 2010: 130 - [c12]Franco Cicirelli, Angelo Furfaro, Libero Nigro:
Using time stream Petri nets over a service architecture for workflow modelling and enactment. SpringSim 2010: 131 - 2009
- [j5]Franco Cicirelli, Angelo Furfaro, Libero Nigro:
An Agent Infrastructure over HLA for Distributed Simulation of Reconfigurable Systems and its Application to UAV Coordination. Simul. 85(1): 17-32 (2009) - [c11]Franco Cicirelli, Angelo Furfaro, Andrea Giordano, Libero Nigro:
Distributed Simulation of RePast Models over HLA/Actors. DS-RT 2009: 184-191 - [c10]Franco Cicirelli, Angelo Furfaro, Andrea Giordano, Libero Nigro:
Distributing RePast Simulations Using Actors. ECMS 2009: 226-232 - [c9]Franco Cicirelli, Angelo Furfaro, Andrea Giordano, Libero Nigro:
Statechart-Based Actors For Modelling And Distributed Simulation Of Complex Multi-Agent Systems. ECMS 2009: 233-239 - 2008
- [c8]Franco Cicirelli, Angelo Furfaro, Libero Nigro:
Actor-Based Simulation of PDEVS systems over HLA. Annual Simulation Symposium 2008: 229-236 - 2007
- [j3]Franco Cicirelli, Angelo Furfaro, Libero Nigro:
Exploiting agents for modelling and simulation of coverage control protocols in large sensor networks. J. Syst. Softw. 80(11): 1817-1832 (2007) - [j2]Franco Cicirelli, Angelo Furfaro, Libero Nigro:
Distributed simulation of modular time Petri nets: An approach and a case study exploiting temporal uncertainty. Real Time Syst. 35(2): 153-179 (2007) - [c7]Franco Cicirelli, Angelo Furfaro, Libero Nigro:
Integration and Interoperability between Jini services andWeb Services. IEEE SCC 2007: 278-285 - [c6]Franco Cicirelli, Angelo Furfaro, Andrea Giordano, Libero Nigro:
An Agent Infrastructure for Distributed Simulations over HLA and a Case Study Using Unmanned Aerial Vehicles. Annual Simulation Symposium 2007: 231-238 - [c5]Franco Cicirelli, Angelo Furfaro, Libero Nigro:
Conflict management in PDEVS: an experience in modelling and simulation of time petri nets. SCSC 2007: 349-356 - 2006
- [j1]Franco Cicirelli, Angelo Furfaro, Domenico Grimaldi, Libero Nigro, Francesco Pupo:
MADAMS: A software architecture for the management of networked measurement services. Comput. Stand. Interfaces 28(4): 396-411 (2006) - [c4]Franco Cicirelli, Angelo Furfaro, Libero Nigro:
An Approach to Protocol Modeling and Validation. Annual Simulation Symposium 2006: 261-268 - 2005
- [c3]Franco Cicirelli, Angelo Furfaro, Libero Nigro:
Exploiting Temporal Uncertainty in the Distributed Simulation of Time Petri Nets. Annual Simulation Symposium 2005: 233-240 - 2004
- [c2]Franco Cicirelli, Angelo Furfaro, Libero Nigro:
Deployment, configuration and management of mobile actor systems. IASTED Conf. on Software Engineering and Applications 2004: 483-488 - [c1]Franco Cicirelli, Angelo Furfaro, Libero Nigro, Francesco Pupo:
Scripting and Monitoring in TPN Designer Simulations: A Case Study Using the Production Cell. MSV/AMCS 2004: 277-288
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from , , and to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-04-16 20:32 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint