skip to content
  • it
UNIVERSITÀ DEGLI STUDI
DEL SANNIO   Benevento

Pubblicazioni di ateneo

Found 6 results
Author [ Titolo(Desc)] Tipo Anno
Filters: Author is Nicoletta De Francesco  [Clear All Filters]
A B C D E F G H I J K L M N O P Q R S T U V W X Y Z 
C
De Francesco, N., G. Lettieri, A. Santone, and G. Vaglini, "Checking Safety Proprieties through Simulation and Heuristic Search", International Conference on Artificial Intelligence, USA, pp. 433 - 439, 2013.
G
De Francesco, N., G. Lettieri, A. Santone, and G. Vaglini, "GreASE: A Tool for Efficient "Nonequivalence" Checking", ACM Trans. Softw. Eng. Methodol., vol. 23, no. 3, pp. 24, 2014.
H
De Francesco, N., G. Lettieri, A. Santone, and G. Vaglini, "Heuristic Search for Equivalence Checking", Software and Systems Modeling, vol. 15, no. 2, pp. 513-530, 2016.
N
De Francesco, N., A. Santone, and G. Vaglini, "A Non-Standard Semantics for Generating Reduced Transition Systems", Analysis and Verification of Multiple-Agent Languages, 5th LOMAPS Workshop, vol. 1192: Springer, pp. 370-387, 1996.
S
Barbuti, R., N. De Francesco, A. Santone, and G. Vaglini, "Selective mu-calculus: New modal operators for proving properties on reduced transition systems", Formal Description Techniques and Protocol Specification, Testing and Verification (FORTE): Springer, pp. 519–534, 1997.
U
De Francesco, N., and A. Santone, "Unfold/fold transformations of concurrent processes", Programming Languages: Implementations, Logics, and Programs, 8th International Symposium, PLILP, vol. 1140: Springer, pp. 167–181, 1996.