S. Awodey, Category theory, 2006.
DOI : 10.1093/acprof:oso/9780198568612.001.0001

J. A. Bergstra and J. W. Klop, Algebra of communicating processes with abstraction. Theoretical computer science, pp.77-121, 1985.

M. Bla?evi´bla?evi´c, Coroutine pipelines, The Monad Reader, vol.19, pp.29-50, 2011.

A. Bloesch, Aesthetic layout of generalized trees. Software: Practice and Experience, pp.817-827, 1993.

A. Borning, K. Marriott, P. Stuckey, X. , and Y. , Solving linear arithmetic constraints for user interface applications, Proceedings of the 10th annual ACM symposium on User interface software and technology , UIST '97, pp.87-96, 1997.
DOI : 10.1145/263407.263518

S. D. Brookes, C. A. Hoare, R. , and A. W. , A Theory of Communicating Sequential Processes, Journal of the ACM, vol.31, issue.3, pp.560-599, 1984.
DOI : 10.1145/828.833

C. Buchheim, M. Jünger, and S. Leipert, Drawing rooted trees in linear time. Software: Practice and Experience, pp.651-665, 2006.

M. S. Carpendale and C. Montagnese, A framework for unifying presentation space, Proceedings of the 14th annual ACM symposium on User interface software and technology , UIST '01, pp.61-70, 2001.
DOI : 10.1145/502348.502358

G. Casciola and S. Morigi, REPARAMETRIZATION OF NURBS CURVES, International Journal of Shape Modeling, vol.02, issue.02n03, pp.103-116, 1996.
DOI : 10.1142/S0218654396000075

K. Claessen, FUNCTIONAL PEARL Parallel Parsing Processes, Journal of Functional Programming, vol.14, issue.6, pp.741-757, 2004.
DOI : 10.1017/S0956796804005192

G. H. Cooper and S. Krishnamurthi, Embedding Dynamic Dataflow in a Call-by-Value Language, Proceedings of the '06 European Symposium on Programming, pp.294-308, 2006.
DOI : 10.1016/S0167-6423(99)00023-4

A. Courtney, Frapp??: Functional Reactive Programming in Java, Proceedings of the '01 International Symposium of Pratical Aspects of Declarative Languages, 2001.
DOI : 10.1007/3-540-45241-9_3

A. Courtney and C. Elliott, Genuinely functional user interfaces, Proceedings of the '01 Haskell Workshop, 2001.

A. Courtney, H. Nilsson, and J. Peterson, The Yampa arcade, Proceedings of the ACM SIGPLAN workshop on Haskell , Haskell '03, pp.7-18, 2003.
DOI : 10.1145/871895.871897

T. Dokken and J. Thomassen, Overview of approximate implicitization, AMS series on Contemporary Mathematics CONM, vol.334, issue.281, pp.169-184, 2003.
DOI : 10.1090/conm/334/05981

R. K. Dyvbig, P. Jones, S. Sabry, and A. , A monadic framework for delimited continuations, Journal of Functional Programming, vol.38, issue.06, pp.687-730, 2007.
DOI : 10.1007/BF01018827

D. S. Ebert, Texturing & modeling: a procedural approach, 2003.

C. Elliott, Functional implementations of continuous modeled animation, Proceedings of the 10th International Symposium on Principles of Declarative Programming, pp.284-299, 1998.
DOI : 10.1007/BFb0056621

C. Elliott, Functional image synthesis, Proceedings of Bridges, 2001.

C. Elliott, Programming graphics processors functionally, Proceedings of the ACM SIGPLAN workshop on Haskell , Haskell '04, pp.45-56, 2004.
DOI : 10.1145/1017472.1017482

C. Elliott, Beautiful di?erentiation, International Conference on Functional Programming (ICFP), 2009.

C. Elliott, Push-pull functional reactive programming, Proceedings of the 2nd ACM SIGPLAN symposium on Haskell, Haskell '09, 2009.
DOI : 10.1145/1596638.1596643

C. Elliott and P. Hudak, Functional reactive animation, Proceedings of the 1997 International Conference on Functional Programming, pp.163-173, 1997.

A. Filinski, Representing monads, Proceedings of the 21st ACM SIGPLAN-SIGACT symposium on Principles of programming languages , POPL '94, pp.446-457, 1994.
DOI : 10.1145/174675.178047

S. Finne and S. P. Jones, Pictures: A simple structured graphics model, Glasgow Functional Programming Workshop, 1995.

D. P. Friedman, The mystery of the tower revealed: A nonreflective description of the reflective tower, LISP and Symbolic Computation, vol.1, issue.1, pp.298-307, 1988.

J. Gibbons, Abstract, Journal of Functional Programming, vol.6, issue.03, pp.535-562, 1996.
DOI : 10.1007/BF00289576

G. Greif, Thrists: Dominoes of data. Internet draft, 2011.

M. Hasan, M. S. Rahman, and T. Nishizeki, A linear algorithm for compact box-drawings of trees, Networks, vol.20, issue.3, pp.160-164, 2003.
DOI : 10.1002/net.10092

R. Hinze, Deriving backtracking monad transformers, Proceedings of the 5th International Conference on Functional Programming, pp.186-197, 2000.

R. Hinze and R. Paterson, Finger trees: a simple general-purpose data structure, Journal of Functional Programming, vol.16, issue.02, pp.197-217, 2006.
DOI : 10.1017/S0956796805005769

C. M. Ho?mann, Implicit curves and surfaces in CAGD, IEEE Computer Graphics and Applications, vol.13, pp.79-88, 1993.

P. Hudak, A. Courtney, H. Nilsson, and J. Peterson, Arrows, Robots, and Functional Reactive Programming, '02 Summer School on Advanced Functional Programming, pp.159-187, 2003.
DOI : 10.1007/978-3-540-44833-4_6

J. Hughes, A novel representation of lists and its application to the function ???reverse???, Information Processing Letters, vol.22, issue.3, pp.141-144, 1986.
DOI : 10.1016/0020-0190(86)90059-1

J. Hughes, Generalising monads to arrows, Science of Computer Programming, vol.37, issue.1-3, pp.67-111, 2000.
DOI : 10.1016/S0167-6423(99)00023-4

M. Jaskelio?, Modular monad transformers, In Transactions on Programming Languages and Systems, pp.64-79, 2009.

A. S. Je?rey, Causality for free!: Parametricity implies causality for functional reactive programs, Programming Languages meets Program Verification , PLPV '13, 2013.

B. Johnson and B. Shneiderman, Tree-maps: a space-filling approach to the visualization of hierarchical information structures, Proceeding Visualization '91, pp.284-291, 1991.
DOI : 10.1109/VISUAL.1991.175815

M. P. Jones and L. Duponcheel, Composing monads, Research Report YALEU, 1993.

O. Kammar, S. Lindley, and N. Oury, Handlers in action, Proceedings of the '13 International Conference on Functional Programming, 2013.

H. Kaplan and R. E. Tarjan, Purely functional, real-time deques with catenation, Journal of the ACM, vol.46, issue.5, pp.577-603, 1999.
DOI : 10.1145/324133.324139

H. Kaplan and R. E. Tarjan, Purely functional, real-time deques with catenation, Journal of the ACM, vol.46, issue.5, pp.577-603, 1999.
DOI : 10.1145/324133.324139

J. Karczmarczuk, Geometric modelling in functional style, Proceedings of the III Latino-American Workshop on Functional Programming, CLAPF'99, pp.8-9, 1999.

J. Bibliography-karczmarczuk, Functional approach to texture generation, Proceedings of the 4th International Symposium on Practical Aspects of Declarative Languages, PADL '02, pp.225-242, 2002.

A. Katifori, C. Halatsis, G. Lepouras, C. Vassilakis, and E. Giannopoulou, Ontology visualization methods---a survey, ACM Computing Surveys, vol.39, issue.4, p.10, 2007.
DOI : 10.1145/1287620.1287621

A. Kennedy, Abstract, Journal of Functional Programming, vol.6, issue.03, pp.527-534, 1996.
DOI : 10.1109/TSE.1979.234212

O. Kiselyov, Iteratees, Proceedings of the 11th International Symposium on Functional and Logic Programming, pp.166-181, 2012.
DOI : 10.1007/978-3-642-29822-6_15

O. Kiselyov, A. Sabry, and C. Swords, Extensible e?ects: An alternative to monad transformers, Proceedings of the '13 Symposium on Haskell, pp.59-70, 2013.

O. Kiselyov, C. Shan, D. P. Friedman, and A. Sabry, Backtracking, interleaving, and terminating monad transformers (functional pearl), Proceedings of the 10th International Conference on Functional Programming, pp.192-203, 2005.
DOI : 10.1145/1086365.1086390

E. Kleiberg, H. Van-de-wetering, V. Wijk, and J. J. , Botanical visualization of huge hierarchies, IEEE Symposium on Information Visualization, 2001. INFOVIS 2001., pp.87-94, 2001.
DOI : 10.1109/INFVIS.2001.963285

P. Klint, B. Lisser, and A. Van-der-ploeg, Towards a One-Stop-Shop for Analysis, Transformation and Visualization of Software, Proceedings of the Fourth International Conference on Software Language Engineering, pp.1-18, 2011.
DOI : 10.1007/978-3-642-28830-2_1

D. E. Knuth, Optimum binary search trees, Acta Informatica, vol.6, issue.1, pp.14-25, 1971.
DOI : 10.1007/BF00264289

J. Lamping, R. Rao, and P. Pirolli, A focus+context technique based on hyperbolic geometry for visualizing large hierarchies, Proceedings of the SIGCHI conference on Human factors in computing systems, CHI '95, pp.401-408, 1995.
DOI : 10.1145/223904.223956

M. Lanza and S. Ducasse, Polymetric views -a lightweight visual approach to reverse engineering. Software Engineering, IEEE Transactions on, issue.9, p.29, 2003.

M. Lanza and S. Ducasse, Polymetric views - A lightweight visual approach to reverse engineering, IEEE Transactions on Software Engineering, vol.29, issue.9, pp.782-795, 2003.
DOI : 10.1109/TSE.2003.1232284

S. Liang, P. Hudak, and M. Jones, Monad transformers and modular interpreters, Proceedings of the 22nd ACM SIGPLAN-SIGACT symposium on Principles of programming languages , POPL '95, pp.333-343, 1995.
DOI : 10.1145/199448.199528

URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.17.268

C. Lin, Programming monads operationally with unimo, Proceedings of the 11th International Conference on Functional Programming, pp.274-285, 2006.

Y. L. Ma and W. T. Hewitt, Point inversion and projection for NURBS curve and surface: Control polygon approach, Computer Aided Geometric Design, vol.20, issue.2, pp.79-99, 2003.
DOI : 10.1016/S0167-8396(03)00021-9

I. Maier and M. Odersky, Deprecating the Observer Pattern with Scala.react, LAMP, 2012.

K. Marriott and P. Sbarski, Compact layout of layered trees, Proceedings of the 13th Australasian conference on Computer science, pp.7-14, 2007.

K. Marriott, P. Sbarski, T. Van-gelder, D. Prager, and A. Bulka, Hi-Trees and Their Layout, IEEE Transactions on Visualization and Computer Graphics, vol.17, issue.3, pp.290-304, 2011.
DOI : 10.1109/TVCG.2010.45

K. Matlage and A. Gill, ChalkBoard: Mapping Functions to Polygons, Proceedings of the Symposium on Implementation and Application of Functional Languages, 2009.
DOI : 10.1007/978-3-642-16478-1_4

URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.458.2349

C. Mcbride and R. Paterson, Applicative programming with e?ects, Journal of Functional Programming, vol.18, issue.1, pp.1-13, 2008.

L. A. Meyerovich, A. Guha, J. Baskin, G. H. Cooper, M. Greenberg et al., Flapjax: a programming language for Ajax applications, Proceedings of the '09 Conference on Object oriented programming systems languages and applications, pp.1-20, 2009.

Y. Miyadera, K. Anzai, H. Unno, Y. , and T. , Depth-first layout algorithm for trees, Information Processing Letters, vol.66, issue.4, pp.187-194, 1998.
DOI : 10.1016/S0020-0190(98)00068-4

S. Moen, Drawing dynamic trees, IEEE Software, vol.7, issue.4, pp.21-28, 1990.
DOI : 10.1109/52.56447

Q. V. Nguyen and M. L. Huang, A space-optimized tree visualization, Information Visualization, pp.85-92, 2002.

H. Nilsson, Dynamic optimization for functional reactive programming using generalized algebraic data types, Proceedings of the tenth ACM SIG- PLAN international conference on Functional programming, ICFP '05, pp.54-65, 2005.

H. Nilsson, A. Courtney, and J. Peterson, Functional reactive programming, continued, Proceedings of the ACM SIGPLAN workshop on Haskell , Haskell '02, pp.51-64, 2002.
DOI : 10.1145/581690.581695

C. Okasaki, Abstract, Journal of Functional Programming, vol.5, issue.04, pp.583-592, 1995.
DOI : 10.1017/S0956796800000526

C. Okasaki, Purely Functional Data Structures, 1998.
DOI : 10.1017/CBO9780511530104

URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.62.505

S. Parent, A possible future of software development. Presentation, 2006.

R. Paterson, A new notation for arrows, Proceedings of the '01 international conference on Functional programming, pp.229-240, 2001.

J. Peterson, G. Hager, and P. Hudak, A language for declarative robotic programming, Proceedings 1999 IEEE International Conference on Robotics and Automation (Cat. No.99CH36288C), 1999.
DOI : 10.1109/ROBOT.1999.772516

J. Peterson, P. Hudak, E. , and C. , Lambda in Motion: Controlling Robots with Haskell, Proceedings of the 1th International Workshop on Practical Aspects of' Declarative Languages, 1999.
DOI : 10.1007/3-540-49201-1_7

J. Peterson, P. Hudak, A. Reid, and G. Hager, FVision: A Declarative Language for Visual Tracking, Proceedings of the '01 International Workshop on Practical Aspects of Declarative Languages, PADL '01, pp.304-321, 2001.
DOI : 10.1007/3-540-45241-9_21

E. Pietriga, A Toolkit for Addressing HCI Issues in Visual Language Environments, 2005 IEEE Symposium on Visual Languages and Human-Centric Computing (VL/HCC'05), pp.145-152, 2005.
DOI : 10.1109/VLHCC.2005.11

URL : https://hal.archives-ouvertes.fr/inria-00107339

E. Pietriga, O. Bau, and C. Appert, Representation-Independent In-Place Magnification with Sigma Lenses, IEEE Transactions on Visualization and Computer Graphics, vol.16, issue.3, pp.455-467, 2010.
DOI : 10.1109/TVCG.2009.98

URL : https://hal.archives-ouvertes.fr/inria-00467658

J. Ragan-kelley, A. Adams, S. Paris, M. Levoy, S. Amarasinghe et al., Decoupling algorithms from schedules for easy optimization of image processing pipelines, ACM Transactions on Graphics, vol.31, issue.4, p.3132, 2012.
DOI : 10.1145/2185520.2185528

E. M. Reingold and J. S. Tilford, Tidier Drawings of Trees, IEEE Transactions on Software Engineering, vol.7, issue.2, pp.223-228, 1981.
DOI : 10.1109/TSE.1981.234519

G. G. Robertson, J. D. Mackinlay, and S. K. Card, Cone Trees, Proceedings of the SIGCHI conference on Human factors in computing systems Reaching through technology, CHI '91, pp.189-194, 1991.
DOI : 10.1145/108844.108883

B. Schieber and U. Vishkin, On Finding Lowest Common Ancestors: Simplification and Parallelization, SIAM Journal on Computing, vol.17, issue.6, pp.1253-1262, 1988.
DOI : 10.1137/0217079

P. J. Schneider, AN ALGORITHM FOR AUTOMATICALLY FITTING DIGITIZED CURVES, Graphics gems, pp.612-626, 1990.
DOI : 10.1016/B978-0-08-050753-8.50132-7

N. Sculthorpe and H. Nilsson, Safe functional reactive programming through dependent types, Proceedings of the '09 International conference on Functional programming, ICFP '09, pp.23-34, 2009.

T. W. Sederberg, D. C. Anderson, and R. N. Goldman, Implicit representation of parametric curves and surfaces, Computer Vision, Graphics, and Image Processing, pp.72-84, 1984.

B. Stein and F. Benteler, On the generalized box-drawing of trees: Survey and new technology, Proceeding of I-KNOW '07, 2007.

K. Supowit and E. Reingold, The complexity of drawing trees nicely, Acta Informatica, vol.5, issue.4, pp.377-392, 1983.
DOI : 10.1007/BF00289576

W. Swierstra, Data typesàtypesà la carte, Journal of Functional Programming, vol.18, issue.4, pp.423-436, 2008.

I. G. Tollis, D. Battista, G. Eades, P. Tamassia, and R. , Graph Drawing: Algorithms for the Visualization of Graphs, 1998.
DOI : 10.1007/978-3-642-00219-9

A. Van-der-ploeg, Monadic functional reactive programming, Proceedings of the 2013 ACM SIGPLAN symposium on Haskell, Haskell '13, pp.117-128, 2013.
DOI : 10.1145/2503778.2503783

URL : https://hal.archives-ouvertes.fr/hal-00923382

J. J. Van-wijk and H. Van-de-wetering, Cushion treemaps: visualization of hierarchical information, Proceedings 1999 IEEE Symposium on Information Visualization (InfoVis'99), pp.73-78, 1999.
DOI : 10.1109/INFVIS.1999.801860

J. G. Vaucher, Pretty-printing of trees. Software: Practice and Experience, pp.553-561, 1980.

J. Voigtländer, Asymptotic Improvement of Computations over Free Monads, Proceedings of the 9th International Conference on Mathematics of Program Construction, pp.388-403, 2008.
DOI : 10.1007/978-3-540-70594-9_20

V. Landesberger, T. Kuijper, A. Schreck, T. Kohlhammer, J. Van-wijk et al., Visual Analysis of Large Graphs: State-of-the-Art and Future Research Challenges, Computer Graphics Forum, vol.6, issue.5, pp.301719-1749, 2011.
DOI : 10.1111/j.1467-8659.2011.01898.x

URL : https://hal.archives-ouvertes.fr/hal-00712779

P. Wadler, Views: a way for pattern matching to cohabit with data abstraction, Proceedings of the 14th ACM SIGACT-SIGPLAN symposium on Principles of programming languages , POPL '87, pp.307-313, 1987.
DOI : 10.1145/41625.41653

I. Walker and J. Q. , A node-positioning algorithm for general trees. Software: Practice and Experience, pp.685-705, 1990.

M. Wand and D. Vaillancourt, Relating models of backtracking, Proceedings of the 9th International Conference on Functional Programming, pp.54-65, 2004.

C. Wetherell and A. Shannon, Tidy Drawings of Trees, IEEE Transactions on Software Engineering, vol.5, issue.5, pp.514-520, 1979.
DOI : 10.1109/TSE.1979.234212

L. Xiaohong and H. Jingwei, An improved generalized tree layout algorithm, 2010 2nd International Asia Conference on Informatics in Control, Automation and Robotics (CAR 2010), pp.163-166, 2010.
DOI : 10.1109/CAR.2010.5456745

M. H. Verhoef, Modeling and Validating Distributed Embedded Real- Time Control Systems, Faculty of Science , Mathematics and Computer Science, pp.2009-2010

M. De-mol, Reasoning about Functional Programs: Sparkle, a proof assistant for Clean, Faculty of Science, Mathematics and Computer Science, pp.2009-2011

M. Lormans, Managing Requirements Evolution, Faculty of Electrical Engineering, Mathematics, and Computer Science, pp.2009-2012

M. P. Van-osch, Automated Model-based Testing of Hybrid Systems, Faculty of Mathematics and Computer Science, pp.2009-2013

H. Sozer, Architecting Fault-Tolerant Software Systems. Faculty of Electrical Engineering, Mathematics & Computer Science, UT, pp.2009-2014

H. H. Hansen, Coalgebraic Modelling: Applications in Automata Theory and Modal Logic, Faculty of Sciences , Division of Mathematics and Computer Science, pp.2009-2016

A. Mesbah, Analysis and Testing of Ajax-based Single-page Web Applications, Faculty of Electrical Engineering , Mathematics, and Computer Science, pp.2009-2017

A. L. Rodriguez-yakushev, Towards Getting Generic Programming Ready for Prime Time. Faculty of Science, pp.2009-2018

K. R. Jo?ré, Strategies for Context Sensitive Program Trans- formation. Faculty of Science, pp.2009-2019

J. A. Van-den and . Berg, Reasoning about Java programs in PVS using JML. Faculty of Science, Mathematics and Computer Science, pp.2009-2020

M. G. Khatib, MEMS-Based Storage Devices Integration in Energy- Constrained Mobile Systems. Faculty of Electrical Engineering, Mathematics & Computer Science, pp.2009-2021

G. M. Cornelissen, Evaluating Dynamic Analysis Techniques for Program Comprehension, Faculty of Electrical Engineering, Mathematics, and Computer Science, pp.2009-2022

D. Bolzoni, Revisiting Anomalybased Network Intrusion Detection Systems. Faculty of Electrical Engineering, Mathematics & Computer Science, UT, pp.2009-2023

L. Jonker, Security Matters: Privacy in Voting and Fairness in Digital Exchange, Faculty of Mathematics and Computer Science, pp.2009-2024

M. R. Czenko, TuLiP -Reshaping Trust Management. Faculty of Electrical Engineering, Mathematics & Computer Science, UT, pp.2009-2025
DOI : 10.3990/1.9789036528542

URL : http://eprints.eemcs.utwente.nl/15458/01/dissertation.pdf

T. Chen, Clocks, Dice and Processes . Faculty of Sciences, pp.2009-2026

. Kaliszyk, Correctness and Availability: Building Computer Algebra on top of Proof Assistants and making Proof Assistants available over the Web, Faculty of Science, Mathematics and Computer Science, pp.2009-2027

R. S. Connor, Incompleteness & Completeness: Formalizing Logic and Analysis in Type Theory, Faculty of Science, Mathematics and Computer Science, pp.2009-2028

B. Ploeger, Improved Verification Methods for Concurrent Systems, Faculty of Mathematics and Computer Science, 1920.

T. Han, Diagnosis, Synthesis and Analysis of Probabilistic Models . Faculty of Electrical Engineering, Mathematics & Computer Science, pp.2009-2030

. Li, Mixed-Integer Evolution Strategies for Parameter Optimization and Their Applications to Medical Image Analysis, Faculty of Mathematics and Natural Sciences, pp.2009-2031

J. H. Kwisthout, The Computational Complexity of Probabilistic Networks . Faculty of Science, pp.2009-2032

T. K. Cocx, Algorithmic Tools for Data-Oriented Law Enforcement, Faculty of Mathematics and Natural Sciences, pp.2009-2033

M. A. Dekker, Flexible Access Control for Dynamic Collaborative Environments . Faculty of Electrical Engineering, Mathematics & Computer Science, pp.2009-2035

J. F. Laros, Metrics and Visualisation for Crime Analysis and Genomics, Faculty of Mathematics and Natural Sciences, pp.2009-2036

J. Boogerd, Focusing Automatic Code Inspections, Faculty of Electrical Engineering, Mathematics, and Computer Science, pp.2010-2011

M. R. Neuhäußer, Model Checking Nondeterministic and Randomly Timed Systems. Faculty of Electrical Engineering, Mathematics & Computer Science, pp.2010-2012

T. Staijen, Graph-Based Specification and Verification for Aspect-Oriented Languages. Faculty of Electrical Engineering, Mathematics & Computer Science, pp.2010-2014

Y. Wang, Epistemic Modelling and Protocol Dynamics. Faculty of Science, pp.2010-2015

J. K. Berendsen, Abstraction, Prices and Probability in Model Checking Timed Automata, Faculty of Science, Mathematics and Computer Science, pp.2010-2016

A. Nugroho, The E?ects of UML Modeling on the Quality of Software, Faculty of Mathematics and Natural Sciences, pp.2010-2017

J. S. De-bruin, Service-Oriented Discovery of Knowledge -Foundations , Implementations and Applications, Faculty of Mathematics and Natural Sciences, pp.2010-2019

D. Costa, Formal Models for Component Connectors, Faculty of Sciences , Division of Mathematics and Computer Science, pp.2010-2020

M. M. Jaghoori, Time at Your Service: Schedulability Analysis of Real- Time and Distributed Services, Faculty of Mathematics and Natural Sciences, pp.2010-2021

R. Bakhshi, Gossiping Models: Formal Analysis of Epidemic Protocols

J. Arnoldus, An Illumination of the Template Enigma: Software Code Generation with Templates, Faculty of Mathematics and Computer Science, pp.2011-2013

E. Zambon, Towards Optimal IT Availability Planning: Methods and Tools. Faculty of Electrical Engineering, Mathematics & Computer Science, pp.2011-2014
DOI : 10.3990/1.9789036531023

. Astefanoaei, An Executable Theory of Multi-Agent Systems Refinement, Faculty of Mathematics and Natural Sciences, pp.2011-2015

J. Proença, Synchronous coordination of distributed components, Faculty of Mathematics and Natural Sciences, pp.2011-2016

A. Moral?, IT Architecture-Based Confidentiality Risk Assessment in Networks of Organizations. Faculty of Electrical Engineering, Mathematics & Computer Science, pp.2011-2017

M. Van, On changing models in Model-Based Testing. Faculty of Electrical Engineering, Mathematics & Computer Science, pp.2011-2018

C. Krause, Reconfigurable Component Connectors, Faculty of Mathematics and Natural Sciences, pp.2011-2019

M. E. Andrés, Quantitative Analysis of Information Leakage in Probabilistic and Nondeterministic Systems, Faculty of Science, Mathematics and Computer Science, pp.2011-2020

M. Atif, Formal Modeling and Verification of Distributed Failure Detectors, Faculty of Mathematics and Computer Science, pp.2011-2021

P. J. Van-tilburg, From Computability to Executability ? A processtheoretic view on automata theory, Faculty of Mathematics and Computer Science, pp.2011-2022

Z. Protic, Configuration management for models: Generic methods for model comparison and model coevolution, Faculty of Mathematics and Computer Science, pp.2011-2023

S. Georgievska, Probability and Hiding in Concurrent Processes, Faculty of Mathematics and Computer Science, pp.2011-2024

S. Malakuti, Event Composition Model: Achieving Naturalness in Runtime Enforcement. Faculty of Electrical Engineering, Mathematics & Computer Science, pp.2011-2025

M. Ra?elsieper, Cell Libraries and Verification, Faculty of Mathematics and Computer Science, pp.2011-2026

P. Tsirogiannis, Analysis of Flow and Visibility on Triangulated Terrains, Faculty of Mathematics and Computer Science, pp.2011-2027

Y. Moon, Stochastic Models for Quality of Service of Component Connectors, Faculty of Mathematics and Natural Sciences, pp.2011-2028

R. Middelkoop, Capturing and Exploiting Abstract Views of States in OO Verification, Faculty of Mathematics and Computer Science, pp.2011-2029

M. F. Van-amstel, Assessing and Improving the Quality of Model Transformations, Faculty of Mathematics and Computer Science, pp.2011-2030

A. N. Tamalet, Towards Correct Programs in Practice, Faculty of Science, Mathematics and Computer Science, pp.2011-2031

M. Izadi, Model Checking of Component Connectors, 31st Annual International Computer Software and Applications Conference, Vol. 1- (COMPSAC 2007), pp.2011-2033
DOI : 10.1109/COMPSAC.2007.153

L. C. Kats, Building Blocks for Language Workbenches, Faculty of Electrical Engineering, Mathematics, and Computer Science, pp.2011-2034

S. Kemper, Modelling and Analysis of Real-Time Coordination Patterns, Faculty of Mathematics and Natural Sciences, pp.2011-2035

A. Khosravi, Optimal Geometric Data Structures, Faculty of Mathematics and Computer Science, pp.2012-2013

A. Middelkoop, Inference of Program Properties with Attribute Grammars , Revisited. Faculty of Science, pp.2012-2014

T. Dimkov, Alignment of Organizational Security Policies: Theory and Practice. Faculty of Electrical Engineering, Mathematics & Computer Science, pp.2012-2016

. Sedghi, Mathematics & Computer Science, UT. 2012-05 F. Heidarian Dehkordi. Studies on Verification of Wireless Sensor Networks and Abstraction Learning for System Inference, Faculty of Science, Mathematics and Computer Science, pp.2012-2018

K. Verbeek, Algorithms for Cartographic Visualization, Faculty of Mathematics and Computer Science, pp.2012-2019

D. E. Agut, A Compositional Interchange Format for Hybrid Systems: Design and Implementation, pp.2012-2020

H. Rahmani, Analysis of Protein- Protein Interaction Networks by Means of Annotated Graph Mining Algorithms, Faculty of Mathematics and Natural Sciences, pp.2012-2021

S. D. Vermolen, Software Language Evolution, 2008 15th Working Conference on Reverse Engineering, pp.2012-2022
DOI : 10.1109/WCRE.2008.42

L. J. Engelen, From Napkin Sketches to Reliable Software, Faculty of Mathematics and Computer Science, pp.2012-2023

P. M. Stappers, Bridging Formal Models ? An Engineering Perspective, Faculty of Mathematics and Computer Science, pp.2012-2024

W. Heijstek, Software Architecture Design in Global and Model-Centric Software Development, Faculty of Mathematics and Natural Sciences, pp.2012-2025

C. Kop, Higher Order Termination. Faculty of Sciences, pp.2012-2026

A. Osaiweran, Formal Development of Control Software in the Medical Systems Domain, Faculty of Mathematics and Computer Science, pp.2012-2027

W. Kuijper, Compositional Synthesis of Safety Controllers. Faculty of Electrical Engineering, Mathematics & Computer Science, UT, pp.2012-2028

H. Beohar, Refinement of Communication and States in Models of Embedded Systems, Faculty of Mathematics and Computer Science, pp.2013-2014

G. Igna, Performance Analysis of Real-Time Task Systems using Timed Automata, Faculty of Science, Mathematics and Computer Science, pp.2013-2015

E. Zambon, Abstract Graph Transformation ? Theory and Practice. Faculty of Electrical Engineering, Mathematics & Computer Science, UT, pp.2013-2016

B. Lijnse, TOP to the Rescue ? Task-Oriented Programming for Incident Response Applications, Faculty of Science, Mathematics and Computer Science, pp.2013-2017

G. T. De-koning and . Gans, Outsmarting Smart Cards, Faculty of Science, Mathematics and Computer Science, pp.2013-2018

M. S. Greiler, Test Suite Comprehension for Modular and Dynamic Systems, Faculty of Electrical Engineering , Mathematics, and Computer Science, pp.2013-2019

L. E. Mamane, Interactive mathematical documents: creation and presentation, Faculty of Science, Mathematics and Computer Science, pp.2013-2020

M. M. Van, Composition and synchronization of realtime components upon one processor, Faculty of Mathematics and Computer Science, pp.2013-2021

J. Businge, Co-evolution of the Eclipse SDK Framework and Its Third-Party Plug-Ins, 2013 17th European Conference on Software Maintenance and Reengineering, pp.2013-2022
DOI : 10.1109/CSMR.2013.64

S. Van-der-burg, A Reference Architecture for Distributed Software Deployment, Faculty of Electrical Engineering , Mathematics, and Computer Science, pp.2013-2023

J. J. Keiren, Advanced Reduction Techniques for Model Checking, Faculty of Mathematics and Computer Science, pp.2013-2024

D. H. Gerrits, Pushing and Pulling: Computing push plans for disk-shaped robots, and dynamic labelings for moving points, Faculty of Mathematics and Computer Science, pp.2013-2025

M. Timmer, Ecient Modelling, Generation and Analysis of Markov Automata. Faculty of Electrical Engineering, Mathematics & Computer Science, pp.2013-2026

M. J. Roelo?zen, Kinetic Data Structures in the Black-Box Model, Faculty of Mathematics and Computer Science, pp.2013-2027

L. Lensink, Applying Formal Methods in Software Development, Faculty of Science, Mathematics and Computer Science, pp.2013-2028

C. Tankink, Documentation and Formal Mathematics ? Web Technology meets Proof Assistants, Faculty of Science , Mathematics and Computer Science, pp.2013-2029

C. De-gouw, Combining Monitoring with Run-time Assertion Checking, Faculty of Mathematics and Natural Sciences, pp.2013-2030

J. Van-den-bos, Gathering Evidence: Model-Driven Software Engineering in Automated Digital Forensics. Faculty of Science, pp.2014-2015

D. Hadziosmanovic, The Process Matters: Cyber Security in Industrial Control Systems. Faculty of Electrical Engineering, Mathematics & Computer Science, pp.2014-2016

J. P. Jeckmans, Cryptographically- Enhanced Privacy for Recommender Systems. Faculty of Electrical Engineering, Mathematics & Computer Science, pp.2014-2017

C. Bezemer, Performance Optimization of Multi-Tenant Software Systems, Faculty of Electrical Engineering , Mathematics, and Computer Science, pp.2014-2018

M. Ngo, Qualitative and Quantitative Information Flow Analysis for Multi-threaded Programs. Faculty of Electrical Engineering, Mathematics & Computer Science, pp.2014-2019
DOI : 10.3990/1.9789036536523

URL : http://eprints.eemcs.utwente.nl/25567/01/thesis.2014.05.pdf

A. W. Laarman, Scalable Multi-Core Model Checking. Faculty of Electrical Engineering, Mathematics & Computer Science, pp.2014-2020
DOI : 10.3990/1.9789036536561

URL : http://eprints.eemcs.utwente.nl/25673/01/thesis_A_Laarman.pdf

J. Winter, Coalgebraic Characterizations of Automata-Theoretic Classes. Faculty of Science, Mathematics and Computer Science, pp.2014-2021

W. Meulemans, Similarity Measures and Algorithms for Cartographic Schematization, Faculty of Mathematics and Computer Science, pp.2014-2022

A. F. Belinfante, JTorX: Exploring Model-Based Testing. Faculty of Electrical Engineering, Mathematics & Computer Science, pp.2014-2023
DOI : 10.3990/1.9789036537070

URL : http://eprints.eemcs.utwente.nl/25083/01/thesis_AFE_Belinfante-2014-09-03.pdf

A. P. Van-der-meer, Domain Specific Languages and their Type Systems . Faculty of Mathematics and Computer Science, 2014-10 B.N. Vasilescu. Social Aspects of Collaboration in Online Software Communities . Faculty of Mathematics and Computer Science, pp.2014-2025

F. D. Aarts, Tomte: Bridging the Gap between Active Learning and Real- World Systems. Faculty of Science, Mathematics and Computer Science, pp.2014-2026

N. Noroozi, Improving Input-Output Conformance Testing Theories, Faculty of Mathematics and Computer Science, pp.2014-2027

M. Helvensteijn, Abstract delta modeling, Proceedings of the 16th International Software Product Line Conference on, SPLC '12 -volume 1, pp.2014-2028
DOI : 10.1145/2364412.2364449

P. Vullers, Ecient Implementations of Attribute-based Credentials on Smart Cards, Faculty of Science, Mathematics and Computer Science, pp.2014-2029

W. Takes, Algorithms for Analyzing and Mining Real-World Graphs, Faculty of Mathematics and Natural Sciences, pp.2014-2030

. Alpár, Attribute-Based Identity Management: Bridging the Cryptographic Design of ABCs with the Real World, Faculty of Science, Mathematics and Computer Science, pp.2015-2016

J. Van and . Ploeg, Ecient Abstractions for Visualization and Interaction. Faculty of Science, pp.2015-2017