Browsing by author Martins, Manuel A.

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 24.  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
2013Boilerplates for reconfigurable systems: a language and its semanticsMadeira, Alexandre; Martins, Manuel A.; Barbosa, L. S.Conference paperOpen access
12-Jul-2016Continuity as a computational effectNeves, Renato; Barbosa, L. S.; Hofmann, Dirk, et al.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
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
2011Models as arrows: the role of dialgebrasMartins, Manuel A.; Madeira, A.; Barbosa, L. S.Conference paperOpen access
2011On requirements engineering for reactive systems: a formal methodologyMadeira, A.; Faria, José Miguel; Martins, Manuel A., et al.Conference paperOpen access
2016Proof theory for hybrid(ised) logicsNeves, Renato; Madeira, Alexandre; Martins, Manuel A., et al.ArticleOpen access
2011Reasoning about complex requirements in a uniform settingMartins, Manuel A.; Madeira, A.; Barbosa, L. S.Conference paperOpen access
2009Refinement by interpretation in a general settingMartins, Manuel A.; Madeira, A.; Barbosa, L. S.ArticleOpen access
2011Refinement by interpretation in Pi-institutionsRodrigues, César J.; Martins, Manuel A.; Madeira, A., et al.ArticleOpen access
2015Refinement in hybridised institutionsMadeira, Alexandre Leite Castro; Martins, Manuel A.; Barbosa, L. S., et al.ArticleOpen access