Browsing by author 6444

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 25.  next >
Issue DateTitleAuthor(s)TypeAccess
2014An institution for Alloy and its translation to second-order logicNeves, Renato; Madeira, Alexandre; Martins, Manuel A., et al.Book partOpen access
2010Applying abstract algebraic logic to classical automata theory : an exerciseDescalço, Luís; Madeira, Alexandre; Martins, Manuel A.Conference 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
2013A coalgebraic perspective on logical interpretationsMartins, M. A.; Madeira, A.; Barbosa, L. S.ArticleOpen access
2015A dynamic logic for every seasonMadeira, Alexandre; Neves, Renato; Martins, Manuel A., et al.Conference paperOpen access
2016Dynamic logic with binders and its application to the development of reactive systemsMadeira, Alexandre Leite Castro; Barbosa, L. S.; Hennicker, Rolf, et al.Conference paperOpen access
2016Encoding hybridised institutions into first order logicDiaconescu, Razvan; Madeira, AlexandreArticleOpen access
8-Jul-2013Foundations and techniques for software reconfigurabilityMadeira, Alexandre Leite CastroDoctoral thesisOpen access
Sep-2013Giving ALLOY a familyNeves, Renato; Madeira, Alexandre; Martins, Manuel A., et al.Conference paperOpen access
2011Hybrid specification of reactive systems: an institutional approachMadeira, A.; Faria, José Miguel; Martins, Manuel A., et al.Conference paperOpen access
2013Hybridisation at workNeves, Renato; Madeira, Alexandre; Martins, Manuel A., et al.Conference paperOpen access
2011Hybridization of institutionsMartins, Manuel A.; Madeira, A.; Diaconescu, R., et al.Conference paperOpen access
2014Introducing hierarquical hybrid logicMadeira, Alexandre; Neves, Renato; Barbosa, L. S., et al.Conference paperOpen access
2015A Logic for robotics?Madeira, Alexandre; Neves, Renato; Martins, Manuel A., et al.Conference paperOpen access
2016A method for rigorous design of reconfigurable systemsMadeira, Alexandre Leite Castro; Neves, Renato Jorge Araújo; Barbosa, L. S., et al.ArticleOpen access
Feb-2015Modelling and verifying smell-free architectures with the Archery languageSanchez, Alejandro; Barbosa, L. S.; Madeira, Alexandre Leite CastroConference paperRestricted access (UMinho)
2015On the verification of architectural reconfigurationsSanchez, Alejandro; Madeira, Alexandre Leite Castro; Barbosa, L. S.ArticleRestricted access (UMinho)
2016Proof theory for hybrid(ised) logicsNeves, Renato; Madeira, Alexandre; Martins, Manuel A., et al.ArticleOpen access
2009Refinement by interpretation in a general settingMartins, Manuel A.; Madeira, A.; Barbosa, L. S.ArticleOpen access