The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Ed Brinksma: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Tommaso Bolognesi, Ed Brinksma
    Introduction to the ISO Specification Language LOTOS. [Citation Graph (1, 0)][DBLP]
    Computer Networks, 1987, v:14, n:, pp:25-59 [Journal]
  2. Ed Brinksma
    Testing Times: On Model-Driven Test Generation for Non-Deterministic Real-Time Systems. [Citation Graph (0, 0)][DBLP]
    ACSD, 2004, pp:3-6 [Conf]
  3. Ed Brinksma
    On the Coverage of Partial Validations. [Citation Graph (0, 0)][DBLP]
    AMAST, 1993, pp:245-252 [Conf]
  4. Ed Brinksma
    Compositional Theories of Qualitative and Quantitative Behaviour. [Citation Graph (0, 0)][DBLP]
    ICATPN, 2003, pp:37-42 [Conf]
  5. Laura Brandán Briones, Ed Brinksma, Mariëlle Stoelinga
    A Semantic Framework for Test Coverage. [Citation Graph (0, 0)][DBLP]
    ATVA, 2006, pp:399-414 [Conf]
  6. Ed Brinksma
    From Data Structure to Process Structure. [Citation Graph (0, 0)][DBLP]
    CAV, 1991, pp:244-254 [Conf]
  7. Ed Brinksma
    Formal Methods for Conformance Testing: Theory Can Be Practical. [Citation Graph (0, 0)][DBLP]
    CAV, 1999, pp:44-45 [Conf]
  8. Ed Brinksma, Rom Langerak, Peter Broekroelofs
    Functionality Decomposition by Compositional Correstness Preserving Transformation. [Citation Graph (0, 0)][DBLP]
    CAV, 1993, pp:371-384 [Conf]
  9. Rom Langerak, Ed Brinksma
    A Complete Finite Prefix for Process Algebra. [Citation Graph (0, 0)][DBLP]
    CAV, 1999, pp:184-195 [Conf]
  10. Kim Guldstrand Larsen, Gerd Behrmann, Ed Brinksma, Ansgar Fehnker, Thomas Hune, Paul Pettersson, Judi Romijn
    As Cheap as Possible: Efficient Cost-Optimal Reachability for Priced Timed Automata. [Citation Graph (0, 0)][DBLP]
    CAV, 2001, pp:493-505 [Conf]
  11. Ed Brinksma
    Verification Is Experimentation! [Citation Graph (0, 0)][DBLP]
    CONCUR, 2000, pp:17-24 [Conf]
  12. Ed Brinksma
    On the Uniqueness of Fixpoints Modulo Observation Congruence. [Citation Graph (0, 0)][DBLP]
    CONCUR, 1992, pp:47-61 [Conf]
  13. Ed Brinksma, Arend Rensink, Walter Vogler
    Fair Testing. [Citation Graph (0, 0)][DBLP]
    CONCUR, 1995, pp:313-327 [Conf]
  14. Rom Langerak, Ed Brinksma, Joost-Pieter Katoen
    Causal Ambiguity and Partial Orders in Event Structures. [Citation Graph (0, 0)][DBLP]
    CONCUR, 1997, pp:317-331 [Conf]
  15. Ed Brinksma, Wolfgang Grieskamp, Jan Tretmans
    04371 Summary - Perspectives of Model-Based Testing. [Citation Graph (0, 0)][DBLP]
    Perspectives of Model-Based Testing, 2004, pp:- [Conf]
  16. Ed Brinksma, Wolfgang Grieskamp, Jan Tretmans
    04371 Abstracts Collection - Perspectives of Model-Based Testing. [Citation Graph (0, 0)][DBLP]
    Perspectives of Model-Based Testing, 2004, pp:- [Conf]
  17. Val Jones, Arend Rensink, Ed Brinksma
    Modelling mobile health systems: an application of augmented MDA for the extended healthcare enterprise.. [Citation Graph (0, 0)][DBLP]
    EDOC, 2005, pp:58-69 [Conf]
  18. Ed Brinksma, Holger Hermanns
    Process Algebra and Markov Chains. [Citation Graph (0, 0)][DBLP]
    European Educational Forum: School on Formal Methods and Performance Analysis, 2000, pp:183-231 [Conf]
  19. Laura Brandán Briones, Ed Brinksma
    A Test Generation Framework for quiescent Real-Time Systems. [Citation Graph (0, 0)][DBLP]
    FATES, 2004, pp:64-78 [Conf]
  20. Ed Brinksma
    Specification Modules in LOTOS. [Citation Graph (0, 0)][DBLP]
    FORTE, 1989, pp:101-115 [Conf]
  21. Ed Brinksma
    What is the Method in Formal Methods? [Citation Graph (0, 0)][DBLP]
    FORTE, 1991, pp:33-50 [Conf]
  22. Ed Brinksma
    Using Formal Methods: if you're so smart how come you ain't rich? [Citation Graph (0, 0)][DBLP]
    FORTE, 1996, pp:329- [Conf]
  23. Ed Brinksma, Arend Rensink, Walter Vogler
    Applications of Fair Testing. [Citation Graph (0, 0)][DBLP]
    FORTE, 1996, pp:145-160 [Conf]
  24. Joost-Pieter Katoen, Rom Langerak, Diego Latella, Ed Brinksma
    On Specifying Real-Time Systems in a Causality-Based Setting. [Citation Graph (0, 0)][DBLP]
    FTRTFT, 1996, pp:385-404 [Conf]
  25. Pedro R. D'Argenio, Ed Brinksma
    A Calculus for Timed Automata. [Citation Graph (0, 0)][DBLP]
    FTRTFT, 1996, pp:110-129 [Conf]
  26. Patricia Bouyer, Ed Brinksma, Kim Guldstrand Larsen
    Staying Alive as Cheaply as Possible. [Citation Graph (0, 0)][DBLP]
    HSCC, 2004, pp:203-218 [Conf]
  27. Ed Brinksma
    The Challenges of Embedded Systems Engineering. [Citation Graph (0, 0)][DBLP]
    HSCC, 2007, pp:3- [Conf]
  28. Ed Brinksma
    On the Formal Specification of OSI Services and Protocols. [Citation Graph (0, 0)][DBLP]
    ICCC, 1986, pp:159-164 [Conf]
  29. Laura Briones, Ed Brinksma
    Testing Real-Time Multi Input-Output Systems. [Citation Graph (0, 0)][DBLP]
    ICFEM, 2005, pp:264-279 [Conf]
  30. Gerd Behrmann, Ed Brinksma, Martijn Hendriks, Angelika Mader
    Production Scheduling by Reachability Analysis - A Case Study. [Citation Graph (0, 0)][DBLP]
    IPDPS, 2005, pp:- [Conf]
  31. Ed Brinksma, Jan Tretmans
    Testing Transition Systems: An Annotated Bibliography. [Citation Graph (0, 0)][DBLP]
    MOVEP, 2000, pp:187-195 [Conf]
  32. Pedro R. D'Argenio, Joost-Pieter Katoen, Ed Brinksma
    An algebraic approach to the specification of stochastic systems. [Citation Graph (0, 0)][DBLP]
    PROCOMET, 1998, pp:126-147 [Conf]
  33. Ed Brinksma
    A tutorial on LOTOS. [Citation Graph (0, 0)][DBLP]
    PSTV, 1985, pp:171-194 [Conf]
  34. Ed Brinksma
    Cache consistency by design. [Citation Graph (0, 0)][DBLP]
    PSTV, 1994, pp:53-67 [Conf]
  35. Ed Brinksma, Henk Eertink
    Goal-Driven LOTOS Execution. [Citation Graph (0, 0)][DBLP]
    PSTV, 1993, pp:45-60 [Conf]
  36. Ed Brinksma, Günter Karjoth
    A Specification of the OSI Transport Service in LOTOS. [Citation Graph (0, 0)][DBLP]
    PSTV, 1984, pp:227-251 [Conf]
  37. Ed Brinksma, Jan Tretmans, Louis Verhaard
    A Framework for Test Selection. [Citation Graph (0, 0)][DBLP]
    PSTV, 1991, pp:233-248 [Conf]
  38. Lex Heerink, Ed Brinksma
    Validation in context. [Citation Graph (0, 0)][DBLP]
    PSTV, 1995, pp:221-236 [Conf]
  39. Ed Brinksma, Lex Heerink, Jan Tretmans
    Factorized Test Generation for Multi-Input/Output Transition Systems. [Citation Graph (0, 0)][DBLP]
    IWTCS, 1998, pp:67-82 [Conf]
  40. Jan Tretmans, Pim Kars, Ed Brinksma
    Protocol Conformance Testing: A Formal Perspective on ISO IS-9646. [Citation Graph (0, 0)][DBLP]
    Protocol Test Systems, 1991, pp:131-142 [Conf]
  41. Louis Verhaard, Jan Tretmans, Pim Kars, Ed Brinksma
    On Asynchronous Testing. [Citation Graph (0, 0)][DBLP]
    Protocol Test Systems, 1992, pp:55-66 [Conf]
  42. Ed Brinksma
    Constraint-Oriented Specification in a Constructive Formal Description Technique. [Citation Graph (0, 0)][DBLP]
    REX Workshop, 1989, pp:130-152 [Conf]
  43. Pedro R. D'Argenio, Joost-Pieter Katoen, Ed Brinksma
    Specification and Analysis of Soft Real-Time Systems: Quantity and Quality. [Citation Graph (0, 0)][DBLP]
    IEEE Real-Time Systems Symposium, 1999, pp:104-114 [Conf]
  44. Ed Brinksma, Angelika Mader
    Verification and Optimization of a PLC Control Schedule. [Citation Graph (0, 0)][DBLP]
    SPIN, 2000, pp:73-92 [Conf]
  45. Theo C. Ruys, Ed Brinksma
    Experience with Literate Programming in the Modelling and Validation of Systems. [Citation Graph (0, 0)][DBLP]
    TACAS, 1998, pp:393-408 [Conf]
  46. Ed Brinksma, Bengt Jonsson, Fredrik Orava
    Refining Interfaces of Communicating Systems. [Citation Graph (0, 0)][DBLP]
    TAPSOFT, Vol.2, 1991, pp:297-312 [Conf]
  47. Chris A. Vissers, Giuseppe Scollo, Marten van Sinderen, Ed Brinksma
    On the Use of Specifiation Styles in the Design of Distributed Systems (Abstract). [Citation Graph (0, 0)][DBLP]
    TAPSOFT, Vol.2, 1989, pp:60- [Conf]
  48. Ed Brinksma, Joost-Pieter Katoen, Rom Langerak, Diego Latella
    A Stochastic Causality-Based Process Algebra. [Citation Graph (0, 0)][DBLP]
    Comput. J., 1995, v:38, n:7, pp:552-565 [Journal]
  49. Ed Brinksma, Joost-Pieter Katoen, Rom Langerak, Diego Latella
    Partial Order Models for Quantitative Extensions of LOTOS. [Citation Graph (0, 0)][DBLP]
    Computer Networks, 1998, v:30, n:9-10, pp:925-950 [Journal]
  50. Ed Brinksma, Giuseppe Scollo, Chris A. Vissers
    Introduction to the PSTV-IX. [Citation Graph (0, 0)][DBLP]
    Computer Networks and ISDN Systems, 1991, v:22, n:1, pp:1-6 [Journal]
  51. Ed Brinksma
    Cache Consistency by Design. [Citation Graph (0, 0)][DBLP]
    Distributed Computing, 1999, v:12, n:2-3, pp:61-74 [Journal]
  52. Joost-Pieter Katoen, Rom Langerak, Ed Brinksma, Diego Latella, Tommaso Bolognesi
    A Consistent Causality-Based View on a Timed Process Algebra Including Urgent Interactions. [Citation Graph (0, 0)][DBLP]
    Formal Methods in System Design, 1998, v:12, n:2, pp:189-216 [Journal]
  53. Ed Brinksma
    Verification is experimentation! [Citation Graph (0, 0)][DBLP]
    STTT, 2001, v:3, n:2, pp:107-111 [Journal]
  54. Ed Brinksma, Angelika Mader, Ansgar Fehnker
    Verification and optimization of a PLC control schedule. [Citation Graph (0, 0)][DBLP]
    STTT, 2002, v:4, n:1, pp:21-33 [Journal]
  55. Theo C. Ruys, Ed Brinksma
    Managing the verification trajectory. [Citation Graph (0, 0)][DBLP]
    STTT, 2003, v:4, n:2, pp:246-259 [Journal]
  56. Chris A. Vissers, Giuseppe Scollo, Marten van Sinderen, Ed Brinksma
    Specification Styles in Distributed Systems Design and Verification. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 1991, v:89, n:1, pp:179-206 [Journal]
  57. Howard Bowman, John Derrick, Ed Brinksma
    Guest Editors' Introduction: Formal Methods for Object Oriented Distributed Systems. [Citation Graph (0, 0)][DBLP]
    IEEE Trans. Software Eng., 2000, v:26, n:7, pp:577-578 [Journal]

  58. 06351 Abstracts Collection -- Methods for Modelling Software Systems (MMOSS). [Citation Graph (, )][DBLP]


  59. 06351 Summary -- Methods for Modelling Software Systems (MMOSS). [Citation Graph (, )][DBLP]


  60. Dependability for high-tech systems: an industry-as-laboratory approach. [Citation Graph (, )][DBLP]


Search in 0.006secs, Finished in 0.010secs
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