Browsing by author 683 Subscribe author statistics Autor

Jump to: 0-9 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

or enter first few letters:  

Showing results 1 to 20 of 110.  next >
Issue DateTitleAuthor(s)TypeAccess
26-Oct-2016An enhanced model for stochastic coordinationOliveira, Nuno Ernesto Salgado; Barbosa, L. S.Conference paperOpen access
2008An exercise on transition systemsRibeiro, Paula R.; Barbosa, L. S.; Wang, ShulingArticleOpen access
2014An institution for Alloy and its translation to second-order logicNeves, Renato; Madeira, Alexandre; Martins, Manuel A., et al.Book partOpen access
2007An orchestrator for dynamic interconnection of software componentsBarbosa, L. S.; Barbosa, Marco AntónioArticleOpen access
2012Analysing tactics in architectural patternsSanchez, Alejandro; Aguiar, Ademar; Barbosa, L. S., et al.Conference paperOpen access
2016Applying the 3C Model to FLOSS communitiesFernandes, Sara Santos; Barbosa, L. S.Conference paperOpen access
2005Architectural prototyping: from ccs to .netRodrigues, Nuno F.; Barbosa, L. S.ArticleOpen access
2012Bigraphical modelling of architectural patternsSanchez, Alejandro; Barbosa, L. S.; Riesco, DanielConference paperOpen access
2013Bisimilarity and refinement for hybrid(ised) logicsMadeira, Alexandre; Martins, Manuel M.; Barbosa, L. S.Conference paperOpen access
2013Boilerplates for reconfigurable systems: a language and its semanticsMadeira, Alexandre; Martins, Manuel A.; Barbosa, L. S.Conference paperOpen access
2010Bringing class diagrams to lifeBarbosa, L. S.; Sun, MengArticleOpen access
2008Calculating invariants as coreflexive bisimulationsBarbosa, L. S.; Oliveira, José Nuno Fonseca; Silva, AlexandraConference paperOpen access
Dec-2012A calculus for generic, QoS-aware component compositionBarbosa, L. S.; Meng, SunArticleOpen access
2005Camila revival: VDM meets haskellVisser, Joost; Oliveira, José Nuno Fonseca; Barbosa, L. S., et al.Conference paperOpen access
1997CAMILA: formal software engineering supported by functional programmingAlmeida, José João; Barbosa, L. S.; Neves, F. L., et al.Conference paperOpen access
1997CAMILA: prototyping and refinement of constructive specificationsAlmeida, José João; Barbosa, L. S.; Neves, F. L., et al.Conference paperOpen access
2010Certification of open-source software : a role for formal methods?Barbosa, L. S.; Cerone, Antonio; Petrenko, Alexander, et al.ArticleOpen access
2013A coalgebraic perspective on logical interpretationsMartins, M. A.; Madeira, A.; Barbosa, L. S.ArticleOpen access
2005A coalgebraic semantic framework for component-based development in UMLSun Meng; Aichernig, Bernhard K.; Barbosa, L. S., et al.ArticleOpen access
2009A coalgebraic semantic framework for reasoning about interaction designsBarbosa, L. S.; Sun, MengBook partOpen access