Export 169 results:
Filters: Keyword is Conference  [Clear All Filters]
2013
K. Nie, T. Yue and S. Ali. Towards a Search-Based Interactive Configuration of Cyber Physical System Product Lines In ACM/IEEE 16th International Conference on Model Driven Engineering Languages and Systems, Poster. ACM/IEEE, 2013.
J. Feinberg and H. P. Langtangen. Uncertainty Quantification of Diffusion in Layered Media by a New Method Based on Polynomial Chaos Expansion In Seventh National Conference on Computational Mechanics MekIT'13, Edited by H. I. Andersson and B. H. Skallerud. Akademika Publishing, 2013.
J. L. de la Vara, J. Sanchez and O. Pastor. On the Use of Goal Models and Business Process Models for Elicitation of System Requirements In Enterprise, Business-Process and Information Systems Modeling (BPMDS/EMMSAD 2013), Edited by S. Nurcan, E. Proper, P. Soffer, J. Krogstie, R. Schmidt, T. Halpin and I. Bider. Vol. LNBIP 147. Springer, 2013.PDF icon bpmds2013.pdf (312.45 KB)
S. Wang, S. Ali, T. Yue and M. Liaaen. Using Feature Model to Support Model-Based Testing of Product Lines: an Industrial Case Study In The 13th International Conference on Quality Software (QSIC 2013), Edited by T. Tse. Najing: IEEE, 2013.
2012
L. Vynnytska, D. Stegman and S. Clark. The Afar Region: Numerical Modeling Using Geological Data., 2012.
L. Moonen. Assuring Software Quality by Code Smell Detection In Most Influential Paper Award, 19th Working Conference on Reverse Engineering (WCRE)., 2012.PDF icon Simula.simula.1526.pdf (290.29 KB)
E. van Emden and L. Moonen. Assuring Software Quality by Code Smell Detection In Proceedings of the 19th Working Conference on Reverse Engineering (WCRE). IEEE, 2012.PDF icon Simula.simula.1522.pdf (290.29 KB)
C. Dubois and A. Gotlieb. A Certified Constraint Solver Over Finite Domains In Proceedings of Formal Methods (FM'12), Paris, Aug. 2012, Edited by D. M. D. Giannakopoulou. Vol. 7436. Berlin Heidelberg: Springer Berlin Heidelberg, 2012.
M. Z. Iqbal, A. Arcuri and L. C. Briand. Combining Search-Based and Adaptive Random Testing Strategies for Environment Model-Based Testing of Real-Time Embedded Systems In Symposium on Search Based Software Engineering (SSBSE), Edited by G. Fraser, A. Susi and J. T. de Souza. Berlin Heidelberg: Springer, 2012.PDF icon Simula.simula.1474.pdf (1.57 MB)
S. Ali. Comprehensively Evaluating Conformance Error Rates of Applying Aspect State Machines for Robustness Testing In Aspect Oriented Software Development Conference, Potsdam Germany. .: ., 2012.
S. Rodrigo, F. O. Sem-Jacobsen, H. Tatenguem, T. Skeie and D. Bertozzi. Cost-Effective Contention Avoidance in a CMP With Shared Memory Controllers In Proceedings of Euro-Par 2012, Edited by C. Kaklamanis, T. Papatheodorou and P. G. Spirakis. Springer Berlin Heidelberg, 2012.
B. Bogdanski, B. D. Johnsen, S. Reinemo and F. O. Sem-Jacobsen. Discovery and Routing of Degraded Fat-Trees In 2012 13th International Conference on Parallel and Distributed Computing, Applications and Technologies, Edited by H. Shen, Y. Sang, Y. Li, D. Qian and A. Y. Zomaya. Los Alamitos: IEEE Computer Society, 2012.PDF icon Simula.simula.1554.pdf (455.27 KB)
J. Koivumäki, G. Seemann and M. Maleckar. Divergent Action Potential Morphology in Human Atrial Cells Vs. Tissue: Underlying Ionic Mechanisms., 2012.
A. Yamashita and L. Moonen. Do Code Smells Reflect Important Maintainability Aspects? In International Conference on Software Maintenance (ICSM). IEEE, 2012.PDF icon Simula.simula.1272.pdf (239.99 KB)
C. Timmerer and C. Griwodz. Dynamic Adaptive Streaming Over HTTP - From Content Creation to Consumption., 2012.PDF icon Simula.simula.1640.pdf (106.79 KB)
W. Zhang and X. Cai. Efficient Implementations of the Adams-Bashforth-Moulton Method for Solving Fractional Differential Equations In Proceedings of FDA'12. : , 2012.
M. Z. Iqbal, A. Arcuri and L. C. Briand. Empirical Investigation of Search Algorithms for Environment Model-Based Testing of Real-Time Embedded Software In International Symposium on Software Testing and Analysis (ISSTA), ACM. New York, NY, USA: ACM, 2012.PDF icon Simula.simula.1274.pdf (564.03 KB)
D. Dwarakanath, A. Eichhorn, P. Halvorsen and C. Griwodz. Evaluating Performance of Feature Extraction Methods for Practical 3D Imaging Systems In 27th International Conference Image and Vision Computing New Zealand. ACM - International Conference Proceedings Series (ICPS), 2012.PDF icon Simula.simula.1644.pdf (1.82 MB)
D. Dwarakanath, A. Eichhorn, C. Griwodz, P. Halvorsen and D. Dwarakanath. Faster and More Accurate Feature-Based Calibration for Widely Spaced Camera Pairs In Digital Information and Communication Technology and it's Applications (DICTAP). IEEE, 2012.PDF icon drefereedinproceedingsreference.2012-12-10.5290080794.pdf (3.37 MB)
S. Bardin and A. Gotlieb. fdcc: a Combined Approach for Solving Constraints Over Finite Domains and Arrays In Proceedings of CPAIOR 2012 (Constraint Programming-Artificial Intelligence-Operations Research), Nantes, France, Edited by N. Beldiceanu, N. Jussien and É. Pinson. Berlin Heidelberg: Springer Berlin Heidelberg, 2012.
A. R. Yazdanshenas and L. Moonen. Fine-Grained Change Impact Analysis for Component-Based Product Families In International Conference on Software Maintenance (ICSM). IEEE, 2012.PDF icon Simula.simula.1276.pdf (354.9 KB)
M. Carlier, C. Dubois and A. Gotlieb. A First Step in the Design of a Formally Verified Constraint-Based Testing Tool: FocalTest In Proceedings of the Tests And Proofs Conference (TAP 2012), Prague, Czech Republic, Edited by J. J. A. Brucker. Vol. 7305. Berlin Heidelberg: Springer Berlin Heidelberg, 2012.
M. Mortensen and H. P. Langtangen. Flexible Software Tools for Computational Turbulence In Proceedings of the 25th Nordic Seminar on Computational Mechanics (NSCM-25), Edited by K. Persson, J. Revstedt, G. Sandberg and M. Wallin. Lund University, 2012.
H. P. Langtangen and M. Mortensen. Flexible Specification of Large Systems of Nonlinear PDEs In Keynote talk at the 2nd HPC^3 Workshop on High-Performance Computing, KAUST, Saudi-Arabia., 2012.
S. Hippchen, B. Ghorbal, C. Moder and S. Clark. Geology, Tectonics, and Intraplate Deformation in South America: Revisited Block Boundaries In ., 2012.

Pages