Publications by author
Ingolf Krueger
2013
M. P. Singh, M. Arrott, T. Balke, A. K. Chopra, R. Christiaanse, S. Cranefield, F. Dignum, D. Eynard, E. Farcas, N. Fornara, F. Gandon, G. Governatori, H. K. Dam, J. Hulstijn, I. Krueger, H.-P. Lam, M. Meisinger, P. Noriega, B. T. R. Savarimuthu, K. Tadanki, H. Verhagen, and S. Villata, “The Uses of Norms,” Normative Multi-Agent Systems, G. Andrighetto, G. Governatori, P. Noriega, and L. W. N. van der Torre (Eds.), Dagstuhl Follow-Ups, vol. 4, pp. 191-229, Dagstuhl, Germany: Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, 2013. (DOI: http://dx.doi.org/10.4230/DFU.Vol4.12111.191, ISBN: 978-3-939897-51-4)2012
B. Demchak and I. Krüger, “A Model-Driven Engineering Approach to Requirement Elicitation for Policy-Reactive Cyberinfrastructures,” Tech. Rep. CS2012-0988, University of California, San Diego, Computer Science and Engineering Department, Sep. 2012.E. Farcas, I. Krueger, and M. Menarini, “Modeling with UML and its Real-Time Profiles,” Real-time Simulation Technologies: Principles, Methodologies, and Applications, K. Popovici and P. J. Mosterman (Eds.), Computational Analysis, Synthesis, and Design of Dynamic Systems, ch. 5, pp. 123-158, CRC Press, Aug. 2012. (in press)
E. Farcas, I. Krueger, and M. Menarini, “Consistency Management of UML Models,” Real-time Simulation Technologies: Principles, Methodologies, and Applications, K. Popovici and P. J. Mosterman (Eds.), Computational Analysis, Synthesis, and Design of Dynamic Systems, ch. 12, pp. 289-328, CRC Press, Aug. 2012. (in press)
B. Demchak and I. Krüger, “Policy Driven Development: Flexible Policy Insertion for Large Scale Systems,” in 2012 IEEE International Symposium on Policies for Distributed Systems and Networks, Chapel Hill. IEEE Computer Society, Jul. 2012, pp. 17-24.
I. H. Krüger, “Services, SOAs and Integration at Scale,” Tech. Rep. CS2012-0982, University of California, San Diego, 9500 Gilman Road, La Jolla, CA 92093, Jul. 2012.
J. Brackbill, C. Farcas, I. Krueger, and N. Bandeira, “A Parallelized CUDA Implementation of MS-Alignment Blind Search.” 60th American Society for Mass Spectrometry (ASMS) Conference on Mass Spectrometry and Allied Topics, Jun. 2012. (poster)
C. Farcas, I. Krueger, N. Balac, B. Chapman, and L. Ohno-Machado, “iDASH CyberInfrastructure - Mastering the Bits.” NSF Towards a Shared Cyberinfrastructure Workshop, Jun. 2012.
C. Farcas, I. Krueger, N. Balac, and L. Ohno-Machado, “iDASH CyberInfrastructure - The Nuts and Bolts.” NSF Towards a Shared Cyberinfrastructure Workshop, Jun. 2012.
I. Krueger, M. Menarini, F. Seracini, M. Fuchs, and J. Kohl, “Improving the development process for automotive diagnostics,” in Software and System Process (ICSSP), 2012 International Conference on. IEEE, Jun. 2012, pp. 63-67.
I. H. Krüger, B. Demchak, and M. Menarini, “Dynamic Service Composition and Deployment with OpenRichServices,” Software Service and Application Engineering, M. Heisel (Ed.), Lecture Notes in Computer Science, vol. 7365, pp. 120-146, Berlin / Heidelberg: Springer, May 2012.
C. Farcas, F. Seracini, and I. Krueger, “Greening the Data Centers Through Service-Oriented Architectures (SOA).” Carbon Management Technology Conference, Feb. 2012.
B. Demchak, J. Kerr, F. Raab, K. Patrick, and I. H. Krüger, “PALMS: A Modern Coevolution of Community and Computing Using Policy Driven Development,” in 45th Hawaii International Conference on System Sciences (HICSS), Maui, Hawaii. Jan. 2012, pp. 2735-2744.
2011
C. Ziftci and I. H. Krüger, “Tracing Requirements to Tests with High Precision and Recall,” in 26th IEEE/ACM International Conference on Automated Software Engineering, Lawrence, KS. Nov. 2011, pp. 472-475.C. Farcas, M. Meisinger, D. Stuebe, C. Mueller, T. Ampe, M. Arrott, A. Chave, E. Farcas, J. Graybeal, I. Krueger, M. Manning, J. Orcutt, O. Schofield, and F. Vernon, “Ocean Observatories Initiative Scientific Data Model,” in Proceedings of OCEANS'11 - MTS/IEEE Kona, Kona, HI. IEEE Ocean Engineering Society, Sep. 2011, pp. 1-10. (paper 110422-240)
T.-J. Huang, C. Farcas, J. Carver, N. E Castellana, A. Frank, S. Kim, J. Wang, X. Liu, P. Pevzner, V. Bafna, I. Krueger, and N. Bandeira, “The ProteoSAFe Platform for High-Performance Discovery Proteomics.” 59th American Society for Mass Spectrometry (ASMS) Conference on Mass Spectrometry and Allied Topics, Jun. 2011. (poster)
K. Patrick, L. Wolszon, K. Basen-Engquist, W. Demark-Wahnefried, A. Prokhorov, S. Barrera, C. Baru, E. Farcas, I. Krueger, D. Palmer, F. Raab, P. Rios, C. Ziftci, and S. Peterson, “CYberinfrastructure for COmparative effectiveness REsearch (CYCORE): improving data from cancer clinical trials,” Journal of Translational Behavioral Medicine: Practice, Policy, Research, vol. 1, no. 1, pp. 83-88, Mar. 2011. (10.1007/s13142-010-0005-z)
N. Nikzad, C. Ziftci, P. Zappi, N. Quick, P. Aghera, N. Verma, B. Demchak, K. Patrick, H. Shacham, T. S. Rosing, I. Krueger, W. Griswold, and S. Dasgupta, “CitiSense - Adaptive Services for Community-Driven Behavioral and Environmental Monitoring to Induce Change,” Tech. Rep. CS2011-0961, University of California, San Diego, Jan. 2011.
S. Peterson, K. Basen-Engquist, W. Demark-Wahnefried, A. Prokhorov, C. Baru, E. Farcas, I. Krueger, D. Palmer, F. Raab, P. Rios, C. Ziftci, S. Barrera, L. Wolszon, and K. Patrick, “CYCORE: A Cyberinfrastructure to Support Comparative Effectiveness Research in Behavioral Medicine.” 1st Cancer Survivorship Research Symposium, Houston, Texas, Jan. 2011. (poster)
2010
S. Peterson, K. Basen-Engquist, W. Demark-Wahnefried, A. Prokhorov, C. Baru, E. Farcas, I. Krueger, D. Palmer, F. Raab, P. Rios, C. Ziftci, S. Barrera, L. Wolszon, and K. Patrick, “CYCORE: A Cyberinfrastructure to Support Comparative Effectiveness Research in Behavioral Medicine.” 11th Annual Health Services & Outcomes Research Conference: Health Care Reform and Quality of Care, Houston, Texas, Dec. 2010. (poster)I. H. Krüger, M. Meisinger, and M. Menarini, “Interaction-based Runtime Verification for Systems of Systems Integration,” Journal of Logic and Computation, vol. 20, no. 3, Jun. 2010.
C. Farcas, T.-J. Huang, P. Pevzner, I. Krueger, V. Bafna, and N. Bandeira, “Evolutionary Architecture for High Performance Proteomics Research.” 58th American Society for Mass Spectrometry (ASMS) Conference on Mass Spectrometry and Allied Topics, May 2010. (extended abstract + poster)
C. Farcas, E. Farcas, and I. Krueger, “Requirements for Service Composition in Ultra-Large Scale Software-Intensive Systems,” Foundations of Computer Software: Future Trends and Techniques for Development, C. Choppy and O. Sokolsky (Eds.), 15th Monterey Workshop 2008, Budapest, Hungary, September 24-26, 2008, Revised Selected Papers. Lecture Notes in Computer Science (LNCS), vol. 6028, ch. 6, pp. 93-115, Berlin, Heidelberg: Springer, Apr. 2010.
C. Farcas, E. Farcas, I. H. Krueger, and M. Menarini, “Addressing the Integration Challenge for Avionics and Automotive Systems - From Components to Rich Services,” in The Proceedings of the IEEE Special Issue on Aerospace and Automotive Software, K. V. Prasad (Ed.), vol. 98, no. 4. IEEE, Apr. 2010, pp. 562-583.
K. V. Prasad, M. Broy, and I. Krüger, “Scanning the Issue,” Proceedings of the IEEE, vol. 98, no. 4, pp. 506-509, Apr. 2010.
K. V. Prasad, M. Broy, and I. Krüger, “Scanning Advances in Aerospace and Automobile Software Technology,” Proceedings of the IEEE, vol. 98, no. 4, pp. 510-514, Apr. 2010.
I. Krueger, “Opinion: An Outlook on Automotive Software,” IEEE Embedded Systems Letters, vol. 2, no. 1, pp. 14-15, Mar. 2010.
I. Krueger, C. Farcas, E. Farcas, and M. Menarini, “Requirements Modeling for Embedded Realtime Systems,” Model-Based Engineering of Embedded Real-Time Systems, H. Giese, B. Rumpe, and B. Schätz (Eds.), Lecture Notes in Computer Science (LNCS), vol. 6100, ch. 7, pp. 155-199, Berlin, Heidelberg: Springer-Verlag, 2010.
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 - Marine Technology for Our Future: Global and Local Challenges, Biloxi, Mississippi, USA. IEEE Ocean Engineering Society, Oct. 2009, pp. 1-9. (paper 090601-019)J. Oldevik, M. Menarini, and I. Krüger, “Model Composition Contracts,” in Proceedings of the 12th International Conference on Model Driven Engineering Languages and Systems (MODELS'09 ),, A. Schürr and B. V. Selic (Eds.), vol. LNCS 5795, Denver, Colorado, USA,. Berlin, Heidelberg: Springer Verlag, Oct. 2009, pp. 531-545.
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. European Space Agency (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.” 57th American Society for Mass Spectrometry (ASMS) Conference on Mass Spectrometry and Allied Topics, Jun. 2009. (extended abstract + 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)
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.
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.?E. 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. (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.
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.
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)
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.
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.
R. K. Shyamasundar, F. Doucet, R. K. Gupta, and I. H. Krüger, “Compositional Reactive Semantics of SystemC and Verification with RuleBase,” Next Generation Design and Verification Methodologies for Distributed Embedded Control Systems, S. Ramesh and P. Sampath (Eds.), pp. 227-243, Springer Netherlands, 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)
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.
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.
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.
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.
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.
I. Krüger, “Modeling and Synthesis with MSC Extensions for Broadcasting, Overlapping, Preemptive, and Triggered Collaborations,” in Proceedings of ICSE 2003 Workshop on Scenarios and State Machines (SCESM). 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.
I. Krüger, W. Prenninger, and R. Sandner, “Deriving Architectural Prototypes for a Broadcasting System using UML-RT,” in 1st ICSE Workshop on Describing Software Architecture with UML, P. Kruchten (Ed.). 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.Claudiu Farcas
2013
L. Ohno-Machado, C. Farcas, J. Kim, S. Wang, and X. Jiang, “Genomes in the Cloud: Balancing Privacy Rights and the Public Good.” AMIA Clinical Research Informatics Summit, 2013.2012
B. E. Chapman, M. Wong, C. Farcas, and P. Reynolds, “Annio: A Web-based Tool for Annotating Medical Images with Ontologies.” 2012 IEEE Second Conference on Healthcare Informatics, Imaging and Systems Biology, Sep. 2012. (poster)J. Brackbill, C. Farcas, I. Krueger, and N. Bandeira, “A Parallelized CUDA Implementation of MS-Alignment Blind Search.” 60th American Society for Mass Spectrometry (ASMS) Conference on Mass Spectrometry and Allied Topics, Jun. 2012. (poster)
J. Carver, T.-J. Huang, C. Farcas, and N. Bandeira, “The ProteoSAFe Platform for High-Performance Discovery Proteomics.” 60th American Society for Mass Spectrometry (ASMS) Conference on Mass Spectrometry and Allied Topics, Jun. 2012. (poster)
C. Farcas, I. Krueger, N. Balac, B. Chapman, and L. Ohno-Machado, “iDASH CyberInfrastructure - Mastering the Bits.” NSF Towards a Shared Cyberinfrastructure Workshop, Jun. 2012.
C. Farcas, I. Krueger, N. Balac, and L. Ohno-Machado, “iDASH CyberInfrastructure - The Nuts and Bolts.” NSF Towards a Shared Cyberinfrastructure Workshop, Jun. 2012.
L. Ohno-Machado, V. Bafna, A. A Boxwala, B. E Chapman, W. W Chapman, K. Chaudhuri, M. E Day, C. Farcas, N. D Heintzman, X. Jiang, H. Kim, J. Kim, M. E Matheny, F. S Resnic, and S. A Vinterbo, “iDASH: integrating data for analysis, anonymization, and sharing,” Journal of the American Medical Informatics Association: JAMIA, vol. 19, no. 2, pp. 196-201, Apr. 2012. (DOI 10.1136/amiajnl-2011-000538)
C. Farcas, F. Seracini, and I. Krueger, “Greening the Data Centers Through Service-Oriented Architectures (SOA).” Carbon Management Technology Conference, Feb. 2012.
2011
C. Farcas, M. Meisinger, D. Stuebe, C. Mueller, T. Ampe, M. Arrott, A. Chave, E. Farcas, J. Graybeal, I. Krueger, M. Manning, J. Orcutt, O. Schofield, and F. Vernon, “Ocean Observatories Initiative Scientific Data Model,” in Proceedings of OCEANS'11 - MTS/IEEE Kona, Kona, HI. IEEE Ocean Engineering Society, Sep. 2011, pp. 1-10. (paper 110422-240)T.-J. Huang, C. Farcas, J. Carver, N. E Castellana, A. Frank, S. Kim, J. Wang, X. Liu, P. Pevzner, V. Bafna, I. Krueger, and N. Bandeira, “The ProteoSAFe Platform for High-Performance Discovery Proteomics.” 59th American Society for Mass Spectrometry (ASMS) Conference on Mass Spectrometry and Allied Topics, Jun. 2011. (poster)
2010
C. Farcas, T.-J. Huang, P. Pevzner, I. Krueger, V. Bafna, and N. Bandeira, “Evolutionary Architecture for High Performance Proteomics Research.” 58th American Society for Mass Spectrometry (ASMS) Conference on Mass Spectrometry and Allied Topics, May 2010. (extended abstract + poster)C. Farcas, E. Farcas, and I. Krueger, “Requirements for Service Composition in Ultra-Large Scale Software-Intensive Systems,” Foundations of Computer Software: Future Trends and Techniques for Development, C. Choppy and O. Sokolsky (Eds.), 15th Monterey Workshop 2008, Budapest, Hungary, September 24-26, 2008, Revised Selected Papers. Lecture Notes in Computer Science (LNCS), vol. 6028, ch. 6, pp. 93-115, Berlin, Heidelberg: Springer, Apr. 2010.
C. Farcas, E. Farcas, I. H. Krueger, and M. Menarini, “Addressing the Integration Challenge for Avionics and Automotive Systems - From Components to Rich Services,” in The Proceedings of the IEEE Special Issue on Aerospace and Automotive Software, K. V. Prasad (Ed.), vol. 98, no. 4. IEEE, Apr. 2010, pp. 562-583.
I. Krueger, C. Farcas, E. Farcas, and M. Menarini, “Requirements Modeling for Embedded Realtime Systems,” Model-Based Engineering of Embedded Real-Time Systems, H. Giese, B. Rumpe, and B. Schätz (Eds.), Lecture Notes in Computer Science (LNCS), vol. 6100, ch. 7, pp. 155-199, Berlin, Heidelberg: Springer-Verlag, 2010.
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 - Marine Technology for Our Future: Global and Local Challenges, Biloxi, Mississippi, USA. IEEE Ocean Engineering Society, Oct. 2009, pp. 1-9. (paper 090601-019)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 - Marine Technology for Our Future: Global and Local Challenges, Biloxi, Mississippi, USA. IEEE Ocean Engineering Society, Oct. 2009, pp. 1-10. (paper 090613-010)
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. European Space Agency (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.” 57th American Society for Mass Spectrometry (ASMS) Conference on Mass Spectrometry and Allied Topics, Jun. 2009. (extended abstract + 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)
2008
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))
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. (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.
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.
2007
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.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.
Emilia Farcas
2013
M. P. Singh, M. Arrott, T. Balke, A. K. Chopra, R. Christiaanse, S. Cranefield, F. Dignum, D. Eynard, E. Farcas, N. Fornara, F. Gandon, G. Governatori, H. K. Dam, J. Hulstijn, I. Krueger, H.-P. Lam, M. Meisinger, P. Noriega, B. T. R. Savarimuthu, K. Tadanki, H. Verhagen, and S. Villata, “The Uses of Norms,” Normative Multi-Agent Systems, G. Andrighetto, G. Governatori, P. Noriega, and L. W. N. van der Torre (Eds.), Dagstuhl Follow-Ups, vol. 4, pp. 191-229, Dagstuhl, Germany: Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, 2013. (DOI: http://dx.doi.org/10.4230/DFU.Vol4.12111.191, ISBN: 978-3-939897-51-4)2012
E. Farcas, I. Krueger, and M. Menarini, “Modeling with UML and its Real-Time Profiles,” Real-time Simulation Technologies: Principles, Methodologies, and Applications, K. Popovici and P. J. Mosterman (Eds.), Computational Analysis, Synthesis, and Design of Dynamic Systems, ch. 5, pp. 123-158, CRC Press, Aug. 2012. (in press)E. Farcas, I. Krueger, and M. Menarini, “Consistency Management of UML Models,” Real-time Simulation Technologies: Principles, Methodologies, and Applications, K. Popovici and P. J. Mosterman (Eds.), Computational Analysis, Synthesis, and Design of Dynamic Systems, ch. 12, pp. 289-328, CRC Press, Aug. 2012. (in press)
2011
C. Farcas, M. Meisinger, D. Stuebe, C. Mueller, T. Ampe, M. Arrott, A. Chave, E. Farcas, J. Graybeal, I. Krueger, M. Manning, J. Orcutt, O. Schofield, and F. Vernon, “Ocean Observatories Initiative Scientific Data Model,” in Proceedings of OCEANS'11 - MTS/IEEE Kona, Kona, HI. IEEE Ocean Engineering Society, Sep. 2011, pp. 1-10. (paper 110422-240)K. Patrick, L. Wolszon, K. Basen-Engquist, W. Demark-Wahnefried, A. Prokhorov, S. Barrera, C. Baru, E. Farcas, I. Krueger, D. Palmer, F. Raab, P. Rios, C. Ziftci, and S. Peterson, “CYberinfrastructure for COmparative effectiveness REsearch (CYCORE): improving data from cancer clinical trials,” Journal of Translational Behavioral Medicine: Practice, Policy, Research, vol. 1, no. 1, pp. 83-88, Mar. 2011. (10.1007/s13142-010-0005-z)
S. Peterson, K. Basen-Engquist, W. Demark-Wahnefried, A. Prokhorov, C. Baru, E. Farcas, I. Krueger, D. Palmer, F. Raab, P. Rios, C. Ziftci, S. Barrera, L. Wolszon, and K. Patrick, “CYCORE: A Cyberinfrastructure to Support Comparative Effectiveness Research in Behavioral Medicine.” 1st Cancer Survivorship Research Symposium, Houston, Texas, Jan. 2011. (poster)
2010
S. Peterson, K. Basen-Engquist, W. Demark-Wahnefried, A. Prokhorov, C. Baru, E. Farcas, I. Krueger, D. Palmer, F. Raab, P. Rios, C. Ziftci, S. Barrera, L. Wolszon, and K. Patrick, “CYCORE: A Cyberinfrastructure to Support Comparative Effectiveness Research in Behavioral Medicine.” 11th Annual Health Services & Outcomes Research Conference: Health Care Reform and Quality of Care, Houston, Texas, Dec. 2010. (poster)C. Farcas, E. Farcas, and I. Krueger, “Requirements for Service Composition in Ultra-Large Scale Software-Intensive Systems,” Foundations of Computer Software: Future Trends and Techniques for Development, C. Choppy and O. Sokolsky (Eds.), 15th Monterey Workshop 2008, Budapest, Hungary, September 24-26, 2008, Revised Selected Papers. Lecture Notes in Computer Science (LNCS), vol. 6028, ch. 6, pp. 93-115, Berlin, Heidelberg: Springer, Apr. 2010.
C. Farcas, E. Farcas, I. H. Krueger, and M. Menarini, “Addressing the Integration Challenge for Avionics and Automotive Systems - From Components to Rich Services,” in The Proceedings of the IEEE Special Issue on Aerospace and Automotive Software, K. V. Prasad (Ed.), vol. 98, no. 4. IEEE, Apr. 2010, pp. 562-583.
I. Krueger, C. Farcas, E. Farcas, and M. Menarini, “Requirements Modeling for Embedded Realtime Systems,” Model-Based Engineering of Embedded Real-Time Systems, H. Giese, B. Rumpe, and B. Schätz (Eds.), Lecture Notes in Computer Science (LNCS), vol. 6100, ch. 7, pp. 155-199, Berlin, Heidelberg: Springer-Verlag, 2010.
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 - Marine Technology for Our Future: Global and Local Challenges, Biloxi, Mississippi, USA. IEEE Ocean Engineering Society, Oct. 2009, pp. 1-9. (paper 090601-019)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 - Marine Technology for Our Future: Global and Local Challenges, Biloxi, Mississippi, USA. IEEE Ocean Engineering Society, Oct. 2009, pp. 1-10. (paper 090613-010)
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. European Space Agency (ESA) Publication WPP-306, Sep. 2009.
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)
2008
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))
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.?E. Plá?il (Eds.), Lecture Notes in Computer Science, vol. 5153, pp. 85-115, Springer Berlin / Heidelberg, Aug. 2008.
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.
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.
2007
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.
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.
Barry Demchak
2013
B. Demchak, “Policy Driven Development: SOA Evolvability through Late Binding,” Dissertation, University of California, San Diego, 9500 Gilman Road, La Jolla, CA 92093, Jan. 2013.2012
B. Demchak and I. Krüger, “A Model-Driven Engineering Approach to Requirement Elicitation for Policy-Reactive Cyberinfrastructures,” Tech. Rep. CS2012-0988, University of California, San Diego, Computer Science and Engineering Department, Sep. 2012.B. Demchak and I. Krüger, “Policy Driven Development: Flexible Policy Insertion for Large Scale Systems,” in 2012 IEEE International Symposium on Policies for Distributed Systems and Networks, Chapel Hill. IEEE Computer Society, Jul. 2012, pp. 17-24.
I. H. Krüger, B. Demchak, and M. Menarini, “Dynamic Service Composition and Deployment with OpenRichServices,” Software Service and Application Engineering, M. Heisel (Ed.), Lecture Notes in Computer Science, vol. 7365, pp. 120-146, Berlin / Heidelberg: Springer, May 2012.
B. Demchak, J. Kerr, F. Raab, K. Patrick, and I. H. Krüger, “PALMS: A Modern Coevolution of Community and Computing Using Policy Driven Development,” in 45th Hawaii International Conference on System Sciences (HICSS), Maui, Hawaii. Jan. 2012, pp. 2735-2744.
2011
N. Nikzad, C. Ziftci, P. Zappi, N. Quick, P. Aghera, N. Verma, B. Demchak, K. Patrick, H. Shacham, T. S. Rosing, I. Krueger, W. Griswold, and S. Dasgupta, “CitiSense - Adaptive Services for Community-Driven Behavioral and Environmental Monitoring to Induce Change,” Tech. Rep. CS2011-0961, University of California, San Diego, Jan. 2011.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.?E. Plá?il (Eds.), Lecture Notes in Computer Science, vol. 5153, pp. 85-115, Springer Berlin / Heidelberg, Aug. 2008.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.
B. Demchak and I. H Krüger, “Composable Chat: Towards a SOA-based Enterprise Chat System,” Tech. Rep. CS2008-0918, UCSD, Apr. 2008.
2007
B. Demchak, W. G. Griswold, and L. A. Lenert, “Data Quality for Situational Awarenes s during Mass -Casualty Events,” in Proceedings of the American Medical Informatics Association Annual Fall Symposium 2007, Chicago. Nov. 2007, pp. 176-180.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.
2006
S. W. Brown, W. G. Griswold, B. Demchak, and L. A. Lenert, “Middleware for Reliable Mobile Medical Workflow Support in Disaster Settings,” in Proceedings of the American Medical Informatics Association Annual Fall Symposium 2006, Washington. American Medical Informatics Association, Nov. 2006, pp. 309-313.Frederic Doucet
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.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.
R. K. Shyamasundar, F. Doucet, R. K. Gupta, and I. H. Krüger, “Compositional Reactive Semantics of SystemC and Verification with RuleBase,” Next Generation Design and Verification Methodologies for Distributed Embedded Control Systems, S. Ramesh and P. Sampath (Eds.), pp. 227-243, Springer Netherlands, 2007.
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.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))
To-Ju Huang
2012
J. Carver, T.-J. Huang, C. Farcas, and N. Bandeira, “The ProteoSAFe Platform for High-Performance Discovery Proteomics.” 60th American Society for Mass Spectrometry (ASMS) Conference on Mass Spectrometry and Allied Topics, Jun. 2012. (poster)2011
T.-J. Huang, C. Farcas, J. Carver, N. E Castellana, A. Frank, S. Kim, J. Wang, X. Liu, P. Pevzner, V. Bafna, I. Krueger, and N. Bandeira, “The ProteoSAFe Platform for High-Performance Discovery Proteomics.” 59th American Society for Mass Spectrometry (ASMS) Conference on Mass Spectrometry and Allied Topics, Jun. 2011. (poster)2010
C. Farcas, T.-J. Huang, P. Pevzner, I. Krueger, V. Bafna, and N. Bandeira, “Evolutionary Architecture for High Performance Proteomics Research.” 58th American Society for Mass Spectrometry (ASMS) Conference on Mass Spectrometry and Allied Topics, May 2010. (extended abstract + poster)2009
C. Farcas, T.-J. Huang, R. Liu, V. Bafna, I. Krueger, P. Pevzner, and N. Bandeira, “Scalable CyberInfrastructure for Proteomics Research.” 57th American Society for Mass Spectrometry (ASMS) Conference on Mass Spectrometry and Allied Topics, Jun. 2009. (extended abstract + poster)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.?E. Plá?il (Eds.), Lecture Notes in Computer Science, vol. 5153, pp. 85-115, Springer Berlin / Heidelberg, Aug. 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. (poster)
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.Massimiliano Menarini
2012
E. Farcas, I. Krueger, and M. Menarini, “Modeling with UML and its Real-Time Profiles,” Real-time Simulation Technologies: Principles, Methodologies, and Applications, K. Popovici and P. J. Mosterman (Eds.), Computational Analysis, Synthesis, and Design of Dynamic Systems, ch. 5, pp. 123-158, CRC Press, Aug. 2012. (in press)E. Farcas, I. Krueger, and M. Menarini, “Consistency Management of UML Models,” Real-time Simulation Technologies: Principles, Methodologies, and Applications, K. Popovici and P. J. Mosterman (Eds.), Computational Analysis, Synthesis, and Design of Dynamic Systems, ch. 12, pp. 289-328, CRC Press, Aug. 2012. (in press)
I. Krueger, M. Menarini, F. Seracini, M. Fuchs, and J. Kohl, “Improving the development process for automotive diagnostics,” in Software and System Process (ICSSP), 2012 International Conference on. IEEE, Jun. 2012, pp. 63-67.
I. H. Krüger, B. Demchak, and M. Menarini, “Dynamic Service Composition and Deployment with OpenRichServices,” Software Service and Application Engineering, M. Heisel (Ed.), Lecture Notes in Computer Science, vol. 7365, pp. 120-146, Berlin / Heidelberg: Springer, May 2012.
2010
I. H. Krüger, M. Meisinger, and M. Menarini, “Interaction-based Runtime Verification for Systems of Systems Integration,” Journal of Logic and Computation, vol. 20, no. 3, Jun. 2010.C. Farcas, E. Farcas, I. H. Krueger, and M. Menarini, “Addressing the Integration Challenge for Avionics and Automotive Systems - From Components to Rich Services,” in The Proceedings of the IEEE Special Issue on Aerospace and Automotive Software, K. V. Prasad (Ed.), vol. 98, no. 4. IEEE, Apr. 2010, pp. 562-583.
I. Krueger, C. Farcas, E. Farcas, and M. Menarini, “Requirements Modeling for Embedded Realtime Systems,” Model-Based Engineering of Embedded Real-Time Systems, H. Giese, B. Rumpe, and B. Schätz (Eds.), Lecture Notes in Computer Science (LNCS), vol. 6100, ch. 7, pp. 155-199, Berlin, Heidelberg: Springer-Verlag, 2010.
2009
J. Oldevik, M. Menarini, and I. Krüger, “Model Composition Contracts,” in Proceedings of the 12th International Conference on Model Driven Engineering Languages and Systems (MODELS'09 ),, A. Schürr and B. V. Selic (Eds.), vol. LNCS 5795, Denver, Colorado, USA,. Berlin, Heidelberg: Springer Verlag, Oct. 2009, pp. 531-545.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.?E. Plá?il (Eds.), Lecture Notes in Computer Science, vol. 5153, pp. 85-115, Springer Berlin / Heidelberg, Aug. 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.
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.
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.
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.
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.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.
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.
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.
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.
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.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))
Tyler Netherland
2009
T. E. Netherland, “An Introduction to Rich Services/Erlang,” Master's thesis, University of California, San Diego, 2009.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.
Copyright © 2007. All rights reserved.