| Searching for brinksma. |
1635 citations found. Only retrieving 500 citations (System busy - maximum reduced). Only a fraction of citations to each article may be shown. Retrieving citations...
Context Doc 190 (3): T. Bolognesi and E. Brinksma. Introduction to the ISO specification language LOTOS. Comp. Netw. & ISDN Syst., 14:25--59, 1987.
Context Doc 51 (1): E. Brinksma. A theory for derivation of tests. In S. Aggrawal and K. Sabnani, editors, Protocol Specification, Testing and Verification VIII, 1988.
Context Doc 30 (2): Vissers, C. A., Scollo, G., Sinderen, M. v. and Brinksma, E.: "Specification Styles in Distributed Systems Design and Verification", Theoretical Computer Science, Vol. 89, No. 1, pp. 179 -- 206 (1991). 25
Context Doc 28 (2): E. Brinksma, G. Scollo, and C. Steenbergen. LOTOS specifications, their implementations and their tests. In B. Sarikaya and G. von Bochmann, editors, Protocol Specification, Testing, and Verification, VI. North-Holland, 1987.
Context Doc 27 (4): T.A. Henzinger, P.-H. Ho, and H. Wong-Toi. A user guide to hytech. In E. Brinksma, W.R. Cleaveland, K.G. Larsen, T. Margaria, and B. Steffen, editors, TACAS 95: Tools and Algorithms for the Construction and Analysis of Systems, volume 1019 of Lecture Notes in Computer Science 1019, pages 41--71. Springer-Verlag, 1995.
Context Doc 26 (0): T. Bolognesi and E. Brinksma. Introduction to the ISO Speci cation Language LOTOS. In P. H. J. van Eijk, C. A. Vissers, and M. Diaz, editors, The Formal Description Technique LOTOS, pages 23-73. Elsevier Science Publishers NorthHolland, 1989.
Context Doc 10 (2): R. Langerak and E. Brinksma. A complete finite prefix for process algebra. In Proceedings of the 11th International Conference on Computer Aided Verification, Italy, number 1633 in LNCS, pages 184--195. Springer, 1999.
Context Doc 10 (1): A. Stump, C.W. Barrett, and D.L. Dill. CVC: a cooperating validity checker. In E. Brinksma and K.G. Larsen, editors, Proceedings of CAV 2002.
Context Doc 10 (1): E. Brinksma, A. Rensink, and W. Vogler. Fair testing. In I. Lee and S. A. Smolka, editors, 6th International Conference on Concurrency Theory (CONCUR'95), volume 962 of LNCS, pages 313-327. Springer-Verlag, 1995.
Context Doc 10 (0): C. Shankland, M. Thomas, and E. Brinksma. Symbolic Bisimulation for Full LOTOS. In Algebraic Methodology and Software Technology (AMAST'97), volume 1349 of Lecture Notes in Computer Science, pages 479--493. SpringerVerlag, 1997.
Context Doc 9 (0): E.A. Emerson, S. Jha, and D. Peled. Combining Partial Order and Symmetry Reductions. In E. Brinksma, ed., Tools and Algorithms for the Construction and Analysis of Systems, TACAS '97, LNCS 1217, p. 19--34. Springer, 1997.
Context Doc 9 (1): A. Engels, L. Feijs, and S. Mauw, "Test Generation for Intelligent Networks Using Model Checking," in Proceedings of the Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS'97), ser. Lecture Notes in Computer Science, E. Brinksma, Ed., vol. 1217. Springer, 1997, pp. 384--398.
Context Doc 8 (5): H. Ben-Abdallah and S. Leue. Syntactic detection of process divergence and nonlocal choice in message sequence charts. In E. Brinksma, editor, Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, Third International Workshop, TACAS'97, number 1217 in Lecture Notes in Computer Science, pages 259--274, Enschede, The Netherlands, 1997. Springer.
Context Doc 8 (0): P. H. Schmitt and J. Goubault-Larrecq. A tableau system for linear-time temporal logic. In E. Brinksma, editor, TACAS'97, volume 1217 of Lecture Notes in A.I. Springer-Verlag, 1997.
Context Doc 7 (3): P. R. D'Argenio, J. P. Katoen, and E. Brinksma. An algebraic approach to the specification of stochastic systems. Programming Concepts and Methods, pages 126--147, 1998.
Context Doc 7 (13): R. E. Bryant, S. K. Lahiri, and S. A. Seshia. Modeling and verifying systems using a logic of counter arithmetic with lambda expressions and uninterpreted functions. In E. Brinksma and K. G. Larsen, editors, Computer-Aided Verification (CAV '02), LNCS 2404, pages 78--92, 2002. 35
Context Doc 7 (6): K. G. Larsen, G. Behrman, E. Brinksma, A. Fehnker, T. Hune, P. Petersson, and J. Romijn. As cheap as possible: Ecient cost-optimal reachability for priced timed automata. In Proc. of the 13th International Conference on Computer Aided Veri cation, CAV'01, LNCS, pages 493-505. Springer, 2001.
Context Doc 7 (5): E. Brinksma, J.-P. Katoen, R. Langerak, D. Latella, A stochastic causality-based process algebra, Comput. J. 38(7) (1995) 552--565.
Context Doc 7 (0): E. BRINKSMA, A tutorial on LOTOS, in Proceedings of the IFIP Workshop on Protocol Specification, Testing and Verification, M. Diaz, ed., NorthHolland, 1986, pp. 73--84. 28
Context Doc 7 (0): E. Brinksma. On the design of Extended LOTOS -- a specification language for open distributed systems. PhD thesis, Department of Computer Science, University of Twente, 1988.
Context Doc 7 (0): E. Brinksma, G. Scollo, Formal notions of implementation and conformance in LOTOS, Rept. No. INF-86-13, Twente University of Technology, Department of Informatics, Enschede, The Netherlands, Dec. 1986.
Context Doc 7 (1): P.R. D'Argenio, J.-P. Katoen, E. Brinksma, An algebraic approach to the specification of stochastic systems, in: Proc. PROCOMET'98, IFIP Series, Chapman-Hall, London, 1998, pp. 126--147.
Context Doc 7 (0): Brinksma, E., Alderden, R., Langerak, J., van de Lagemaat, R., Tretmans, J.: A formal approach to conformance testing. In: Second International Workshop on Protocol Test Systems, North-Holland (1990) 349-363
Context Doc 7 (3): P.R. D'Argenio, J.-P. Katoen E. Brinksma. Specification and Analysis of Soft RealTime Systems: Quantity and Quality. In Proc. of the 20th IEEE Real-Time Systems Symposium, pp. 104-114, Phoenix, Arizona, December 1999. IEEE Computer Society Press.
Context Doc 6 (1): E. Brinksma, H. Hermanns, and J.-P. Katoen, editors. Lectures on formal methods and performance analysis. Tutorial Proceedings of the first EEF/Euro summer school on trends in computer science, volume 2090.
Context Doc 6 (0): E. Brinksma. On the existence of canonical testers. Memorandum INF-87-5, Department of Informatics, University of Twente, Netherlands, 1987.
Context Doc 6 (0): E. Brinksma, editor. Information processing systems -- Open systems interconnection -- LOTOS -- A formal description technique based on the temporal ordering of observational behaviour. Technical Report ISO/TC 97/SC 21, International Organisation for Standardization, 1987.
Context Doc 6 (0): P.A. D'Argenio and E. Brinksma. A calculus for timed automata. In B. Jonsson and J. Parrow, editors, FTRTFT 96: Formal Techniques in Realtime and Fault-tolerant Systems, Lecture Notes in Computer Science 1135, pages 110--129. Springer-Verlag, 1996.
Context Doc 6 (0): E. Brinksma, B. Jonsson, and F. Orava. Refining interfaces of communicating systems. In S. Abramsky and T. S. E. Maibaum, eds., TAPSOFT '91, Volume 2, vol. 494 of Lecture Notes in Computer Science, pp. 297--312. Springer-Verlag, 1991. Report version: Memoranda Informatica 91--19, TIOS 91/003, University of Twente, The Netherlands.
Context Doc 5 (0): J. Baumgartner, A. K uhlmann, and J. Abraham. Property checking via structural analysis. In E. Brinksma and K. Larsen, editors, Computer Aided Verification, Proceedings of the 14th International Conference, CAV 2002, Copenhagen, Denmark, July 27--31, 2002, volume 2404 of Lecture Notes in Computer Science, pages 151--165. Springer, 2002.
Context Doc 5 (2): E. Brinksma and J. Tretmans. Testing transition systems: An annotated bibliography. In MOVEP 2000, volume 2067 of LNCS. Springer, 2001.
Context Doc 5 (0): E. Brinksma, A. Rensink, and W. Vogler. Applications of fair testing. In R. Gotzhein and J. Bredereke, editors, Formal Description Techniques IX: Theory, Applications and Tools, volume IX. Chapman and Hall, 1996.
Context Doc 5 (1): E. Brinksma, Constraint-oriented Specification in a Constructive Specification Technique, in: Proc. Rex Workshop on Stepwise Refinement of Distributed Systems, Mook, The Netherlands, 1989.
Context Doc 5 (0): C.D. Wezeman, The CO-OP method for compositional derivation of conformance testers, in: E. Brinksma, G. Scollo, C. A. Vissers, eds., Protocol Specification, Testing, and Verification, IX (North-Holland, Amsterdam, 1989).
Context Doc 5 (3): E. Brinksma, J. Tretmans and L. Verhaard, A Framework for Test Selection, Proc. PSTV, pp. 233248, 1991..
Context Doc 5 (0): J. G. Henriksen, J. L. Jensen, M. E. Jrgensen, N. Klarlund, R. Paige, T. Rauhe, and A. Sandholm. Mona: Monadic second-order logic in practice. In E. Brinksma et al. (eds.), Proc. TACAS '95, LNCS 1019, pp. 89110. Springer, 1996.
Context Doc 5 (2): P.R. D'Argenio, J.-P. Katoen, E. Brinksma, An algebraic approach to the speci#cation of stochastic systems (extended abstract), in: D. Gries, W.-P. de Roever (Eds.), Programming Concepts and Methods, Chapman & Hall, London, 1998, pp. 126 --148.
Context Doc 4 (0): R. Langerak and E. Brinksma. A complete nite pre x for process algebra. In Proceedings of the 11th International Conference on Computer Aided Veri cation, Italy, number 1633 in LNCS, pages 184-195. Springer, 1999.
Context Doc 4 (4): Sam Owre, John Rushby, and N. Shankar. Integration in PVS: tables, types, and model checking. In Ed Brinksma, editor, Tools and Algorithms for the Construction and Analysis of Systems TACAS '97, number 1217 in Lecture Notes in Computer Science, pages 366--383, Enschede, The Netherlands, April 1997. Springer-Verlag.
Context Doc 4 (4): P.R. D'Argenio, J.-P. Katoen, T.C. Ruys, and J. Tretmans. The bounded retransmission protocol must be on time! In E. Brinksma, editor, Proceedings of the Third Workshop on Tools and Algorithms for the Construction and Analysis of Systems, Enschede, The Netherlands, volume 1217 of Lecture Notes in Computer Science, pages 416-431. Springer-Verlag, April 1997.
Context Doc 4 (0): C. Barrett, D. Dill, and A. Stump, "Checking Satisfiability of First-Order Formulas by Incremental Translation to SAT," Computer-Aided Verification (CAV '02), E. Brinksma, and K.G. Larsen, eds., LNCS 2404, Springer-Verlag, July 2002, pp. 236--249. 16
Context Doc 4 (1): Kim G. Larsen, Gerd Behrmann, Ed Brinksma, Ansgar Fehnker, Thomas Hune, Paul Pettersson, and Judi Romijn. As cheap as possible: Efficient cost-optimal reachability for priced timed automat. In G. Berry, H. Comon, and A. Finkel, editors, Proc. of CAV 2001.
Context Doc 4 (3): E. Brinksma, A. Mader, and A. Fehnker. Verification and optimization of a PLC control schedule. Journal of Software Tools for Technology Transfer (STTT), 4(1):21--33, 2002.
Context Doc 4 (0): A. Cimatti, E.M. Clarke, E. Giunchiglia, F. Giunchiglia, M. Pistore, M. Roveri, R. Sebastiani, and A. Tacchella. NuSMV2: An OpenSource Tool for Symbolic Model Checking. In E. Brinksma and K.G. Larsen, editors, Proc. 14th International Conference on Computer Aided Veri cation (CAV'02), LNCS, pages 359{
Context Doc 4 (0): E. Brinksma (Project Editor). LOTOS -- A Formal Description Technique Based on the Temporal Ordering of Observational Behavior. OSI Project 97.21.20.2, 1987.
Context Doc 4 (0): W. Y.L. Chan, S. T. Vuong, and M.R. Ito. On test sequence generation for protocols. In E. Brinksma, G Scollo, and C.A. Vissers, editors, Protocol Specification, Testing, and Verification, IX, pages 119--131. IFIP, North Holland, 1990.
Context Doc 4 (0): J.-P. Katoen D'Argenio, P.R. and E. Brinksma. A stochastic automata model and its algebraic approach. In Proc. PAPM'97, pages 1--16. University of Twente, Enschede, 1995. Appeared as CTIT Technical Report 97--14.
Context Doc 4 (0): Ed Brinksma, Arend Rensink, and Walter Vogler. Fair testing. In I. Lee and S. A. Smolka, editors, 6th International Conference on Concurrency Theory (CONCUR'95), volume 962 of Lecture Notes in Computer Science, pages 313--327. Springer-Verlag, 1995.
Context Doc 4 (0): J-F. Raskin and P-Y. Schobbens. Real-Time Logics: Fictitious Clocks as an Abstraction of Dense Time. In E. Brinksma, editor, Tools and Algorithms for the Construction and Analysis of Systems, volume 1217 of LNCS, pages 165-- 182. Springer-Verlag, 1997.
Context Doc 4 (3): T. C. Ruys and E. Brinksma. Experience with literate programming in the modelling and validation of systems. In Proc. 4th Int. Conf. Tools and Algorithms for the Construction and Analysis of Systems (TACAS'98), Lisbon, Portugal, Mar. 1998, vol. 1384 of Lect. Notes Comp. Sci., pp. 393407. Springer, 1998.
First 50 documents Next 50
The numbers before each article are the number of citations (excluding self-citations), and the predicted number of self-citations. 1000 citations were found, of which 163 were predicted to be self-citations. Self-citations are not included in the graph.
Try your query at: Google (CiteSeer) Google (Web) Yahoo! MSN CSB DBLP
CiteSeer.IST - Copyright Penn State and NEC