The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

T. S. E. Maibaum: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Forouzan Golshani, T. S. E. Maibaum, M. R. Sadler
    A Modal System of Algebras for Database Specification and Query/Update Language Support. [Citation Graph (7, 9)][DBLP]
    VLDB, 1983, pp:331-339 [Conf]
  2. José Luiz Fiadeiro, Cristina Sernadas, T. S. E. Maibaum, Gunter Saake
    Proof-Theoretic Semantics of Object-Oriented Specification Constructs. [Citation Graph (5, 0)][DBLP]
    DS-4, 1990, pp:243-284 [Conf]
  3. Samit Khosla, T. S. E. Maibaum, M. R. Sadler
    Database Specification. [Citation Graph (2, 0)][DBLP]
    DS-1, 1985, pp:141-158 [Conf]
  4. José Luiz Fiadeiro, T. S. E. Maibaum
    Temporal reasoning over deontic specifications. [Citation Graph (2, 0)][DBLP]
    J. Log. Comput., 1991, v:1, n:3, pp:357-395 [Journal]
  5. Maarten H. van Emden, T. S. E. Maibaum
    Equations Compared with Clauses for Specification of Abstract Data Types. [Citation Graph (1, 0)][DBLP]
    Advances in Data Base Theory, 1979, pp:159-193 [Conf]
  6. Juan Bicarregui, Kevin Lano, T. S. E. Maibaum
    Objects, Associations and Subsystems: A Hierarchical Approach to Encapsulation. [Citation Graph (1, 0)][DBLP]
    ECOOP, 1997, pp:324-343 [Conf]
  7. José Luiz Fiadeiro, T. S. E. Maibaum
    Describing, Structuring and Implementing Objects. [Citation Graph (1, 0)][DBLP]
    REX Workshop, 1990, pp:274-310 [Conf]
  8. T. S. E. Maibaum
    Database Instances, Abstract Data Types and Database Specification. [Citation Graph (1, 0)][DBLP]
    Comput. J., 1985, v:28, n:2, pp:154-161 [Journal]
  9. T. S. E. Maibaum
    How Do I Trust Thee? Let Me Count The Ways. [Citation Graph (0, 0)][DBLP]
    IEEE ICCI, 2002, pp:23-26 [Conf]
  10. Marcelo F. Frias, Gabriel Baum, T. S. E. Maibaum
    Interpretability of First-Order Dynamic Logic in a Relational Calculus. [Citation Graph (0, 0)][DBLP]
    RelMiCS, 2001, pp:66-80 [Conf]
  11. T. S. E. Maibaum
    Structuring of Specifications within a Logical Theory of Data Types. [Citation Graph (0, 0)][DBLP]
    ADT, 1983, pp:- [Conf]
  12. T. S. E. Maibaum
    Modular Construction of Logics for Specification. [Citation Graph (0, 0)][DBLP]
    ADT, 1986, pp:- [Conf]
  13. T. S. E. Maibaum
    Configuration versus Use: Specification Languages versus Logics. [Citation Graph (0, 0)][DBLP]
    ADT, 1988, pp:- [Conf]
  14. T. S. E. Maibaum, M. R. Sadler
    Axiomatizing Specification Theory. [Citation Graph (0, 0)][DBLP]
    ADT, 1984, pp:171-177 [Conf]
  15. Juan Bicarregui, Kevin Lano, T. S. E. Maibaum
    Towards a compositional interpretation of object diagrams. [Citation Graph (0, 0)][DBLP]
    Algorithmic Languages and Calculi, 1997, pp:187-211 [Conf]
  16. José Luiz Fiadeiro, Antónia Lopes, T. S. E. Maibaum
    Synthesising interconnections. [Citation Graph (0, 0)][DBLP]
    Algorithmic Languages and Calculi, 1997, pp:240-264 [Conf]
  17. Gabriel Baum, Marcelo F. Frias, T. S. E. Maibaum
    A Logic for Real-Time Systems Specification, Its Algebraic Semantics, and Equational Calculus. [Citation Graph (0, 0)][DBLP]
    AMAST, 1998, pp:91-105 [Conf]
  18. T. S. E. Maibaum, Pauline Kan, Kevin Lano
    Systematising Reactive System Design. [Citation Graph (0, 0)][DBLP]
    AMAST, 1998, pp:17-22 [Conf]
  19. Nazareno Aguirre, T. S. E. Maibaum
    Some Institutional Requirements for Temporal Reasoning on Dynamic Reconfiguration of Component Based Systems. [Citation Graph (0, 0)][DBLP]
    Verification: Theory and Practice, 2003, pp:407-435 [Conf]
  20. Nazareno Aguirre, T. S. E. Maibaum, Paulo S. C. Alencar
    Extension Morphisms for CommUnity. [Citation Graph (0, 0)][DBLP]
    Essays Dedicated to Joseph A. Goguen, 2006, pp:173-193 [Conf]
  21. José Luiz Fiadeiro, José Félix Costa, Amílcar Sernadas, T. S. E. Maibaum
    Process Semantics of Temporal Logic Specifications. [Citation Graph (0, 0)][DBLP]
    COMPASS/ADT, 1991, pp:236-253 [Conf]
  22. Da-Hai Li, T. S. E. Maibaum
    A Top-down Step-wise Refinement Methodology for Protocol Specification. [Citation Graph (0, 0)][DBLP]
    Concurrency, 1988, pp:197-221 [Conf]
  23. Aspassia Daskalopulu, T. S. E. Maibaum
    Towards Electronic Contract Performance. [Citation Graph (0, 0)][DBLP]
    DEXA Workshop, 2001, pp:771-777 [Conf]
  24. Juan Bicarregui, Kevin Lano, T. S. E. Maibaum
    Formalizing Object-Oriented Models in the Object Calculus. [Citation Graph (0, 0)][DBLP]
    ECOOP Workshops, 1997, pp:155-160 [Conf]
  25. T. S. E. Maibaum
    What We Teach Software Engineers in the University: Do We Take Engineering Seriously? [Citation Graph (0, 0)][DBLP]
    ESEC / SIGSOFT FSE, 1997, pp:40-50 [Conf]
  26. Celso Niskier, T. S. E. Maibaum, Daniel Schwabe
    A Pluralistic Knowledge-Based Approach to Software Specification. [Citation Graph (0, 0)][DBLP]
    ESEC, 1989, pp:411-423 [Conf]
  27. Nazareno Aguirre, T. S. E. Maibaum
    A Logical Basis for the Specification of Reconfigurable Component-Based Systems. [Citation Graph (0, 0)][DBLP]
    FASE, 2003, pp:37-51 [Conf]
  28. Islam A. M. El-Maddah, T. S. E. Maibaum
    The GOPCSD Tool: An Integrated Development Environment for Process Control Requirements and Design. [Citation Graph (0, 0)][DBLP]
    FASE, 2004, pp:261-266 [Conf]
  29. Marcelo F. Frias, Carlos López Pombo, Gabriel Baum, Nazareno Aguirre, T. S. E. Maibaum
    Taking Alloy to the Movies. [Citation Graph (0, 0)][DBLP]
    FME, 2003, pp:678-697 [Conf]
  30. T. S. E. Maibaum
    The Characterization of the Derivation Trees of Context Free Sets of Terms as Regular Sets [Citation Graph (0, 0)][DBLP]
    FOCS, 1972, pp:224-230 [Conf]
  31. Samit Khosla, T. S. E. Maibaum, M. R. Sadler
    Large Database Specification from Small Views. [Citation Graph (0, 0)][DBLP]
    FSTTCS, 1985, pp:246-271 [Conf]
  32. T. S. E. Maibaum, M. R. Sadler, Paulo A. S. Veloso
    Logical Specification and Implementation. [Citation Graph (0, 0)][DBLP]
    FSTTCS, 1984, pp:13-30 [Conf]
  33. Karel Culik II, T. S. E. Maibaum
    Parallel Rewriting Systems on terms. [Citation Graph (0, 0)][DBLP]
    ICALP, 1974, pp:495-510 [Conf]
  34. Paulo Roberto Freire Cunha, T. S. E. Maibaum
    A Synchronization Calculus for Message Oriented Programming. [Citation Graph (0, 0)][DBLP]
    ICDCS, 1981, pp:433-445 [Conf]
  35. A. Koch, T. S. E. Maibaum
    A message oriented language for system applications. [Citation Graph (0, 0)][DBLP]
    ICDCS, 1982, pp:824-832 [Conf]
  36. Nazareno Aguirre, Marcelo Arroyo, Juan Bicarregui, Lucio Guzmán, T. S. E. Maibaum
    Towards Dynamically Communicating Abstract Machines in the B Method. [Citation Graph (0, 0)][DBLP]
    ICFEM, 2005, pp:141-155 [Conf]
  37. Nazareno Aguirre, Juan Bicarregui, Lucio Guzmán, T. S. E. Maibaum
    Implementing Dynamic Aggregations of Abstract Machines in the B Method. [Citation Graph (0, 0)][DBLP]
    ICFEM, 2004, pp:403-417 [Conf]
  38. P. R. F. Cunha, T. S. E. Maibaum
    Resource = Abstract Data Type + Synchronization - A Methodology for Message Oriented Programming. [Citation Graph (0, 0)][DBLP]
    ICSE, 1981, pp:263-272 [Conf]
  39. Armando Martin Haeberer, T. S. E. Maibaum
    Scientific Rigour, an Answer to a Pragmatic Question: A Linguistic Framework for Software Engineering. [Citation Graph (0, 0)][DBLP]
    ICSE, 2001, pp:463-472 [Conf]
  40. T. S. E. Maibaum
    Mathematical foundations of software engineering: a roadmap. [Citation Graph (0, 0)][DBLP]
    ICSE - Future of SE Track, 2000, pp:161-172 [Conf]
  41. T. S. E. Maibaum, Wladyslaw M. Turski
    On What Exactly Is Going On When Software Is Developed Step-by-Step. [Citation Graph (0, 0)][DBLP]
    ICSE, 1984, pp:528-533 [Conf]
  42. Islam A. M. El-Maddah, T. S. E. Maibaum
    Requirements-Reuse Using GOPCSD: Component-Based Development of Process Control Systems. [Citation Graph (0, 0)][DBLP]
    ICSR, 2004, pp:318-328 [Conf]
  43. José Luiz Fiadeiro, T. S. E. Maibaum
    Sometimes "Tomorrow" is "Sometime" - Action Refinement in a Temporal Logic of Objects. [Citation Graph (0, 0)][DBLP]
    ICTL, 1994, pp:48-66 [Conf]
  44. T. S. E. Maibaum
    Mathematical Semantics and a Model for Data Bases. [Citation Graph (0, 0)][DBLP]
    IFIP Congress, 1977, pp:133-138 [Conf]
  45. T. S. E. Maibaum
    Role of Abstraction in Program Development (Invited Paper). [Citation Graph (0, 0)][DBLP]
    IFIP Congress, 1986, pp:135-142 [Conf]
  46. José Luiz Fiadeiro, T. S. E. Maibaum
    Generalising Interpretations between Theories in the context of (pi-) Institutions. [Citation Graph (0, 0)][DBLP]
    Theory and Formal Methods, 1993, pp:126-147 [Conf]
  47. T. S. E. Maibaum
    Taking More of the Soft out of Software Engineering. [Citation Graph (0, 0)][DBLP]
    IWSSD, 1993, pp:2-9 [Conf]
  48. Theodosis Dimitrakos, T. S. E. Maibaum
    Notes on Refinement, Interpolation and Uniformity. [Citation Graph (0, 0)][DBLP]
    ASE, 1997, pp:108-116 [Conf]
  49. Nazareno Aguirre, T. S. E. Maibaum
    A Temporal Logic Approach to the Specification of Reconfigurable Component-Based Systems. [Citation Graph (0, 0)][DBLP]
    ASE, 2002, pp:271-274 [Conf]
  50. Armando Martin Haeberer, T. S. E. Maibaum
    The Very Idea of Software Development Environments: A Conceptual Architecture for the ARTS Environment Paradigm. [Citation Graph (0, 0)][DBLP]
    ASE, 1998, pp:260-271 [Conf]
  51. Islam A. M. El-Maddah, T. S. E. Maibaum
    Goal-Oriented Requirements Analysis for Process Control Systems Design. [Citation Graph (0, 0)][DBLP]
    MEMOCODE, 2003, pp:45-46 [Conf]
  52. P. R. F. Cunha, T. S. E. Maibaum
    A Communication Data Type for Message Oriented Programming. [Citation Graph (0, 0)][DBLP]
    Symposium on Programming, 1980, pp:79-91 [Conf]
  53. P. R. F. Cunha, Carlos José Pereira de Lucena, T. S. E. Maibaum
    A Methodology for Message Oriented Programming. [Citation Graph (0, 0)][DBLP]
    Fachtagung über Programmiersprachen, 1980, pp:83-93 [Conf]
  54. T. S. E. Maibaum
    The Epistemology of Validation and Verification Testing. [Citation Graph (0, 0)][DBLP]
    TestCom, 2005, pp:1-8 [Conf]
  55. T. S. E. Maibaum
    An Overview of The Mensurae Language: Specifying Business Processes. [Citation Graph (0, 0)][DBLP]
    Rigorous Object-Oriented Methods, 2000, pp:- [Conf]
  56. José Luiz Fiadeiro, T. S. E. Maibaum
    Interconnecting Formalisms: Supporting Modularity, Reuse and Incrementality. [Citation Graph (0, 0)][DBLP]
    SIGSOFT FSE, 1995, pp:72-80 [Conf]
  57. Mark Ryan, José Luiz Fiadeiro, T. S. E. Maibaum
    Sharing Actions and Attributes in Modal Action Logic. [Citation Graph (0, 0)][DBLP]
    TACS, 1991, pp:569-593 [Conf]
  58. T. S. E. Maibaum
    Conservative Extensions, Interpretations Between Theories and All That! [Citation Graph (0, 0)][DBLP]
    TAPSOFT, 1997, pp:40-66 [Conf]
  59. T. S. E. Maibaum, Paulo A. S. Veloso, M. R. Sadler
    A Theory of Abstract Data Types for Program Development: Bridging the Gap? [Citation Graph (0, 0)][DBLP]
    TAPSOFT, Vol.2, 1985, pp:214-230 [Conf]
  60. Samit Khosla, T. S. E. Maibaum
    The Prescription and Description of State Based Systems. [Citation Graph (0, 0)][DBLP]
    Temporal Logic in Specification, 1987, pp:243-294 [Conf]
  61. T. S. E. Maibaum
    In Memoriam Armando Martín Haeberer: 4 January 1947 - 11 February 2003. [Citation Graph (0, 0)][DBLP]
    10th Anniversary Colloquium of UNU/IIST, 2002, pp:1-25 [Conf]
  62. José Luiz Fiadeiro, T. S. E. Maibaum, Narciso Martí-Oliet, José Meseguer, Isabel Pita
    Towards a Verification Logic for Rewriting Logic. [Citation Graph (0, 0)][DBLP]
    WADT, 1999, pp:438-458 [Conf]
  63. Ezra Kaahwa Mugisa, T. S. E. Maibaum
    A Framework for Describing Software Architectures for Reuse. [Citation Graph (0, 0)][DBLP]
    WICSA, 1999, pp:245-272 [Conf]
  64. Nazareno Aguirre, Juan Bicarregui, Theodosis Dimitrakos, T. S. E. Maibaum
    Towards Dynamic Population Management of Abstract Machines in the B Method. [Citation Graph (0, 0)][DBLP]
    ZB, 2003, pp:528-545 [Conf]
  65. Theodosis Dimitrakos, Juan Bicarregui, Brian Matthews, T. S. E. Maibaum
    Compositional Structuring in the B-Method: A Logical Viewpoint of the Static Context. [Citation Graph (0, 0)][DBLP]
    ZB, 2000, pp:107-126 [Conf]
  66. T. S. E. Maibaum
    Desert Island Column. [Citation Graph (0, 0)][DBLP]
    Autom. Softw. Eng., 2002, v:9, n:1, pp:123-126 [Journal]
  67. T. S. E. Maibaum, Bernhard Rumpe
    Automated Software Engineering: Special Issue on Precise Semantics for Software Modeling Techniques (PSMT - an ICSE'98 Workshop). [Citation Graph (0, 0)][DBLP]
    Autom. Softw. Eng., 2000, v:7, n:1, pp:7-8 [Journal]
  68. Antonio L. Furtado, T. S. E. Maibaum
    An Informal Approach to Formal (Algebraic) Specifications. [Citation Graph (0, 0)][DBLP]
    Comput. J., 1985, v:28, n:1, pp:59-67 [Journal]
  69. P. R. F. Cunha, Carlos José Pereira de Lucena, T. S. E. Maibaum
    Message Oriented Programming - A Resource Based Methodology. [Citation Graph (0, 0)][DBLP]
    Comput. Lang., 1983, v:8, n:3/4, pp:95-111 [Journal]
  70. Nazareno Aguirre, T. S. E. Maibaum
    Hierarchical Temporal Specifications of Dynamically Reconfigurable Component Based Systems. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2004, v:108, n:, pp:69-81 [Journal]
  71. Carlos H. C. Duarte, T. S. E. Maibaum
    A Branching Time Logical System for Open Distributed Systems Development. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2002, v:67, n:, pp:- [Journal]
  72. José Luiz Fiadeiro, T. S. E. Maibaum
    Temporal Theories as Modularisation Units for Concurrent System Specification. [Citation Graph (0, 0)][DBLP]
    Formal Asp. Comput., 1992, v:4, n:3, pp:239-272 [Journal]
  73. Juan Bicarregui, Theodosis Dimitrakos, Dov M. Gabbay, T. S. E. Maibaum
    Interpolation in Practical Formal Development. [Citation Graph (0, 0)][DBLP]
    Logic Journal of the IGPL, 2001, v:9, n:2, pp:- [Journal]
  74. Theodosis Dimitrakos, T. S. E. Maibaum
    On a generalized modularization theorem. [Citation Graph (0, 0)][DBLP]
    Inf. Process. Lett., 2000, v:74, n:1-2, pp:65-71 [Journal]
  75. Carlos H. C. Duarte, T. S. E. Maibaum
    A rely-guarantee discipline for open distributed systems design. [Citation Graph (0, 0)][DBLP]
    Inf. Process. Lett., 2000, v:74, n:1-2, pp:55-63 [Journal]
  76. T. S. E. Maibaum
    On what exactly goes on when software is developed step-by-step, II: The sequel. [Citation Graph (0, 0)][DBLP]
    Inf. Process. Lett., 2003, v:88, n:1-2, pp:45-51 [Journal]
  77. Paulo A. S. Veloso, T. S. E. Maibaum
    On the Modularization Theorem for Logical Specifications. [Citation Graph (0, 0)][DBLP]
    Inf. Process. Lett., 1995, v:53, n:5, pp:287-293 [Journal]
  78. T. S. E. Maibaum
    A Generalized Approach to Formal Languages. [Citation Graph (0, 0)][DBLP]
    J. Comput. Syst. Sci., 1974, v:8, n:3, pp:409-439 [Journal]
  79. T. S. E. Maibaum
    Erratum: A Generalized Approach to Formal Languages. [Citation Graph (0, 0)][DBLP]
    J. Comput. Syst. Sci., 1977, v:14, n:3, pp:369- [Journal]
  80. T. S. E. Maibaum
    Pumping Lemmas for Term Languages. [Citation Graph (0, 0)][DBLP]
    J. Comput. Syst. Sci., 1978, v:17, n:3, pp:319-330 [Journal]
  81. Mario R. F. Benevides, T. S. E. Maibaum
    A Constructive Presentation for the Modal Connective of Necessity (\Box). [Citation Graph (0, 0)][DBLP]
    J. Log. Comput., 1992, v:2, n:1, pp:31-50 [Journal]
  82. T. S. E. Maibaum
    Editorial. [Citation Graph (0, 0)][DBLP]
    J. Log. Comput., 1992, v:2, n:3, pp:243-245 [Journal]
  83. Narciso Martí-Oliet, Isabel Pita, José Luiz Fiadeiro, José Meseguer, T. S. E. Maibaum
    A Verification Logic for Rewriting Logic. [Citation Graph (0, 0)][DBLP]
    J. Log. Comput., 2005, v:15, n:3, pp:317-352 [Journal]
  84. José Luiz Fiadeiro, T. S. E. Maibaum
    Categorical Semantics of Parallel Program Design. [Citation Graph (0, 0)][DBLP]
    Sci. Comput. Program., 1997, v:28, n:2-3, pp:111-138 [Journal]
  85. Michael R. Levy, T. S. E. Maibaum
    Continuous Data Types. [Citation Graph (0, 0)][DBLP]
    SIAM J. Comput., 1982, v:11, n:2, pp:201-216 [Journal]
  86. Marcelo F. Frias, Carlos López Pombo, Gabriel A. Baum, Nazareno Aguirre, T. S. E. Maibaum
    Reasoning about static and dynamic properties in alloy: A purely relational approach. [Citation Graph (0, 0)][DBLP]
    ACM Trans. Softw. Eng. Methodol., 2005, v:14, n:4, pp:478-526 [Journal]
  87. Xiang Ling, T. S. E. Maibaum, Nazareno Aguirre
    Design in CommUnity with Extension Morphisms. [Citation Graph (0, 0)][DBLP]
    Formal Methods and Hybrid Real-Time Systems, 2007, pp:435-466 [Conf]
  88. T. S. E. Maibaum
    Challenges in Software Certification. [Citation Graph (0, 0)][DBLP]
    ICFEM, 2007, pp:4-18 [Conf]
  89. Pablo F. Castro, T. S. E. Maibaum
    A Complete and Compact Propositional Deontic Logic. [Citation Graph (0, 0)][DBLP]
    ICTAC, 2007, pp:109-123 [Conf]
  90. Nazareno Aguirre, Germán Regis, T. S. E. Maibaum
    Verifying Temporal Properties of CommUnity Designs. [Citation Graph (0, 0)][DBLP]
    IFM, 2007, pp:1-20 [Conf]

  91. A test framework for integration testing of object-oriented programs. [Citation Graph (, )][DBLP]


  92. A Tableaux System for Deontic Action Logic. [Citation Graph (, )][DBLP]


  93. Describing and Analyzing Behaviours over Tabular Specifications Using (Dyn)Alloy. [Citation Graph (, )][DBLP]


  94. Specifying and Verifying Business Processes Using PPML. [Citation Graph (, )][DBLP]


  95. Characterizing Locality (Encapsulation) with Bisimulation. [Citation Graph (, )][DBLP]


  96. Towards Managing Dynamic Reconfiguration of Software Systems in a Categorical Setting. [Citation Graph (, )][DBLP]


  97. An Approach to Integration Testing of Object-Oriented Programs. [Citation Graph (, )][DBLP]


  98. An ought-to-do deontic logic for reasoning about fault-tolerance: the diarrheic philosophers. [Citation Graph (, )][DBLP]


  99. On Software Certification: We Need Product-Focused Approaches. [Citation Graph (, )][DBLP]


  100. On specifying systems that connect to the physical world. [Citation Graph (, )][DBLP]


  101. A Product-Focused Approach to Software Certification. [Citation Graph (, )][DBLP]


  102. A Software Certification Consortium and its Top 9 Hurdles. [Citation Graph (, )][DBLP]


  103. Deontic Logic, Contrary to Duty Reasoning and Fault Tolerance. [Citation Graph (, )][DBLP]


Search in 0.009secs, Finished in 0.014secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002