Browsing by Author Alexandre Castro Madeira

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)
2016Asymmetric Combination of Logics is Functorial: A SurveyRenato Jorge Neves; Alexandre Castro Madeira; Luís Soares Barbosa; Martins,MA
2013Bisimilarity and refinement for hybrid(ised) logicsAlexandre Castro Madeira; Martins,MA; Luís Soares Barbosa
2013Boilerplates for Reconfigurable Systems: A Language and Its SemanticsAlexandre Castro Madeira; Martins,MA; Luís Soares Barbosa
2013A Coalgebraic Perspective on Logical InterpretationsMartins,MA; Alexandre Castro Madeira; Luís Soares Barbosa
2015A Dynamic Logic for Every SeasonAlexandre Castro Madeira; Renato Jorge Neves; Martins,MA; Luís Soares Barbosa
2016Dynamic Logic with Binders and Its Application to the Development of Reactive SystemsAlexandre Castro Madeira; Luís Soares Barbosa; Hennicker,R; Martins,MA
2016Encoding hybridized institutions into first-order logicDiaconescu,R; Alexandre Castro Madeira
2016An exercise on the generation of many-valued dynamic logicsAlexandre Castro Madeira; Renato Jorge Neves; Martins,MA
2013Giving Alloy a familyRenato Jorge Neves; Alexandre Castro Madeira; Martins,MA; Luís Soares Barbosa
2013Hybridisation at workRenato Jorge Neves; Alexandre Castro Madeira; Martins,MA; Luís Soares Barbosa
2014An institution for Alloy and its translation to second-order logicRenato Jorge Neves; Alexandre Castro Madeira; Martins,M; Luís Soares Barbosa
2017Institutions for Behavioural Dynamic Logic with BindersHennicker,R; Alexandre Castro Madeira
2015A logic for n-dimensional hierarchical refinementAlexandre Castro Madeira; Martins,MA; Luís Soares Barbosa
2015A Logic for Robotics?Alexandre Castro Madeira; Renato Jorge Neves; Martins,MA; Luís Soares Barbosa
2016A method for rigorous design of reconfigurable systemsAlexandre Castro Madeira; Renato Jorge Neves; Luís Soares Barbosa; Martins,MA
2015Modelling and Verifying Smell-Free Architectures with the ARCHERY LanguageAlejandro Sánchez; Luís Soares Barbosa; Alexandre Castro Madeira
2016Observational Semantics for Dynamic Logic with BindersHennicker,R; Alexandre Castro Madeira
2016On Interval Dynamic LogicSantiago,RHN; Bedregal,BRC; Alexandre Castro Madeira; Martins,MA
2015On the verification of architectural reconfigurationsAlejandro Sánchez; Alexandre Castro Madeira; Luís Soares Barbosa
2014Paradigm integration in a specification courseMartins,MA; Alexandre Castro Madeira; Luís Soares Barbosa; Renato Jorge Neves