Journal

[10] Claudia Vannucchi, Michelangelo Diamanti, Gianmarco Mazzante, Diletta Cacciagrano, Rosario Culmone, Nikos Gorogiannis, Leonardo Mostarda, Franco Raimondi. Symbolic verification of event– condition–action rules in intelligent environments.. Journal of Reliable Intelligent Environment, Feb. 2017 [PDF]

[9] KNadeem Qaisar Mehmood, Rosario Culmone, Leonardo Mostarda Modeling temporal aspects of sensor data for MongoDB NoSQL database. Journal of Big Data, Springer December 2017, [PDF]

[8] Krishna Doddapaneni · Ali Tasiran · Fredrick A Omondi · Enver Ever · Purav Shah · Leonardo Mostarda · Orhan Gemikonakli. Does the Assumption of Exponential Arrival Distributions in Wireless Sensor Networks Hold? . International Journal of Sensor Networks, 2016 [PDF]

[7] Nadeem Qaisar Mehmood, Rosario Culmone, Leonardo Mostarda. A flexible and scalable architecture for real-time ANT+ sensor data acquisition and nosql storage . International Journal of Distributed Sensor Networks, 2016. [PDF]

[6] Yoney Kirsal-Ever, Agozie Eneh, Orhan Gemikonakli, Leonardo Mostarda. Analysing the Combined Kerberos Timed Authentication Protocol and Frequent Key Renewal Using CSP and Rank Functions. . TIIS 8(12): 4604-4623 (2014) [PDF]

[5] Giovanni Russello, Leonardo Mostarda and Naranker Dulay. A policy-based publish/subscribe middleware for sense-and-react applications. . Elsevier, Journal of System and software Volume 84 Issue 4, April, 2011. [PDF]

[4] Leonardo Mostarda and Changuy Dong and Naranker Dulay. Context-based Authentication and Transport of Cultural Assets . Personal and Ubiquitous Computing, Springer, Volume 14, Number 4, 321-334, DOI: 10.1007/s00779-009-0233-8. [PDF]

[3] Leonardo Mostarda and Alfredo Navarra. Distributed Intrusion Detection Systems for enhancing Security in Mobile Wireless Sensor Networks.. International Journal of Dustributed Sensor Networks (IJDSN), Special Issue on ''Advances in Heterogeneous Wireless Sensor Networks'', devoted to the 20th IEEE International Conference on Advanced Information Networking and Applications (AINA 2006). (2008) [PDF]

[2] M. Autili, L. Mostarda, A. Navarra and M. Tivoli. Synthesis of decentralized and concurrent adaptors for correctly assembling distributed component-based systems. Journal of Systems and Software (JSS). Volume: 81. Issue: 12. Pages: 2237-2251. (2008). DOI: http://dx.doi.org/10.1016/j.jss.2008.04.006 [PDF]

[1] Stefania Costantini, Leonardo Mostarda, Arianna Tocchio and Panagiota Tsintza. DALICA Agents applied to a Cultural Heritage scenario. IEEE Intelligent System Magazine (2008) [PDF]

Book chapter

[1] Leonardo Mostarda and Paola Inverardi. A Distributed Monitoring System For Enhancing Dependability and Security At Architectural Level. Book chapter: Architecting Dependable Systems IV, LNCS 4615 proceedings. (2007) [PDF]

Conferences

[36] Claudia Vannucchi, Michelangelo Diamanti, Gianmarco Mazzante, Diletta Romana Cacciagrano, Flavio Corradini, Rosario Culmone, Nikos Gorogiannis, Leonardo Mostarda and Franco Raimondi vIRONy: a tool for analysis and verification of ECA rules in Intelligent Environments Intelligent Environments 2017[PDF]

[35] Claudia Vannucchi, Diletta Romana Cacciagrano, Flavio Corradini, Rosario Culmone, Leonardo Mostarda, Franco Raimondi, Luca Tesei: A Formal Model for Event-Condition-Action Rules in Intelligent Environments. Intelligent Environments (Workshops) 2016: 56-65 [PDF]

[34] Zaib Ullah, Leonardo Mostarda, Roberto Gagliardi, Diletta Cacciagrano, Flavio Corradini: A comparison of HEED based clustering algorithms - introducing ER-HEED. AINA 2016[PDF]

[33] Alfredo Navarra, Pietro Palazzo, Cristina M. Pinotti, Leonardo Mostarda: Algorithms for Services with Multiple Levels of Quality. EEEWSN 2016[PDF]

[32] Diletta Romana Cacciagrano, Rosario Culmone, Leonardo Mostarda, Claudia Vannucchi: Towards a uniform ontology-driven approach for modeling, checking and executing WSANs. EEEWSN 2016[PDF]

[31] Yonal Kirsal, Yoney Kirsal-Ever, Leonardo Mostarda, Orhan Gemikonakli: Analytical Modelling and Performability Analysis for Cloud Computing Using Queuing System. UCC 2015: 643-647[PDF]

[30] N Alechina, B Logan, HN Nguyen, F Raimondi, L Mostarda. Symbolic Model-checking for Resource-Bounded ATL. International conference on Autonomous Agents and Multi-Agent Systems, AAMAS '15, 2015 [PDF]

[29] Krishna Doddapaneni, Purav Shah, Enver Ever, Ali Tasiran, Fredrick A. Omondi, Leonardo Mostarda and Orhan Gemikonakli. Packet Arrival Analysis in Wireless Sensor Networks. 29th IEEE International Conference on Advanced Information Networking and Applications Workshops, AINA 2015 [PDF]

[28] Rosario Culmone, Leonardo Mostarda, Franco Raimondi and Luca Tesei. A Constrained ECA Language Supporting Formal Verification of WSNs. 29th IEEE International Conference on Advanced Information Networking and Applications Workshops, AINA 2015 [PDF]

[27] Nueraili Aierken, Roberto Gagliardi, Leonardo Mostarda and Zaib Ullah. RUHEED-Rotated Unequal Clustering Algorithm For Wireless Sensor Networks. 29th IEEE International Conference on Advanced Information Networking and Applications Workshops, AINA 2015 [PDF]

[26] Fredrick A. Omondi, Enver Ever, Purav Shah, Orhan Gemikonakli, Leonardo Mostarda. Performability Modelling and Analysis of Clustered Wireless Sensor Networks with Limited Storage Capacities. Internet and Distributed Computing Systems - 7th International Conference, IDCS 2014, 2014. [PDF]

[24] Nadeem Qaisar Mehmood, Rosario Culmone, Leonardo Mostarda. An Ontology Driven Software Framework for the Healthcare Applications Based on ANT+ Protocol. 28th IEEE International Conference on Advanced Information Networking and Applications Workshops, AINA 2014 [PDF]

[23] Yoney Kirsal-Ever, Yonal Kirsal, Alberto Polzonetti, Leonardo Mostarda and Enver Ever. Challenges of Kerberos Variance in High QoS Expectations. The 2013 International Conference on Security and Management (SAM'13)Las Vegas, USA, July 22 - 25. [PDF]

[22] Antinisca Di Marco,Francesco Gallo, Orhan Gemikonakli, Leonardo Mostarda and Franco Raimondi. Implementing Adaptation and Reconfiguration Strategies in Heterogeneous WSN. In proceeding of The 27th IEEE International Conference on Advanced Information Networking and Applications (AINA-2013). [PDF]

[21] Yoney Kirsal-Ever, Agozie Eneh, Orhan Gemikonakli and Leonardo Mostarda. Modelling Attacker with Deciding Security Properties by Induction and Deduction. In proceeding of The 27th IEEE International Conference on Advanced Information Networking and Applications (AINA-2013) [PDF]

[20] Krishna Doddapaneni, E.Ever, Orhan Gemikonakli, L. Mostarda and A. Navarra. Effects of IDSs on the WSNs Lifetime: evidence for the need of new approaches. In proceeding of Third International Symposium on Mobile and Wireless Network Security (MWNS-12). In conjunction with 11th IEEE International Conference on Trust, Security and Privacy in Computing and Communications (IEEE TrustCom-12). Liverpool, UK, 25-27 June, 2012. [PDF]

[19] Krishna Doddapaneni, E.Ever, Orhan Gemikonakli, Ivano Malavolta, L. Mostarda and Henry Muccini A Model-Driven Engineering Framework for Architecting and Analysing Wireless Sensor Networks. In proceeding of Software Engineering for Sensor Network Applications (SESENA 2012) In conjunction with ACM/IEEE Intl. Conference on Software Engineering (ICSE) June 2-9, 2012, Zurich, Switzerland. [PDF]

[18] E.Ever and R. Luchmun and L. Mostarda and A. Navarra and P. Shah. UHEED - An Unequal Clustering Algorithm for Wireless Sensor Networks. In proceeding of 1th Internetional Conference on Sensor Networks (SENSORNET 2012). [PDF]

[17] Krishna Doddapaneni and Enver Ever and Orhan Gemikonakli and Ivano Malavolta and Leonardo Mostarda and Henry Muccini. Path Loss Effect on Energy Consumption in a WSN. In proceeding of 14th International Conference on Modeling and Simulation (UKSim 2012). [PDF]

[16] Vittorio Cortellessa and Catia Trubiani and Leonardo Mostarda and Naranker Dulay. An Architectural Framework for Analyzing Tradeoffs between Software Security and Performance. In proceeding of 1st International Symposium on Architecting Critical Systems Federated with CompArch 2010. [PDF]

[15] Leonardo Mostarda and Rudi Ball and Naranker Dulay. Distributed Fault Tolerant Controllers. In proceeding of 10th IFIP international conference on Distributed Applications and Interoperable Systems (DAIS), 2010. [PDF]

[14] Leonardo Mostarda and Daniel Sykes and Naranker Dulay. A State Machine-Based Approach For Reliable Adaptive Distributed Systems. In proceeding of 7th IEEE International Conference and Workshops on Engineering of Autonomic and Autonomous Systems, 2010. [PDF]

[13] Leonardo Mostarda and Srdjan Marinovic and Naranker Dulay. Distributed Orchestration of Pervasive Services. In proceeding of AINA IEEE 2010 Conference (AINA 2010).[PDF]

[12] Dimosthenis Pediaditakis, Leonardo Mostarda, Changyu Dong, and Naranker Dulay. Policies for Self Tuning Home Networks. In proceeding of IEEE International Symposium on Policies for Distributed Systems and Networks (POLICIES 2009). [PDF]

[11] Leonardo Mostarda and Changyu Dong and Naranker Dulay. Place and Time Authentication of Cultural Assets. In proceeding of , Trust Management and Security (IFIPTM 2008). Springer Verlag (2008) [PDF]

[10] Giovanni Russello and Leonardo Mostarda and Naranker Dulay. ESCAPE: A Component-Based Policy Framework for Sense and React Applications. In proceeding of Component Based Software Engineering Conference (CBSE 2008). [PDF]

[9] Paola Inverardi and Leonardo Mostarda. DESERT: a decentralized monitoring tool generator. In proceedings of the 22nd IEEE/ACM International Conference on Automated Software Engineering (ASE 2007).[PDF]

[8] Leonardo Mostarda and Arianna Tocchio and Paola Inverardi and Stefania Costantini. A geo time authentication Sistem. In proceeding of Joint iTrust and PST Conferences on Privacy, Trust Management and Security (IFIPTM 2007). Series: IFIP International Federation for Information Processing ,Springer Verlag Vol. 238 2007 [PDF]

[7] Stefania Costantini, Arianna Tocchio, Panagiota Tsintza and Leonardo Mostarda. Agents and Security in a Cultural Assets Transport Scenario. (WOA 2007 [PDF]

[6] Stefania Costantini, Leonardo Mostarda, Arianna Tocchio and Panagiota Tsintza. DALICA: Intelligent Agents for User Profile Deduction. In Proceedings of the 19 International Conference on Software Engineering and Knowledge Engineering, Boston, Massachusetts (SEKE'2007), USA, July 9-11, 2007. ISBN=1-891706-20-9 [PDF]

[5] Stefania Costantini, Paola Inverardi, Leonardo Mostarda, Arianna Tocchio and Panagiota Tsintza. User Profile Agents for Cultural Heritage fruition. Symposium on Artificial Societies for Ambient Intelligence (ASAmI 2007) [PDF]

[4] Leonardo Mostarda, Paola Inverardi and Alfredo Navarra. Distributed IDSs for enhancing Security in Mobile Wireless Sensor Networks. In proceeding of AINA IEEE 2006 Conference (AINA 2006) [PDF]

[3] Leonardo Mostarda and Paola Inverardi. A Distributed Intrusion Detection Approach for Secure Software Architecture. European Workshop on Software Architecture (EWSA 2005). Lecture Notes in Computer Science, vol. 3527. Springer, 2005. [PDF]

[2] Leonardo Mostarda, Paola Inverardi, Marco Autili and Massimo Tivoli. Synthesis of correct and distributed adaptors for component-based systems: an automatic approach. In proceeding of 20th IEEE/ACM International Conference on Automated Software Engineering 2005. (ASE 2005) [PDF]

[1] Leonardo Mostarda. Distributed Intrusion Detection Systems for Secure Software Architectures. Ph.D. Thesis 2006 University of L'Aquila [PDF]