( en | de | ru )

 

Disambiguation of "Vaglini, Gigliola"

Author of the publication

copydeleteadd this publication to your clipboard
Model Checking for Mobile Android Malware Evolution.

, , , , , and . FormaliSE@ICSE, page 24-30. IEEE, (2017)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Gigliola Gori

Gigliola Biasi-Richter

Patricia Gigliola Wolff

 

Other publications of authors with the same name

Selective µ-calculus: New Modal Operators for Proving Properties on Reduced Transition Systems., , , and . FORTE, volume 107 of IFIP Conference Proceedings, page 519-534. Chapman & Hall, (1997)A user-friendly interface to specify temporal properties of concurrent systems., , and . Inf. Sci., 177 (1): 299-311 (2007)Using Differential Evolution to Improve Pheromone-based Coordination of Swarms of Drones for Collaborative Target Detection., , and . ICPRAM, page 605-610. SciTePress, (2016)Abstract reduction in directed model checking CCS processes., and . Acta Inf., 49 (5): 313-341 (2012)Model Checking Properties on Reduced Trace Systems., and . Algorithms, 7 (3): 339-362 (2014)Logic Based Abstractions of Real-Time Systems., , , and . Formal Methods Syst. Des., 17 (3): 201-220 (2000)Reusing LOTOS specifications., and . Microprocess. Microsystems, 25 (6): 309-314 (2001)Modifying LOTOS Specifications by Means of Automatable Formula-Based Integrations., and . J. Autom. Reason., 30 (1): 33-58 (2003)Using Smartwatch Sensors to Support the Acquisition of Sleep Quality Data for Supervised Machine Learning., , , and . MobiHealth, volume 192 of Lecture Notes of the Institute for Computer Sciences, Social Informatics and Telecommunications Engineering, page 251-259. Springer, (2016)A Formula Driven Incremental Construction of Web Service Compositions., , and . ICSOFT (1), page 13-22. INSTICC Press, (2009)