Home People Sergio Orefice

Sergio Orefice

Associate Professor

INF/01 - Informatica Nonlinear Systems
Blocco Zero, Room 215
sergio.orefice@univaq.it
+39 (0)862 43-3731
Download curriculum vitae

Sergio Orefice received the Laurea degree in Computer Science from the University of Salerno and the Ph.D. degree in Applied Mathematics and Computer Science from the University of Napoli. 
He has been a consultant of the CRIAI research center of Portici (Napoli). In 1992 he was at the Department of Computer Science of the University of Pittsburgh as a visiting researcher. In 1993 he had a CNR fellowship at the Department of Applied Informatics of the University of Salerno. 
Since January 1995 he has been at the University of L'Aquila where he is currently an associate professor of the Department of Engineering and Computer Science and Mathematics.

His main research interests include multi-dimensional formal languages and visual language compilers. In this area he works to the definition of grammar models for the formal description of visual and multi-dimensional languages. This research includes the development of LR-like techniques for the efficient parsing of multi-dimensional structures. The results of these studies have been used to construct a YACC-like visual tool, the VLCC system, for the automatic generation of visual language compilers. 
He has also worked in the area of logic programming where his research has focused on multi-valued logics with application to typed logic programming, and on the refinement of logic specifications. Currently, he is involved in researches aimed to the formalization of XML-based techniques supporting Scenario-based requirements engineering, and to the development of an environment for Visual Information Extraction from web pages and geospatial data.

Teaching web pages:
http://www.di.univaq.it/orefice
Office hours:
Tuesday 11:00 - 13:00
Courses:
[DT0275] Laboratorio di Compilatori (Compiler Laboratory), 2nd semester
[F0151] Linguaggi di Programmazione e Compilatori (Compilers), 1st semester
[DT0269] Teoria dei Linguaggi (Theory of Languages), 2nd semester
Click here to read the curriculum vitae of Sergio Orefice
  • F. Ferrucci, G. Nota, S. Orefice, G. Pacini, G. Tortora, 
    "On the Refinement of Logic Specifications", 
    International Journal of Software Engineering and Knowledge Engineering, vol. 2, n. 3, September 1992, pp. 433-448.

     

  • G. Nota, S. Orefice, G. Pacini, F. Ruggiero, G. Tortora,
    "Legality Concepts for Three-valued Logic Programs", 
    Theoretical Computer Science, vol. 120, November 1993, pp. 45-68.

     

  • S. Orefice, G. Polese, M. Tucci, S.K. Chang,
    "A Methodology and Interactive Environment for Iconic Language Design", 
    International Journal of Human-Computer Studies, vol. 41, November 1994, pp. 683-716.

     

  • G. Costagliola, A. De Lucia, S. Orefice, G. Tortora,
    "Automatic Generation of Visual Programming Environments", 
    IEEE Computer, vol. 28, n. 3, March 1995, pp. 56-66.

     

  • G. Costagliola, A. De Lucia, S. Orefice, G. Tortora,
    "A Parsing Methodology for the Implementation of Visual Systems", 
    IEEE Transactions on Software Engineering, vol. 23, n. 12, December 1997, pp. 777- 799.

     

  • G. Costagliola, A. De Lucia, S. Orefice, G. Tortora,
    "Positional Grammars: a Formalism for LR-like parsing of Visual Languages",
    Theory of Visual Languages, Springer-Verlag ed., 1998, pp. 171-192.

     

  • G. Costagliola, S. Orefice, G. Polese, G. Tortora, M. Tucci,
    "On the Generation of Interactive Iconic Environments", 
    International Journal of Human-Computer Studies, vol. 50, May 1999, pp. 363-390.

     

  • G. Della Penna, B. Intrigila, S. Orefice,
    "Generating Graphical Applications from State-Transition Visual Specifications", 
    International Journal of Human-Computer Studies, vol. 55, n. 6, December 2001, pp. 861-880.

     

  • G. Costagliola, A. De Lucia, S. Orefice, G. Polese,
    "A Classification Framework to Support the Design of Visual Languages", 
    Journal of Visual Languages and Computing, vol. 13, n. 6, December 2002, pp. 573-600.

     

  • G. Della Penna, B. Intrigila, A. Laurenzi, S. Orefice,
    "An XML Definition Language to Support Scenario-Based Requirements Engineering", 
    International Journal of Software Engineering and Knowledge Engineering, vol. 13, n. 3, June 2003, pp. 237-256.

     

  • G. Della Penna, B. Intrigila, S. Orefice,
    "An Environment for the Design and Implementation of Visual Applications", 
    Journal of Visual Languages and Computing, vol. 15, n. 6, December 2004, pp. 439-461.

     

  • G. Della Penna, B. Intrigila, A. Laurenzi, S. Orefice,
    "An XML Environment for Scenario-Based Requirements Engineering", 
    Journal of Systems and Software, vol. 79, n. 3, March 2006, pp. 379-403.

     

  • G. Della Penna, B. Intrigila, A. Laurenzi, S. Orefice,
    "An XML Based Methodology to Model and Use Scenarios in the Software Development Process", 
    International Journal of Software Engineering and Knowledge Engineering, vol. 18, n. 6, September 2008, pp. 823-852.

     

  • G. Della Penna, D. Magazzeni, S. Orefice,
    "Visual Extraction of Information from Web Pages", 
    Journal of Visual Languages and Computing, vol. 21, n. 1, February 2010, pp. 23-32.

     

  • G. Della Penna, D. Magazzeni, S. Orefice,
    "A Spatial Relation based Framework to Perform Visual Information Extraction",
    Knowledge and Information Systems journal, vol. 30, n. 3, 2012, pp. 667-692.

     

  • G. Della Penna, D. Magazzeni, S. Orefice,
    "A General Theory of Spatial Relations to Support a Graphical Tool for Visual Information Extraction",
    Journal of Visual Languages and Computing, vol. 24, n. 2, 2013, pp. 71-87.

     

  • G. Della Penna, B. Intrigila, D. Magazzeni, S. Orefice, R. Del Sordo, G. Cardinale Ciccotti,
    "SyBeL: a system modelling language enhancing automatic support in the software development process",
    International Journal of Software Engineering and Knowledge Engineering, vol. 23, n. 2, 2013, pp. 223-257.