Monika Kapus-Kolar

Contact information

Address: Jožef Stefan Institute , Department of Communication Systems , P.O.B. 3000, 1001 Ljubljana , Slovenia

Phone: +386 1 4773 531, +386 1 4773 900

Fax: +386 1 4262 102, +386 1 4219 385

Email: monika.kapus-kolar@ijs.si

Education

• B. Sc. in Electrical Engineering, 1981, University of Maribor , Slovenia
• M. Sc. in Computer Science, 1984, University of Ljubljana , Slovenia
• Ph. D. in Computer Science, 1989, University of Ljubljana, Slovenia

Publications

• M. Kapus-Kolar, "Towards weak sequencing for E-LOTOS," Computer Standards & Interfaces, vol. 28, no. 1, pp. 59-73, 2005.
• M. Kapus-Kolar, "Specifying late choice in E-LOTOS," Electrotechnical Review, vol. 71, pp. 283-288, 2004.
  
• M. Kapus-Kolar, "A generalization of the E-LOTOS renaming operator: a convenience for specification of new forms of process composition," Computer Standards & Interfaces, vol. 26, no. 6, pp. 549-563, 2004.
• M. Kapus-Kolar, "Specifying broadcast communication in E-LOTOS,"  WSEAS Transactions on Computers, vol. 3, no. 2, pp. 468-473,  2004.
  
• M. Kapus-Kolar, "Specifying action priorities in a sublanguage of E-LOTOS," Proc. SoftCOM'2003, Split, 2003, pp. 247-251.
  
• M. Kapus-Kolar, "Compositional service-based construction of multi-party time-sharing-based protocols," IEICE Transactions on Fundamentals of Electronics, Communications and Computer Sciences, vol. E86-A, pp. 2405-2412, 2003. + an unpublished correction
• M. Kapus-Kolar, "Specifying broadcast communication in a sublanguage of E-LOTOS," Proc. EUROCON'2003, Ljubljana, 2003, vol.II, pp. 2-6.
  
• M. Kapus-Kolar, Specifying Weak Sequential Composition and Its Application to Action Refinement in E-LOTOS, Jozef Stefan Institute Technical Report #8814, 2003.
  
• M. Kapus-Kolar, "Deriving self-stabilizing protocols for services specified in LOTOS," Informatica, vol. 27, pp. 57-73, 2003.
  
• M. Kapus-Kolar, E-LOTOS-Based Composition of Distributed Services and Their Protocols, Jozef Stefan Institute Technical Report #8532, 2003.
  
• M. Kapus-Kolar, "A generalization of the E-LOTOS trapping operator: towards reconciliation with LOTOS," Computer Standards & Interfaces, vol. 24, no. 5, pp. 389-393, 2002.
• M. Kapus-Kolar, "Specifying dynamic process interconnection in E-LOTOS," Proc. 11th Int. Electrotechnical and Computer Science Conference ERK'2002, Portorož,  2002, pp.143-146.
  
• M. Kapus-Kolar, "Global conflict resolution in automated service-based protocol synthesis," South African Computer Journal, no. 27, pp. 34-48, 2001.
• M. Kapus-Kolar, "Deriving protocols for services supporting mobile users," Information and Software Technology, vol. 42, pp. 619-631, 2000.
• M. Kapus-Kolar, "Service-based synthesis of two-party protocols," Electrotechnical Review, vol. 67, no. 3-4, pp. 161-168, 2000.
• M. Kapus-Kolar, "Restoring the concept of observability in E-LOTOS," Computer Standards & Interfaces, vol. 22, pp. 55-60, 2000.
• M. Kapus-Kolar, "More efficient functionality decomposition in LOTOS," Informatica, vol. 23, pp. 259-273, 1999.
• M. Kapus-Kolar, "Basic E-LOTOS and its application to protocol synthesis," Electrotechnical Review, vol. 66, pp. 30-37, 1999.
• M. Kapus-Kolar, "Comments on deriving protocol specifications from service specifications written in LOTOS," Distributed Computing, vol. 12, pp. 175-177, 1999.
• M. Pučko-Frey, M. Kapus-Kolar, R. Novak, "Automatic test case generation from the industrial point of view : conformance testing in Iskratel," in Testing of Communication Systems: Methods and Applications, Kluwer Academic Publ., 1999, pp. 347-362.
  
• M. Kapus-Kolar, "E-LOTOS-based synthesis of distributed coordinators for mobile objects," Proc. ISIE'99, vol. 3, pp. 1415-1420, 1999.
• M. Kapus-Kolar, "Supporting service parameters in E-LOTOS-based protocol derivation," Proc. 17th IASTED Int. Conf. on Applied Informatics, pp. 631-633, 1999.
  
• M. Kapus-Kolar,"From basic LOTOS to basic E-LOTOS and beyond," Proc. 7th Electrotechnical and Computer Science Conference ERK'98, Portorož, 1998, vol. B, pp. 47-50.
• M. Kapus-Kolar, "Employing disruptions for more efficient functionality decomposition in LOTOS," Proc. EUROMICRO'97, Budapest, 1997, pp. 464-471.
• M. Kapus-Kolar, "Functionality bipartition in basic E-LOTOS," in Proc. COST247 Int. Workshop on Applied Formal Methods in System Design, Zagreb, 1997, pp. 101-114.
• M. Kapus-Kolar, "On deriving protocol specifications from service specifications in M-LOTOS," in Proc. Int. Conference on Telecommunications, Zagreb, 1997, pp. 373-382.
• M. Kapus-Kolar, "A test-sequence generator for finite-state machines," Proc. 5th Electrotechnical and Computer Science Conference ERK'96, Portorož, 1996, vol. A, pp. 129-132.
• M. Kapus-Kolar, "Functionality decomposition of Basic LOTOS expressions with generalised termination, enabling and disabling," in Z. Brezočnik, T. Kapus (eds), Proc. COST247 Int. Workshop on Applied Formal Methods in System Design, University of Maribor, Slovenia, 1996, pp. 61-74.
• M. Kapus-Kolar, "On context-sensitive service-based protocol derivation", Proc. Melecon'96, Bari, 1996, pp. 955-958
• M. Kapus-Kolar, "Deriving protocols for mobile service users", Electrotechnical Review, vol.62, no. 5, pp. 299-307, 1995.
• M. Kapus-Kolar, "Automated derivation of protocols handling distributed virtual queues", Proc. 10th Int. Symp. on Computer and Information Sciences, Ephesus, Kusadasi, Turkey, 1995, vol. I, pp. 383-390.
• M. Kapus-Kolar, "On constructing protocol derivation algorithms for LOTOS-like languages", Proc. Int. Conf. Software Quality ICSQ'95, Maribor, 1995, pp. 119-126.
• M. Pučko, M. Kapus-Kolar, G. Kandus, "Automated derivation of protocols implementing Intelligent Network Services", Microprocessing & Microprogramming, vol. 40, pp. 707-710, 1994.
• M. Pučko, M. Kapus-Kolar, M. Jagodic, "Development of Intelligent Network services using algebraic service and protocol specification", Proc. 3rd Int. Conf. on Intelligence in Networks, Bordeaux, 1994, pp. 379-380.
• M. Pučko, M. Kapus-Kolar, J. Rugelj, "Developing multi-user interfaces for CSCW environment", Microprocessing & Microprogramming, vol. 37, pp. 123-126, 1993.
• M. Kapus-Kolar, "Derivaton of protocols implementing services with event priorities", Microprocessing & Microprogramming, vol. 39, pp. 213-216, 1993.
• M. Kapus-Kolar, R. Novak, "More flexible parameter handling in service-driven protocol synthesis", Proc. 11th IASTED Int. Conf. Applied Informatics, Annecy (F), 1993, pp. 234- 237.
• M. Pučko, M. Kapus-Kolar, R. Novak, "Causal dependence in distributed system design", Proc. 11th IASTED Int. Conf. Applied Informatics, Annecy (F), 1993, pp. 238-240.
• M. Kapus-Kolar, "A tool for service-driven protocol synthesis", Proc. 2nd Electrotechnical and Computer Science Conference ERK�93, Portorož, 1993, vol. A, pp. 163-166.
• M. Pučko. M. Kapus-Kolar, "Causal dependence and probability in distributed system specification", Proc. 2nd Electrotechnical and Computer Science Conference ERK�93, Portorož, 1993, vol. A, pp. 171-174.
• M. Kapus-Kolar, "Deriving protocols for mobile service users", Proc. 8th Int. Symp. on Computer and Information Sciences, Istanbul, 1993, pp. 519-522.
• M. Kapus-Kolar, "Deriving protocol specifications from service specifications including multirendezvous", Microprocessing & Microprogramming, vol. 35, pp. 369-374, 1992.
• M. Kapus-Kolar, "Service-based protocol derivation using algorithms for distributed implementation of sequential programs", Proc. 1st Electrotechnical and Computer Science Conference ERK�92, Portorož, 1992, vol. A, pp. 71-74.
• M. Kapus-Kolar, "Bottom-up implementation of new services using protocol derivation algorithms", Proc. Int. Telecommunications Symposium VITEL'92, Ljubljana, oktober 1992, pp. 47-49.
• M. Kapus-Kolar, "Teaching brave, yet critical use of formal description techniques: The case of computer tools for distributed systems design", Abstracts of East-West Conference on Emerging Computer Technologies in Education, Moskva, 1992, pp. 95-96.
• M. Kapus-Kolar, Constructing Two-Party Multi-Channel Protocols, IJS technical report 6510, 1992.
• M. Kapus-Kolar, "Deriving protocol specifications from service specifications including parameters", Microprocessing & Microprogramming, vol. 32, pp. 731-738, 1991.
• M. Kapus-Kolar, J. Rugelj, M. Bonač, "Deriving protocol specifications from service specifications", Proc. 9th IASTED Int. Symp. Applied Informatics, Innsbruck, 1991, pp. 375- 378.
• M. Kapus-Kolar, "New results on deriving protocol specifications from service specifications", Proc. MELECON'91, Ljubljana, 1991, pp. 1093-1096.
• M. Kapus-Kolar, J. Rugelj, "Deriving protocol specifications from service specifications with simple relative timing requirements", Proc. ISMM International Workshop Parallel Computing, Trani (I), 1991, pp. 170-173.
• M. Kapus-Kolar, "Deriving protocol specifications from service specifications with heterogeneous timing requirements", Proc. 3rd IEE International Conference on Software Engineering for Real Time Systems. Cirencester (UK), 1991, pp. 266-270.
• M. Kapus-Kolar, "Deriving protocols with group addressing", 25. jug. simpozij o telekomunikacijah, Ljubljana, 1991, pp. STE/14-1 to STE/14-4.
• M. Kapus-Kolar, "Constructing real-time multi-channel protocols", Microprocessing & Microprogramming, vol. 30, pp. 485-490, 1990.
• M. Kapus-Kolar, "Constructing communication protocols on priority channels", Proc. 8th IASTED Int. Symp. Applied Informatics, Innsbruck, 1990, pp. 247-250.
• M. Kapus-Kolar, "Constructing multicasting communication protocols", Proc. 40th ISMM Int. Symp. Mini and Microcomputers and Their Applications, Lugano, 1990, pp. 273-276.
• M. Kapus-Kolar, "Construction of logically correct communication protocols without overspecification", Proc. 2nd IFAC/IFIP Workshop on Experience with the Management of Software Projects, Sarajevo, 1988, Pergamon Press 1990, pp. 83-88, the volume also published as Annual Review in Automatic Programming, vol. 14, part II.
• M. Kapus-Kolar, "Constructing communication protocols on reliable bounded FIFO channels without overspecification", Microprocessing & Microprogramming, vol. 28, pp. 55-58, 1989.
• M. Kapus-Kolar, "A method for synthesis of service/protocol pairs without overspecification", Proc. 1st Int. Conf. on Intelligent Networks, Bordeaux, 1989, pp. 185- 190.
• M. Kapus-Kolar, "A new method for construction of communication protocols on non-ideal channels", Proc. 7th IASTED Int. Symp. Applied Informatics, Grindelwald, 1989, pp. 144- 147.
• M. Kapus-Kolar, "A new construction method for multi-party synchronous-asynchronous communication protocols", Proc. 39th ISMM Int. Conf. Mini and Micro Computers and Their Applications, Zuerich, 1989, pp. 71-74.
• D. Blyth, E. Dubuis, H. Hansson, G. Juanole, M. Kapus-Kolar, H. Kerner, G. Leduc, G. le Moli, A. Lombardo, S. Marchena, W. Orth, J. Pavon, B. Pehrson, M. Tienari, F. Vogt, "Architectural and behavioural modelling in computer communication", in Distributed Proccessing, M. H. Barton, E. L. Dagless, G. L. Rejins, Eds., North-Holland, Amsterdam, 1988, pp. 53-70.
• M. Kapus-Kolar, "Deriving protocols from services in the finite state machine representation", Informatica, vol. 12, no. 2, pp. 69-75, 1988.
• M. Kapus-Kolar, "Compound modules as goals", Informatica, vol. 12, no. 3, pp. 3-11, 1988.