default search action
Paolo F. Sciammarella
Person information
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2020
- [j7]Franco Cicirelli, Libero Nigro, Paolo F. Sciammarella:
Seamless development in Java of distributed real-time systems using actors. Int. J. Simul. Process. Model. 15(1/2): 13-29 (2020) - [j6]Christian Nigro, Libero Nigro
, Paolo F. Sciammarella:
Formal reasoning on knowledge and commitments in multi-agent systems using Theatre. Simul. 96(2) (2020)
2010 – 2019
- 2019
- [c16]Christian Nigro, Libero Nigro, Paolo F. Sciammarella:
Formal Modeling and Analysis of Probabilistic Real-Time Systems. ICICT (1) 2019: 55-72 - [c15]Libero Nigro, Paolo F. Sciammarella:
Statistical Model Checking of Cyber-Physical Systems Using Hybrid Theatre. IntelliSys (1) 2019: 1232-1251 - 2018
- [j5]Christian Nigro, Libero Nigro, Paolo F. Sciammarella:
Modelling and analysis of multi-agent systems using UPPAAL SMC. Int. J. Simul. Process. Model. 13(1): 73-87 (2018) - [j4]Carmelo Scuro
IoT for structural health monitoring. IEEE Instrum. Meas. Mag. 21(6): 4-14 (2018) - [j3]Franco Cicirelli, Libero Nigro
Model continuity in cyber-physical systems: A control-centered methodology based on agents. Simul. Model. Pract. Theory 83: 93-107 (2018) - [j2]Libero Nigro
Qualitative and quantitative model checking of distributed probabilistic timed actors. Simul. Model. Pract. Theory 87: 343-368 (2018) - [c14]Libero Nigro, Paolo F. Sciammarella:
Time Synchronization in Wireless Sensor Networks: A Modeling and Analysis Experience Using Theatre. DS-RT 2018: 63-70 - [c13]Christian Nigro, Libero Nigro, Paolo F. Sciammarella:
Model Checking Knowledge And Commitments In Multi-Agent Systems Using Actors And UPPAAL. ECMS 2018: 136-142 - [c12]Francesco Lamonaca
Synchronization of IoT Layers for Structural Health Monitoring. MetroInd4.0&IoT 2018: 89-94 - 2017
- [j1]Domenico Luca Carnì, Domenico Grimaldi, Francesco Lamonaca, Libero Nigro, Paolo F. Sciammarella:
From Distributed Measurement Systems to Cyber-Physical Systems: a Design Approach. Int. J. Comput. 16: 66-73 (2017) - [c11]Domenico Luca Carnì, Franco Cicirelli, Domenico Grimaldi, Libero Nigro, Paolo F. Sciammarella:
Exploiting Model Continuity in Agent-Based Cyber-Physical Systems. CSOC (2) 2017: 57-69 - [c10]Libero Nigro, Paolo F. Sciammarella:
Statistical model checking of distributed real-time actor systems. DS-RT 2017: 188-195 - [c9]Libero Nigro, Paolo F. Sciammarella:
Statistical Model Checking Of Multi-Agent Systems. ECMS 2017: 11-17 - [c8]Domenico Luca Carnì, Domenico Grimaldi, Libero Nigro, Paolo F. Sciammarella, Franco Cicirelli:
Agent-based software architecture for distributed measurement systems and cyber-physical systems design. I2MTC 2017: 1-6 - [c7]Francesco Lamonaca
Mobile object to speed up the synchronization of IoT network. M&N 2017: 1-6 - [c6]Luca De Vito
An IoT-enabled multi-sensor multi-user system for human motion measurements. MeMeA 2017: 210-215 - 2016
- [c5]Franco Cicirelli, Libero Nigro, Paolo F. Sciammarella:
Model Checking Mutual Exclusion Algorithms Using Uppaal. CSOC (2) 2016: 203-215 - [c4]Franco Cicirelli, Libero Nigro, Paolo F. Sciammarella:
Agents+Control: A Methodology for CPSs. DS-RT 2016: 45-52 - [c3]Franco Cicirelli, Libero Nigro, Paolo F. Sciammarella:
Agent-Based Model Continuity Of Stochastic Time Petri Nets. ECMS 2016: 18-24 - [c2]Domenico Luca Carnì, Domenico Grimaldi, Paolo F. Sciammarella, Francesco Lamonaca
Setting-up of PPG scaling factors for SpO2% evaluation by smartphone. MeMeA 2016: 1-5 - [c1]Domenico Luca Carnì, Domenico Grimaldi, Paolo F. Sciammarella, Alfonso Nastro, Francesco Lamonaca
Measurement technique for the healty and carious teeth based on thermal analysis. MeMeA 2016: 1-5
Coauthor Index
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-07-27 16:41 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by: