Found 3444 results
Filters: News is [Clear All Filters]
Variability and Evolution in Model-based Engineering of Embedded Systems. Dagstuhl Workshop Model-Based Development of Embedded Systems (MBEES 2010).
.
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.
.
2010. Vectorization of Multibyte Floating Point Data Formats. Proceedings of the 2016 International Conference on Parallel Architectures and Compilation.
.
2016. Verification of cyber-physical systems. Accepted paper at 20th European meeting on cybernetics and systems research (EMCSR 2010).
.
2010. A Verification-Centric Realization of e-Voting. 2nd USENIX/ACCURATE Electronic Voting Technology Workshop (EVT) 2007.
.
2007. Verifying Temporal Properties of Reactive Systems by Transformation. Third International Workshop on Verification and Program Transformation.
.
2015. View-Supported Rollout and Evolution of Model-Based ECU Applications. 7th International Workshop on Model-based Methodologies for Pervasive and Embedded Software (MOMPES 2010).
.
2010. Virtualization Toolset for Emulating Mobile Devices and Networks. Proceedings of the International Workshop on Mobile Software Engineering and Systems.
.
2016. Visual Configuration in Automotive Software Product Lines,. Proceedings of 2nd IEEE International Workshop on Software Engineering Challenges in the Automotive Domain (SECAD 2008).
.
2008. Visualisation of Variability in Software Product Lines. Proceedings of 1st International Workshop on Variability Modelling of Software-Intensive Systems (VAMOS 2007).
.
2007. Visualising Inter-Model Relationships in Software Product Lines. Proceedings of 3rd International Workshop on Variability Modelling of Software-Intensive Systems (VAMOS 2009).
.
2009. Visualising Network Communications to Evaluate a Data Dissemination Method for Ubiquitous Systems. Workshop on Ubiquitous Systems Evaluation in conjunction with UbiComp ’07, Innsbruck.
.
2007. 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).
.
2011. Web services on embedded systems - A performance study. Proceedings of the 1st International Workshop on the Web of Things (WoT), Percom 2010.
.
2010. .
2016. Where Agile Research Meets Industry Needs: Starting from a 10-Year Retrospective. Proceedings of the 10th International Conference on Agile Processes in Software Engineering and Extreme Programming.
.
2009. Where do I begin? Getting the Basics Right in Smart Citizen Engagement Projects The Right to the Smart City: Citizenship, Civic Participation, Urban Commons and Co-Creation.
.
2017. .
2019. Workshop on Architecture-Centric Methods and Agile Approaches (ACMA08). Collcoated with the 9th International Conference on Agile Processes and eXtreme Programming in Software EngineeringCollcoated with the 9th International Conference on Agile Processes and eXtreme Programming in Software Engineering.
.
2008.