Sanán D, Yang L, Yongwang Z, Zhenchang x, Hinchey M.  2015.  Verifying FreeRTOS' Cyclic Doubly Linked List Implementation: From Abstract Specification to Machine Code. 2015 20th International Conference on Engineering of Complex Computer Systems (ICECCS).

Hamilton G.  2015.  Verifying Temporal Properties of Reactive Systems by Transformation. Third International Workshop on Verification and Program Transformation.

Hamilton G.  2015.  Verifying Temporal Properties of Reactive Systems by Transformation. Electronic Proceedings of Theoretical Computer Science. 99

[Anonymous].  2015.  VFDS: An Application to Generate Fast Sample Databases. ACM International Conference on Information and Knowledge ManagementACM International Conference on Information and Knowledge Management.

Clohessy T, Acton T.  2013.  Value Creation and Capture with Cloud Computing: A Theoretical Framework. 18th UKAIS Conference on Information Systems18th UKAIS Conference on Information Systems.

Morgan L, Conboy K.  2013.  Value Creation in the Cloud: Understanding Business Model Factors Affecting Value of Cloud Computing. 9th Americas Conference on Information Systems (AMCIS 2013)9th Americas Conference on Information Systems (AMCIS 2013).

Morgan L, Conboy K.  2013.  Value Creation in the Cloud: Understanding the Business Model Factors Affecting Value of Cloud Computing. Pre-ICIS MiSQe Workshop on the Business Payoff of Cloud Services.

Doolan R, Muntean G-M.  2013.  VANET-enabled Eco-friendly Road Characteristics-aware Routing for Vehicular Traffic. IEEE Vehicular Technology Conference on the Transportation, Vehicular Networks, Vehicular Electronics and Telematics TrackIEEE Vehicular Technology Conference on the Transportation, Vehicular Networks, Vehicular Electronics and Telematics Track.

Buda TSandra, Cerqueus T, Murphy J, Kristiansen M.  2013.  VFDS: Very Fast Database Sampling System. the 14th IEEE Internation Conference on Information Reuse and Integrationthe 14th IEEE Internation Conference on Information Reuse and Integration.

Acton T, Lohan G.  2013.  Visual artefacts and decision-making quality in information systems development projects. EMCIS 2013EMCIS 2013.

Thiel S, Cawley C, Botterweck G.  2013.  Visualizing Software Variability. Systems and Software Variability ManagementSystems and Software Variability Management.

Pullum L, Cui X, Vassev E, Hinchey M, Rouff C, Buskens R.  2012.  Verification of Adaptive Systems. Infotech@Aerospace Conference 2012Infotech@Aerospace Conference 2012.

Pleuss A, Botterweck G.  2012.  Visualization of variability and configuration options. STTT (International Journal on Software Tools for Technology Transfer).

Sivakumar MS, Casey V, McCaffery F, Coleman G.  2011.  Verification & Validation in Medi SPICE. 1th International SPICE Conference on Process Improvement and Capability dEtermination1th International SPICE Conference on Process Improvement and Capability dEtermination.

Pleuss A, Rabiser R, Botterweck G.  2011.  Visualization Techniques for Application in Interactive Product Configuration. Joint Workshop of the 3rd International Workshop on Model-driven Approaches in Software Product Line Engineering and the 3rd Workshop on Scalable Modeling Techniques for Software Product Lines (MAPLE/SCALE 2011).

Canós JH, Penades MC, Solis C, Borges MRS, Vivacqua AS, Llavador M.  2011.  Visualizing Composite Knowledge in Emergency Responses Using Spatial Hypertext. International Journal of Information Systems for Crisis Response and Management. 3

Savolainen P.  2010.  Vague Project Start Makes Project Success of Outsourced Software Projects Uncertain. 11th International Conference on Product Focused Software Development and Process Improvement (PROFES 2010)11th International Conference on Product Focused Software Development and Process Improvement (PROFES 2010).

Morgan L, Feller J, Finnegan P.  2010.  Value Creation and Capture with Open Source Software: A Theoretical Model for Understanding the Role of Value Networks. Proceedings of the 18th European Conference on Information Systems (ECIS)Proceedings of the 18th European Conference on Information Systems (ECIS).

Botterweck G, Polzer A, Kowalewski S.  2010.  Variability and Evolution in Model-based Engineering of Embedded Systems. Dagstuhl Workshop Model-Based Development of Embedded Systems (MBEES 2010).

Elsner C, Botterweck G, Lohmann D, Schroeder-Preikschat W.  2010.  Variability in Time - Product Line Variability and Evolution Revisited. Proceedings of the 4th International Workshop on Variability Modelling of Software-Intensive Systems VAMOS 2010.

Chen L, Babar MAli.  2010.  Variability Management in Software Product Lines: An Investigation of Contemporary Industrial Challenges. 14th International Software Product Line Conference14th International Software Product Line Conference.

Pluska M., Sinclair D.  2010.  Verification of cyber-physical systems. Accepted paper at 20th European meeting on cybernetics and systems research (EMCSR 2010).

Polzer A, Merschen D, Thomas J, Hedenetz B, Botterweck G, Kowalewski S.  2010.  View-Supported Rollout and Evolution of Model-Based ECU Applications. 7th International Workshop on Model-based Methodologies for Pervasive and Embedded Software (MOMPES 2010).

Casey V, Richardson I.  2010.  Virtual Teams. Encyclopedia of Software EngineeringEncyclopedia of Software Engineering.

Polzer A, Botterweck G, Wangerin I, Kowalewski S.  2009.  Variabilität im modellbasierten Engineering von eingebetteten Systemen. Workshop Automotive Software Engineering, collocated with Informatik 2009.