MONDRIAN

Foundations for architectural design: Service certification, dynamic reconfiguration and self-adaptability
View   r4  >  r3  >  r2  >  r1

Publications 4 - 26 Apr 2011 - Main.LuisSoaresBarbosa
Line: 1 to 1
 
META TOPICPARENT name="WebSideBar"

Project Publications

Line: 21 to 21
 

Conference papers

Changed:
<
<
[MMB11b] M. A. Martins, A. Madeira, R. Diaconescu and L. S. Barbosa, Hybridization of institutions,
>
>
[MMDB11] M. A. Martins, A. Madeira, R. Diaconescu and L. S. Barbosa, Hybridization of institutions,
  accepted for publication at Proc. of Fourth International Conference on Algebra and Coalgebra in Computer Science
Changed:
<
<
(CALCO 2011). WInchester, UK, 30 August - 2 September, Springer Lecture Notes in Computer Science (to appear), Springer Verlag, 2011.
>
>
(CALCO 2011). Winchester, UK, 30 August - 2 September, Springer Lecture Notes in Computer Science (to appear), Springer Verlag, 2011.
 [MBR11] A. Martins, L. S. Barbosa and N. F. Rodrigues, SHACC: A functional animator for a component calculus, accepted for publication at Proc. of CALCO-Tools. WInchester, UK, 30 August - 2 September, Springer Lecture Notes in Computer Science (to appear), Springer Verlag, 2011.
Line: 34 to 34
 [MMB11] M.A. Martins, A. Madeira and L. S. Barbosa, Reasoning about complex requirements in a uniform setting accepted at Third International Congress on Tools for Teaching Logic, Universidad de Salamanca, 1-4 June,
Changed:
<
<
Springer Lecture Notes in Computer Science (to appear), Springer Verlag, 2011.
>
>
2011.
 [MFMB11] A. Madeira, J. M. Faria, M. A. Martins, L. S. Barbosa, On requirements engineering for reactive systems: A formal methodology accepted for publication in Proc. I Brazilian Conference on Critical Embedded Systems, University of S. Paulo, Brazil,

Publications 3 - 25 Apr 2011 - Main.LuisSoaresBarbosa
Line: 1 to 1
 
META TOPICPARENT name="WebSideBar"
Changed:
<
<

Project Publications

>
>

Project Publications

 
Deleted:
<
<
[MMB09] A. Madeira, M. A. Martins and L. S. Barbosa. Refinement by interpretation in a general setting. Refinement Workshop, Eindhoven, November, 2009 (to appear in ENTCS, Elsevier).
 
Changed:
<
<
[ROB09] C. J. Rodrigues, J. N. Oliveira and L. S. Barbosa. A single complete relational rule for coalgebraic refinement. Refinement Workshop, Eindhoven, November, 2009 (to appear in ENTCS, Elsevier).
>
>

Journal papers

 
Changed:
<
<
[BM10] L. S. Barbosa and Sun Meng. Towards the introduction of QoS information in a component model. ACM SAC’10 (Coordination languages, Models and Applications track), March 22-26, 2010, Sierre, Switzerland.
>
>
[CH11] Maria Manuel Clementino and Dirk Hofmann, On the completion monad via the Yoneda embedding in quasi-uniform spaces, accepted for publication in Topology Appl., 2011.
 
Added:
>
>
[HW11] Dirk Hofmann and Pawel Waszkiewicz, Approximation in quantale-enriched categories, Topology Applications, 158 (8), pp 963–977, 2011.
 
Deleted:
<
<
-- LuisSoaresBarbosa - 28 Oct 2009
 \ No newline at end of file
Added:
>
>
[HS11] Dirk Hofmann and Isar Stubbe, Towards Stone duality for topological theories, Topology Applications, 158 (7), pp 913–925, 2011.

[RB10] Rodrigues, N. F. and Barbosa, L. S., Slicing for Architectural Analysis, Science of Computer Programming, 75 (10), pp 828-847, Elsevier, 2010.

Conference papers

[MMB11b] M. A. Martins, A. Madeira, R. Diaconescu and L. S. Barbosa, Hybridization of institutions, accepted for publication at Proc. of Fourth International Conference on Algebra and Coalgebra in Computer Science (CALCO 2011). WInchester, UK, 30 August - 2 September, Springer Lecture Notes in Computer Science (to appear), Springer Verlag, 2011.

[MBR11] A. Martins, L. S. Barbosa and N. F. Rodrigues, SHACC: A functional animator for a component calculus, accepted for publication at Proc. of CALCO-Tools. WInchester, UK, 30 August - 2 September, Springer Lecture Notes in Computer Science (to appear), Springer Verlag, 2011.

[MMB11b] A. Madeira, M. A. Martins and L. S. Barbosa, Models as arrows: the role of dialgebras, accepted for publication at Proc. of the Conference on Computability in Europe: Models of Computation in Context (CiE? 2011). 27 June - 2 July 2011.

[MMB11] M.A. Martins, A. Madeira and L. S. Barbosa, Reasoning about complex requirements in a uniform setting accepted at Third International Congress on Tools for Teaching Logic, Universidad de Salamanca, 1-4 June, Springer Lecture Notes in Computer Science (to appear), Springer Verlag, 2011.

[MFMB11] A. Madeira, J. M. Faria, M. A. Martins, L. S. Barbosa, On requirements engineering for reactive systems: A formal methodology accepted for publication in Proc. I Brazilian Conference on Critical Embedded Systems, University of S. Paulo, Brazil, May 11th - 13th, IEEE Computer Society, 2011

[CO11] Mu, Shin Cheng and Oliveira, Jose, Programming from Galois Connections, Proc. of the 12th Int. Conf. on Relational and Algebraic Methods in Computer Science (RAMiCS 12), Springer Lecture Notes in Computer Science, vol 6663, pp 294-313, Springer Verlag, 2011.

[BBR10] Barbosa, L. S. and Barbosa, M. A. and Rodrigues, C.J., Revisiting context-aware component interconnection, Proceedings of 12th SYNASC, Timisoara, Romania, pp 377-384, IEEE Computer Society, 2010.

[MO10b] Macedo, Hugo and Oliveira, Jose, Towards Linear Algebras of Components, Proc. of FACS 2010, 7th International Workshop on Formal Aspects of Component Software, Guimaraes, Portugal, Springer Lecture Notes in Computer Science (to appear), Springer Verlag, 2010.

[DMM10] L. Descalço, A. Madeira and M. A. Martins. Applying abstract algebraic logic to classical automata theory: an exercise, Proc. of the 6th Conference on Computability in Europe: Programs, proofs, processes (CiE 2010). Eds. F. Ferreira, H. Guerra, E. Mayordomo and J. Rasga, Azores, Portugal, 146-157, 2010.

[BM10] Barbosa, L. S. and Sun, M., QoS-aware Component Composition, CISIS 2010, Proc. The Fourth International Conference on Complex, Intelligent and Software Intensive Systems, pp 1008-1013, IEEE Computer Society, 2010.

[MB10] Sun Meng and Barbosa, L. S., Towards the introduction of QoS information in a component model, Proceedings of the 2010 ACM Symposium on Applied Computing (SAC), Sierre, Switzerland, pp 2045-2046, ACM Pub, 2010.

[MO10] Macedo, Hugo and Oliveira, Jose, Matrices as Arrows!, Proc of 10th Int. Conf. on Mathematics of Program Construction, Springer Lecture Notes in Computer Science, vol 6120, pp 271-287, Springer Verlag, 2010.

Thesis and dissertations

[Alb10] H. C. Albuquerque, Propositional Logic via Lindenbaum-Tarski and Curry-Howard, MSc thesis in Mathematics and Applications, Aveiro University, 2010.


Publications 2 - 29 Oct 2009 - Main.LuisSoaresBarbosa
Line: 1 to 1
 
META TOPICPARENT name="WebSideBar"

Project Publications

Line: 7 to 7
 [ROB09] C. J. Rodrigues, J. N. Oliveira and L. S. Barbosa. A single complete relational rule for coalgebraic refinement. Refinement Workshop, Eindhoven, November, 2009 (to appear in ENTCS, Elsevier).
Changed:
<
<
[BM09] L. S. Barbosa and Sun Meng. Towards the introduction of QoS information in a component model.
>
>
[BM10] L. S. Barbosa and Sun Meng. Towards the introduction of QoS information in a component model.
 ACM SAC’10 (Coordination languages, Models and Applications track), March 22-26, 2010, Sierre, Switzerland.

Publications 1 - 29 Oct 2009 - Main.LuisSoaresBarbosa
Line: 1 to 1
Added:
>
>
META TOPICPARENT name="WebSideBar"

Project Publications

[MMB09] A. Madeira, M. A. Martins and L. S. Barbosa. Refinement by interpretation in a general setting. Refinement Workshop, Eindhoven, November, 2009 (to appear in ENTCS, Elsevier).

[ROB09] C. J. Rodrigues, J. N. Oliveira and L. S. Barbosa. A single complete relational rule for coalgebraic refinement. Refinement Workshop, Eindhoven, November, 2009 (to appear in ENTCS, Elsevier).

[BM09] L. S. Barbosa and Sun Meng. Towards the introduction of QoS information in a component model. ACM SAC’10 (Coordination languages, Models and Applications track), March 22-26, 2010, Sierre, Switzerland.

-- LuisSoaresBarbosa - 28 Oct 2009


Revision 4r4 - 26 Apr 2011 - 09:40:10 - LuisSoaresBarbosa
Revision 3r3 - 25 Apr 2011 - 16:47:19 - LuisSoaresBarbosa
Revision 2r2 - 29 Oct 2009 - 15:05:29 - LuisSoaresBarbosa
Revision 1r1 - 29 Oct 2009 - 00:17:11 - LuisSoaresBarbosa
This site is powered by the TWiki collaboration platform Copyright © by the contributing authors. Ideas, requests, problems? Send feedback.
Syndicate this site RSSATOM