HASLab - Artigos em atas de conferências internacionais (texto completo) : [433] Statistics

Browse
Subscribe to this collection to receive daily e-mail notification of new additions RSS Feed RSS Feed RSS Feed
Collection's Items (Sorted by Submit date in descending order): 1 to 20 of 433
Issue DateTitleAuthor(s)TypeAccess
2019High assurance on cyber-physical interactive systemsCouto, Rui; Campos, José C.Conference paperOpen access
2019Formal verification of interactive computing systems: Opportunities and challengesCampos, José C.; Harrison, Michael douglasConference paperOpen access
2019IVY 2-A model-based analysis toolCouto, Rui; Campos, José C.Conference paperOpen access
2019Trends on engineering interactive systems: an overview of works presented in workshops at EICS 2019Distante, Damiano; Winckler, Marco; Bernhaupt, Regina, et al.Conference paperOpen access
2019A generator of user interface prototypes for the IVY workbenchAraujo, Joao Miguel; Couto, Rui; Campos, José C.Conference paperOpen access
2008Systematic analysis of control panel interfaces using formal toolsCampos, José C.; Harrison, Michael douglasConference paperOpen access
2018Formal modelling as a component of user centred designHarrison, Michael Douglas; Masci, Paolo; Campos, José C.Conference paperOpen access
2018Improving traces visualisation through layout managersCouto, Rui; Campos, José C.Conference paperOpen access
2018The MAL Interactors Animator: Supporting model validation through animationCampos, José C.; Sousa, NunoConference paperOpen access
2018Towards a simulation-based medical education platform for PVSio-webSilva, Carlos César Loureiro; Campos, José C.Conference paperOpen access
2018Teaching how to program using automated assessment and functional glossy games (Experience Report)Almeida, José Bacelar; Cunha, Alcino; Macedo, Nuno, et al.Conference paperOpen access
2018hnforcing ideal-world leakage bounds in real-world secret sharing MPC frameworksAlmeida, José Bacelar; Barbosa, Manuel; Barthe, Gilles, et al.Conference paperOpen access
2019Machine-checked proofs for cryptographic standards indifferentiability of SPONGE and secure high-assurance implementations of SHA-3Almeida, José Bacelar; Baritel-Ruet, Cecile; Barbosa, Manuel, et al.Conference paperOpen access
2019A machine-checked proof of security for AWS key management serviceAlmeida, José Bacelar; Barbosa, Manuel; Barthe, Gilles, et al.Conference paperOpen access
2017Performance trade-offs on a secure multi-party relational databasePontes, Rogério; Pinto, Mário; Barbosa, Manuel, et al.Conference paperRestricted access (UMinho)
2019d'Artagnan: a trusted NoSQL database on untrusted cloudsPontes, Rogerio; Maia, Francisco; Vilaça, Ricardo Manuel Pereira, et al.Conference paperOpen access
2016SafeRegions: performance evaluation of multi-party protocols on HBasePontes, Rogerio; Maia, Francisco; Paulo, Joao, et al.Conference paperOpen access
2020Black-box inter-application traffic monitoring for adaptive container placementNeves, Francisco Nuno Teixeira; Vilaça, Ricardo Manuel Pereira; Pereira, JoséConference paperRestricted access (UMinho)
8-Jun-2018A generalized approach to verification condition generationBelo Lourenco, Claudio; Frade, M. J.; Nakajima, Shin, et al.Conference paperRestricted access (UMinho)
1-Jan-2018K-Taint: an executable rewriting logic semantics for taint analysis in the K frameworkAlam, Md. Imran; Halder, Raju; Goswami, Harshita, et al.Conference paperOpen access
Collection's Items (Sorted by Submit date in descending order): 1 to 20 of 433