Publications

Export 7 results:
Sort by: [ Author (Asc)] Title Type Year
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   [Show ALL]
D
Dias, Ricardo J., João M. Lourenço, and João Costa Seco Detection of Snapshot Isolation Anomalies in Software Transactional Memory: A Statical Analysis Approach. Departamento de Informática FCT/UNL, 2010.
Dias, Ricardo, Dino Distefano, João Costa Seco, and João Lourenço Verification of Snapshot Isolation in Transactional Memory Java Programs. Proceedings of the 26th European conference on Object-oriented programming (ECOOP). Beijing, China: Springer-Verlag ( Germany ), 2012.
Dias, Ricardo J., Dino Distefano, João M. Lourenço, and João Costa Seco StarTM: Automatic Verification of Snapshot Isolation in Transactional Memory Java Programs. Departamento de Informática FCT/UNL, 2010.
Dias, Ricardo, J. C. Seco, and J. M. S. Lourenço. "Snapshot Isolation Anomalies Detection in Software Transactional Memory." Proceedings of InForum 2010. Universidade do Minho, 2010.
Domingues, Miguel, and João Costa Seco Type Safe Evolution of Live Systems. Workshop on Reactive and Event-based Languages & Systems (REBLS'15). Pittsburgh, 2015.rebls15.pdf
Domingues, Miguel Brazão, and J. C. Seco. "LiveWeb - Core Language for Web Applications." Proceedings of InForum 2010. Universidade do Minho, 2010.
Domingues, Miguel Brazão, and João Costa Seco Typeful Updates on Reactive Live Web Programming. Universidade Nova de Lisboa, 2013.techreport-2013.pdf