Publications by year

2009

M. Arrott, A. D. Chave, C. Farcas, E. Farcas, J. E. Kleinert, I. Krueger, M. Meisinger, J. A. Orcutt, C. Peach, O. Schofield, M. P. Singh, and F. L. Vernon, “Integrating Marine Observatories into a System-of- Systems: Messaging in the US Ocean Observatories Initiative,” in OCEANS 2009 MTS/IEEE Biloxi, Biloxi, Mississippi, USA. IEEE Ocean Engineering Society, Oct. 2009, p. 9. (to appear)

M. Meisinger, C. Farcas, E. Farcas, C. Alexander, M. Arrott, J. D. L. Beaujardière, P. Hubbard, R. Mendelssohn, and R. Signell, “Serving Ocean Model Data on the Cloud,” in OCEANS 2009 MTS/IEEE Biloxi, Biloxi, Mississippi, USA. IEEE Ocean Engineering Society, Oct. 2009, p. 10. (to appear)

J. Orcutt, F. Vernon, C. Peach, M. Arrott, C. Farcas, E. Farcas, I. Krueger, M. Meisinger, A. Chave, O. Schofield, and J. Kleinert, “Cyberinfrastructure for the U.S. NSF Ocean Observatories Initiative: A modern virtual observatory,” in Proceedings of OceanObs '09: Sustained Ocean Observations and Information for Society, J. Hall, D.E. Harrison, and D. Stammer (Eds.), vol. 2, Venice, Italy. ESA Publication WPP-306, Sep. 2009.

C. Farcas, T.-J. Huang, R. Liu, V. Bafna, I. Krueger, P. Pevzner, and N. Bandeira, “Scalable CyberInfrastructure for Proteomics Research.” American Society for Mass Spectrometry, Jun. 2009. (poster)

A. Chave, M. Arrott, C. Farcas, E. Farcas, I. Krueger, M. Meisinger, J. Orcutt, F. Vernon, C. Peach, O. Schofield, and J. Kleinert, “Cyberinfrastructure for the US Ocean Observatories Initiative: Enabling Interactive Observation in the Ocean,” in IEEE OCEANS'09, Bremen, Germany. IEEE Ocean Engineering Society, May 2009, p. 10. (paper 090125-018)

C. Farcas, E. Farcas, I. H. Krueger, and M. Menarini, “Addressing the Integration Challenge for Avionics and Automotive Systems – From Component Oriented to Rich Services,” in The Proceedings of the IEEE Special Issue on Aerospace and Automotive Software, K. V. Prasad (Ed.). 2009, p. 20. (to appear)

C. Farcas, E. Farcas, and I. Krueger, “Requirements for Service Composition in Ultra-Large Scale Software-Intensive Systems,” in Foundations of Computer Software, Future Trends and techniques for Development. 15th Monterey Workshop 2008. Revised Selected Papers, C. Choppy and O. Sokolsky (Eds.), vol. Lecture Notes in Computer Science (LNCS), Budapest, Hungary. Springer, 2009. (to appear)

I. Krueger, C. Farcas, E. Farcas, and M. Menarini, “Requirements Modeling for Embedded Realtime Systems,” Model-Based Engineering of Embedded Real-Time Systems (MBEERTS), H. Giese, B. Rumpe, and B. Schätz (Eds.), Lecture Notes in Computer Science (LNCS), ch. 6, p. 46, Springer, 2009. (to appear)

T. E. Netherland, “An Introduction to Rich Services/Erlang,” Master's thesis, University of California, San Diego, 2009.

J. Oldevik, M. Menarini, and I. Krüger, “Model Composition Contracts,” Model Driven Engineering Languages and Systems, 12th International Conference, MODELS 2009, Denver, Colorado, USA, October 4-9, 2009, Proceedings, A. Schürr and B. V. Selic (Eds.), Lecture Notes in Computer Science, vol. 5795, Springer Verlag, 2009.

2008

A. Chave, M. Arrott, M. Meisinger, J. Orcutt, I. Krueger, F. Vernon, J. Kleinert, O. Schofield, and C. Peach, “Toward a Cyberinfrastructure for the Ocean Observatories Initiative: Enabling Interactive Observation Within the Oceans.” American Geophysical Union (AGU) 2008 Conference, Dec. 2008. (poster)

C. Farcas, P. Fox, M. Arrott, E. Farcas, I. Klacansky, I. Krueger, M. Meisinger, and J. Orcutt, “OOI CyberInfrastructure - Next Generation Oceanographic Research.” American Geophysical Union (AGU) 2008 Conference, Dec. 2008. (poster (IN53A-1182))

M. Meisinger, M. Arrott, A. Clemesha, C. Farcas, E. Farcas, T. Im, O. Schofield, I. Krueger, I. Klacansky, J. Orcutt, C. Peach, A. Chave, D. Raymer, and F. Vernon, “Integrating Data Distribution and Data Assimilation Between the OOI CI and the NOAA DIF.” American Geophysical Union (AGU) 2008 Conference, Dec. 2008. (poster (IN53A-1181))

A. Bouguettaya, I. Krüger, and T. Margaria (Eds.), Service-Oriented Computing - ICSOC 2008, Lecture Notes in Computer Science, vol. 5364. Springer Berlin / Heidelberg, Nov. 2008.

I. H. Krüger, M. Meisinger, and M. Menarini, “Interaction-based Runtime Verification for Systems of Systems Integration,” Journal of Logic and Computation, Nov. 2008.

B. Demchak, V. Ermagan, E. Farcas, T.-J. Huang, I. Krüger, and M. Menarini, “A Rich Services Approach to CoCoME,” The Common Component Modeling Example, Comparing Software Component Models, A. Rausch, R. Reussner, R. Mirandola, and F. Plášil (Eds.), Lecture Notes in Computer Science, vol. 5153, pp. 85-115, Springer Berlin / Heidelberg, Aug. 2008.

M. Broy, I. H. Krüger, and M. Meisinger (Eds.), Model-Driven Development of Reliable Automotive Services, Second Automotive Software Workshop, ASWSD 2006, San Diego, CA, USA, March 15-17, 2006, Revised Selected Papers, Lecture Notes in Computer Science, vol. 4922. Springer Berlin / Heidelberg, Jul. 2008.

V. Ermagan, I. H. Krüger, and M. Menarini, “A Fault Tolerance Approach for Enterprise Applications,” in Proceedings of the IEEE International Conference on Services Computing (SCC). Jul. 2008.

C. Farcas, T.-J. Huang, S. Payne, N. Bandeira, A. Frank, N. Gupta, P. Pevzner, I. Krueger, and V. Bafna, “Rapid Cyberinfrastructure Evolution for Proteomics Research.” 56th American Society for Mass Spectrometry (ASMS) Conference on Mass Spectrometry and Allied Topics, Jun. 2008. (proteomics poster)

B. Demchak, V. Ermagan, C. Farcas, E. Farcas, I. H. Krüger, and M. Menarini, “Rich Services: Addressing Challenges of Ultra-Large-Scale Software-Intensive Systems,” in Proceedings of the ICSE 2nd International Workshop on Ultra-Large-Scale Software-Intensive Systems (ULSSIS 2008), Leipzig, Germany. New York, NY, USA: ACM, May 2008, pp. 29-32.

B. Demchak and I. H Krüger, “Rich Feeds for RESCUE,” in Proceedings of the 5th International Conference on Information Systems for Crisis Response and Management (ISCRAM 2008), F. Fiedrich and B.K Van de Walle (Eds.), Washington, D.C. May 2008.

V. Ermagan, I. H. Krüger, and M. Menarini, “Aspect Oriented Modeling Approach to Define Routing in Enterprise Service Bus Architectures,” in MiSE '08: Proceedings of the 2008 international workshop on Models in software engineering, Leipzig, Germany. New York, NY, USA: ACM, May 2008, pp. 15-20.

B. Demchak and I. H Krüger, “Composable Chat: Towards a SOA-based Enterprise Chat System,” Tech. Rep. CS2008-0918, UCSD, Apr. 2008. (to appear)

V. Ermagan, C. Farcas, E. Farcas, I. H. Krüger, and M. Menarini, “A Service-Oriented Approach to Failure Management,” in Proceedings of the Dagstuhl Workshop on Model-Based Development of Embedded Systems (MBEES). Apr. 2008.

H. Hamedtoolloei, “A Service-oriented Architecture for Authentication and Authorization,” Master's thesis, UCSD, 2008.

2007

V. Ermagan, I. H. Krüger, and M. Menarini, “Model-Based Failure Management for Distributed Reactive Systems,” Composition of Embedded Systems. Scientific and Industrial Issues. 13th Monterey Workshop 2006 Paris, France, October 16-18, 2006 Revised Selected Papers, F. Kordon and O. Sokolsky (Eds.), Lecture Notes in Computer Science, vol. 4888, pp. 53-74, Springer Berlin / Heidelberg, Dec. 2007.

F. Doucet, R. K. Shyamasundar, I. H. Krüger, S. Joshi, and R. K Gupta, “Reactivity in SystemC Transaction-Level Models,” Hardware and Software: Verification and Testing: Proceedings of the Third International Haifa Verification Conference (HVC 2007) , K. Yorav (Ed.), Lecture Notes in Computer Science, vol. 4899, pp. 34-50, Springer Berlin / Heidelberg, Oct. 2007.

V. Ermagan and I. H Krüger, “A UML2 Profile for Service Modeling,” Model Driven Engineering Languages and Systems. 10th International Conference, MoDELS 2007, Nashville, USA, September 30 - October 5, 2007. Proceedings, G. ngels, B. Opdyke, D. C. Schmidt, and F. Weil (Eds.), Lecture Notes in Computer Science, vol. 4735, pp. 360-374, Springer Berlin / Heidelberg, Oct. 2007.

M. Arrott, A. Chave, I. Krueger, J. Orcutt, A. Talalayevsky, and F. Vernon, “The Approach to Cyberinfrastructure for the Ocean Observatories Initiative,” in Proceedings of Oceans Sept. 29 - Oct. 4 2007, Vancouver, Canada. IEEE, Sep. 2007. (poster)

C. Farcas and W. Pree, “Virtual Execution Environment for Real-Time TDL Components,” in Proceedings of the 12th IEEE Conference on Emerging Technologies and Factory Automation (ETFA), Patras, Greece. IEEE, Sep. 2007, pp. 93-100.

E. Farcas and W. Pree, “Hyperperiod Bus Scheduling and Optimizations for TDL Components,” in Proceedings of the 12th IEEE Conference on Emerging Technologies and Factory Automation (ETFA), Patras, Greece. IEEE, Sep. 2007, pp. 1262-1269. (received the best paper award for Fact)

B. Demchak, C. Farcas, E. Farcas, and I. Krüger, “The Treasure Map for Rich Services,” in Proceedings of the 2007 IEEE International Conference on Information Reuse and Integration (IRI), Las Vegas, USA. IEEE, Aug. 2007, pp. 400-405.

M. Arrott, B. Demchak, V. Ermagan, C. Farcas, E. Farcas, I. H. Krüger, and M. Menarini, “Rich Services: The Integration Piece of the SOA Puzzle,” in Proceedings of the IEEE International Conference on Web Services (ICWS), Salt Lake City, Utah, USA. IEEE, Jul. 2007, pp. 176-183.

C. Farcas and W. Pree, “A Deterministic Infrastructure for Real-Time Distributed Systems,” in Proceedings of the ECRTS Workshop on Operating Systems Platforms for Embedded Real-Time applications (OSPERT), Pisa, Italy. Jul. 2007.

V. Ermagan, C. Farcas, E. Farcas, I. H. Krüger, and M. Menarini, “A Service-Oriented Blueprint for COTS Integration: the Hidden Part of the Iceberg,” in Proceedings of the ICSE Second International Workshop on Incorporating COTS Software into Software Systems: Tools and Techniques (IWICSS'07), Minneapolis, MN, USA. Washington, DC, USA: IEEE Computer Society, May 2007, p. 10.

A. Pretschner, M. Broy, I. H. Krüger, and T. Stauner, “Software Engineering for Automotive Systems: A Roadmap,” in Future of Software Engineering (FOSE'07), L. Briand and A Wolf (Eds.), Minneapolis, MN, USA. IEEE Computer Society, May 2007, pp. 55-71.

I. H. Krüger, M. Meisinger, and M. Menarini, “Runtime Verification of Interactions: From MSCs to Aspects,” Runtime Verification, 7th International Workshop, RV 2007, Vancover, Canada, March 13, 2007, Revised Selected Papers, O. Sokolsky and S. Tasiran (Eds.), Lecture Notes in Computer Science, vol. 4839, pp. 63-74, Springer Berlin / Heidelberg, Mar. 2007.

M. Meisinger and I. Krüger, “A Service-Oriented Extension of the V-Modell XT,” in Proceedings of the 14th Annual IEEE International Conference and Workshop on the Engineering of Computer Based Systems (ECBS'07), Tucson, AZ. IEEE, Mar. 2007, pp. 256-268.

M. Broy, I. H. Krüger, and M. Meisinger, “A Formal Model of Service,” ACM Transactions on Software Engineering and Methodology (TOSEM), vol. 16, no. 1, p. 5, Feb. 2007.

M. Broy, I. H. Krüger, A. Pretschner, and C. Salzmann, “Engineering Automotive Software,” Proceedings of the IEEE, vol. 95, no. 2, pp. 356-373, Feb. 2007.

V. Ermagan, T.-J. Huang, I. Krüger, M. Meisinger, M. Menarini, and P. Moorthy, “Towards Tool Support for Service-Oriented Development of Embedded Automotive Systems,” in Proceedings of the Dagstuhl Workshop on Model-Based Development of Embedded Systems (MBEES'07), Informatik-Bericht 2007-01. Fakultät für Informatik, Technische Universität Braunschweig, Jan. 2007.

R.K. Shyamasundar, F. Doucet, R. Gupta, and I. H. Krüger, “Compositional Reactive Semantics of SystemC and Verification in RuleBase,” Next Generation Design and Verification Methodologies for Distributed Embedded Control Systems, Proceedings of the GM R&D Workshop, Bangalore, India, January 2007, S. Ramesh and P. Sampath (Eds.), pp. 227-243, Springer Netherlands, Jan. 2007.

V. Ermagan, I. Krueger, M. Menarini, J.-I. Mizutani, K. Oguchi, and D. Weir, “Towards Model-Based Failure-Management for Automotive Software,” in Proceedings of the ICSE Fourth International Workshop on Software Engineering for Automotive Systems (SEAS'07), Minneapolis, MN, USA. Washington, DC, USA: IEEE Computer Society, 2007, p. 8.

I. H. Krüger, M. Meisinger, and M. Menarini, “Applying Service-Oriented Development to. Complex System: a BART case study,” Reliable Systems on Unreliable Networked Platforms, 12th Monterey Workshop 2005, Laguna Beach, CA, USA, September 22-24, 2005. Revised Selected Papers, F. Kordon and J. Sztipanovits (Eds.), Lecture Notes in Computer Science, vol. 4322, pp. 26-46, Springer Berlin / Heidelberg, 2007.

I. H. Krüger and M. Menarini, “Queries and Constraints: A Comprehensive Semantic Model for UML2,” Models in Software Engineering. Workshops and Symposia at MoDELS 2006, Genoa, Italy, October 1-6, 2006, Reports and Revised Selected Papers, T. Kühne (Ed.), Lecture Notes in Computer Science, vol. 4364, pp. 327-328, Springer Berlin / Heidelberg, 2007.

2006

I. H. Krüger, M. Meisinger, M. Menarini, and S. Pasco, “Rapid Systems of Systems Integration - Combining an Architecture-Centric Approach with Enterprise Service Bus Infrastructure,” in Proceedings of the 2006 IEEE International Conference on Information Reuse and Integration (IRI'06), Waikoloa, Hawaii, USA. IEEE Systems, Man, and Cybernetics Society, Sep. 2006, pp. 51-56.

J. Whittle, J. Chakraborty, and I. Krüger, “Systematically Developing State-based Test Models from Scenarios: An Example from the Telecommunications Domain,” Software Quality Professional Journal, vol. 8, no. 4, Sep. 2006.

F. Doucet, I. H. Krüger, R. Gupta, and R.K Shyamasundar, “Compositional interaction specifications for SystemC,” in Proceedings of Fourth ACM and IEEE International Conference on Formal Methods and Models for Co-Design, 2006. MEMOCODE '06, Napa, CA, USA. IEEE, Jul. 2006, p. 201.

M. Broy, H. Hussmann, I. H. Krüger, and B. Schätz, “SoSyM special section on service-based software engineering,” Software and Systems Modeling, vol. 5, no. 2, pp. 170-171, Jun. 2006.

I. H. Krüger, G. Lee, and M. Meisinger, “Automating Software Architecture Exploration with M2Aspects,” in Proceedings of the ICSE 2006 Workshop on Scenarios and State Machines: Models, Algorithms and Tools (SCESM'06), Shanghai, China. New York, NY: ACM Press, May 2006, pp. 51-58.

I. H. Krüger, R. Mathew, and M. Meisinger, “Efficient exploration of service-oriented architectures using aspects,” in Proceedings of the 28th international conference on Software engineering (ICSE '06), Shanghai, China. New York, NY, USA: ACM, May 2006, pp. 62-71.

F. Doucet, M. Menarini, I. H. Krüger, R. Gupta, and J.-P Talpin, “A Verification Approach for GALS Integration of Synchronous Components,” Electronic Notes in Theoretical Computer Science, vol. 146, no. 2, pp. 105-131, Jan. 2006. (Proceedings of the Second Workshop on Globally Asynchronous, Locally Synchronous Design (FMGALS 2005))

M. Broy, I. H. Krüger, and M. Meisinger (Eds.), Automotive Software - Connected Services in Mobile Networks, Lecture Notes in Computer Science, vol. 4147. Springer Berlin / Heidelberg, 2006. (First Automotive Software Workshop, ASWSD 2004, San Diego, CA, USA, January 10-12, 2004, Revised Selected Papers)

K. Kalyan, “Design and Analysis of a Secure Enterprise Messaging Solution,” Master's thesis, UCSD, 2006.

P. N Moorthy, “Building a Tool for Synthesis of Correct Design from Interaction Specifications,” Master's thesis, UCSD, 2006.

O. Müller, “Code Generation for Embedded Real-time Middleware Platforms from Service-Oriented Specifications,” Master's thesis, Technische Universität München, 2006.

W. Phillips, “A modular architecture for rapid development of model-based real-time systems,” Master's thesis, UCSD, 2006.

Y. E. Rusli, “Methodological Translation of Service-Oriented to Component-Oriented Specification,” Master's thesis, UCSD, 2006.

2005

S. Uchitel, M. Broy, I. Krüger, and J. Whittle, “Guest Editorial: Special Section on Interaction and State-Based Modeling,” IEEE Transactions on Software Engineering, vol. 31, no. 12, pp. 997-998, Dec. 2005.

J. Ahluwalia, I. H. Krüger, M. Meisinger, and W. Phillips, “Model-Based Run-Time Monitoring of End-to-End Deadlines,” in Proceedings of the 5th ACM international conference on Embedded Software (EMSOFT'05), Jersey City, NJ, USA. New York, NY, USA: ACM Press, Sep. 2005, pp. 100-109.

H. Giese, I. H. Krüger, and K. M. L Cooper, “Visual Modeling for Software Intensive Systems,” in Proceedings of the IEEE Symposium on Visual Languages and Human-Centric Computing (VL/HCC'05). Washington, DC, USA: IEEE Computer Society, Sep. 2005, p. 4.

J. Whittle, J. Chakraborty, and I. Krüger, “Generating Simulation and Test Models from Scenarios,” in Proceedings of the 3rd World Congress for Software Quality, vol. 2, Munich, Germany. International Software Quality Institute GmbH, Sep. 2005, pp. 45-53.

I. H Krüger, “Service-Oriented Software and Systems Engineering - A Vision for the Automotive Domain,” in Proceedings of the 3rd International Conference on Formal Methods and Models for Co-Design, 2005. MEMOCODE '05, Verona, Italy. Jul. 2005, p. 150.

I. H. Krüger, R. Mathew, and M. Meisinger, “From Scenarios to Aspects: Exploring Product Lines,” in roceedings of the ICSE 2005 Workshop on Scenarios and State Machines (SCESM'05), St. Louis, MO, USA. New York, NY, USA: ACM Press, May 2005, pp. 1-6.

R. A. McClure and I. H. Krüger, “SQL DOM: compile time checking of dynamic SQL statements,” in Proceedings of the 27th international conference on Software Engineering (ICSE'05), St. Louis, MO, USA. New York, NY, USA: ACM Press, May 2005, pp. 88-96.

J. S. Ahluwalia, “A Code-Generation Approach to Runtime Monitoring of End-to-End Real-Time Constraints,” Master's thesis, UCSD, 2005.

M. Deubler, I. Krüger, M. Meisinger, and S. Rittmann, “Modeling Crosscutting Services with UML Sequence Diagrams,” 8th International Conference Model Driven Engineering Languages and Systems, , MoDELS 2005, Montego Bay, Jamaica, October 2-7, 2005., L. Briand and C. Williams (Eds.), Lecture Notes in Computer Science, vol. 3713, pp. 522-536, Springer Berlin / Heidelberg, 2005.

I. H. Krüger and R. Mathew, “Component Synthesis from Service Specifications,” Scenarios: Models, Transformations and Tools, International Workshop, Dagstuhl Castle, Germany, September 7-12, 2003, Revised Selected Papers, S. Leue and T. J. Systä (Eds.), Lecture Notes in Computer Science, vol. 3466, pp. 255-277, Springer Berlin / Heidelberg, 2005.

R. A. McClure, “SQL DOM: Strongly Typed Dynamic SQL Statements,” Master's thesis, UCSD, 2005.

2004

I. H. Krüger, “Service Specification with MSCs and Roles,” in IASTED Int'l Conf. on Software Engineering (IASTED SE'04), Innsbruck, Austria. ACTA Press, Sep. 2004.

I. Krüger, W. Prenninger, and R. Sandner, “Broadcast MSCs,” Formal Aspects of Computing, vol. 16, no. 3, pp. 194-209, Aug. 2004.

I. H. Krüger and R. Mathew, “Systematic Development and Exploration of Service-Oriented Software Architectures,” in Proceedings of the 4th Working IEEE/IFIP Conference on Software Architecture (WICSA-4), Oslo, Norway. IEEE Computer Society, Jun. 2004, pp. 177-187.

H. Giese and I. Krüger, “Third Workshop on Scenarios and State Machines: Models, Algorithms, and Tools (SCESM'04),” in Proceedings of the 26th International Conference on Software Engineering. IEEE Computer Society, May 2004. (workshop summary)

I. Krüger, W. Prenninger, R. Sandner, and M. Broy, “Development of Hierarchical Broadcasting Software Architectures Using UML 2.0,” Integration of Software Specification Techniques for Applications in Engineering. Priority Program SoftSpez of the German Research Foundation (DFG). Final Report, H. Ehrig, W. Damm, J. Desel, M. Große-Rhode, W. Reif, E. Schnieder, and E. Westkämper (Eds.), Lecture Notes in Computer Science, vol. 3147, pp. 29-47, Springer Berlin / Heidelberg, 2004. (Our research was supported by the Deutsche Forschungsgemeinschaft within the priority program ldquoSoftSpezrdquo (SPP 1064) under project name InTime. This paper is a revised version of [16].)

I. H. Krüger, D. Gupta, R. Mathew, P. Moorthy, W. Phillips, S. Rittmann, and J. Ahluwalia, “Towards a Process and Tool-Chain for Service-Oriented Automotive Software Engineering,” in Proceedings of the ICSE 2004 Workshop on Software Engineering for Automotive Systems (SEAS). 2004.

I. H. Krüger, E. C. Nelson, and K. V. Prasad, “Service-Based Software Development for Automotive Applications,” in Proceedings of the CONVERGENCE 2004. SAE, 2004.

E. W. Lin, “Software Sensors: Design and Implementation of a Programming Model and Middleware for Sensor Networks,” Master's thesis, UCSD, 2004.

R. T. Mathew, “Systematic Definition, Implementation and Evaluation of Service-Oriented Software Architectures,” Master's thesis, UCSD, 2004.

J. Whittle and I. H Krüger, “A Methodology for Scenario-Based Requirements Capture,” in Proceedings of the ICSE 2004 Workshop on Scenarios and State Machines (SCESM). 2004.

2003

R. Cornea, S. Mohapatra, N. Dutt, R. Gupta, I. Krueger, A. Nicolau, D. Schmidt, S. Shukla, and N. Venkatasubramanian, “A Model-Based Approach to System Specification for Distributed Real-time and Embedded Systems,” in Proceedings of RTAS 2003 Workshop on Model-Driven Embedded Systems, Washington, DC, USA. May 2003.

A. Egyed, M. Glinz, I. Krüger, T. Systä, S. Uchitel, and A. Zündorf, “Second workshop on Scenarios and State Machines: models, algorithms, and tools,” in Proceedings of the 25th International Conference on Software Engineering, Portland, Oregon, USA. Washington, DC, USA: IEEE Computer Society, May 2003, pp. 783-784. (workshop summary)

R. Cornea, N. Dutt, R. Gupta, I. Krueger, A. Nicolau, D. Schmidt, and S. Shukla, “FORGE: A Framework for Optimization of Distributed Embedded Systems Software,” in Proceedings of the International Parallel and Distributed Processing Symposium (IPDPS'03), Nice, France. IEEE Computer Society, Apr. 2003, p. 13.

Y. Fei, “Speech Controlled Service Invocation Framework,” Master's thesis, UCSD, 2003.

A. Jain, “Towards Automated Signal Strength Measurement,” Master's thesis, UCSD, 2003.

I. Krüger, “Capturing Overlapping, Triggered, and Preemptive Collaborations Using MSCs,” Fundamental Approaches to Software Engineering: 6th International Conference, FASE 2003, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2003, Warsaw, Poland, April 7-11, 2003, Proceedings, M. Pezzè (Ed.), Lecture Notes in Computer Science, vol. 2621, pp. 387-402, Springer Berlin / Heidelberg, 2003.

O. Müller, “Generating RT-CORBA Components from Service Specification,” Master's thesis, Technische Universität München, 2003.

2002

M. Broy, R. Grosu, and I. Krüger, “Automatically Generating A Program.” United States Patent No. 06405361, Jun. 2002.

I. H Krüger, “Specifying Services with UML and UML-RT: Foundation, Challenges and Limitations,” VISS 2002, Validation and Implementation of Scenario-based Specifications (Satellite Event of ETAPS 2002), B. Caillaud and A. Muscholl (Eds.), Electronic Notes in Theoretical Computer Science, vol. 65, no. 7, pp. 34-50, Elsevier B.V, Apr. 2002.

I. H. Krüger, W. Prenninger, and R. Sandner, “Semantics of Broadcast MSCs,” in Proceedings of ETAPS2002 Satelitte Workshop on Semantic Foundations of Engineering Design Languages (SFEDL). Apr. 2002.

I. H Krüger, “Towards Precise Service Specification with UML and UML-RT,” in Proceedings of the Workshop on Critical Systems Development with UML (CSDUML), J. Jürjens, M. V. Cengarle, E. B. Fernandez, B. Rumpe, and R. Sandner (Eds.). Technische Universität München Institut für Informatik, 2002, pp. 19-34.

I. H. Krüger, W. Prenninger, R. Sandner, and M. Broy, “From Scenarios to Hierarchical Broadcasting Software Architectures using UML-RT,” International Journal of Software Engineering and Knowledge Engineering, vol. 12, no. 2, pp. 155-174, 2002.

2001

B. Finkbeiner and I. Krüger, “Using Message Sequence Charts for Component-Based Formal Verification,” in Proceedings of Specification and Verification of Component-Based Systems Workshop at OOPSLA 2001, D. Giannakopoulou, G. T. Leavens, and M. Sitaraman (Eds.). Oct. 2001.

M. Broy, M. Gnatz, I. Krüger, F. Marschall, G. Popp, A. Rausch, and W. Schwerin (Eds.), ADL-Workshop München 2001. Technische Universität München, FORSOFT II, Jul. 2001.

M. Broy, R. Breu, F. Huber, I. Krüger, B. Rumpe, and W. Schwerin, “Methodik, Sprachen und Grundlagen des Software Engineering (Abschlußbericht des Forschungslabors Syslab 10/94-9/99),” Informatik - Forschung und Entwicklung, vol. 16, no. 53-59, p. 1, Feb. 2001. (in German)

M. Broy, P. Braun, I. Krüger, M. Rappl, and R. Sandner (Eds.), Workshop - Architektur eingebetteter Systeme. Technische Universität München, FORSOFT II, 2001.

I. Krüger, W. Prenninger, and R. Sandner, “Architectural Design of a Broadcasting System using UML-RT,” in OMER-2 Workshop des Arbeitskreises GROOM der GI Fachgruppe 2.1.9 Objektorientierte Software-Entwicklung, A. Schürr (Ed.). Universität der Bundeswehr, München, 2001.

2000

I. Krüger, “Notational and Methodical Issues in Forward Engineering with MSCs,” Proceedings of OOPSLA 2000 Workshop: Scenario-based round-trip engineering, T. Systä (Ed.), Report, no. 20, Tampere University of Technology, Software Systems Laboratory, Oct. 2000.

R. Grosu, I. Krüger, and T. Stauner, “Hybrid Sequence Charts,” in Proceedings of the 3rd International Symposium on Object-Oriented Real-Time Distributed Computing (ISORC 2000), Newport Beach, CA, USA. IEEE Computer Society, Mar. 2000, pp. 104-111.

M. Broy, R. Grosu, and I. Krüger, “Verfahren zum automatischen Erzeugen eines Programms.” German Patent No. 198 37 871, 2000. (in German)

I. H. Krüger, “Distributed System Design with Message Sequence Charts,” Ph.D. dissertation, Technische Universität München, 2000.

1999

R. Grosu, I. Krüger, and T. Stauner, “Requirements Specification of an Automotive System with Hybrid Sequence Charts,” in Proceedings of the 5th International Workshop on Object-oriented Real-time Dependable Systems (WORDS'99), Monterey, CA, USA . IEEE, Nov. 1999, pp. 149-151.

G. Popp, F. Huber, I. Krüger, B. Rumpe, and W. Schwerin, “Internet Buchhandel - Eine UML Fallstudie,” Tech. Rep. TUM-I9915, Technische Universität München, Sep. 1999. (in German)

R. Grosu, I. Krüger, and T. Stauner, “Hybrid Sequence Charts,” Tech. Rep. TUM-I9914, Technische Universität München, Jul. 1999.

I. Krüger, “Towards the Methodical Usage of Message Sequence Charts,” in Formale Beschreibungstechniken für verteilte Systeme, FBT'99, K. Spies and B. Schätz (Eds.). Herbert Utz Verlag, Jun. 1999, pp. 123-134.

1998

M. Broy and I. Krüger, “Interaction Interfaces – Towards a scientific foundation of a methodological usage of Message Sequence Charts,” in Formal Engineering Methods (ICFEM'98), J. Staples, M. G. Hinchey, and S. Liu (Eds.). Washington, DC, USA: IEEE Computer Society, Dec. 1998, p. 2.

M. Broy, M. von der Beeck, and I. Krüger, “SOFTBED: Problemanalyse für ein Großverbundprojekt "Systemtechnik Automobil -- Software für eingebettete Systeme,” report drafted for the BMBF, BMBF, Dec. 1998. (in German)

R. Breu, R. Grosu, C. Hofmann, F. Huber, I. Krüger, B. Rumpe, M. Schmidt, and W. Schwerin, “Exemplary and Complete Object Interaction Descriptions,” Computer Standards & Interfaces, vol. 19, no. 7, pp. 335-345, Nov. 1998.

I. Krüger, R. Grosu, P. Scholz, and M. Broy, “From MSCs to statecharts,” in Proceedings of the IFIP WG10.3/WG10.5 international workshop on Distributed and Parallel Embedded Systems (DIPES'98), F. J. Rammig (Ed.), Scholoß Eringerfeld, Germany. Norwell, MA, USA: Kluwer Academic Publishers, 1998, pp. 61-71.

1997

M. Broy, C. Hofmann, I. Krüger, and M. Schmidt, “Using extended event traces to describe communication in software architectures,” in Proceedings of the Fourth Asia-Pacific Software Engineering and International Computer Science Conference, Clear Water Bay, Hong Kong. Washington, DC, USA: IEEE Computer Society, Dec. 1997, pp. 203-212.

J. Coldewey and I. Krüger, “Form-Based User Interface - The Architectural Patterns,” in Proceedings of the 2nd European Conference on Pattern Languages of Programming, F. Buschmann and D. Riehle (Eds.), Irsee, Germany. Siemens Technical Report 120/SW1/FB, Jul. 1997. (The paper is part of a larger effort to collect patterns for business information systems, currently pursued by the ARCUS team)

R. Breu, R. Grosu, C. Hofmann, F. Huber, I. Krüger, B. Rumpe, M. Schmidt, and W. Schwerin, “Exemplary and Complete Object Interaction Descriptions,” in Proceedings OOPSLA'97 Workshop on Object-oriented Behavioral Semantics, H. Kilov, B. Rumpe, and I. Simmonds (Eds.). Technische Universität München, 1997.

M. Broy, C. Hofmann, I. Krüger, and M. Schmidt, “A Graphical Description Technique for Communication in Software Architectures,” Technical report TUM-I9705, Technische Universität München, 1997.

1996

I. Krüger, “An experiment in compiler design for a concurrent object-based programming language,” Master's thesis, UT Austin, 1996.

Copyright notice

The materials on this page are presented to ensure timely dissemination of scholarly and technical work. Copyright and all rights therein are retained by authors or by other copyright holders. All persons copying this information are expected to adhere to the terms and constraints invoked by each publisher's and author's copyright. In most cases, these works may not be reposted without the explicit permission of the copyright holder.