Antonella Santone

According to our database1, Antonella Santone
  • authored at least 73 papers between 1995 and 2017.
  • has a "Dijkstra number"2 of five.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

Homepage:

On csauthors.net:

Bibliography

2017
Model Checking for Mobile Android Malware Evolution.
Proceedings of the 5th IEEE/ACM International FME Workshop on Formal Methods in Software Engineering, 2017

Identifying Mobile Repackaged Applications through Formal Methods.
Proceedings of the 3rd International Conference on Information Systems Security and Privacy, 2017

How Discover a Malware using Model Checking.
Proceedings of the 2017 ACM on Asia Conference on Computer and Communications Security, 2017

2016
Heuristic search for equivalence checking.
Software and System Modeling, 2016

Model Checking to Support Action Controls in the Purchasing Process.
Proceedings of the 25th IEEE International Conference on Enabling Technologies: Infrastructure for Collaborative Enterprises, 2016

Hey Malware, I Can Find You!
Proceedings of the 25th IEEE International Conference on Enabling Technologies: Infrastructure for Collaborative Enterprises, 2016

Conformance Checking using Formal Methods.
Proceedings of the 11th International Joint Conference on Software Technologies (ICSOFT 2016) - Volume 1: ICSOFT-EA, Lisbon, Portugal, July 24, 2016

Download malware? no, thanks: how formal methods can block update attacks.
Proceedings of the 4th FME Workshop on Formal Methods in Software Engineering, 2016

Identification of Android Malware Families with Model Checking.
Proceedings of the 2nd International Conference on Information Systems Security and Privacy, 2016

Ransomware Steals Your Phone. Formal Methods Rescue It.
Proceedings of the Formal Techniques for Distributed Objects, Components, and Systems, 2016

Ransomware Inside Out.
Proceedings of the 11th International Conference on Availability, Reliability and Security, 2016

2015
Analysing Wiki Quality Using Probabilistic Model Checking.
Proceedings of the 24th IEEE International Conference on Enabling Technologies: Infrastructure for Collaborative Enterprises, 2015

Equivalence-Based Selection of Best-Fit Models to Support Wiki Design.
Proceedings of the 24th IEEE International Conference on Enabling Technologies: Infrastructure for Collaborative Enterprises, 2015

Integrating Model Driven and Model Checking to Mine Design Patterns.
Proceedings of the Software Technologies - 10th International Joint Conference, 2015

Model Checking to Improve Precision of Design Pattern Instances Identification in OO Systems.
Proceedings of the ICSOFT-PT 2015, 2015

Infer Gene Regulatory Networks from Time Series Data with Probabilistic Model Checking.
Proceedings of the 3rd IEEE/ACM FME Workshop on Formal Methods in Software Engineering, 2015

k-Bisimulation: A Bisimulation for Measuring the Dissimilarity Between Processes.
Proceedings of the Formal Aspects of Component Software - 12th International Conference, 2015

Improving Design Patterns Finder Precision Using a Model Checking Approach.
Proceedings of the CAiSE 2015 Forum at the 27th International Conference on Advanced Information Systems Engineering co-located with 27th International Conference on Advanced Information Systems Engineering (CAiSE 2015), 2015

2014
GreASE: A Tool for Efficient "Nonequivalence" Checking.
ACM Trans. Softw. Eng. Methodol., 2014

CD-Form: A clone detector based on formal methods.
Sci. Comput. Program., 2014

Model Checking Properties on Reduced Trace Systems.
Algorithms, 2014

A Novel Methodology Based on Formal Methods for Analysis and Verification of Wikis.
Proceedings of the 2014 IEEE 23rd International WETICE Conference, 2014

An Eclipse-Based Editor to Support LOTOS Newcomers.
Proceedings of the 2014 IEEE 23rd International WETICE Conference, 2014

Powerful Equivalence Checking in the Bank Supply Process.
Proceedings of the 2014 IEEE World Congress on Services, 2014

2013
Incremental construction of systems: An efficient characterization of the lacking sub-system.
Sci. Comput. Program., 2013

Application of Equivalence Checking in a Loan Origination Process in Banking Industry.
Proceedings of the 2013 Workshops on Enabling Technologies: Infrastructure for Collaborative Enterprises, 2013

Efficient Formal Verification in Banking Processes.
Proceedings of the IEEE Ninth World Congress on Services, 2013

Partial Order Interpretation of a Mu-Calculus-Like Temporal Logic.
Proceedings of the ICSOFT 2013, 2013

Infer gene regulatory networks from time series data with formal methods.
Proceedings of the 2013 IEEE International Conference on Bioinformatics and Biomedicine, 2013

2012
Abstract reduction in directed model checking CCS processes.
Acta Inf., 2012

A novel approach based on formal methods for clone detection.
Proceedings of the Proceeding of the 6th International Workshop on Software Clones, 2012

Modelling and Analysing Social Networks through Formal Methods and Heuristic Searches.
Proceedings of the ICSOFT 2012 - Proceedings of the 7th International Conference on Software Paradigm Trends, Rome, Italy, 24, 2012

2011
Clone detection through process algebras and Java bytecode.
Proceedings of the Proceeding of the 5th ICSE International Workshop on Software Clones, 2011

Ant Colony Optimization for Deadlock Detection in Concurrent Systems.
Proceedings of the 35th Annual IEEE International Computer Software and Applications Conference, 2011

2009
A Formula Driven Incremental Construction of Web Service Compositions.
Proceedings of the ICSOFT 2009, 2009

2008
Modular formal verification of specifications of concurrent systems.
Softw. Test., Verif. Reliab., 2008

2007
A user-friendly interface to specify temporal properties of concurrent systems.
Inf. Sci., 2007

Formal Verification of Concurrent Systems via Directed Model Checking.
Electr. Notes Theor. Comput. Sci., 2007

Discovery of SOA patterns via model checking.
Proceedings of the 2nd International Workshop on Service Oriented Software Engineering: in conjunction with the 6th ESEC/FSE joint meeting, 2007

2006
DELFIN+: An efficient deadlock detection tool for CCS processes.
J. Comput. Syst. Sci., 2006

2005
Compositionality and locality for improving model checking in the selective mu-calculus.
Sci. Comput. Program., 2005

A local approach for temporal model checking of Java bytecode.
J. Comput. Syst. Sci., 2005

Using heuristic search for finding deadlocks in concurrent systems.
Inf. Comput., 2005

Reduced Models for Efficient CCS Verification.
Formal Methods in System Design, 2005

2004
Formula-based abstractions and symbolic execution for model checking programs.
Microprocessors and Microsystems, 2004

Model Checking Multithreaded Programs by Means of Reduced Models.
Electr. Notes Theor. Comput. Sci., 2004

2003
Heuristic Search + Local Model Checking in Selective mu-Calculus.
IEEE Trans. Software Eng., 2003

Modifying LOTOS Specifications by Means of Automatable Formula-Based Integrations.
J. Autom. Reasoning, 2003

Abstract Interpretation and Model Checking for Checking Secure Information Flow in Concurrent Systems.
Fundam. Inform., 2003

2002
Efficient model checking of properties of a distributed application: a multimedia case study.
Softw. Test., Verif. Reliab., 2002

Syntactic reductions for efficient deadlock analysis.
Softw. Test., Verif. Reliab., 2002

A tool supporting efficient model checking of concurrent specifications.
Microprocessors and Microsystems, 2002

A Formula-Driven Modular Attack on State Explosion.
Int. J. Found. Comput. Sci., 2002

A Notion of Non-Interference for Timed Automata.
Fundam. Inform., 2002

Automatic verification of concurrent systems using a formula-based compositional approach.
Acta Inf., 2002

Local model checking of Java bytecode.
Proceedings of the 14th international conference on Software engineering and knowledge engineering, 2002

A Tableau-Based Procedure for Model Checking Programs.
Proceedings of the 26th International Computer Software and Applications Conference (COMPSAC 2002), 2002

2001
Reusing LOTOS specifications.
Microprocessors and Microsystems, 2001

Efficient Verification of a Multicast Protocol for Mobile Computing.
Comput. J., 2001

2000
Logic Based Abstractions of Real-Time Systems.
Formal Methods in System Design, 2000

Compositionality for Improving Model Checking.
Proceedings of the Formal Techniques for Distributed System Development, 2000

1999
LORETO: A Tool for Reducing State Explosion in Verification of LOTOS Programs.
Softw., Pract. Exper., 1999

Selective Mu-Calculus and Formula-Based Equivalence of Transition Systems.
J. Comput. Syst. Sci., 1999

Abstract Interpretation of Trace Semantics for Concurrent Calculi.
Inf. Process. Lett., 1999

Formula Based Abstractions of Transition Systems for Real-Time Model Checking.
Proceedings of the FM'99 - Formal Methods, 1999

1998
State Space Reduction by Non-Standard Semantics for Deadlock Analysis.
Sci. Comput. Program., 1998

Towards a Logical Semantics for Pure Prolog.
Sci. Comput. Program., 1998

A Transformation System for Concurrent Processes.
Acta Inf., 1998

1997
Algebraic Computational Models of OR-Parallel Execution of Prolog.
Acta Inf., 1997

Selective µ-calculus: New Modal Operators for Proving Properties on Reduced Transition Systems.
Proceedings of the Formal Description Techniques and Protocol Specification, 1997

1996
Unfold/Fold Transformations of Concurrent Processes.
Proceedings of the Programming Languages: Implementations, 1996

A Non-Standard Semantics for Generating Reduced Transition Systems.
Proceedings of the Analysis and Verification of Multiple-Agent Languages, 1996

1995
Modeling OR-Parallel Execution of Prolog using CHOCS.
Proceedings of the Logic Programming, 1995


  Loading...