Publications
Found 418 scientific publications (published or accepted for publication in forums with peer review).
Simula has implemented a set of publication guidelines based on the Vancouver Convention, which are enforced for all publications available in our online database.
2012
Chapters in Books
M. S. Alnæs and Kent-A. Mardal. SyFi and SFC: symbolic finite elements and form compilation, In: Automated Solution of Differential Equations by the Finite Element Method, ed. by Logg, Anders and Mardal, Kent-Andre and Wells, Garth N.. Springer, vol. 84, chap. 15, pp. 269-278. Lecture Notes in Computational Science and Engineering. (ISBN: 978-3-642-23098-1), 2012.
M. S. Alnæs, A. Logg, and Kent-A. Mardal. UFC: a finite element code generation interface, In: Automated Solution of Differential Equations by the Finite Element Method, ed. by Logg, Anders and Mardal, Kent-Andre and Wells, Garth N.. Springer, vol. 84, chap. 16, pp. 279-298. Lecture Notes in Computational Science and Engineering. (ISBN: 978-3-642-23098-1), 2012.
J. E. Hake.
A coupled stochastic and deterministic model of Ca2+ dynamics in the dyadic cleft,
In: Automated Solution of Differential Equations by the Finite Element Method, ed. by Logg, Anders and Mardal, Kent-Andre and Wells, Garth N.. Springer, vol. 84, chap. 33, pp. 611--627. Lecture Notes in Computational Science and Engineering. (ISBN: 978-3-642-23098-1),
2012.
J. E. Hake
and
Kent-A. Mardal.
Lessons learned in mixed language programming,
In: Automated Solution of Differential Equations by the Finite Element Method, ed. by Logg, Anders and Mardal, Kent-Andre and Wells, Garth N. Springer, vol. 84, chap. 19, pp. 363--381,
2012.
R. C. Kirby and A. Logg. FErari: an optimizing compiler for variational forms, In: Automated Solution of Differential Equations by the Finite Element Method, ed. by Logg, Anders and Mardal, Kent-Andre and Wells, Garth N.. Springer, vol. 84, chap. 12, pp. 235-243. Lecture Notes in Computational Science and Engineering. (ISBN: 978-3-642-23098-1), 2012.
R. C. Kirby and A. Logg. Finite element variational forms, In: Automated Solution of Differential Equations by the Finite Element Method, ed. by Logg, Anders and Mardal, Kent-Andre and Wells, Garth N.. Springer, vol. 84, chap. 5, pp. 129-136. Lec. (ISBN: 978-3-642-23098-1), 2012.
R. C. Kirby and A. Logg. Tensor representation of finite element variational forms, In: Automated Solution of Differential Equations by the Finite Element Method, ed. by Logg, Anders and Mardal, Kent-Andre and Wells, Garth N.. Springer, vol. 84, chap. 8, pp. 157-167. Lecture Notes in Computational Science and Engineering. (ISBN: 978-3-642-23098-1), 2012.
R. C. Kirby and A. Logg. The finite element method, In: Automated Solution of Differential Equations by the Finite Element Method, ed. by Logg, Anders and Mardal, Kent-Andre and Wells, Garth N.. Springer, vol. 84, chap. 2, pp. 73-90. Lecture Notes in Computational Science and Engineering. (ISBN: 978-3-642-23098-1), 2012.
R. C. Kirby and Kent-A. Mardal. Constructing general reference finite elements, In: Automated Solution of Differential Equations by the Finite Element Method, ed. by Logg, Anders and Mardal, Kent-Andre and Wells, Garth N.. Springer, vol. 84, chap. 4, pp. 117-128. Lecture Notes in Computational Science and Engineering. (ISBN: 978-3-642-23098-1), 2012.
R. C. Kirby, M. G. Knepley, A. Logg, L. R. Scott, and A. R. Terrel. Discrete optimization of finite element matrix evaluation, In: Automated Solution of Differential Equations by the Finite Element Method, ed. by Logg, Anders and Mardal, Kent-Andre and Wells, Garth N.. Springer, vol. 84, chap. 9, pp. 161-168. Lecture Notes in Computational Science and Engineering. (ISBN: 978-3-642-23098-1), 2012.
R. C. Kirby, A. Logg, M. E. Rognes, and A. R. Terrel. Common and unusual finite elements, In: Automated Solution of Differential Equations by the Finite Element Method, ed. by Logg, Anders and Mardal, Kent-Andre and Wells, Garth N.. Springer, vol. 84, chap. 3, pp. 91-116. Lecture Notes in Computational Science and Engineering. (ISBN: 978-3-642-23098-1), 2012.
H. P. Langtangen. A FEniCS tutorial, In: Automated Solution of Differential Equations by the Finite Element Method, ed. by Logg, Anders and Mardal, Kent-Andre and Wells, Garth N.. Springer, chap. 1, pp. 1-70. (ISBN: 978-3-642-23098-1), 2012.
M. Larson and F. Bengzon. Error estimation and adaptivity, In: Encyclopedia of applied and computational mathematics, ed. by Björn Engquist. Springer, chap. 0, pp. 0-0. (ISBN: 978-3540705307), 2012.
A. Logg, Kent-A. Mardal, and G. N. Wells. Finite element assembly, In: Automated Solution of Differential Equations by the Finite Element Method, ed. by Logg, Anders and Mardal, Kent-Andre and Wells, Garth N.. Springer, vol. 84, chap. 6, pp. 137-142. Lecture Notes in Computational Science and Engineering. (ISBN: 978-3-642-23098-1), 2012.
A. Logg,
G. N. Wells,
and
J. E. Hake.
DOLFIN: A C++/Python finite element library,
In: Automated Solution of Differential Equations by the Finite Element Method, ed. by Logg, Anders and Mardal, Kent-Andre and Wells, Garth N. Springer, vol. 84, chap. 10, pp. 173--225. Lecture Notes in Computational Science and Engineering. (ISBN: 978-3-642-23098-1),
2012.
A. Logg, K. B. Ølgaard, M. E. Rognes, and G. N. Wells. FFC: the FEniCS form compiler, In: Automated Solution of Differential Equations by the Finite Element Method, ed. by Logg, Anders and Mardal, Kent-Andre and Wells, Garth N.. Springer, vol. 84, chap. 11, pp. 223-234. Lecture Notes in Computational Science and Engineering. (ISBN: 978-3-642-23098-1), 2012.
Kent-A. Mardal and J. B. Haga. Block preconditioning of systems of PDEs, In: Automated Solution of Differential Equations by the Finite Element Method, ed. by Logg, Anders and Mardal, Kent-Andre and Wells, Garth N.. Springer, vol. 84, chap. 35, pp. 643-654. Lecture Notes in Computational Science and Engineering. (ISBN: 978-3-642-23098-1), 2012.
M. Mortensen, Kent-A. Mardal, and H. P. Langtangen. Simulation of transitional flows, In: Automated Solution of Differential Equations by the Finite Element Method, ed. by Logg, Anders and Mardal, Kent-Andre and Wells, Garth N.. Springer, vol. 84, chap. 22, pp. 419-438. Lecture Notes in Computational Science and Engineering. (ISBN: 978-3-642-23098-1), 2012.
H. Narayanan.
A computational framework for nonlinear elasticity,
In: Automated Solution of Differential Equations by the Finite Element Method, ed. by Logg, Anders and Mardal, Kent-Andre and Wells, Garth N.. Springer, vol. 84, chap. 27, pp. 527-544. Lecture Notes in Computational Science and Engineering. (ISBN: 978-3-642-23098-1),
2012.
M. E. Rognes. Automated testing of saddle point stability conditions, In: Automated Solution of Differential Equations by the Finite Element Method, ed. by Logg, Anders and Mardal, Kent-Andre and Wells, Garth N.. Springer, vol. 84, chap. 36, pp. 655-670. Lecture Notes in Computational Science and Engineering. (ISBN: 978-3-642-23098-1), 2012.
K. Selim. An adaptive finite element solver for fluid–structure interaction problems, In: Automated Solution of Differential Equations by the Finite Element Method, ed. by Logg, Anders and Mardal, Kent-Andre and Wells, Garth N.. Springer, vol. 84, chap. 29, pp. 554-572. Lecture Notes in Computational Science and Engineering. (ISBN: 978-3-642-23098-1), 2012.
S. Støle-Hentschel, S. Linge, A. E. Løvgren, and Kent-A. Mardal. Cerebrospinal fluid flow, In: Automated Solution of Differential Equations by the Finite Element Method, ed. by Logg, Anders and Mardal, Kent-Andre and Wells, Garth N.. Springer, vol. 84, chap. 24, pp. 455-470. Lecture Notes in Computational Science and Engineering. (ISBN: 978-3-642-23098-1), 2012.
L. Vynnytska, S. R. Clark, and M. E. Rognes. Dynamic simulations of convection in the Earth’s mantle, In: Automated Solution of Differential Equations by the Finite Element Method, ed. by Logg, Anders and Mardal, Kent-Andre and Wells, Garth N.. Springer , Berlin Heidelberg, vol. 84, chap. 31, pp. 587-602. Lecture Notes in Computational Science and Engineering. (ISBN: 978-3-642-23098-1), 2012.
I. Wilbers, Kent-A. Mardal, and M. S. Alnæs. Instant: just-in-time compilation of C/C++ in Python, In: Automated Solution of Differential Equations by the Finite Element Method, ed. by Logg, Anders and Mardal, Kent-Andre and Wells, Garth N.. Springer, vol. 84, chap. 14, pp. 253-268. Lecture Notes in Computational Science and Engineering. (ISBN: 978-3-642-23098-1), 2012.
Proceedings without Referee
M. Harman, W. Langdon, Y. Jia, D. White, A. Arcuri, and J. Clark. The GISMOE challenge: Constructing the Pareto Program Surface Using Genetic Programming to Find Better Programs, In: IEEE/ACM International Conference On Automated Software Engineering (ASE), ed. by -, IEEE/ACM, 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), ed. by Persson, K. and Revstedt, J. and Sandberg, G. and Wallin, M. , Lund University, Lund University, 2012.
Technical Reports
S. Ali and T. Yue. A Rigorous and Comprehensive Analysis of Effort for Modeling Aspect State Machines, Simula Research Laboratory, Technical Report(2012-16), 2012.
S. Ali,
M. Z. Iqbal,
and
A. Arcuri.
Empirically Evaluating Improved Heuristics for Test Data Generation from OCL Constraints using Search Algorithms,
Simula Research Laboratory, Technical Report(2012-17),
2012.
S. Ali,
M. Z. Iqbal,
A. Arcuri,
and
L. Briand.
Generating Test Data from OCL Constraints with Search Techniques,
Simula Research Laboratory, Technical Report(2010-16 ),
2012.
R. Behjati, S. Nejati, and L. Briand. Architecture-Level Configuration of Large-Scale Embedded Software Systems, Simula Research Laboratory, Technical Report(2012-19), 2012.
R. Behjati,
S. Nejati,
A. Gotlieb,
T. Yue,
and
L. Briand.
Guided Interactive Configuration of Embedded Software Systems Using Constraint Satisfaction over Finite Domains,
Simula Research Laboratory, Technical Report (2012-05),
2012.
R. Behjati,
T. Yue,
and
L. Briand.
A Model-Based Approach to the Automated Reuse of Configuration Data Based on Internal Similarities,
Simula Research Laboratory, Technical Report (2012-09),
2012.
I. Hajra, S. Andleeb, S. Ali, and Z. Malik. Categorizing and Assessing Empirical Investigations in Aspect-Oriented Modeling: A Systematic Review, Simula Research Laboratory, Technical Report(2012-15), 2012.
M. Z. Iqbal,
S. Ali,
T. Yue,
and
L. Briand.
Experiences of Applying UML/MARTE on Three Industrial Projects,
Simula Research Laboratory, Technical Report (2012-08),
2012.
M. Z. Iqbal,
A. Arcuri,
and
L. Briand.
Empirical Investigation of Search Algorithms for Environment Model-Based Testing of Real-Time Embedded Software ,
Simula Research Laboratory,
2012.
M. Z. Iqbal,
A. Arcuri,
and
L. Briand.
Combining Search-based and Adaptive Random Testing for Black-box System Testing of Real-time Embedded Systems,
Simula Research Laboratory, Technical Report (2012-12),
2012.
S. Nair,
J. L. de la Vara,
M. Sabetzadeh,
and
L. Briand.
SLR on Evidence Classification, Structuring and Assessment for Safety - Extracted Data, Technical Report ,
Simula Research Laboratory,
2012.
H. Vo,
O. Lysne,
and
A. Kvalbein.
Increased Robustness with Interface Based Permutation Routing,
Simula Networks and Distributed System , Technical Report(2012-18),
2012.
S. Wang, A. Gotlieb, L. Marius, and L. Briand. Automatic derivation of test execution plans from a Video Conferencing System Product Line modelling, Simula Research Laboratory, Technical Report(2012-02), 2012.
A. Yamashita.
Measuring the outcomes of a maintenance project: Technical details and protocols,
Simula Research Laboratory, Technical Report(2012-11),
2012.
A. Yamashita
and
L. Moonen.
Do code smells reflect important maintainability aspects?,
Simula Research Laboratory, Technical Report(2012-10),
2012.
A. Yamashita
and
L. Moonen.
Exploring the impact of inter-smell relations in the maintainability of a system: An empirical study,
Simula Research Laboratory, Technical Report(2012-14),
2012.
A. R. Yazdanshenas
and
L. Moonen.
Tracking and Visualizing Information Flow in Component-Based Systems,
Simula Research Laboratory, Technical Report(2012-03),
2012.
T. Yue
and
S. Ali.
A Use Case Modeling Approach for Large-scale, Industrial, Network-based, Distributed, Real-Time Embedded Systems,
Simula Research Laboratory, Technical Report(2011-07, Version 2),
2012.
T. Yue
and
S. Ali.
A Practical and Scalable Use Case Modeling Approach to Specify Crosscutting Concerns: Industrial Applications,
Simula Research Laboratory, Technical Report(2012-04),
2012.
T. Yue,
L. Briand,
B. Selic,
and
Q. Gan.
Experiences with Model-based Product Line Engineering for Developing a Family of Integrated Control Systems: an Industrial Case Study,
Simula Research Laboratory, Technical Report(2012-06),
2012.
Contributed talk
S. Ali. Comprehensively Evaluating Conformance Error Rates of Applying Aspect State Machines for Robustness Testing, 2012.
S. Ali. Industry-Driven Testing: Past, Present, and Future Activities at Simula, Miscellaneous publication, 2012.
M. S. Alnæs.
Numerical Comparison of Preconditioned Oneshot and Steepest Descent on Linear Elliptic Optimal Control Problems,
OCIP 2012,
2012.
M. S. Alnæs.
Efficient Compilation of Complex Tensor Algebra Expressions,
FEniCS Workshop 2012, Simula Research Laboratory,
2012.
