Find:

Searching for hogrefe.

Restrict to:   Author   Title   Order by:   Expected citations   Date   Hits:   100   Try:   Google (CiteSeer)   Google (Web)   Yahoo!   MSN   CSB   DBLP
701 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     84 (3):   F. Belina, D. Hogrefe, and A. Sarma. SDL with Applications from Protocol Specification. Prentice Hall International, 1991.

Context   Doc     35 (5):   J. Ellsberger, D. Hogrefe, and A. Sarma, SDL: Formal Object-oriented Language for Communicating Systems. Prentice Hall, 1997.

Context   Doc     27 (0):   F. Belina and D. Hogrefe. The CCITT-specification and description language SDL. Computer Networks and ISDN Systems, 16(4):311--341, March 1989.

Context   Doc     13 (0):   J. Ellsberger, D. Hogrefe. and A. Sarma; SDL. Formal Object-oriented Language for Communicating Systems. Prentice Hall, 1997, 0-13-621384-7.

Context   Doc     13 (0):   Jan Ellsberger, Dieter Hogrefe, and Amardeo Sarma. SDL : Formal Object-oriented Language for Communicating Systems. Prentice-Hall, 1997.

Context   Doc     12 (1):   C. Daws, A. Olivero, and S. Yovine. Verifying ET-LOTOS programs with KRONOS. In D. Hogrefe and S. Leue, editors, Formal Description Techniques, VII, pages 227-242. North-Holland, Amsterdam, 1995.

Context   Doc     12 (0):   Dieter Hogrefe. Estelle, LOTOS und SDL. Springer-Verlag, 1989.

Context   Doc     12 (4):   Wang Yi, Paul Pettersson, and Mats Daniels. Automatic Verification of Real-Time Communicating Systems By Constraint-Solving. In Dieter Hogrefe and Stefan Leue, editors, Proc. of the 7th Int. Conf. on Formal Description Techniques, pages 223--238. North--Holland, 1994.

Context   Doc     10 (3):   D. Hogrefe. Estelle, LOTOS und SDL - Standard Spezifikationssprachen fur verteilte Systeme. Springer Verlag, 1989.

Context   Doc     10 (1):   D. Hogrefe, E. Heck, and B. Moller-Clostermann. Hierarchical performance evaluation based on formally specified architectures. IEEE Transactions on Computers, 40(4):500--513, April 1991.

Context   Doc     10 (3):   D. Hogrefe. OSI Formal Specification Case Study: The Inres Protocol and Service (revised). Technical Report IAM-91-012, Universitat Bern, Institut fur Informatik, May 1991.

Context   Doc     9 (7):   J. C. M. Baeten and S. Mauw. Delayed choice: an operator for joining Message Sequence Charts. In Dieter Hogrefe and Stefan Leue, editors, Participant's Proceedings of the Seventh International Conference on Formal Description Techniques (FORTE 94), pages 327--341, 1994.

Context   Doc     8 (0):   D. Hogrefe. Validation of SDL Systems. In #ystein Haugen, editor, SDL'95 Forum Tutorial, pp. 95105, 1995.

Context   Doc     6 (0):   D. Hogrefe. Report on the Validation of the Inres System. Technical Report IAM-95-007, Universitat Bern, November 1995.

Context   Doc     6 (4):   P. B. Ladkin and S. Leue. Four issues concerning the semantics of Message Flow Graphs. In D. Hogrefe and S. Leue, editors, Formal Description Techniques, VII, Proceedings of 17 the Seventh International Conference on Formal Description Techniques. Chapman & Hall, 1995.

Context   Doc     6 (1):   Dieter Hogrefe and Stefan Leue. Specifying Real-Time Requirements for Communication Protocols. Technical Report IAM92-015, University of Berne, 1992.

Context   Doc     6 (30):   J. Grabowski, D. Hogrefe, and R. Nahm. Test Case Generation with Test Purpose Specification by MSCs. In O. Faergemand and A. Sarma, editors, SDL'93 Using Objects. North-Holland, 1993.

Context   Doc     5 (0):   Holzmann, G. J. and Peled, D. An improvement in formal verification. In Hogrefe and Leue [HoLe94], pp. 177--191.

Context   Doc     5 (5):   A. Ek, J. Grabowski, D. Hogrefe, R. Jerome, B. Koch, and M. Schmitt, "Towards the Industrial Use of Validation Techniques and Automatic Test Generation Methods for SDL Specifications," Proc. Eighth SDL Forum, pp. 245-259, 1997.

Context   Doc     5 (0):   Eckhardt Holz and Ketil Stlen. An Attempt to Embed a Restricted Version of SDL as a Target Language in focus. In Dieter Hogrefe and Stefan Leue, editors, Proc. Forte'94, pages 324--339. Chapman & Hall, 1994.

Context   Doc     4 (0):   D. Hogrefe. SDL and OSI: On the use of CCITT-SDL in the context of OSI. Habilitation Thesis, University of Hamburg, 1989.

Context   Doc     4 (0):   A. Kendon. How gestures can become like words. In F. Poyatos, editor, Cross-cultural perspectives in nonverbal communication, New York, 1988. C.J. Hogrefe.

Context   Doc     4 (1):   Hoffmann, J. (1993). Vorhersage und Erkenntnis [Anticipation and Cognition ]. Goettingen, Germany: Hogrefe.

Context   Doc     4 (0):   Hogrefe, P. 1970. Bringing your Characters to Life.

Context   Doc     4 (0):   Homann, J. (1993). Vorhersage und Erkenntnis [Anticipation and Cognition ]. Hogrefe.

Context   Doc     3 (0):   D. Hogrefe, B. Koch, and H. Neukirchen. Some implications of MSC, SDL and TTCN time extensions for computer-aided test generation. In Proc. SDL-Forum Symp., vol. 2078.

Context   Doc     3 (4):   Jens Grabowski, Dieter Hogrefe, Robert Nahm. A Method for the Generation of Test Cases Based on SDL and MSCs. Technical Report IAM-93-010, University of Berne, Institute for Informatics, Berne, Switzerland, April 1993.

Context   Doc     3 (6):   M. Schmitt, A. Ek, J. Grabowski, D. Hogrefe, and B. Koch. Autolink -- Putting SDLbased test generation into practice. In A. Petrenko and N. Yevtuschenko, editors, Testing of Communicating Systems, volume 11, Tomsk, Russia, June 1998. Kluwer Academic Publishers.

Context   Doc     3 (0):   Rolf Brickenkamp and Eric Zillmer, D2 Test of Attention, Hogrefe & Huber, Gttingen, Germany, 1998.

Context   Doc     3 (0):   D. Hogrefe Conformance Testing Based on Formal Methods, FORTE 90, North-Holland, 1990.

Context   Doc     3 (0):   Hogrefe, D. (1990) Conformance testing based on formal methods, in FORTE 90 Formal Description Techniques (ed. J. Quemada, A. Fernandez).

Context   Doc     3 (6):   J. Grabowski, R. Scheurer, D. Toggweiler, and D. Hogrefe. Dealing with the Complexity of State Space Exploration Algorithms. In Proceedings of the 6th. GI/ITG technical meeting on 'Formal Description Techniques for Distributed Systems', University of Erlangen, June 1996.

Context   Doc     3 (0):   D. Hogrefe. On the development of a standard for conformance testing based on formal specifications. (Elsevier) Comput. Stand. Interf., 14(3):185--190, 1992.

Context   Doc     3 (0):   F. Belina and D. Hogrefe. The CCITT speci cation and description language SDL. Computer Networks and ISDN Systems, 16:311-341, 1989.

Context   Doc     3 (0):   D. Hogrefe. Estelle, LOTOS and SDL, Standard-Spezifikationssprachen fur verteilte Systeme. Springer, 1989.

Context   Doc     3 (0):   Pim Kars. Representation of Process-Gate Nets in LOTOS and Verification of LOTOS Laws: the Boolean Algebra Approach. In Dieter Hogrefe and Stefan Leue, editors, Proceedings of the 7th International Conference on Formal Description Techniques for Distributed Systems and Communication Protocols FORTE'94 (Bern, Switzerland), October 1994.

Context   Doc     2 (1):   J. Grabowski, D. Hogrefe, and R. Nahm. Test case generation with test purpose specication by MSCs. In Proceedings of the 6th SDL Forum in Darmstadt (Germany), October 1993.

Context   Doc     2 (3):   D. Hogrefe, Automatic generation of test cases from SDL specifications, SDL newsletter, No. 12, June 1988.

Context   Doc     2 (0):   M. Schmitt, A. Ek, J. Grabowski, D. Hogrefe, and B. Kock Autolink -- putting SDL--based test generation into practise Proceedings of the 11 International Workshop on Testing Communication Systems, pp 227--243, Kluwer Academic, 1998.

Context   Doc     2 (2):   B. Koch, J. Grabowski, D. Hogrefe, and M. Schmitt. Autolink -- A Tool for Automatic Test Generation from SDL Specifications. In IEEE International Workshop on Industrial Strength Formal Specification Techniques (WIFT'98), Boca Raton, Florida, October 1998.

Context   Doc     2 (0):   Hogrefe, D. and Leue, S., editors. Seventh International Conference on Formal Description Techniques for Distributed Systems and Communication Protocols --- FORTE '94, Proceedings, Berne, Switzerland (4--7 Oct. 1994).

Context   Doc     2 (0):   J. Grabowski, D. Hogrefe, I. Nussbaumer, and A. Spichiger. Test case specication based on MSCs and ASN.1. In R. Brk and A. Sarma, editors, SDL'95 with MSC in CASE, Proceedings of the 7th SDL Forum, pages 307-322, Oslo, Norway, September 1995. Elsevier

Context   Doc     2 (7):   Victor Luchangco, Ekrem Soylemez, Stephen Garland, and Nancy Lynch. Verifying timing properties of concurrent algorithms. In Dieter Hogrefe and Stefan Leue, editors, Formal Description Techniques VII: Proceedings of the 7th IFIP WG6.1 International Conference on Formal Description Techniques (FORTE'94, Berne, Switzerland, October 1994), pages 259-273. Chapman and Hall, 1995.

Context   Doc     2 (0):   F. Belina, D. Hogrefe, and A. Sarma. SDL - with applications from protocol speci- cation. The BCS Practitioners Series. Prentice-Hall International, London/Englewood Clis, 1991.

Context   Doc     2 (3):   Wang Yi, Paul Pettersson, and Mats Daniels. Automatic Veri cation of Real-Time Communicating Systems By ConstraintSolving. In Dieter Hogrefe and Stefan Leue, editors, Proc. of the 7th Int. Conf. on Formal Description Techniques, pages 223-238. North{Holland, 1994.

Context   Doc     2 (1):   J.P. Courtiat and D.E. Saidouni. Relating maximality-based semantics to action renement in process algebras. In D. Hogrefe and S. Leue, editors, Formal Description Techniques VII, pages 292-308. Chapman & Hall, 1995.

Context   Doc     2 (0):   F. Belina, D. Hogrefe, A. Sarma: SDL with Applications from Protocol Specification. Prentice Hall, 1991.

Context   Doc     2 (0):   M. Schmitt, B. Koch, J. Grabowski, and D. Hogrefe. Autolink { a tool for the automatic and semi-automatic test generation. In A. Wolisz, I. Schieferdecker, and A. Rennoch, editors, Formale Beschreibungstechniken fur verteilte Systeme, volume 315. GMD-Studien, St. Augustin, GI/ITG-Fachgesprach, GMD, 1997.

Context   Doc     2 (0):   D. Hogrefe: Fernunterricht per Video-Konferenz, Tele-teaching-Experiment zwischen Bern und Fribourg; UNIPRESS 9/95, Pressestelle Universitt Bern, pp 21 -- 23.

Context   Doc     2 (0):   Irle, M. (1975) Lehrbuch der Sozialpsychologie. Gttingen: Hogrefe.

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. 701 citations were found, of which 204 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