Category theory, 2006. ,
DOI : 10.1093/acprof:oso/9780198568612.001.0001
Algebra of communicating processes with abstraction. Theoretical computer science, pp.77-121, 1985. ,
Coroutine pipelines, The Monad Reader, vol.19, pp.29-50, 2011. ,
Aesthetic layout of generalized trees. Software: Practice and Experience, pp.817-827, 1993. ,
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
A Theory of Communicating Sequential Processes, Journal of the ACM, vol.31, issue.3, pp.560-599, 1984. ,
DOI : 10.1145/828.833
Drawing rooted trees in linear time. Software: Practice and Experience, pp.651-665, 2006. ,
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
REPARAMETRIZATION OF NURBS CURVES, International Journal of Shape Modeling, vol.02, issue.02n03, pp.103-116, 1996. ,
DOI : 10.1142/S0218654396000075
FUNCTIONAL PEARL Parallel Parsing Processes, Journal of Functional Programming, vol.14, issue.6, pp.741-757, 2004. ,
DOI : 10.1017/S0956796804005192
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
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
Genuinely functional user interfaces, Proceedings of the '01 Haskell Workshop, 2001. ,
The Yampa arcade, Proceedings of the ACM SIGPLAN workshop on Haskell , Haskell '03, pp.7-18, 2003. ,
DOI : 10.1145/871895.871897
Overview of approximate implicitization, AMS series on Contemporary Mathematics CONM, vol.334, issue.281, pp.169-184, 2003. ,
DOI : 10.1090/conm/334/05981
A monadic framework for delimited continuations, Journal of Functional Programming, vol.38, issue.06, pp.687-730, 2007. ,
DOI : 10.1007/BF01018827
Texturing & modeling: a procedural approach, 2003. ,
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
Functional image synthesis, Proceedings of Bridges, 2001. ,
Programming graphics processors functionally, Proceedings of the ACM SIGPLAN workshop on Haskell , Haskell '04, pp.45-56, 2004. ,
DOI : 10.1145/1017472.1017482
Beautiful di?erentiation, International Conference on Functional Programming (ICFP), 2009. ,
Push-pull functional reactive programming, Proceedings of the 2nd ACM SIGPLAN symposium on Haskell, Haskell '09, 2009. ,
DOI : 10.1145/1596638.1596643
Functional reactive animation, Proceedings of the 1997 International Conference on Functional Programming, pp.163-173, 1997. ,
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
Pictures: A simple structured graphics model, Glasgow Functional Programming Workshop, 1995. ,
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. ,
Abstract, Journal of Functional Programming, vol.6, issue.03, pp.535-562, 1996. ,
DOI : 10.1007/BF00289576
Thrists: Dominoes of data. Internet draft, 2011. ,
A linear algorithm for compact box-drawings of trees, Networks, vol.20, issue.3, pp.160-164, 2003. ,
DOI : 10.1002/net.10092
Deriving backtracking monad transformers, Proceedings of the 5th International Conference on Functional Programming, pp.186-197, 2000. ,
Finger trees: a simple general-purpose data structure, Journal of Functional Programming, vol.16, issue.02, pp.197-217, 2006. ,
DOI : 10.1017/S0956796805005769
Implicit curves and surfaces in CAGD, IEEE Computer Graphics and Applications, vol.13, pp.79-88, 1993. ,
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
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
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
Modular monad transformers, In Transactions on Programming Languages and Systems, pp.64-79, 2009. ,
Causality for free!: Parametricity implies causality for functional reactive programs, Programming Languages meets Program Verification , PLPV '13, 2013. ,
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
Composing monads, Research Report YALEU, 1993. ,
Handlers in action, Proceedings of the '13 International Conference on Functional Programming, 2013. ,
Purely functional, real-time deques with catenation, Journal of the ACM, vol.46, issue.5, pp.577-603, 1999. ,
DOI : 10.1145/324133.324139
Purely functional, real-time deques with catenation, Journal of the ACM, vol.46, issue.5, pp.577-603, 1999. ,
DOI : 10.1145/324133.324139
Geometric modelling in functional style, Proceedings of the III Latino-American Workshop on Functional Programming, CLAPF'99, pp.8-9, 1999. ,
Functional approach to texture generation, Proceedings of the 4th International Symposium on Practical Aspects of Declarative Languages, PADL '02, pp.225-242, 2002. ,
Ontology visualization methods---a survey, ACM Computing Surveys, vol.39, issue.4, p.10, 2007. ,
DOI : 10.1145/1287620.1287621
Abstract, Journal of Functional Programming, vol.6, issue.03, pp.527-534, 1996. ,
DOI : 10.1109/TSE.1979.234212
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
Extensible e?ects: An alternative to monad transformers, Proceedings of the '13 Symposium on Haskell, pp.59-70, 2013. ,
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
Botanical visualization of huge hierarchies, IEEE Symposium on Information Visualization, 2001. INFOVIS 2001., pp.87-94, 2001. ,
DOI : 10.1109/INFVIS.2001.963285
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
Optimum binary search trees, Acta Informatica, vol.6, issue.1, pp.14-25, 1971. ,
DOI : 10.1007/BF00264289
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
Polymetric views -a lightweight visual approach to reverse engineering. Software Engineering, IEEE Transactions on, issue.9, p.29, 2003. ,
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
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
Programming monads operationally with unimo, Proceedings of the 11th International Conference on Functional Programming, pp.274-285, 2006. ,
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
Deprecating the Observer Pattern with Scala.react, LAMP, 2012. ,
Compact layout of layered trees, Proceedings of the 13th Australasian conference on Computer science, pp.7-14, 2007. ,
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
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
Applicative programming with e?ects, Journal of Functional Programming, vol.18, issue.1, pp.1-13, 2008. ,
Flapjax: a programming language for Ajax applications, Proceedings of the '09 Conference on Object oriented programming systems languages and applications, pp.1-20, 2009. ,
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
Drawing dynamic trees, IEEE Software, vol.7, issue.4, pp.21-28, 1990. ,
DOI : 10.1109/52.56447
A space-optimized tree visualization, Information Visualization, pp.85-92, 2002. ,
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. ,
Functional reactive programming, continued, Proceedings of the ACM SIGPLAN workshop on Haskell , Haskell '02, pp.51-64, 2002. ,
DOI : 10.1145/581690.581695
Abstract, Journal of Functional Programming, vol.5, issue.04, pp.583-592, 1995. ,
DOI : 10.1017/S0956796800000526
Purely Functional Data Structures, 1998. ,
DOI : 10.1017/CBO9780511530104
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.62.505
A possible future of software development. Presentation, 2006. ,
A new notation for arrows, Proceedings of the '01 international conference on Functional programming, pp.229-240, 2001. ,
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
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
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
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
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
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
Tidier Drawings of Trees, IEEE Transactions on Software Engineering, vol.7, issue.2, pp.223-228, 1981. ,
DOI : 10.1109/TSE.1981.234519
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
On Finding Lowest Common Ancestors: Simplification and Parallelization, SIAM Journal on Computing, vol.17, issue.6, pp.1253-1262, 1988. ,
DOI : 10.1137/0217079
AN ALGORITHM FOR AUTOMATICALLY FITTING DIGITIZED CURVES, Graphics gems, pp.612-626, 1990. ,
DOI : 10.1016/B978-0-08-050753-8.50132-7
Safe functional reactive programming through dependent types, Proceedings of the '09 International conference on Functional programming, ICFP '09, pp.23-34, 2009. ,
Implicit representation of parametric curves and surfaces, Computer Vision, Graphics, and Image Processing, pp.72-84, 1984. ,
On the generalized box-drawing of trees: Survey and new technology, Proceeding of I-KNOW '07, 2007. ,
The complexity of drawing trees nicely, Acta Informatica, vol.5, issue.4, pp.377-392, 1983. ,
DOI : 10.1007/BF00289576
Data typesàtypesà la carte, Journal of Functional Programming, vol.18, issue.4, pp.423-436, 2008. ,
Graph Drawing: Algorithms for the Visualization of Graphs, 1998. ,
DOI : 10.1007/978-3-642-00219-9
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
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
Pretty-printing of trees. Software: Practice and Experience, pp.553-561, 1980. ,
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
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
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
A node-positioning algorithm for general trees. Software: Practice and Experience, pp.685-705, 1990. ,
Relating models of backtracking, Proceedings of the 9th International Conference on Functional Programming, pp.54-65, 2004. ,
Tidy Drawings of Trees, IEEE Transactions on Software Engineering, vol.5, issue.5, pp.514-520, 1979. ,
DOI : 10.1109/TSE.1979.234212
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
Modeling and Validating Distributed Embedded Real- Time Control Systems, Faculty of Science , Mathematics and Computer Science, pp.2009-2010 ,
Reasoning about Functional Programs: Sparkle, a proof assistant for Clean, Faculty of Science, Mathematics and Computer Science, pp.2009-2011 ,
Managing Requirements Evolution, Faculty of Electrical Engineering, Mathematics, and Computer Science, pp.2009-2012 ,
Automated Model-based Testing of Hybrid Systems, Faculty of Mathematics and Computer Science, pp.2009-2013 ,
Architecting Fault-Tolerant Software Systems. Faculty of Electrical Engineering, Mathematics & Computer Science, UT, pp.2009-2014 ,
Coalgebraic Modelling: Applications in Automata Theory and Modal Logic, Faculty of Sciences , Division of Mathematics and Computer Science, pp.2009-2016 ,
Analysis and Testing of Ajax-based Single-page Web Applications, Faculty of Electrical Engineering , Mathematics, and Computer Science, pp.2009-2017 ,
Towards Getting Generic Programming Ready for Prime Time. Faculty of Science, pp.2009-2018 ,
Strategies for Context Sensitive Program Trans- formation. Faculty of Science, pp.2009-2019 ,
Reasoning about Java programs in PVS using JML. Faculty of Science, Mathematics and Computer Science, pp.2009-2020 ,
MEMS-Based Storage Devices Integration in Energy- Constrained Mobile Systems. Faculty of Electrical Engineering, Mathematics & Computer Science, pp.2009-2021 ,
Evaluating Dynamic Analysis Techniques for Program Comprehension, Faculty of Electrical Engineering, Mathematics, and Computer Science, pp.2009-2022 ,
Revisiting Anomalybased Network Intrusion Detection Systems. Faculty of Electrical Engineering, Mathematics & Computer Science, UT, pp.2009-2023 ,
Security Matters: Privacy in Voting and Fairness in Digital Exchange, Faculty of Mathematics and Computer Science, pp.2009-2024 ,
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
Clocks, Dice and Processes . Faculty of Sciences, pp.2009-2026 ,
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 ,
Incompleteness & Completeness: Formalizing Logic and Analysis in Type Theory, Faculty of Science, Mathematics and Computer Science, pp.2009-2028 ,
Improved Verification Methods for Concurrent Systems, Faculty of Mathematics and Computer Science, 1920. ,
Diagnosis, Synthesis and Analysis of Probabilistic Models . Faculty of Electrical Engineering, Mathematics & Computer Science, pp.2009-2030 ,
Mixed-Integer Evolution Strategies for Parameter Optimization and Their Applications to Medical Image Analysis, Faculty of Mathematics and Natural Sciences, pp.2009-2031 ,
The Computational Complexity of Probabilistic Networks . Faculty of Science, pp.2009-2032 ,
Algorithmic Tools for Data-Oriented Law Enforcement, Faculty of Mathematics and Natural Sciences, pp.2009-2033 ,
Flexible Access Control for Dynamic Collaborative Environments . Faculty of Electrical Engineering, Mathematics & Computer Science, pp.2009-2035 ,
Metrics and Visualisation for Crime Analysis and Genomics, Faculty of Mathematics and Natural Sciences, pp.2009-2036 ,
Focusing Automatic Code Inspections, Faculty of Electrical Engineering, Mathematics, and Computer Science, pp.2010-2011 ,
Model Checking Nondeterministic and Randomly Timed Systems. Faculty of Electrical Engineering, Mathematics & Computer Science, pp.2010-2012 ,
Graph-Based Specification and Verification for Aspect-Oriented Languages. Faculty of Electrical Engineering, Mathematics & Computer Science, pp.2010-2014 ,
Epistemic Modelling and Protocol Dynamics. Faculty of Science, pp.2010-2015 ,
Abstraction, Prices and Probability in Model Checking Timed Automata, Faculty of Science, Mathematics and Computer Science, pp.2010-2016 ,
The E?ects of UML Modeling on the Quality of Software, Faculty of Mathematics and Natural Sciences, pp.2010-2017 ,
Service-Oriented Discovery of Knowledge -Foundations , Implementations and Applications, Faculty of Mathematics and Natural Sciences, pp.2010-2019 ,
Formal Models for Component Connectors, Faculty of Sciences , Division of Mathematics and Computer Science, pp.2010-2020 ,
Time at Your Service: Schedulability Analysis of Real- Time and Distributed Services, Faculty of Mathematics and Natural Sciences, pp.2010-2021 ,
Gossiping Models: Formal Analysis of Epidemic Protocols ,
An Illumination of the Template Enigma: Software Code Generation with Templates, Faculty of Mathematics and Computer Science, pp.2011-2013 ,
Towards Optimal IT Availability Planning: Methods and Tools. Faculty of Electrical Engineering, Mathematics & Computer Science, pp.2011-2014 ,
DOI : 10.3990/1.9789036531023
An Executable Theory of Multi-Agent Systems Refinement, Faculty of Mathematics and Natural Sciences, pp.2011-2015 ,
Synchronous coordination of distributed components, Faculty of Mathematics and Natural Sciences, pp.2011-2016 ,
IT Architecture-Based Confidentiality Risk Assessment in Networks of Organizations. Faculty of Electrical Engineering, Mathematics & Computer Science, pp.2011-2017 ,
On changing models in Model-Based Testing. Faculty of Electrical Engineering, Mathematics & Computer Science, pp.2011-2018 ,
Reconfigurable Component Connectors, Faculty of Mathematics and Natural Sciences, pp.2011-2019 ,
Quantitative Analysis of Information Leakage in Probabilistic and Nondeterministic Systems, Faculty of Science, Mathematics and Computer Science, pp.2011-2020 ,
Formal Modeling and Verification of Distributed Failure Detectors, Faculty of Mathematics and Computer Science, pp.2011-2021 ,
From Computability to Executability ? A processtheoretic view on automata theory, Faculty of Mathematics and Computer Science, pp.2011-2022 ,
Configuration management for models: Generic methods for model comparison and model coevolution, Faculty of Mathematics and Computer Science, pp.2011-2023 ,
Probability and Hiding in Concurrent Processes, Faculty of Mathematics and Computer Science, pp.2011-2024 ,
Event Composition Model: Achieving Naturalness in Runtime Enforcement. Faculty of Electrical Engineering, Mathematics & Computer Science, pp.2011-2025 ,
Cell Libraries and Verification, Faculty of Mathematics and Computer Science, pp.2011-2026 ,
Analysis of Flow and Visibility on Triangulated Terrains, Faculty of Mathematics and Computer Science, pp.2011-2027 ,
Stochastic Models for Quality of Service of Component Connectors, Faculty of Mathematics and Natural Sciences, pp.2011-2028 ,
Capturing and Exploiting Abstract Views of States in OO Verification, Faculty of Mathematics and Computer Science, pp.2011-2029 ,
Assessing and Improving the Quality of Model Transformations, Faculty of Mathematics and Computer Science, pp.2011-2030 ,
Towards Correct Programs in Practice, Faculty of Science, Mathematics and Computer Science, pp.2011-2031 ,
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
Building Blocks for Language Workbenches, Faculty of Electrical Engineering, Mathematics, and Computer Science, pp.2011-2034 ,
Modelling and Analysis of Real-Time Coordination Patterns, Faculty of Mathematics and Natural Sciences, pp.2011-2035 ,
Optimal Geometric Data Structures, Faculty of Mathematics and Computer Science, pp.2012-2013 ,
Inference of Program Properties with Attribute Grammars , Revisited. Faculty of Science, pp.2012-2014 ,
Alignment of Organizational Security Policies: Theory and Practice. Faculty of Electrical Engineering, Mathematics & Computer Science, pp.2012-2016 ,
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 ,
Algorithms for Cartographic Visualization, Faculty of Mathematics and Computer Science, pp.2012-2019 ,
A Compositional Interchange Format for Hybrid Systems: Design and Implementation, pp.2012-2020 ,
Analysis of Protein- Protein Interaction Networks by Means of Annotated Graph Mining Algorithms, Faculty of Mathematics and Natural Sciences, pp.2012-2021 ,
Software Language Evolution, 2008 15th Working Conference on Reverse Engineering, pp.2012-2022 ,
DOI : 10.1109/WCRE.2008.42
From Napkin Sketches to Reliable Software, Faculty of Mathematics and Computer Science, pp.2012-2023 ,
Bridging Formal Models ? An Engineering Perspective, Faculty of Mathematics and Computer Science, pp.2012-2024 ,
Software Architecture Design in Global and Model-Centric Software Development, Faculty of Mathematics and Natural Sciences, pp.2012-2025 ,
Higher Order Termination. Faculty of Sciences, pp.2012-2026 ,
Formal Development of Control Software in the Medical Systems Domain, Faculty of Mathematics and Computer Science, pp.2012-2027 ,
Compositional Synthesis of Safety Controllers. Faculty of Electrical Engineering, Mathematics & Computer Science, UT, pp.2012-2028 ,
Refinement of Communication and States in Models of Embedded Systems, Faculty of Mathematics and Computer Science, pp.2013-2014 ,
Performance Analysis of Real-Time Task Systems using Timed Automata, Faculty of Science, Mathematics and Computer Science, pp.2013-2015 ,
Abstract Graph Transformation ? Theory and Practice. Faculty of Electrical Engineering, Mathematics & Computer Science, UT, pp.2013-2016 ,
TOP to the Rescue ? Task-Oriented Programming for Incident Response Applications, Faculty of Science, Mathematics and Computer Science, pp.2013-2017 ,
Outsmarting Smart Cards, Faculty of Science, Mathematics and Computer Science, pp.2013-2018 ,
Test Suite Comprehension for Modular and Dynamic Systems, Faculty of Electrical Engineering , Mathematics, and Computer Science, pp.2013-2019 ,
Interactive mathematical documents: creation and presentation, Faculty of Science, Mathematics and Computer Science, pp.2013-2020 ,
Composition and synchronization of realtime components upon one processor, Faculty of Mathematics and Computer Science, pp.2013-2021 ,
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
A Reference Architecture for Distributed Software Deployment, Faculty of Electrical Engineering , Mathematics, and Computer Science, pp.2013-2023 ,
Advanced Reduction Techniques for Model Checking, Faculty of Mathematics and Computer Science, pp.2013-2024 ,
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 ,
Ecient Modelling, Generation and Analysis of Markov Automata. Faculty of Electrical Engineering, Mathematics & Computer Science, pp.2013-2026 ,
Kinetic Data Structures in the Black-Box Model, Faculty of Mathematics and Computer Science, pp.2013-2027 ,
Applying Formal Methods in Software Development, Faculty of Science, Mathematics and Computer Science, pp.2013-2028 ,
Documentation and Formal Mathematics ? Web Technology meets Proof Assistants, Faculty of Science , Mathematics and Computer Science, pp.2013-2029 ,
Combining Monitoring with Run-time Assertion Checking, Faculty of Mathematics and Natural Sciences, pp.2013-2030 ,
Gathering Evidence: Model-Driven Software Engineering in Automated Digital Forensics. Faculty of Science, pp.2014-2015 ,
The Process Matters: Cyber Security in Industrial Control Systems. Faculty of Electrical Engineering, Mathematics & Computer Science, pp.2014-2016 ,
Cryptographically- Enhanced Privacy for Recommender Systems. Faculty of Electrical Engineering, Mathematics & Computer Science, pp.2014-2017 ,
Performance Optimization of Multi-Tenant Software Systems, Faculty of Electrical Engineering , Mathematics, and Computer Science, pp.2014-2018 ,
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
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
Coalgebraic Characterizations of Automata-Theoretic Classes. Faculty of Science, Mathematics and Computer Science, pp.2014-2021 ,
Similarity Measures and Algorithms for Cartographic Schematization, Faculty of Mathematics and Computer Science, pp.2014-2022 ,
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
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 ,
Tomte: Bridging the Gap between Active Learning and Real- World Systems. Faculty of Science, Mathematics and Computer Science, pp.2014-2026 ,
Improving Input-Output Conformance Testing Theories, Faculty of Mathematics and Computer Science, pp.2014-2027 ,
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
Ecient Implementations of Attribute-based Credentials on Smart Cards, Faculty of Science, Mathematics and Computer Science, pp.2014-2029 ,
Algorithms for Analyzing and Mining Real-World Graphs, Faculty of Mathematics and Natural Sciences, pp.2014-2030 ,
Attribute-Based Identity Management: Bridging the Cryptographic Design of ABCs with the Real World, Faculty of Science, Mathematics and Computer Science, pp.2015-2016 ,
Ecient Abstractions for Visualization and Interaction. Faculty of Science, pp.2015-2017 ,