Google
Google Scholar
MS Academic
CiteSeerX
CORE
Semantic ScholarAntonella Santone
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
showing all ?? records
2010 – today
- 2018
[j38]Aniello Cimitile, Francesco Mercaldo, Vittoria Nardone, Antonella Santone, Corrado Aaron Visaggio:
Talos: no more ransomware victims with formal methods. Int. J. Inf. Sec. 17(6): 719-738 (2018)- [j37]Fabio Martinelli, Francesco Mercaldo, Vittoria Nardone, Antonella Santone, Arun Kumar Sangaiah, Aniello Cimitile:
Evaluating model checking for cyber threats code obfuscation identification. J. Parallel Distrib. Comput. 119: 203-218 (2018) - [j36]Antonella Santone:
Special issue on formal methods for security engineering. J. Computer Virology and Hacking Techniques 14(4): 251 (2018) - [c47]Fabio Martinelli, Francesco Mercaldo, Vittoria Nardone, Albina Orlando, Antonella Santone:
Who's Driving My Car? A Machine Learning based Approach to Driver Identification. ICISSP 2018: 367-372 - [c46]Fabio Martinelli, Francesco Mercaldo, Vittoria Nardone, Albina Orlando, Antonella Santone:
Cluster Analysis for Driver Aggressiveness Identification. ICISSP 2018: 562-569 - [c45]Cinzia Bernardeschi, Paolo Masci, Antonella Santone:
Data Leakage in Java Applets with Exception Mechanism. ITASEC 2018 - [c44]Fabio Martinelli, Francesco Mercaldo, Vittoria Nardone, Albina Orlando, Antonella Santone:
Context-Awareness Mobile Devices for Traffic Incident Prevention. PerCom Workshops 2018: 143-148 - [c43]Fabio Martinelli, Francesco Mercaldo, Vittoria Nardone, Antonella Santone, Gigliola Vaglini:
Real-Time Driver Behaviour Characterization Through Rule-Based Machine Learning. SAFECOMP Workshops 2018: 374-386 - 2017
- [c42]Fabio Martinelli, Francesco Mercaldo, Vittoria Nardone, Antonella Santone:
Malware and Formal Methods: Rigorous Approaches for detecting Malicious Behaviour. ARES 2017: 76:1-76:6 - [c41]Fabio Martinelli, Francesco Mercaldo, Vittoria Nardone, Antonella Santone:
How Discover a Malware using Model Checking. AsiaCCS 2017: 902-904 - [c40]Fabio Martinelli, Francesco Mercaldo, Vittoria Nardone, Antonella Santone:
Car hacking identification through fuzzy logic algorithms. FUZZ-IEEE 2017: 1-7 - [c39]Fabio Martinelli, Francesco Mercaldo, Vittoria Nardone, Antonella Santone, Corrado Aaron Visaggio:
Identifying Mobile Repackaged Applications through Formal Methods. ICISSP 2017: 673-682 - [c38]Aniello Cimitile, Fabio Martinelli, Francesco Mercaldo, Vittoria Nardone, Antonella Santone, Gigliola Vaglini:
Model Checking for Mobile Android Malware Evolution. FormaliSE@ICSE 2017: 24-30 - [c37]Francesco Mercaldo, Vittoria Nardone, Antonella Santone:
Diabetes Mellitus Affected Patients Classification and Diagnosis through Machine Learning Techniques. KES 2017: 2519-2528 - [c36]Aniello Cimitile, Fabio Martinelli, Francesco Mercaldo, Vittoria Nardone, Antonella Santone:
Formal Methods Meet Mobile Code Obfuscation Identification of Code Reordering Technique. WETICE 2017: 263-268 - 2016
- [j35]Nicoletta De Francesco, Giuseppe Lettieri, Antonella Santone, Gigliola Vaglini:
Heuristic search for equivalence checking. Software and System Modeling 15(2): 513-530 (2016) - [c35]
- [c34]Francesco Mercaldo, Vittoria Nardone, Antonella Santone, Corrado Aaron Visaggio:
Ransomware Steals Your Phone. Formal Methods Rescue It. FORTE 2016: 212-221 - [c33]Pasquale Battista, Francesco Mercaldo, Vittoria Nardone, Antonella Santone, Corrado Aaron Visaggio:
Identification of Android Malware Families with Model Checking. ICISSP 2016: 542-547 - [c32]Francesco Mercaldo, Vittoria Nardone, Antonella Santone, Corrado Aaron Visaggio:
Download malware? no, thanks: how formal methods can block update attacks. FormaliSE@ICSE 2016: 22-28 - [c31]Antonella Santone, Gigliola Vaglini:
Conformance Checking using Formal Methods. ICSOFT-EA 2016: 258-263 - [c30]Vittoria Nardone, Domenico Raucci, Antonella Santone:
Model Checking to Support Action Controls in the Purchasing Process. WETICE 2016: 199-204 - [c29]Francesco Mercaldo, Vittoria Nardone, Antonella Santone, Corrado Aaron Visaggio:
Hey Malware, I Can Find You! WETICE 2016: 261-262 - 2015
- [c28]Mario Luca Bernardi, Marta Cimitile, Giuseppe De Ruvo, Giuseppe A. Di Lucca, Antonella Santone:
Improving Design Patterns Finder Precision Using a Model Checking Approach. CAiSE Forum 2015: 113-120 - [c27]Giuseppe De Ruvo, Giuseppe Lettieri, Domenico Martino, Antonella Santone, Gigliola Vaglini:
k-Bisimulation: A Bisimulation for Measuring the Dissimilarity Between Processes. FACS 2015: 181-198 - [c26]Michele Ceccarelli, Luigi Cerulo, Giuseppe De Ruvo, Vittoria Nardone, Antonella Santone:
Infer Gene Regulatory Networks from Time Series Data with Probabilistic Model Checking. FormaliSE@ICSE 2015: 26-32 - [c25]Mario Luca Bernardi, Marta Cimitile, Giuseppe De Ruvo, Giuseppe A. Di Lucca, Antonella Santone:
Model Checking to Improve Precision of Design Pattern Instances Identification in OO Systems. ICSOFT-PT 2015: 53-63 - [c24]Mario Luca Bernardi, Marta Cimitile, Giuseppe De Ruvo, Giuseppe A. Di Lucca, Antonella Santone:
Integrating Model Driven and Model Checking to Mine Design Patterns. ICSOFT (Selected Papers) 2015: 99-117 - [c23]Giuseppe De Ruvo, Antonella Santone:
Equivalence-Based Selection of Best-Fit Models to Support Wiki Design. WETICE 2015: 204-209 - [c22]Giuseppe De Ruvo, Antonella Santone:
Analysing Wiki Quality Using Probabilistic Model Checking. WETICE 2015: 224-229 - 2014
- [j34]Antonella Santone, Gigliola Vaglini:
Model Checking Properties on Reduced Trace Systems. Algorithms 7(3): 339-362 (2014) - [j33]Antonio Cuomo, Antonella Santone, Umberto Villano:
CD-Form: A clone detector based on formal methods. Sci. Comput. Program. 95: 390-405 (2014) - [j32]Nicoletta De Francesco, Giuseppe Lettieri, Antonella Santone, Gigliola Vaglini:
GreASE: A Tool for Efficient "Nonequivalence" Checking. ACM Trans. Softw. Eng. Methodol. 23(3): 24:1-24:26 (2014) - [c21]Giuseppe De Ruvo, Antonella Santone, Domenico Raucci:
Powerful Equivalence Checking in the Bank Supply Process. SERVICES 2014: 87-94 - [c20]Giuseppe De Ruvo, Antonella Santone:
An Eclipse-Based Editor to Support LOTOS Newcomers. WETICE 2014: 372-377 - [c19]Giuseppe De Ruvo, Antonella Santone:
A Novel Methodology Based on Formal Methods for Analysis and Verification of Wikis. WETICE 2014: 411-416 - 2013
- [j31]Antonella Santone, Gigliola Vaglini, Maria Luisa Villani:
Incremental construction of systems: An efficient characterization of the lacking sub-system. Sci. Comput. Program. 78(9): 1346-1367 (2013) - [c18]Michele Ceccarelli, Luigi Cerulo, Antonella Santone:
Infer gene regulatory networks from time series data with formal methods. BIBM 2013: 115-120 - [c17]Antonella Santone, Gigliola Vaglini:
Partial Order Interpretation of a Mu-Calculus-Like Temporal Logic. ICSOFT 2013: 233-238 - [c16]Antonella Santone, Valentina Intilangelo, Domenico Raucci:
Efficient Formal Verification in Banking Processes. SERVICES 2013: 325-332 - [c15]Antonella Santone, Valentina Intilangelo, Domenico Raucci:
Application of Equivalence Checking in a Loan Origination Process in Banking Industry. WETICE 2013: 292-297 - 2012
- [j30]Antonella Santone, Gigliola Vaglini:
Abstract reduction in directed model checking CCS processes. Acta Inf. 49(5): 313-341 (2012) - [c14]Antonella Santone, Gigliola Vaglini:
Modelling and Analysing Social Networks through Formal Methods and Heuristic Searches. ICSOFT 2012: 336-339 - [c13]Antonio Cuomo, Antonella Santone, Umberto Villano:
A novel approach based on formal methods for clone detection. IWSC 2012: 8-14 - 2011
- [c12]Gianpiero Francesca, Antonella Santone, Gigliola Vaglini, Maria Luisa Villani:
Ant Colony Optimization for Deadlock Detection in Concurrent Systems. COMPSAC 2011: 108-117 - [c11]
2000 – 2009
- 2009
- [c10]Antonella Santone, Gigliola Vaglini, Maria Luisa Villani:
A Formula Driven Incremental Construction of Web Service Compositions. ICSOFT (1) 2009: 13-22 - 2008
- [j29]Sara Gradara, Antonella Santone, Gigliola Vaglini, Maria Luisa Villani:
Modular formal verification of specifications of concurrent systems. Softw. Test., Verif. Reliab. 18(1): 5-28 (2008) - 2007
- [j28]Sara Gradara, Antonella Santone, Maria Luisa Villani:
Formal Verification of Concurrent Systems via Directed Model Checking. Electr. Notes Theor. Comput. Sci. 185: 93-105 (2007) - [j27]Nicoletta De Francesco, Antonella Santone, Gigliola Vaglini:
A user-friendly interface to specify temporal properties of concurrent systems. Inf. Sci. 177(1): 299-311 (2007) - [c9]Massimiliano Di Penta, Antonella Santone, Maria Luisa Villani:
Discovery of SOA patterns via model checking. IW-SOSWE 2007: 8-14 - 2006
- [j26]Sara Gradara, Antonella Santone, Maria Luisa Villani:
DELFIN+: An efficient deadlock detection tool for CCS processes. J. Comput. Syst. Sci. 72(8): 1397-1412 (2006) - 2005
- [j25]Roberto Barbuti, Nicoletta De Francesco, Antonella Santone, Gigliola Vaglini:
Reduced Models for Efficient CCS Verification. Formal Methods in System Design 26(3): 319-350 (2005) - [j24]Sara Gradara, Antonella Santone, Maria Luisa Villani:
Using heuristic search for finding deadlocks in concurrent systems. Inf. Comput. 202(2): 191-226 (2005) - [j23]Antonella Santone, Gigliola Vaglini:
A local approach for temporal model checking of Java bytecode. J. Comput. Syst. Sci. 70(2): 258-281 (2005) - [j22]Antonella Santone, Gigliola Vaglini:
Compositionality and locality for improving model checking in the selective mu-calculus. Sci. Comput. Program. 54(2-3): 291-311 (2005) - 2004
- [j21]Sara Gradara, Antonella Santone, Maria Luisa Villani, Gigliola Vaglini:
Model Checking Multithreaded Programs by Means of Reduced Models. Electr. Notes Theor. Comput. Sci. 110: 55-74 (2004) - [j20]Antonella Santone, Gigliola Vaglini:
Formula-based abstractions and symbolic execution for model checking programs. Microprocessors and Microsystems 28(2): 69-76 (2004) - 2003
- [j19]Nicoletta De Francesco, Antonella Santone, Luca Tesei:
Abstract Interpretation and Model Checking for Checking Secure Information Flow in Concurrent Systems. Fundam. Inform. 54(2-3): 195-211 (2003) - [j18]Antonella Santone, Gigliola Vaglini:
Modifying LOTOS Specifications by Means of Automatable Formula-Based Integrations. J. Autom. Reasoning 30(1): 33-58 (2003) - [j17]Antonella Santone:
Heuristic Search + Local Model Checking in Selective mu-Calculus. IEEE Trans. Software Eng. 29(6): 510-523 (2003) - 2002
- [j16]Antonella Santone:
Automatic verification of concurrent systems using a formula-based compositional approach. Acta Inf. 38(8): 531-564 (2002) - [j15]Roberto Barbuti, Nicoletta De Francesco, Antonella Santone, Luca Tesei:
A Notion of Non-Interference for Timed Automata. Fundam. Inform. 51(1-2): 1-11 (2002) - [j14]Nicoletta De Francesco, Antonella Santone:
A Formula-Driven Modular Attack on State Explosion. Int. J. Found. Comput. Sci. 13(5): 719-731 (2002) - [j13]Nicoletta De Francesco, Antonella Santone:
A tool supporting efficient model checking of concurrent specifications. Microprocessors and Microsystems 25(9-10): 401-407 (2002) - [j12]Nicola Mazzocca, Antonella Santone, Gigliola Vaglini, Valeria Vittorini:
Efficient model checking of properties of a distributed application: a multimedia case study. Softw. Test., Verif. Reliab. 12(1): 3-21 (2002) - [j11]Nicoletta De Francesco, Antonella Santone:
Syntactic reductions for efficient deadlock analysis. Softw. Test., Verif. Reliab. 12(3): 173-186 (2002) - [c8]Antonella Santone, Gigliola Vaglini:
A Tableau-Based Procedure for Model Checking Programs. COMPSAC 2002: 723-730 - [c7]
- 2001
- [j10]Giuseppe Anastasi, Alberto Bartoli, Nicoletta De Francesco, Antonella Santone:
Efficient Verification of a Multicast Protocol for Mobile Computing. Comput. J. 44(1): 21-30 (2001) - [j9]Antonella Santone, Gigliola Vaglini:
Reusing LOTOS specifications. Microprocessors and Microsystems 25(6): 309-314 (2001) - 2000
- [j8]Roberto Barbuti, Nicoletta De Francesco, Antonella Santone, Gigliola Vaglini:
Logic Based Abstractions of Real-Time Systems. Formal Methods in System Design 17(3): 201-220 (2000) - [c6]
1990 – 1999
- 1999
- [j7]Roberto Barbuti, Nicoletta De Francesco, Antonella Santone, Gigliola Vaglini:
Abstract Interpretation of Trace Semantics for Concurrent Calculi. Inf. Process. Lett. 70(2): 69-78 (1999) - [j6]Roberto Barbuti, Nicoletta De Francesco, Antonella Santone, Gigliola Vaglini:
Selective Mu-Calculus and Formula-Based Equivalence of Transition Systems. J. Comput. Syst. Sci. 59(3): 537-556 (1999) - [j5]Roberto Barbuti, Nicoletta De Francesco, Antonella Santone, Gigliola Vaglini:
LORETO: A Tool for Reducing State Explosion in Verification of LOTOS Programs. Softw., Pract. Exper. 29(12): 1123-1147 (1999) - [c5]Roberto Barbuti, Nicoletta De Francesco, Antonella Santone, Gigliola Vaglini:
Formula Based Abstractions of Transition Systems for Real-Time Model Checking. World Congress on Formal Methods 1999: 289-306 - 1998
- [j4]Nicoletta De Francesco, Antonella Santone:
A Transformation System for Concurrent Processes. Acta Inf. 35(12): 1037-1073 (1998) - [j3]Nicoletta De Francesco, Antonella Santone, Gigliola Vaglini:
State Space Reduction by Non-Standard Semantics for Deadlock Analysis. Sci. Comput. Program. 30(3): 309-338 (1998) - [j2]Roberto Barbuti, Nicoletta De Francesco, Paolo Mancarella, Antonella Santone:
Towards a Logical Semantics for Pure Prolog. Sci. Comput. Program. 32(1-3): 145-176 (1998) - 1997
- [j1]Roberto Barbuti, Nicoletta De Francesco, Antonella Santone:
Algebraic Computational Models of OR-Parallel Execution of Prolog. Acta Inf. 34(6): 449-489 (1997) - [c4]Roberto Barbuti, Nicoletta De Francesco, Antonella Santone, Gigliola Vaglini:
Selective µ-calculus: New Modal Operators for Proving Properties on Reduced Transition Systems. FORTE 1997: 519-534 - 1996
- [c3]Nicoletta De Francesco, Antonella Santone, Gigliola Vaglini:
A Non-Standard Semantics for Generating Reduced Transition Systems. LOMAPS 1996: 370-387 - [c2]Nicoletta De Francesco, Antonella Santone:
Unfold/Fold Transformations of Concurrent Processes. PLILP 1996: 167-181 - 1995
- [c1]Roberto Barbuti, Nicoletta De Francesco, Antonella Santone:
Modeling OR-Parallel Execution of Prolog using CHOCS. ICLP 1995: 547-561
Coauthor Index
maintained by 
at 
at 
last updated on 2018-10-16 22:55 CEST by the dblp team
data released under the ODC-BY 1.0 license
see also: Terms of Use | Privacy Policy | Imprint