Amílcar Sernadas

Research interests and projects | Publications | Teaching | Short biography | Some interesting links

Amílcar Sernadas is the co-editor of four internationally published books and author or co-author of more than eighty internationally published papers on temporal logic specification, algebraic knowledge representation, institutions, foundations of object-orientation and combination of logics. These publications are listed in the bibtex file cv.bib (not always up to date).

Some recent papers that you can fetch (for older papers look here)

• A. Sernadas, C. Sernadas, C. Caleiro and T. Mossakowski. Categorial fibring of logics with terms and binding operators (extended abstract). Research Report, May 1998. Submitted for publication.
  Get the paper: ps.

• J. Pinto, A. Sernadas, C. Sernadas and P. Mateus. Non-determinism and uncertainty in the Situation Calculus. Research Report, April 1998.
  Get the paper: ps.

• H. Lourenço, A. Sernadas and C. Sernadas. Aggregation and interconnection of hybrid automata: Categorial characterization. Research Report, March 1998.
  Get the paper: ps.

• A. Sernadas, C. Sernadas and C. Caleiro. Fibring of logics as a categorial construction. Research Report, July 1997, revised May 1998. To appear in the Journal of Logic and Computation.
  Get the paper: ps.
   
• A. Sernadas, C. Sernadas and C. Caleiro. Denotational semantics of object specification. To appear in the journal Acta Informatica.
  Get the paper: ps.

• A. Sernadas, C. Sernadas and C. Caleiro. Synchronization of logics with mixed rules: Completeness preservation. In: M. Johnson, editor. Algebraic Methodology and Software Technology - AMAST97, pages 465-478. LNCS 1349. Springer-Verlag, 1997.
  Get the paper: ps.
   
• G. Denker, J. Ramos, C. Caleiro and A. Sernadas. A linear temporal logic approach to objects with transactions. In: M. Johnson, editor. Algebraic Methodology and Software Technology - AMAST97, pages 170-184. LNCS 1349. Springer-Verlag, 1997.
  Get the paper: ps.
   
• A. Sernadas, C. Sernadas and C. Caleiro. Synchronization of logics. Studia Logica, 59(2):217-247, 1997.
  Get the paper: ps.
   
• C. Caleiro, G. Saake, and A. Sernadas. Deriving liveness goals from temporal logic specifications. Journal of Symbolic Computation, 22:521-553, 1996.
  Get the paper: ps or dvi.
   
• A. Sernadas, C. Sernadas and J. Ramos. A temporal logic approach to object certification. Journal of Data and Knowledge Engineering, 19:267-294, 1996.
  Get the paper: ps or dvi.
   
• A. Sernadas, C. Sernadas, and J. F. Costa. Object specification logic. Journal of Logic and Computation, 5(5):603-630, 1995.
  Get the paper: ps or dvi.
   
• J.F Costa and A. Sernadas. Progress assumption in concurrent systems. Formal Aspects of Computing, 7(1):18-36, 1995.
  Get the paper: ps.
   
• A. Sernadas and C. Sernadas. Theory spaces. Working paper presented at the ADT/COMPASS Workshop, Oslo September 19-23, 1995.
  Get the paper: ps or dvi.
   
• A. Sernadas, C. Sernadas, and J. Valença. A theory-based, topological notion of institution. In E. Astesiano, G. Reggio and A. Tarlecki, editors, Recent Trends in Data Type Specification, pages 420-436. LNCS 906. Springer-Verlag, 1995.
  Get the paper: ps or dvi.
   
• H.-D. Ehrich and A. Sernadas. Local specification of distributed families of sequential objects. In E. Astesiano, G. Reggio, and A. Tarlecki, editors, Recent Trends in Data Type Specification, pages 219-235, LNCS 906, Springer-Verlag, 1995.
  Get the paper: ps.Z.
   
• M. D. Ryan, A. Sernadas, and C. Sernadas. Adjunctions between default frameworks. In: R. J. Wieringa and R. B. Feenstra, editors, Information Systems: Correctness and Reusability (Selected Papers), pages 155-172. World Scientific Publishing Co, 1995.
  Get the paper: ps or dvi.
   
• G. Saake, A. Sernadas, and C. Sernadas. Evolving object specifications. In R. Wieringa and R. Feemstra, editors, Information Systems: Correctness and Reusability (Selected Papers from the IS-CORE Workshop), pages 84-99, World Scientific Publishing Co, 1995.
  Get the paper: ps.gz.
   
• J. F. Costa, A. Sernadas, and C. Sernadas. Object inheritance beyond subtyping. Acta Informatica, 31:5-26, 1994.
  Get the paper: ps.
   
• A. Sernadas, J. F. Costa, and C. Sernadas. An institution of object behaviour. In H. Ehrig and F. Orejas, editors, Recent Trends in Data Type Specification, pages 337-350. LNCS 785. Springer-Verlag, 1994.
  Get the paper: ps.
   
• J. F. Costa, A. Sernadas, and C. Sernadas. Data encapsulation and modularity: Three views of inheritance. In A.. Borzyszkowski and S. Sokolowski, editors, Mathematical Foundations of Computer Science, pages 382-391, LNCS 711, Springer-Verlag, 1993.
  Get the paper: ps.
   
• H-D. Ehrich, G. Denker, A. Sernadas. Constructing systems as object communities. In M.C. Gaudel and J.-P. Jouannaud, editors, TAPSOFT'93, pages 453-467, LNCS 668, Springer-Verlag, 1993.
  Get the paper: ps.

Research interests and projects | Publications | Teaching | Short biography | Some interesting links