EEMCS
Home > Publications
Home University of Twente
Education
Research
Prospective Students
Jobs
Publications
Intranet (internal)
 
 Nederlands
 Contact
 Sitemap
 Search
 Organisation

EEMCS EPrints Service


Research Program: CTIT-DSN: Dependable Systems and Networks
 Home Policy Brochure Browse Search User Area Contact Help

2012

Amighi, A. and Blom, S.C.C. and Huisman, M. and Zaharieva-Stojanovski, M. (2012) The VerCors Project: Setting Up Basecamp. In: Sixth Workshop Programming Languages meets Program Verification (PLPV 2012), 24 Jan 2012, Philadelphia, USA. pp. 71-82. ACM. ISBN 978-1-4503-1125-0
Bernhardi, E.H. and Khan, M.R.H. and Roeloffzen, C.G.H. and van Wolferen, H.A.G.M. and Wörhoff, K. and de Ridder, R.M. and Pollnau, M. (2012) Photonic generation of stable microwave signals from a dual-wavelength Al2O3:Yb3+ distributed-feedback waveguide laser Optics letters, 37 (2). pp. 181-183. ISSN 0146-9592 *** ISI Impact 3,059 ***
Broersma, H.J. and Ryjáček, Z. and Vrána, P. (2012) How many conjectures can you stand: a survey. Graphs and combinatorics, 28 (1). pp. 57-75. ISSN 0911-0119 *** ISI Impact 0,571 ***
Ghamarian, A.H. and de Mol, M.J. and Rensink, A. and Zambon, Eduardo and Zimakova, M.V. (2012) Modelling and analysis using GROOVE. International journal on software tools for technology transfer, 14 (1). pp. 15-40. ISSN 1433-2779
Katoen, J.P. and van de Pol, J.C. and Stoelinga, M.I.A. and Timmer, M. (2012) A linear process-algebraic format with data for probabilistic automata. Theoretical Computer Science, 413 (1). pp. 36-57. ISSN 0304-3975 *** ISI Impact 0,943 ***
de Mol, M.J. and Rensink, A. and Hunt, J.J. (2012) Graph Transforming Java Data. In: Proceedings of the 15th International Conference on Fundamental Approaches to Software Engineering (FASE 2012), 26-29 Mar 2012, Talinn, Estonia. Lecture Notes in Computer Science. Springer Verlag.
Moreira Moura, G.C. and Sadre, R. and Sperotto, A. and Pras, A. (2012) Internet Bad Neighborhoods Aggregation. In: Proceedings of IEEE/IFIP Network Operations and Management Symposium (NOMS 2012), 16-20 Apr 2012, Maui, Hawaii, USA. IEEE Communications Society.
Stokkink, W.G.J. and Timmer, M. and Stoelinga, M.I.A. (2012) Talking quiescence: a rigorous theory that supports parallel composition, action hiding and determinisation (extended version). Technical Report TR-CTIT-12-05, Centre for Telematics and Information Technology University of Twente, Enschede. ISSN 1381-3625

2011

Aceto, L. and Chen, Taolue and Ingolfsdottir, A. and Luttik, B. and van de Pol, J.C. (2011) On the axiomatizability of priority II. Theoretical computer science, 412 (28). pp. 3035-3044. ISSN 0304-3975 *** ISI Impact 0,943 ***
Alférez, M. and Amálio, N. and Ciraci, S. and Fleurey, F. and Kienzle, J. and Klein, J. and Kramer, M. and Mosser, S. and Mussbacher, G. and Roubtsova, E. and Zhang, G. (2011) Aspect-Oriented Model Development at Different Levels of Abstraction. In: 7th European Conference on Modelling Foundations and Applications, ECMFA 2011 , 6-9 June 2011, Birmingham, UK. pp. 361-376. Lecture Notes in Computer Science 6698. Springer Verlag. ISBN 978-3-642-21470-7
Amighi, A. and de Carvalho Gomes, P. and Huisman, M. (2011) Provably Correct Control-Flow Graphs from Java Programs with Exceptions. In: Papers the of 2nd International Conference on Formal Verification of Object-Oriented Software, FoVeOOS'11, 5-7 Oct 2011, Turin, Italy. pp. 31-48. Karlsruhe Reports in Informatics (26). Karlsruhe Institute of Technology. ISSN 2190-4782
van Ardenne, A. and Bentum, M.J. and Boonstra, A.J. (2011) SKA antenna systems; outlook for non-astronomy applications. (Invited) In: 33rd ESA Antenna Workshop on Challenges for Space Antenna Systems, 18-21 Oct 2011, Noordwijk, The Netherlands. pp. 1-5. European Space Research and Technology Centre (ESTEC). ISBN not assigned
Avrachenkov, K. and Litvak, N. and Nemirovsky, D. and Smirnova, E. and Sokol, M. (2011) Quick detection of top-k personalized PageRank lists. In: 8th International Workshop on Algorithms and Models for the Web Graph, WAW 2011, 27-29 May 2011, Atlanta, GA, USA. pp. 50-61. Lecture Notes in Computer Science 6732 (2011). Springer. ISBN 978-3-642-21286-4
Bakhshi, R. and Cloth, L. and Fokkink, W and Haverkort, B.R.H.M. (2011) Mean-field framework for performance evaluation of push–pull gossip protocols. Performance evaluation, 68 (2). pp. 157-179. ISSN 0166-5316 *** ISI Impact 1,56 ***
Barbot, B. and Chen, Taolue and Han, Tingting and Katoen, J.P. and Mereacre, A. (2011) Efficient CTMC Model Checking of Linear Real-Time Objectives. In: 17th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS 2011), 26 March - 3 April 2011, Saarbrücken, Germany. pp. 128-142. Lecture Notes in Computer Science 6605. Springer Verlag. ISSN 0302-9743 ISBN 978-3-642-19834-2
Bentum, M.J. and Boonstra, A.J. (2011) Low frequency astronomy - the challenge in a crowded RFI environment. (Invited) In: XXXth URSI General Assembly and Scientific Symposium, 2011, 13-20 Aug 2011, Istanbul, Turkey. pp. 1-4. IEEE Aerospace and Electronic Systems Society. ISBN 978-1-4244-5118-0
Bentum, M.J. and Boonstra, A.J. and Baan, W. (2011) Space-based Ultra-long wavelength radio astronomy - an overview of today's initiatives. In: XXXth URSI General Assembly and Scientific Symposium, 2011, 13-20 Aug 2011, Istanbul, Turkey. pp. 1-4. IEEE. ISBN 978-1-4244-5118-0
Bentum, M.J. and Leijtens, J. and Verhoeven, C. and van der Marel, H. (2011) Measurements on an autonomous wireless payload at 635 km distance using a sensitive radio telescope. (Invited) In: 33rd ESA Antenna Workshop on Challenges for Space Antenna Systems, 18-21 Oct 2011, Noordwijk, The Netherlands. pp. 1-5. European Space Research and Technology Centre (ESTEC). ISBN not assigned
Bentum, M.J. and Verhoeven, C.J.M. and Boonstra, A.J. and van der Veen, A.J. and Gill, E.K.A. (2011) A novel astronomical application for formation flying small satellites. NERG tijdschrift, 76 (1). pp. 8-15. ISSN 0374-3853
Bergmans, L.M.J. and Havinga, W.K. and Akşit, M. (2011) First-class Compositions--Defining and composing object and aspect compositions with first-class operators. Transactions on Aspect-Oriented Software Development. ISSN 1864-3027
Bergstra, J.A. and van de Pol, J.C. (2011) A Calculus for Four-Valued Sequential Logic. Theoretical computer science, 412 (28). pp. 3122-3128. ISSN 0304-3975 *** ISI Impact 0,943 ***
Bezemer, M.M. and Groothuis, M.A. and Broenink, J.F. (2011) Way of Working for Embedded Control Software using Model-Driven Development Techniques. In: IEEE ICRA Workshop on Software Development and Integration in Robotics (SDIR VI), 09 May 2011, Shanghai, China. IEEE Robotics and Automation Society. ISBN not assigned
Bezemer, M.M. and Wilterdink, R.J.W. and Broenink, J.F. (2011) LUNA: Hard Real-Time, Multi-Threaded, CSP-Capable Execution Framework. In: Communicating Process Architectures 2011, 19-22 June 2011, Limerick, Ireland. pp. 157-175. Concurrent System Engineering Series 68 (WoTUG-33). IOS Press BV. ISSN 1383-7575 ISBN 978-1-60750-773-4
van der Bijl, H.M. (2011) On changing models in Model-Based Testing. PhD thesis, University of Twente. CTIT Ph.D.-thesis series No. 11-198 ISBN 978-90-365-3195-5
Blaj, M.A. and Buesink, F.J.K. and Damstra, G.C. and Leferink, F.B.J. (2011) Using thin metal layers on composite structures for shielding the electromagnetic pulse caused by nearby lightning. In: 10th International Symposium on Electromagnetic Compatibility (EMC Europe 2011), 26-30 Sept 2011, York, United Kingdom. pp. 440-444. IEEE Electromagnetic Compatibility Society. ISBN 978-0-9541146-3-3
Bockisch, C.M. and Malakuti Khah Olun Abadi, S. and Akşit, M. and Katz, S. (2011) Making aspects natural: events and composition. In: Tenth International Conference on Aspect-Oriented Software Development, AOSD 2011, 21-25 Mar 2011, Porto de Galinhas, Brazil. pp. 285-299. ACM. ISBN 978-1-4503-0605-8
Bonsma, P.S. and Broersma, H.J. and Patel, V. and Pyatkin, A. (2011) The complexity status of problems related to sparsest cuts. In: Proceedings of the 21st International Workshop on Combinatorial Algorithms, IWOCA 2010, 26-28 July 2010, London, UK. pp. 125-135. Lecture Notes in Computer Science 6460. Springer Verlag. ISSN 0302-9743 ISBN 978-3-642-19221-0
Boucherie, R.J. and van Dijk, N.M. (2011) Preface. In: Queueing Networks: A Fundamental Approach. International Series in Operations Research & Management Science 154. Springer Science + Business Media, New York, v-viii. ISSN 0884-8289 ISBN 978-1-4419-6471-7
te Brinke, S. and Bergmans, L.M.J. and Bockisch, C.M. (2011) The Keyword Revolution: Promoting language constructs for data access to first class citizens. In: Proceedings of the 1st International Workshop on Free Composition, FREECO 2011, 26 Jul 2011, Lancaster, United Kingdom. 4:1-4:5. ACM. ISBN 978-1-4503-0892-2
te Brinke, S. and Bockisch, C.M. and Bergmans, L.M.J. (2011) Reuse of Continuation-based Control-flow Abstractions. In: Proceedings of the 2nd workshop on Free composition @ onward! (FREECO 2011), 23 Oct 2011, Portland, Oregon, USA. pp. 13-18. ACM. ISBN 978-1-4503-1025-3
van den Broek, P.M. and Noppen, J.A.R. (2011) Exact Membership Functions for the Fuzzy Weighted Average. In: Title of Book UNSPECIFIED Studies in Computational Intelligence 343. Springer, Berlin / Heidelberg, pp. 85-99. ISBN 978-3-642-20206-3
Budianu, A. and Engelen, S. and Rajan, R.T. and Meijerink, A. and Verhoeven, C.J.M. and Bentum, M.J. (2011) The communication layer for the OLFAR satellite swarm. In: Sense of Contact workshop, 07 Apr 2011, Zeist, The Netherlands. pp. 1-2. Technology Foundation STW. ISBN not assigned
Budianu, A. and Rajan, R.T. and Engelen, S. and Meijerink, A. and Verhoeven, C.J.M. and Bentum, M.J. (2011) OLFAR: Adaptive topology for satellite swarms. In: 62nd International Astronautical Congress, IAC 2011, 3-7 Oct 2011, Cape Town, Republic of South Africa. pp. 1-9. International Astronautical Federation (IAF). ISBN not assigned
Burla, M. and Khan, M.R.H. and Marpaung, D.A.I. and Zhuang, Leimeng and Roeloffzen, C.G.H. and Leinse, A. and Hoekman, M. and Heideman, R. (2011) Seperate carrier tuning scheme for integrated optical delay lines in photonic beamformers. In: 2011 IEEE International Topical Meeting on Microwave Photonics jointly held with 2011 Asia Pacific Microwave Photonics (MWP2011), 18-21 Oct 2011, Singapore. pp. 1-4. IEEE Photonics Society. ISBN 978-1-61284-717-7
Burla, M. and Marpaung, D.A.I. and Zhuang, Leimeng and Roeloffzen, C.G.H. and Khan, M.R.H. and Leinse, A. and Hoekman, M. and Heideman, R. (2011) On-chip CMOS compatible reconfigurable optical delay line with seperate carrier tuning for microwave photonic signal processing. Optics express, 19 (22). pp. 21475-21484. ISSN 1094-4087 *** ISI Impact 3,278 ***
Catherwood, P.A. and Scanlon, W.G. (2011) Measurement errors introduced by the use of co-axial cabling in the assessment of wearable antenna performance in off-body channels. (Invited) In: Proceedings of the fourth European Conference on Antennas and Propagation, EuCAP 2011, 11-15 Apr 2011, Rome, Italy. pp. 3787-3791. IEEE Antennas & Propagation Society. ISBN 978-1-4577-0250-1
Cerna, I. and Haverkort, B.R.H.M. (2011) Parallel and Distributed Methods in Verification. Journal of Logic and Computation, 21 (1). pp. 1-3. ISSN 0955-792X *** ISI Impact 0,789 ***
Chen, Taolue and Han, Tingting and Katoen, J.P. and Mereacre, Alexandru (2011) Model Checking of Continuous-Time Markov Chains Against Timed Automata Specifications. Logical Methods in Computer Science, 7 (1-12). ISSN 1860-5974 *** ISI Impact 1,036 ***
Ciraci, S. and Sözer, H. and Akşit, M. (2011) Guiding Architects in Selecting Architectural Evolution Alternatives. In: 5th European Conference on Software Architecture, ECSA 2011, 13-16 Sept 2011, Essen, Germany. pp. 252-260. Lecture Notes in Computer Science 6903. Springer Verlag. ISSN 0302-9743 ISBN 978-3-642-23797-3
Ciraci, S. and Sözer, H. and Akşit, M. and Havinga, W.K. (2011) Execution Constraint Verification of Exception Handling on UML Sequence Diagrams. In: Fifth IEEE International Conference on Secure Software Integration and Reliability Improvement, SSIRI 2011, 27-29 June 2011, Jeju Island, Korea. pp. 31-40. IEEE Computer Society. ISBN 978-1-4577-0780-3
Cuk, V. and Cobben, J.F.G. and Kling, W.L. and Timens, R.B. (2011) Analysis of harmonic current interaction in an industial plant. In: Proceedings of the 21st International Conference and Exhibition on Electricity Distribution (CIRED2011), 6-9 June 2011, Frankfurt am Main, Germany. pp. 1-4. CIRED. ISSN 2032-9644
Cuk, V. and Cobben, J.F.G. and Kling, W.L. and Timens, R.B. (2011) Analysis of current transients caused by voltage notches. In: 2011 IEEE Power and Energy Society General Meeting, 24-29 July 2011, Detroit, USA. pp. 1-7. IEEE Electromagnetic Compatibility Society. ISSN 1944-9925 ISBN 978-1-4577-1001-8
Dao, P.B. (2011) Safe-Guarded Multi-Agent Control for Mechatronic Systems: Implementation Framework and Design Patterns. PhD thesis, University of Twente. ISBN 978-90-365-3148-1
Dertien, E.C. and Stramigioli, S. (2011) Basic maneuvers for an inspection robot for small diameter gas distribution mains. In: IEEE International Conference on Robotics and Automation, ICRA 2011, 9-13 May 2011, Shanghai, China. pp. 3447-3448. IEEE Robotics and Automation Society. ISSN 1050-4729 ISBN 978-1-61284-386-5
Drago, I. and Barbosa, R.R.R. and Sadre, R. and Pras, A. and Schönwälder, J. (2011) Report of the Second Workshop on the Usage of NetFlow/IPFIX in Network Management. Journal of Network and Systems Management, 19 (2). pp. 298-304. ISSN 1064-7570 *** ISI Impact 1,356 ***
Drago, I. and Sadre, R. and Pras, A. (2011) Report of the Third Workshop on the Usage of NetFlow/IPFIX in Network Management. Journal of network and systems management, 19 (4). pp. 529-535. ISSN 1064-7570 *** ISI Impact 1,356 ***
Dresscher, D. (2011) Robust autonomy for the youBot. Master's thesis, University of Twente.
Dutta, R. and Kokkeler, A.B.J. and van der Zee, R.A.R. and Bentum, M.J. (2011) Performance of chirped-fsk and chirped-psk in the presence of partial-band interference. In: 18th Annual Symposium of the IEEE/CVT Benelux Chapter, 22-23 nov 2011, Gent, Belgium. pp. 1-6. IEEE Communications Society. ISBN 978-1-4577-1287-6
Dutta, R. and van der Zee, R.A.R. and Bentum, M.J. and Kokkeler, A.B.J. (2011) Choosing optimum noise figure and data rate in wireless sensor network radio transceivers. In: 2011 IEEE International Conference on Communications (ICC), 5-9 June 2011, Kyoto, Japan. pp. 1-5. IEEE Antennas & Propagation Society. ISBN 978-1-61284-232-5
Ejov, V. and Litvak, N. and Nguyen, Giang T. and Taylor, P.G. (2011) Proof of the Hamiltonicity-trace conjecture for singularly perturbed Markov chains. Journal of applied probability, 48 (4). pp. 901-910. ISSN 0021-9002 *** ISI Impact 0,711 ***
Engelen, S. and Budianu, A. and Rajan, R.T. and Verhoeven, C.J.M. and Bentum, M.J. (2011) OLFAR: Nano-satellites for science. In: Sense of Contact Workshop, 6 Apr 2011, Zeist, The Netherlands. pp. 1-4. Technology Foundation STW. ISBN not assigned
Fioreze, T. and Pras, A. (2011) Self-Management of Hybrid Optical and Packet Switching Networks. In: Dissertation Digest of the 12th IFIP/IEEE International Symposium on Integrated Network Management (IM 2011), 23-27 May 2011, Dublin, Ireland. pp. 946-951. IEEE Communications Society. ISBN 978-1-4244-9219-0
Fioreze, T. and Pras, A. (2011) Self-management of Hybrid Networks: Introduction, Pros and Cons. In: 17th International Workshop on Energy-Aware Communications (EUNICE 2011), 5-7 Sep 2011, Dresden, Germany. pp. 100-111. Lecture Notes in Computer Science 6955. Springer Verlag. ISSN 0302-9743 ISBN 978-3-642-23540-5
François, J. and Moreira Moura, G.C. and Pras, A. (2011) Cleaning Your House First: Shifting the Paradigm on How to Secure Networks. In: 5th International Conference on Autonomous Infrastructure, Management and Security (AIMS 2011), June 13-17, 2011, Nancy, France. pp. 1-12. Springer Verlag. ISBN 978-3-642-21484-4
Galvao Lourenco da Silva, I. and Akşit, M. and van den Broek, P.M. and Hendriks, M.F.H. (2011) Using design rationale to improve SPL traceability. In: Aspect-oriented, Model-driven Software Product Lines. Cambridge University Press, Cambridge, UK, pp. 263-283. ISBN 978-0-521-76722-4
Galvao Lourenco da Silva, I. and Zambon, Eduardo and Rensink, A. and Wevers, L. and Akşit, M. (2011) Knowledge-based Graph Exploration Analysis. In: Fourth International Symposium on Applications of Graph Transformation with Industrial Relevance, AGTIVE, 4-7 Oct 2011, Budapest, Hungary. pp. 121-136. Lecture Notes in Computer Science. Springer Verlag.
Geuns, S.J. and Bekooij, M.J.G. and Bijlsma, T. and Corporaal, H. (2011) Parallelization of While Loops in Nested Loop Programs for Shared-Memory Multiprocessor Systems. In: Design, Automation & Test in Europe Conference & Exhibition, DATE 2011, 14-18 Mar 2011, Grenoble, France. pp. 1-6. IEEE Computer Society. ISSN 1530-1591 ISBN 978-1-61284-208-0
Geuns, S.J. and Hausmans, J.P.H.M. and Bekooij, M.J.G. (2011) Mapping of Modal Applications given Throughput and Latency Constraints. (Invited) In: International Conference on Embedded Computer Systems, SAMOS 2011, 18-21 Jul 2011, Samos, Greece. pp. 372-379. IEEE Computer Society. ISBN 978-1-4577-0800-8
Ghamarian, A.H. and de Mol, M.J. and Rensink, A. and Zambon, Eduardo (2011) Saying Hello World with GROOVE - A Solution to the TTC 2011 Instructive Case. In: Proceedings of the Fifth Transformation Tool Contest (TTC 2011), 29-30 June 2011, Zurich, Switzerland. pp. 215-222. Electronic Proceedings in Theoretical Computer Science (EPTCS) 74. Open Publishing Association. ISBN not assigned
Gomes, R. and de Oliveira Schmidt, R. (2011) Evaluating Automatic Pools Distribution Techniques for Self‐Configured Networks. In: 16th IEEE Symposium on Computers and Communications, ISCC 2011, 28 Jun - 01 Jul 2011, Kerkyra (Corfu), Greece. pp. 658-663. IEEE Communications Society. ISBN 978-1-4577-0681-3
Grathwohl, N.B.B. and Ketema, J. and Pallesen, J.D. and Simonsen, J.G. (2011) Anagopos: A Reduction Graph Visualizer for Term Rewriting and Lambda Calculus. In: Proceedings of the 22nd International Conference on Rewriting Techniques and Applications (RTA'11), 30 May - 1 June 2011, Novi Sad, Serbia. pp. 61-70. Leibniz International Proceedings in Informatics (LIPIcs) 10. Schloss Dagstuhl-Leibniz-Zentrum fuer Informatik. ISSN 1868-8969 ISBN 978-3-939897-30-9
Haack, C. and Huisman, M. and Hurlin, C. (2011) Permission-Based Separation Logic for Multithreaded Java Programs. Nieuwsbrief van de Nederlandse Vereniging voor Theoretische Informatica, 15. pp. 13-23. ISSN not assigned
Hansen, H. and Timmer, M. (2011) Confluence versus Ample Sets in Probabilistic Branching Time. In: Proceedings of the 3rd Young Researchers Workshop on Concurrency Theory, 10 Sep 2011, Aachen, Germany. École normale supérieure de Cachan. ISBN not assigned
Hansen, H.H. and Ketema, J. and Luttik, S.P. and Mousavi, M.R. and van de Pol, J.C. and dos Santos, O.M. (2011) Automated Verification of Executable UML Models. In: Proceedings of the 9th International Symposium on Formal Methods for Components and Objects, FMCO 2010. Revised Papers, 29 Nov - 01 Dec 2010, Graz, Austria. pp. 225-250. Lecture Notes in Computer Science 6957. Springer Verlag. ISSN 0302-9743 ISBN 978-3-642-25270-9
Hausmans, J.P.H.M. and Bekooij, M.J.G. and Corporaal, H. (2011) Resynchronization of Cyclo-Static Dataflow Graphs. In: Design, Automation & Test in Europe Conference & Exhibition, DATE 2011, 14-18 Mar 2011, Grenoble, France. pp. 1-6. IEEE Computer Society. ISSN 1530-1591 ISBN 978-1-61284-208-0
Haverkort, B.R.H.M. (2011) Formal Modeling and Analysis of Timed Systems: Technology Push or Market Pull? (Invited) In: 9th International Conference on Formal Modeling and Analysis of Timed Systems (FORMATS 2011), September 21-23, 2011, Aalborg, Denmark. pp. 18-24. Lecture Notes in Computer Science 6919. Springer Verlag. ISSN 0302-9743 ISBN 978-3-642-24309-7
Höfer, C.N. and Karagiannis, G. (2011) Cloud computing services: taxonomy and comparison. Journal of Internet Services and Applications, 2 (2). pp. 81-94. ISSN 1867-4828
Hofstede, R. and Drago, I. and Moreira Moura, G.C. and Pras, A. (2011) Carrier Ethernet OAM: An Overview and Comparison to IP OAM. In: Proceedings of the 5th International Conference on Autonomous Infrastructure, Management and Security (AIMS 2011), 13-17 Jun 2011, Nancy, France. pp. 112-123. Lecture Notes in Computer Science 6734. Springer Verlag. ISBN 978-3-642-21484-4
Hofstede, R. and Drago, I. and Sperotto, A. and Pras, A. (2011) Flow Monitoring Experiences at the Ethernet-Layer. In: Proceedings of the 17th EUNICE Workshop on Energy-Aware Communications, 5-7 Sep 2011, Dresden, Germany. pp. 129-140. Lecture Notes in Computer Science 6955. Springer Verlag. ISBN 978-3-642-23540-5
Hu, L. and Chen, Y. and Scanlon, W.G. (2011) Received signal strength in large-scale wireless relay sensor network: a stochastic ray approach. IET Microwaves, Antennas & Propagation, 5 (14). pp. 1738-1743. ISSN 1751-8725 *** ISI Impact 1,077 ***
Huisman, M. and Ngo, M.T. (2011) Scheduler-specific Confidentiality for Multi-Threaded Programs and Its Logic-Based Verification. Technical Report TR-CTIT-11-22, Centre for Telematics and Information Technology University of Twente, Enschede. ISSN 1381-3625
Huisman, M. and Ngo, M.T. (2011) Scheduler-Specific Confidentiality for Multi-Threaded Programs and Its Logic-Based Verification. In: 2nd International Conference on Formal Verification of Object-Oriented Software (FoVeOOS 2011), October 5-7, 2011, Turin, Italy. pp. 260-277. Lecture Notes in Computer Science. Springer Verlag.
Huisman, T. and Boucherie, R.J. (2011) Decomposition and aggregation in queueing networks. In: Queueing Networks: A Fundamental Approach. International Series in Operations Research & Management Science 154. Springer Science + Business Media, New York, pp. 313-344. ISSN 0884-8289 ISBN 978-1-4419-6471-7
Jongerden, M.R. and Haverkort, B.R.H.M. (2011) Lifetime improvement by battery scheduling. In: Proceedings of the 27th annual UK Performance Engineering Workshop, UKPEW2011, 7-8 Jul 2011, Bradford, UK. pp. 56-71. Inprint and Design. ISBN 978-0-9559703-3-7
Katoen, J.P. and Zapreev, I.S. and Hahn, E.M. and Hermanns, H. and Jansen, D.N. (2011) The ins and outs of the probabilistic model checker MRMC. Performance evaluation, 68 (2). pp. 90-104. ISSN 0166-5316 *** ISI Impact 1,56 ***
Kerkhoff, H.G. (2011) New View Requirements for Analogue/MS IPs for Dependability Optimization in Heterogeneous SoC Design. In: 17th IEEE International Mixed-Signals, Sensors ans Systems Test Workshop, IMS3TW 2011, 16-18 May 2011, Santa Barbara, USA. pp. 5-11. IEEE Computer Society. ISBN 978-0-7695-4479-3
Kerzerho, V.A. and Kerkhoff, H.G. and Bollen, G-J and Xing, Y (2011) The Search for Resilience Weak Spots in Automotive Mixed-Signal Circuits. In: Proceedings 17th IEEE International Mixed-Signals, Sensors ans Systems Test Workshop, IMS3TW 2011, 16-18 May 2011, Santa Barbara, USA. pp. 12-18. IEEE Computer Society. ISSN 0168-275X ISBN 978-0-7695-4479-3
Khan, M.A. and Kerkhoff, H.G. (2011) A System-Level Platform for Dependability Enhancement and its Analysis for Mixed-Signal SoCs. In: 14th IEEE International Symposium on Design and Diagnostics of Electronic Circuits & Systems (DDECS), 2011, 13-15 April 2011, Cottbus, Germany. pp. 17-22. IEEE . ISBN 978-1-4244-9753-9
Khan, M.A. and Kerkhoff, H.G. (2011) SoC Mixed-Signal Dependability Enhancement: A Strategy from Design to End-of-Life. In: 24th IEEE International Symposium on Defect and Fault Tolerance in VLSI and Nanotechnology Systems, 3-5 Oct 2011, Vancouver, B.C. Canada. pp. 374-381. IEEE Computer Society. ISSN 1550-5774 ISBN 978-0-7695-4556-1
Khan, M.R.H. and Marpaung, D.A.I. and Burla, M. and Roeloffzen, C.G.H. (2011) A novel measurement technique to estimate the RF beat-linewidth of free-running heterodyning system using a photonic discriminator. In: 2011 IEEE International Topical Meeting on Microwave Photonics jointly held with 2011 Asia Pacific Microwave Photonics (MWP2011), 18-21 Oct 2011, Singapore. pp. 1-4. IEEE Photonics Society. ISBN 978-1-61284-717-7
Khan, M.R.H. and Marpaung, D.A.I. and Burla, M. and Roeloffzen, C.G.H. and Bernhardi, E.H. and de Ridder, R.M. (2011) Investigation on the performance of an optically generated RF local oscillator signal in Ku-band DVB-S systems. In: XXXth URSI General Assembly and Scientific Symposium, 2011, 13-20 Aug 2011, Istanbul, Turkey. pp. 1-4. IEEE Antennas & Propagation Society. ISBN 978-1-4244-5118-0
Kilic, Y. and Meijerink, A. and Bentum, M.J. (2011) Locating the information: technologies and challenges. De Vonk, 3. pp. 1-5. ISSN 0925-5427
Klink, D. and Remke, A.K.I. and Haverkort, B.R.H.M. and Katoen, J.P. (2011) Time-bounded reachability in tree-structured QBDs by abstraction. Performance evaluation, 68 (2). pp. 105-125. ISSN 0166-5316 *** ISI Impact 1,56 ***
Kolesnichenko, A.V. and de Boer, P.T. and Remke, A.K.I. and Zambon, Emmanuele and Haverkort, B.R.H.M. (2011) Is Quantitative Analysis of Stuxnet Possible? In: QEST 2011: Fast Abstracts, 5-8 Sep 2011, Aachen, Germany. pp. 9-10. CTIT Workshop Proceedings WP11-03. Centre for Telematics and Information Technology University of Twente. ISSN 0929-0672
Kolesnichenko, A.V. and Remke, A.K.I. and de Boer, P.T. and Haverkort, B.R.H.M. (2011) Comparison of the mean-field approach and simulation in a peer-to-peer botnet case study. In: Proceedings of the 8th European Performance Engineering Workshop, EPEW 2011, 12-13 Oct 2011, Borrowdale, United Kingdom. pp. 133-147. Lecture Notes in Computer Science 6977. Springer Verlag. ISSN 0302-9743
Kortüm, M. (2011) Non-invasive imaging with UWB. Master's thesis, University of Twente.
Krishnan, S. and Kerkhoff, H.G. (2011) A Robust Metric for Screening Outliers from Analogue Product Manufacturing Tests Responses. In: Proceedings 16th IEEE European Test Symposium, ETS 2011, 23 May - 27 May 2011, Trondheim, Norway. pp. 159-164. IEEE Computer Society. ISSN 1530-1877 ISBN 978-1-4577-0483-3
Laarman, A.W. and Langerak, R. and van de Pol, J.C. and Weber, Michael and Wijs, A. (2011) Multi-Core Nested Depth-First Search. In: Proceedings of the 9th International Symposium on Automated Technology for Verification and Analysis, ATVA 2011, 11-14 Oct 2011, Tapei, Taiwan. pp. 321-335. Lecture Notes in Computer Science 6996. Springer Verlag. ISBN 978-3-642-24372-1
Laarman, A.W. and van de Pol, J.C. (2011) Variations on Multi-Core Nested Depth-First Search. (Invited) In: Proceedings of the 10th International Workshop on Parallel and Distributed Methods in verifiCation, PDMC 2011, 14 Jul 2011, Snowbird, Utah. pp. 13-28. Electronic Proceedings in Theoretical Computer Science 72. EPTCS. ISSN 2075-2180
Laarman, A.W. and van de Pol, J.C. and Weber, Michael (2011) Parallel Recursive State Compression for Free. Technical Report arXiv:1104.3119, ArXiv, Ithaca, NY.
Laarman, A.W. and van de Pol, J.C. and Weber, Michael (2011) Multi-Core LTSmin: Marrying Modularity and Scalability. In: Proceedings of the Third International Symposium on NASA Formal Methods, NFM 2011, 18-20 Apr 2011, Pasadena, CA, USA. pp. 506-511. Lecture Notes in Computer Science 6617. Springer Verlag. ISSN 0302-9743 ISBN 978-3-642-20397-8
Laarman, A.W. and van de Pol, J.C. and Weber, Michael (2011) Parallel Recursive State Compression for Free. In: Proceedings of the 18th International SPIN Workshop, SPIN 2011, 14-15 Jul 2011, Snow Bird, Utah. pp. 38-56. Lecture Notes in Computer Science 6823. Springer Verlag. ISSN 0302-9743 ISBN 978-3-642-22305-1
Leferink, F.B.J. (2011) Rationalisation of european emc defence standards. In: 10th International Symposium on Electromagnetic Compatibility (EMC Europe 2011), 26-30 Sept 2011, York, United Kingdom. pp. 695-700. IEEE Electromagnetic Compatibility Society. ISBN 978-1-4577-1709-3
Leferink, F.B.J. (2011) CE-markering van militaire apparatuur: ook voldoen aan EMC-Richtlijn (2). Elektronica, 2011 (1-2). pp. 25-30. ISSN 0168-7840
Leferink, F.B.J. (2011) Foute productnormen: achilleshiel van de EMC-richtlijn -2: toename in man-made noise. Elektronica, 2011 (6-7). pp. 25-31. ISSN 0168-7840
Leferink, F.B.J. (2011) CE-markering van militaire apparatuur: ook voldoen aan EMC-richtlijn (3). Elektronica, 2011 (3). pp. 27-32. ISSN 0168-7840
Leferink, F.B.J. (2011) Foute productnormen: achilleshiel van de EMC-richtlijn -1: man-made noise. Elektronica, 2011 (5). pp. 41-46. ISSN 0168-7840
Leferink, F.B.J. (2011) CE-markering van militaire apparatuur: ook voldoen aan EMC-richtlijn (4). Elektronica, 2011 (4). pp. 25-29. ISSN 0168-7840
Leferink, F.B.J. (2011) Foute productnormen: achilleshiel van de EMC-richtlijn - 5 (slot): de wet en de normen. Elektronica, 2011 (11-12). pp. 33-39. ISSN 0168-7840
Leferink, F.B.J. (2011) Foute productnormen: achilleshiel van de EMC-richtlijn - 4: Productnormen. Elektronica, 2011 (10). pp. 33-39. ISSN 0168-7840
Leferink, F.B.J. (2011) Foute productnormen: achilleshiel van de EMC-richtlijn - 3: Interferentie. Elektronica, 2011 (8-9). pp. 33-39. ISSN 0168-7840
Leinse, A. and Heideman, R.G. and Klein, E.J. and Dekker, R. and Roeloffzen, C.G.H. and Marpaung, D.A.I. (2011) TriPleX tm platform technology for photonic integration: applications from UV through NIR to IR. (Invited) In: 2011 ICO International Conference on Information Photonics (IP2011), 18-20 May 2011, Ottawa, Canada. pp. 1-2. IEEE Antennas & Propagation Society. ISBN 978-1-61284-315-5
Li, MingChu and Chen, Xiaodong and Broersma, H.J. (2011) Hamiltonian connectedness in 4-connected hourglass-free claw-free graphs. Journal of graph theory, 68 (4). pp. 285-298. ISSN 0364-9024 *** ISI Impact 0,662 ***
Malakuti Khah Olun Abadi, S. (2011) Event Composition Model: Achieving Naturalness in Runtime Enforcement. PhD thesis, University of Twente. CTIT Ph.D. thesis series no. 11-205 ISBN 978-90-365-3246-4
Malakuti Khah Olun Abadi, S. and Akşit, M. and Bockisch, C.M. (2011) Distribution-Transparency in Runtime Verification. In: Ninth IEEE International Symposium on Parallel and Distributed Processing with Applications Workshops, ISPAW 2011, 26-28 May 2011, Busan, Korea. pp. 328-335. IEEE Communications Society. ISBN 978-1-4577-0524-3
Malakuti Khah Olun Abadi, S. and Akşit, M. and Bockisch, C.M. (2011) Runtime Verification in Distributed Computing. Journal of Convergence, 2 (1). pp. 1-10. ISSN 2093-7741
Marincic, J. and Mader, A.H. and Wieringa, R.J. (2011) Validation of Embedded System Verification Models. In: Proceedings of Model-Driven Requirements Engineering Workshop (MoDRE), 29 Aug 2011, Trento, Italy. pp. 48-54. IEEE Computer Society. ISBN 978-1-4577-0957-9
Marpaung, D.A.I. and Chevalier, L. and Burla, M. and Roeloffzen, C.G.H. (2011) Impulse radio ultrawideband pulse shaper based on a programmable photonic chip frequency discriminator. Optics express, 19 (25). pp. 24838-24848. ISSN 1094-4087 *** ISI Impact 3,278 ***
Marpaung, D.A.I. and Roeloffzen, C.G.H. and Beeker, W. and Noharet, B. and Verpoorte, J. and Baggen, R. (2011) Development of a broadband and squint-free Ku-band phased array antenna system for airborne satellite communications. In: Future Aeronautical Communications. Intech, Rijeka, Croatia, pp. 201-224. ISBN 978-953-307-625-6
Marpaung, D.A.I. and Zhuang, Leimeng and Burla, M. and Roeloffzen, C.G.H. and Noharet, B. and Wang, Qin and Beeker, W.P. and Leinse, A. and Heideman, R. (2011) Photonic integration and components development for a Ku-band phased array antenna system. In: 2011 IEEE International Topical Meeting on Microwave Photonics jointly held with 2011 Asia pacific Microwave Photonics (MWP2011), 18-21 Oct 2011, Singapore. pp. 1-4. IEEE Photonics Society. ISBN 978-1-61284-717-7
Marpaung, D.A.I. and Zhuang, Leimeng and Burla, M. and Roeloffzen, C.G.H. and Verpoorte, J. and Schippers, H. and Hulzinga, A. and Jorna, P. and Beeker, W.P. and Leinse, A. and Heideman, R. and Noharet, B. and Wang, Qin and Sanadgol, B. (2011) Towards a broadband and squint-free ku-band phased array antenna system for airborne satellite communications. In: Proceedings of the 5th European Conference on Antennas and Propagation (EUCAP2011), 11-15 Apr 2011, Rome, Italy. pp. 2774-2778. European Association on Antennas and Propagation (EuRAAP). ISBN 978-88-8202-074-3
Miretskiy, D.I. and Scheinhardt, W.R.W. and Mandjes, M.R.H. (2011) State-dependent importance sampling for a slowdown tandem queue. Annals of operations research, 189 (1). pp. 299-329. ISSN 0254-5330 *** ISI Impact 0,961 ***
de Mol, M.J. and Rensink, A. (2011) Formal Semantics of the CHART Transformation Language. Technical Report TR-CTIT-12-03, Centre for Telematics and Information Technology University of Twente, Enschede. ISSN 1381-3625
Moreira Moura, G.C. and Sadre, R. and Pras, A. (2011) Internet Bad Neighborhoods: the Spam Case. In: 7th International Conference on Network and Services Management (CNSM 2011), 24-28 Oct 2011, Paris, France. pp. 1-8. IEEE Communications Society. ISBN 978-1-4577-1588-4
van Nee, F.D. and de Boer, P.T. (2011) On the Benefit of Forward Error Correction at IEEE 802.11 Link Layer Level. In: Proceedings of the 17th International Workshop on Energy-Aware Communications (EUNICE 2011), 5-7 Sep 2011, Dresden, Germany. pp. 9-20. Lecture Notes in Computer Science 6955. Springer Verlag. ISSN 0302-9743 ISBN 978-3-642-23540-5
Noharet, B. and Wang, Qin and Platt, D. and Junique, S. and Marpaung, D.A.I. and Roeloffzen, C.G.H. (2011) Arrays of surface-normal electroabsorption modulators for the generation and signal processing of microwave photonics signals. In: 2011 IEEE International Topical Meeting on Microwave Photonics jointly held with 2011 Asia Pacific Microwave Photonics (MWP2011), 18-21 Oct 2011, Singapore. pp. 1-2. IEEE Photonics Society. ISBN 978-1-61284-717-7
Noppen, J.A.R. and van den Broek, P.M. (2011) Imperfect information in software product line engineering. In: Aspect-Oriented, Model-driven Software Product Lines: the AMPLE way. Cambridge University Press, Cambridge, pp. 378-410. ISBN 978-0-521-76722-4
de Oliveira Schmidt, R. and Pras, A. (2011) Estimating Bandwidth Requirements Using Flow-Level Measurements. In: 5th International Conference on Autonomous Infrastructure, Management, and Security, AIMS 2011, 13-17 Jun 2011, Nancy, France. pp. 169-172. Lecture Notes in Computer Science 6734. Springer Verlag. ISSN 0302-9743 ISBN 978-3-642-21483-7
van Polen, M. and Moreira Moura, G.C. and Pras, A. (2011) Finding and Analyzing Evil Cities on the Internet. In: Proceedings of the 5th International Conference on Autonomous Infrastructure, Management and Security (AIMS), 13-17 Jun 2011, Nancy, France. pp. 38-48. Springer Verlag. ISBN 978-3-642-21483-7
Rajan, R.T. and Budianu, A. and Engelen, S. and van der Veen, A.J. and Bentum, M.J. and Boonstra, A.J. and Verhoeven, C. (2011) Orbiting low frequency antennas for radio astronomy(OLFAR): Distributing signal processing. In: Sense of Contact Workshop, 6 Apr 2011, Zeist, The Netherlands. pp. 1-3. Technology Foundation STW. ISBN not assigned
Rajan, R.T. and Engelen, S. and Bentum, M.J. and Verhoeven, C. (2011) Orbiting low frequency array for radio astronomy. In: 2011 IEEE Aerospace Conference, 5-12 Mar 2011, Montana, USA. pp. 1-11. IEEE Aerospace and Electronic Systems Society. ISSN 1095-323X ISBN 978-1-4244-7350-2
Rebelo, H. and Coelho, R. and Lima, R. and Leavens, G.T. and Huisman, M. and Mota, A. and Castor, F. (2011) On the Interplay of Exception Handling and Design by Contract: An Aspect-Oriented Recovery Approach. In: Proceedings of the 13th Workshop on Formal Techniques for Java-like Programs, FTfJP 2011, 26th of July 2011, Lancaster, UK. 7. ACM. ISBN 978-1-4503-0893-9
Rensink, A. and Zambon, Eduardo (2011) Neighbourhood Abstraction in GROOVE. In: Proceedings of the Fourth International Workshop on Graph-Based Tools (GraBaTs 2010), 28 Sep 2010, Enschede, NL. pp. 1-13. Electronic Communications of the EASST 32. European Association for the Study of Science and Technology. ISSN 1863-2122
Rensink, A. and Zambon, Eduardo (2011) Solving the TTC 2011 Compiler Optimization Case with GROOVE. In: Proceedings of the Fifth Transformation Tool Contest (TTC 2011), 29-30 June 2011, Zurich, Switzerland. pp. 126-130. Electronic Proceedings in Theoretical Computer Science (EPTCS) 74. Open Publishing Association. ISBN not assigned
Ribeiro, R.A. and Moreira, A.M. and van den Broek, P.M. and Pimentel, A. (2011) Hybrid Assessment Method for Software Engineering Decisions. Decision Support Systems, 51 (1). pp. 208-219. ISSN 0167-9236 *** ISI Impact 2,622 ***
Roc'h, A. and Leferink, F.B.J. (2011) Towards a first time right design of the common mode choke. In: XXXth URSI General Assembly and Scientific Symposium, 2011, 13-20 Aug 2011, Istanbul, Turkey. pp. 1-4. IEEE Electromagnetic Compatibility Society. ISBN 978-1-4244-5118-0
Roc'h, A. and Leferink, F.B.J. (2011) In situ performances of common mode chokes. In: 10th International Symposium on Electromagnetic Compatibility (EMC Europe 2011), 26-30 Sept 2011, York, United Kingdom. pp. 494-499. IEEE Electromagnetic Compatibility Society. ISBN 978-0-9541146-3-3
Roc'h, A. and Leferink, F.B.J. (2011) Analysis of common mode inductors and optimization aspects. In: Power Electronics and Power Systems. Electromagnetic Interference Issues. Bentham Science Publishers, Australia, pp. 3-37. ISBN 978-1-60805-240-0
Rohani, A. and Kerkhoff, H.G. (2011) Study of the effects of SET induced faults on submicron technologies. In: 41st IEEE/IFIP International Conference on Dependable Systems and Networks Workshops, DSN-W 2011, 27-30 June 2011, Hong Kong. pp. 41-46. IEEE Computer Society. ISBN 978-1-4577-0374-4
Rohani, A. and Kerkhoff, H.G. (2011) A Technique for Accelerating Injection of Transient Faults in Complex SoCs. In: 14th Euromicro Conference on Digital System Design, DSD 2011, 31 Aug-02 Dec 2011, Oulu, Finland. pp. 213-220. IEEE Computer Society. ISBN 978-1-4577-1048-3
de Roo, A.J. and Sözer, H. and Akşit, M. (2011) Runtime Verification of Domain-Specific Models of Physical Characteristics in Control Software. In: Fifth IEEE International Conference on Secure Software Integration and Reliability Improvement, SSIRI 2011, 27-29 Jun 2011, Jeju Island, Korea. pp. 41-50. IEEE Computer Society. ISBN 978-0-7695-4453-3
Sadre, R. and Haverkort, B.R.H.M. (2011) Decomposition-Based Queueing Network Analysis with FiFiQueues. In: Queueing Networks: A Fundamental Approach. International Series in Operations Research & Management Science 154. Springer Verlag, New York, pp. 643-699. ISBN 9781441964717
Sözer, H. and Hofmann, C. and Tekinerdogan, B. and Akşit, M. (2011) Runtime Verification of Component-Based Embedded Software. In: Proceedings of the 26th International Symposium on Computer and Information Sciences, 26-28 September 2011, London, UK. pp. 471-477. Springer Verlag. ISBN 978-1-4471-2154-1
Scanlon, W.G. (2011) Rethinking antenna requirements for medical implant systems. (Invited) In: Proceedings of the fourth European Conference on Antennas and Propagation, EuCAP 2011, 11-15 Apr 2011, Rome, Italy. pp. 3491-3492. IEEE Antennas & Propagation Society. ISBN 978-1-4577-0250-1
Senouci, B. and Annema, A.-J. and Bentum, M.J. and Kerkhoff, H.G. (2011) Functional framework and hardware platform for dependability study in short range wireless embedded systems. (Invited) In: 17th IEEE International Mixed-Signals, Sensors and Systems Test Workshop, 16-18 May 2011, Santa Barbara, California. pp. 127-132. IEEE Computer Society. ISBN 978-0-7695-4479-3
Serra, R. and Canavero, F.G. (2011) Bivariate statistical approach for good but imperfect electromagnetic reverberation. IEEE Transactions on Electromagnetic Compatibility, 53 (3). pp. 554-561. ISSN 0018-9375 *** ISI Impact 1,294 ***
Serra, R. and Leferink, F.B.J. and Canavero, F. (2011) Nonhomogeneous poisson process for reverberant and semi-reverberant environment characterization. In: 10th International Symposium on Electromagnetic Compatibility (EMC Europe 2011), 26-30 Sept 2011, York, United Kingdom. pp. 180-185. IEEE Electromagnetic Compatibility Society. ISBN 978-0-9541146-3-3
Serra, R. and Leferink, F.B.J. and Canavero, F. (2011) 'Good-but-Imperfect' Electromagnetic Reverberation in a VIRC. In: 2011 IEEE International Symposium on Electromagnetic Compatibility (EMC), 14-19 Aug 2011, Long Beach, USA. pp. 954-959. IEEE Electromagnetic Compatibility Society. ISBN 978-1-4577-0812-1
Sijtema, M. and Stoelinga, M.I.A. and Belinfante, A.F.E. and Marinelli, L. (2011) Experiences with Formal Engineering: Model-Based Specification, Implementation and Testing of a Software Bus at Neopost. In: 16th International Workshop on Formal Methods for Industrial Critical Systems, FMICS 2011, 29-30 Aug 2011, Trento, Italy. pp. 117-133. Lecture Notes in Computer Science 6959. Springer Verlag. ISSN 0302-9743 ISBN 978-3-642-24430-8
Soleimanifard, S. and Gurov, D. and Huisman, M. (2011) ProMoVer: Modular Verification of Temporal Safety Properties. In: Proceedings of the 9th International Conference on Software Engineering and Formal Methods (SEFM 2011), 14-18 Nov 2011, Montevideo, Uruguay. pp. 366-381. Lecture Notes in Computer Science 7041. Springer Verlag. ISBN 978-3-642-24690-6
Stappers, B.W. and Hessels, J.W.T. and Alexov, A. and Anderson, K. and Coenen, T.J. and Hassall, T. and Karastergiou, A. and Kondratiev, V.I. and Kramer, M. and van Leeuwen, J. and Mol, J.D. and Noutos, A. and Romein, J.W. and Weltevrede, P. and Fender, R. and Wijers, R.A.M.J. and Bähren, L. and Bell, M.E. and Broderick, J. and Daw, E.J. and Dhillon, V.S. and Eislöffel, J. and Falcke, H. and Griessmeier, J. and Law, C. and Markoff, S. and Miller-Jones, J.C.A. and Scheers, B. and Spreeuw, H. and Swinbank, J. and ter Veen, S. and Wise, M.W. and Wucknitz, O. and Zarka, P. and Anderson, J. and Asgekar, A. and Avruch, I.M. and Beck, R. and Bennema, P. and Bentum, M.J. and Best, P. and Bregman, J. and Brentjens, M. and van de Brink, R.H. and Broekema, P.C. and Brouw, W.N. and Brüggen, M. and Bruyn, A.G. and Butcher, H.R. and Ciardi, B. and Conway, J. and Dettmar, R.J. and van Duin, A. and van Enst, J. and Garrett, M. and Gerbers, M. and Grit, T. and Gunst, A. and van Haarlem, M.P. and Hamaker, J.P. and Heald, G. and Hoeft, M. and Holties, H. and Horneffer, A. and Koopmans, L.V.E and Kuper, G. and Loose, M. and Maat, P. and McKay-Bukowski, D. and McKean, J.P. and Miley, G. and Morganti, R. and Nijboer, R. and Noordam, J.E. and Norden, M. and Olofsson, H. and Pandey-Pommier, M. and Polatidis, A. and Reich, W. and Röttgering, H. and Schoenmakers, A. and Sluman, J. and Smirnov, O. and Steinmetz, M. and Sterks, C.G.M. and Tagger, M. and Tang, Y. and Vermeulen , R. and Vermaas, N. and Vogt, C. and de Vos, M. and Wijnholds, S.J. and Yatawatta, S. and Zensus, A. (2011) Observing pulsars and fast transients with LOFAR. Astronomy & Astrophysics, 530 (A80). pp. 1-32. ISSN 0004-6361 *** ISI Impact 4,179 ***
Stoelinga, M.I.A. (2011) Model- en risicogebaseerd testen voeren boventoon op Nederlandse Testdag. Bits en chips, 113 (15). pp. 14-15. ISSN 1879-6443
Stoelinga, M.I.A. and Timmer, M. (2011) Efficiënt zoeken in grote tekstbestanden. Nieuwe Wiskrant, 30 (4). pp. 35-38. ISSN 0928-7167
Tereshchenko, O. and Buesink, F.J.K. and Leferink, F.B.J. (2011) An overview of the techniques for measuring the dielectric properties of materials. In: 2011 XXXth URSI General Assembly and Scientific Symposium, 13-20 Aug 2011, Istanbul, Turkey. pp. 1-4. URSI. ISBN 978-1-4244-5118-0
Tereshchenko, O. and Buesink, F.J.K. and Leferink, F.B.J. (2011) Measurement of complex permittivity of composite materials using waveguide method. In: 10th International Symposium on Electromagnetic Compatibility (EMC Europe 2011), 26-30 Sept 2011, York, United Kingdom. pp. 52-56. IEEE Electromagnetic Compatibility Society. ISBN 978-0-9541146-3-3
Thomas, D.W.P. and Menezes, L.R.A.X. and Christopoulos, C. and Leferink, F.B.J. and Bergsma, H.J.G. (2011) Estimation of the probability distributions for cable coupling using unscented transforms. Annals of Telecommunications, 66 (7-8). pp. 475-482. ISSN 1958-9395
Timens, R.B. and Buesink, F.J.K. and Cuk, V. and Cobben, J.F.G. and Kling, W.L. and Leferink, F.B.J. (2011) High harmonic distortion in a new building due to a multitude of electronic equipment. In: Proceedings of the 2011 IEEE International Symposium on Electromagnetic Compatibility, EMC, 14-19 Aug 2011, Long Beach (CA), USA. pp. 393-398. IEEE Electromagnetic Compatibility Society. ISBN 978-1-4577-0810-7
Timens, R.B. and Buesink, F.J.K. and Cuk, V. and Cobben, J.F.G. and Kling, W.L. and Leferink, F.B.J. (2011) Large number of small non-linear power consumers causing power quality problems. In: 10th International Symposium on Electromagnetic Compatibility (EMC Europe 2011), 26-30 Sep 2011, York, England. pp. 592-596. IEEE Electromagnetic Compatibility Society. ISBN 978-0-9541146-3-3
Timmer, J.B. and Scheinhardt, W.R.W. (2011) Cost sharing of cooperating queues in a Jackson network. Memorandum 1969, Department of Applied Mathematics, University of Twente, Enschede. ISSN 1874-4850
Timmer, M. (2011) Rijkere cognitieve eenheden door het benadrukken van synthetische meetkunde tijdens de behandeling van analytische meetkunde. Master's thesis, University of Twente.
Timmer, M. (2011) SCOOP: A Tool for SymboliC Optimisations Of Probabilistic Processes. In: Proceedings of the 8th International Conference on Quantitative Evaluation of SysTems, QEST 2011, 5-8 Sep 2011, Aachen, Germany. pp. 149-150. IEEE Computer Society. ISBN 978-1-4577-0973-9
Timmer, M. and Brinksma, H. and Stoelinga, M.I.A. (2011) Model-Based Testing. In: Software and Systems Safety: Specification and Verification. NATO Science for Peace and Security Series D: Information and Communication Security 30. IOS Press, Amsterdam, pp. 1-32. ISSN 1874-6268 ISBN 978-1-60750-710-9
Timmer, M. and Stoelinga, M.I.A. and van de Pol, J.C. (2011) Confluence Reduction for Probabilistic Systems. In: Proceedings of the 17th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2011, 26 Mar - 3 Apr 2011, Saarbrücken, Germany. pp. 311-325. Lecture Notes in Computer Science 6605. Springer Verlag. ISBN 978-3-642-19834-2
Timmons, N.F. and Scanlon, W.G. (2011) Improving the ultra-low-power performance of IEEE 802.15.6 by adaptive synchronisation. IET Wireless Sensor Systems, 1 (3). pp. 161-170. ISSN 2043-6394
van der Vegt, S. and Laarman, A.W. (2011) A Parallel Compact Hash Table. In: Proceedings of Doctoral Workshop on Mathematical and Engineering Methods in Computer Science, MEMICS 2011, 14-16 Oct 2011, Lednice, Czech Republic. pp. 191-204. Lecture Notes in Computer Science 7119. Springer Verlag. ISBN 978-3-642-25929-6
Verhoeven, C.J.M. and Bentum, M.J. and Monna, G.L.E. and Rotteveel, J. and Guo, J. (2011) On the origin of satellite swarms. Acta Astronautica, 68 (7-8). pp. 1392-1395. ISSN 0094-5765 *** ISI Impact 0,508 ***
Verhoeven, C.J.M. and Engelen, S. and Bentum, M.J. and Sundaramoorthy, P. and Noroozi, A. and Meijer, R. (2011) Nanosatellite swarm support for larger satellites. In: 62nd International Astronautical Congress, IAC 2011, 3-7 Oct 2011, Cape Town, Republic of South Africa. pp. 1-5. International Astronautical Federation (IAF). ISBN not assigned
Verpoorte, J. and Schippers, H. and Jorna, P. and Hulzinga, A. and Roeloffzen, C.G.H. and Marpaung, D.A.I. and Sanadgol, B. and Baggen, R. and Wang, Qin and Noharet, B. and Beeker, W. and Leinse, A. and Heideman, R.G. (2011) Development of the SANDRA antenna for airborne satellite communication. In: IEEE Aerospace Conference, 5-12 Mar 2011, Big Sky, USA. pp. 1-15. IEEE Aerospace and Electronic Systems Society. ISBN 978-1-4244-7351-9
Wan, Jinbo and Kerkhoff, H.G. (2011) Boosted gain programmable OpAmp with embedded gain monitor for dependable SoCs. In: 2011 International SoC Design Conference, ISOCC 2011, 17-18 Nov 2011, Jeju, Korea. pp. 294-297. IEEE Circuits & Systems Society. ISBN 978-1-4577-0711-7
Witvliet, B.A. and Wijninga, P.W. and van Maanen, E. and Smith, B. and Bentum, M.J. and Schiphorst, R. and Slump, C.H. (2011) Mixed-path trans-horizon UHF measurements for P.1546 propagation model verification. In: International Conference on Electromagnetics in Advanced Applications & IEEE-APS Topical Conference on Antennas & Propagation in Wireless Communications (ICEAA 2011), 12-17 Sept 2011, Torino, Italy. pp. 303-306. IEEE Aerospace and Electronic Systems Society. ISBN 978-1-4577-0047-7
Zambon, Eduardo and Rensink, A. (2011) Using Graph Transformations and Graph Abstractions for Software Verification. Electronic Communications of the EASST, 38. ISSN 1863-2122
Zand, P. and Chatterjea, S. and Ketema, J. and Havinga, P.J.M. (2011) D-SAR: A Distributed Scheduling Algorithm for Real-time, Closed-Loop Control in Industrial Wireless Sensor and Actuator Networks. Technical Report TR-CTIT-11-09, Centre for Telematics and Information Technology University of Twente, Enschede. ISSN 1381-3625
Zhang, Xiaochen and Broenink, J.F. (2011) A Model Management Approach for Co-Simulation Model Evaluation. In: 1st International Conference on Simulation and Modeling Methodologies, Technologies and Applications, SIMULTECH 2011, 29-31 Jul 2011, Noordwijkerhout, The Netherlands. pp. 168-173. SciTecPress. ISBN 978-989-8425-78-2
Zhuang, Leimeng and Marpaung, D.A.I. and Burla, M. and Beeker, W. and Leinse, A. and Roeloffzen, C.G.H. (2011) Low-loss, high-index-contrast Si3N4SiO2 optical waveguides for optical delay lines in microwave photonics signal processing Optics express, 19 (23). pp. 23162-23170. ISSN 1094-4087 *** ISI Impact 3,278 ***
Zhuang, Leimeng and Marpaung, D.A.I. and Burla, M. and Boot, R. and Hulzinga, A. and Beeker, W.P. and van Dijk, P. and Roeloffzen, C.G.H. (2011) Development of an integrated photonic beamformer for electronically-steered Ku-band phased array antenna. In: Avionics, Fiber-Optics and Photonics Technology Conference 2011, 4-6 Oct 2011, San Diego, California, USA. pp. 41-42. IEEE Photonics Society. ISBN 978-1-4244-7343-4
Zhuang, Leimeng and Marpaung, D.A.I. and Burla, M. and Khan, M.R.H. and Roeloffzen, C.G.H. (2011) Ring resonator-based integrated photonic beam former for phased array antennas. NERG tijdschrift, 76 (1). pp. 3-7. ISSN 0374-3853
Zhuang, Leimeng and Marpaung, D.A.I. and Burla, M. and Roeloffzen, C.G.H. and Beeker, W. and Leinse, A. and van Dijk, P. (2011) Low-loss and programmable integrated photonic beamformer for electronically-steered broadband phased array antennas. In: IEEE Photonics Conference, IPC 2011, 9-13 Oct 2011, Arlington, Virginia, USA. pp. 137-138. IEEE Photonics Society. ISBN 978-1-4244-8938-1

2010

Ehrig, H. and Rensink, A. and Rozenberg, G. and Schürr, A., ed. (2010) Graph Transformations: 5th International Conference. Lecture Notes in Computer Science 6372. Springer Verlag, Berlin. ISSN 0302-9743 ISBN 978-3-642-15927-5
Mazanek, S. and Rensink, A. and Van Gorp, P., ed. (2010) Transformation Tool Contest 2010, 1-2 July 2010, Malaga, Spain. CTIT Workshop Proceedings Series 10-03. Centre for Telematics and Information Technology University of Twente, Enschede. ISSN 1574-0846
Ali, A.J. and Scanlon, W.G. and Cotton, S.L. (2010) Pedestrian effects in indoor UWB off-body communication channels. In: Antennas and Propagation Conference (LAPC2010), 8-9 Nov 2010, Loughborough. pp. 57-60. IEEE. ISBN 978-1-4244-7304-5
An, L. and Bentum, M.J. and Meijerink, A. and Scanlon, W.G. (2010) Radio channel modeling in body area networks. In: URSI Benelux Forum 2010, 18 may 2010, Brussels, Belgium. pp. 1-3. International Union of Radio Science (URSI). ISBN not assigned
Avrachenkov, K. and Litvak, N. and Nemirovsky, D. and Smirnova, E. and Sokol, M. (2010) Monte Carlo methods for top-k personalized PageRank lists and name disambiguation. Memorandum 1924, Department of Applied Mathematics, University of Twente, Enschede. ISSN 1874-4850
Bader, A. and Westberg, L. and Karagiannis, G. and Kappler, C. and Phelan, T. (2010) RMD-QOSM: The NSIS Quality-of-Service Model for Resource Management in Diffserv. In: Proceedings of the 79th Internet Engineering Task Force (IETF), 7-12 Nov 2010, Beijing, China. RFC Document Series 5977. IETF (Internet Engineering Task Force). ISSN 2070-1721
Baier, C. and Cloth, L. and Haverkort, B.R.H.M. and Hermanns, H. and Katoen, J.P. (2010) Performability assessment by model checking of Markov reward models. Formal methods in system design, 36 (1). pp. 1-36. ISSN 0925-9856 *** ISI Impact 1,111 ***
Baier, C. and Haverkort, B.R.H.M. and Hermanns, H. and Katoen, J.P. (2010) Performance Evaluation and Model Checking Join Forces. Communications of the ACM, 53 (9). pp. 76-85. ISSN 0001-0782 *** ISI Impact 2,346 ***
Bakhshi, R. and Endrullis, J. and Endrullis, S. and Fokkink, W. and Haverkort, B.R.H.M. (2010) Automating the mean-field method for large dynamic gossip networks. In: Proceedings of the 7th International Conference on the Quantitative Evaluation of Systems (QEST 2010), 15-18 Sep 2010, Williamsburg, Virginia, USA. pp. 241-250. IEEE Computer Society. ISBN 978-0-7695-4188-4
Ballarini, P. and Barnat, J. and Weber, Michael (2010) Preface. In: Proceedings of the 9th International Workshop on Parallel and Distributed Methods in verifiCation (PDMC) and the 2nd International Workshop on High Performance Computational Systems Biology (HiBi), 30 Sep - 1 Oct 2010, Enschede, the Netherlands. vii-viii. IEEE Computer Society. ISBN 978-0-7695-4265-2
Barbosa, R.R.R. and Pras, A. (2010) Intrusion Detection in SCADA Networks. In: 4th International Conference on Autonomous Infrastructure, Management and Security (AIMS 2010), June 23-25, 2010, Zurich, Switzerland. pp. 163-166. Lecture Notes in Computer Science 6155. Springer. ISBN 978-3-642-13985-7
Belinfante, A.F.E. (2010) JTorX: A Tool for On-Line Model-Driven Test Derivation and Execution. In: Tools and Algorithms for the Construction and Analysis of Systems, 16th International Conference, TACAS 2010, 22-25 March 2010, Paphos, Cyprus. pp. 266-270. Lecture Notes in Computer Science 6015. Springer Verlag. ISSN 0302-9743 ISBN 978-3-642-12001-5
Bentum, M.J. and Boonstra, A.J. and Baan, W.A. (2010) Impact of cognitive radio on radio astronomy. In: RFI Mitigation Workshop (RFI2010), 29-31 Mar 2010, Groningen. pp. 1-7. Proceedings of Science (POS). ISSN 1824-8039
Bentum, M.J. and Boonstra, A.J. and Millenaar, R.P. (2010) Assessment of rfi measurements for lofar. In: RFI Mitigation Workshop (RFI2010), 29-31 Mar 2010, Groningen. pp. 1-7. Proceedings of Science (POS). ISSN 1824-8039
Bentum, M.J. and Boonstra, A.J. and Verhoeven, C.J.M. and van der Veen, A.J. and Gill, E.K.A. and Saks, N. and Falcke, H. and Klein-Wolt, M. and Rajan, R.T. and Wijnholds, S.J. and Arts, M. and van 't Klooster, K. and Beliën, F. and Meijerink, A. and Monna, B. and Rotteveel, J. and Boer, M.A. and Bongers, E. and Boom, E. and van Tuijl, E. and van Staveren, A. (2010) Using a satellite swarm for building a space-based radio telescope for low frequencies. In: 38th COSPAR Scientific Assembly, 18-25 July 2010, Bremen, Germany. pp. 1-2. Committee on Space Research (Cospar). ISBN not assigned
Bentum, M.J. and Boonstra, A.J. and Verhoeven, C.J.M. and van der Veen, A.J. and Gill, E.K.A. and Saks, N. and Falcke, H. and Klein-Wolt, M. and Rajan, R.T. and Wijnholds, S.J. and Arts, M. and van 't Klooster, K. and Beliën, F. and Meijerink, A. and Monna, B. and Rotteveel, J. and Boer, M.A. and Bongers, E. and Boom, E. and van Tuijl, E. and van Staveren, A. (2010) OLFAR - orbiting low frequency array; using a satellite swarm for building a space-based radio telescope for low frequencies. In: Sense of Contact 12, 8 Apr 2010, Zeist, The Netherlands. pp. 1-8. Technology foundation STW. ISBN not assigned
Bentum, M.J. and Gunst, A.W. (2010) LOFAR - low frequency array. Electron, 12. pp. 54-59. ISSN 0013-4767
Bentum, M.J. and Gunst, A.W. and Boonstra, A.J. (2010) Low frequency array (lofar)- potential and challenges. In: Applied Signal and Image Processing: Multidisciplinary Advancements. IGI Global, USA, pp. 1-18. ISBN 978-1-60960-477-6
Bentum, M.J. and Meijerink, A. and Boonstra, A.J. and Verhoeven, C.J.M. and van der Veen, A.J. (2010) OLFAR: the orbiting low frequency array, how a cube sat swarm becomes a novel radio astronomy instrument in space. De Vonk, 25. pp. 1-5. ISSN 0925-5427
Biesbroek, R. and Fioreze, T. and Granville, L. and Pras, A. (2010) On the Performance of Grooming Strategies for Offloading IP Flows onto Lightpaths in Hybrid Networks. In: 16th EUNICE/IFIP WG 6.6 Workshop on Networked Services and Applications - Engineering, Control and Management, 20-30 June 2010, Trondheim, Norway. pp. 1-10. Lecture Notes in Computer Science 6164. Springer Verlag. ISSN 0302-9743 ISBN 978-3-642-13970-3
Bijker, R. and Bockisch, C.M. and Sewe, A. (2010) Optimizing the Evaluation of Patterns in Pointcuts. In: Fourth workshop on Virtual Machines and Intermediate Languages, 17 Oct 2010, Reno/Tahoe, Nevada, USA. Article 2. ACM. ISBN 978-1-4503-0545-7
Bischoff, R. and Guhl, T. and Prassler, E. and Nowak, W. and Kraetzschmar, G.K. and Bruininckx, H. and Soetens, P. and Haegele, M. and Pott, A. and Breedveld, P.C. and Broenink, J.F. and Brugali, D. and Tomatis, N. (2010) BRICS - Best practice in robotics. In: Proceedings for the joint conference of ISR 2010 (41st International Symposium on Robotics) und ROBOTIK 2010 (6th German Conference on Robotics), 7-9 June 2010 - Parallel to AUTOMATICA, 7-9 Jun 2010, Munich, Germany. pp. 968-975. VDE Verlag. ISBN 978-3-8007-3273-9
Blaj, M.A. and Buesink, F.J.K. and Damstra, G.C. and Leferink, F.B.J. (2010) Lightning current tests to evaluate vulnerability of electronics in composite structures. In: 9th International Symposium on EMC and 20th International Wroclaw Symposium on Electromagnetic Compatibility, 13-17 Sept 2010, Wroclaw, Poland. pp. 579-582. Oficyna Wydawnicza Politechniki Wroclawskiej. ISBN 978-83-7493-426-8
Blaj, M.A. and Buesink, F.J.K. and Damstra, G.C. and Leferink, F.B.J. (2010) Lightning current tests on radars and similar structures. In: 30th International Conference on Lightning Protection (ICLP 2010), 13-17 Sept 2010, Cagliari, Italy. pp. 1-4. University or Cagliari. ISBN 978-88-905519-0-1
Blaj, M.A. and Buesink, F.J.K. and Leferink, F.B.J. (2010) Simulating lightning tests to radar system. In: 9th International Symposium on EMC and 20th International Wroclaw Symposium on Electromagnetic Compatibility, 13-17 Sept 2010, Wroclaw, Poland. pp. 565-568. IEEE. ISBN 978-1-4244-2737-6
Blom, S.C.C. and Kant, G. and Rensink, A. (2010) Distributed Graph-Based State Space Generation. In: Proceedings of the Fourth International Workshop on Graph-Based Tools (GraBaTs 2010), 28 Sep 2010, Enschede, The Netherlands. pp. 118-130. CTIT Workshop Proceedings (WP 10-06). Centre for Telematics and Information Technology University of Twente. ISSN 0929-0672
Blom, S.C.C. and van de Pol, J.C. and Weber, Michael (2010) LTSmin: Distributed and Symbolic Reachability. In: Computer Aided Verification, 15-19 Jul 2010, Edinburgh. pp. 354-359. Lecture Notes in Computer Science 6174. Springer Verlag. ISSN 0302-9743 ISBN 978-3-642-14294-9
Bockisch, C.M. and Sewe, A. (2010) Generic IDE Support for Dispatch-Based Composition. In: Proceedings of the First International Workshop on Composition: Objects, Aspects, Components, Services and Product Lines, 15 Mar 2010, Rennes, France. CEUR Workshop Proceedings 564. M. Jeusfeld c/o Redaktion Sun SITE, Informatik V, RWTH Aachen. ISSN 1613-0073
de Boer, P.T. and Scheinhardt, W.R.W. (2010) A new, analysis-based, change of measure for tandem queues. In: Eighth International Workshop on Rare-Event Simulation, RESIM 2010, 21-23 June 2010, Cambridge, UK. pp. 12-13. Isaac Newton Institute for Mathematical Sciences. ISBN not assigned
Boonstra, A.J. and Saks, N. and Bentum, M.J. and van 't Klooster, K. and Falcke, H. (2010) Daris, a low-frequency distributed aperture array for radio astronomy in space. In: 61th International Astronautica Congress (IAC 2010), 27 Sept - 1 Oct 2010, Prague, Czech Republic. pp. 1-7. IAC . ISSN 1995-6258
Boonstra, A.J. and Saks, N. and Falcke, H. and Klein-Wolt, M. and Bentum, M.J. and Rajan, R.T. and Wijnholds, M. and Arts, M. and van 't Klooster, K. and Beliën, F. (2010) DARIS : a low-frequency distributed aperture array for radio astronomy in space. In: Sense of Contact 12, 8 Apr 2010, Zeist, The Netherlands. pp. 1-2. Technology foundation STW. ISBN not assigned
Boonstra, A.J. and Saks, N. and Falcke, H. and Klein-Wolt, M. and Bentum, M.J. and Rajan, R.T. and Wijnholds, S.J. and Arts, M. and van 't Klooster, K. and Beliën, F. (2010) A low-frequency distributed aperture array for radio astronomy in space. In: 38th COSPAR Scientific Assembly, 18-25 July 2010, Bremen, Germany. pp. 1-2. COSPAR. ISBN not assigned
Bosman, M.G.C. and Bakker, V. and Molderink, A. and Hurink, J.L. and Smit, G.J.M. (2010) Benchmarking set for domestic smart grid management. In: Innovative Smart Grid Technologies Conference Europe, ISGT Europe 2010, 11-13 Oct 2010, Gothenburg, Sweden. pp. 1-8. IEEE Power & Energy Society. ISBN 978-1-4244-8508-6
ter Braak, T.D. and Burgess, S.T. and Hurskainen, H. and Kerkhoff, H.G. and Vermeulen, B. and Zhang, Xiao (2010) On-Line Dependability Enhancement of Multiprocessor SoCs by Resource Management. In: Proceedings of the 2010 International Symposium on System-on-Chip, 29-30 Sep 2010, Tampere, Finland. pp. 103-110. IEEE Circuits and Systems Society. ISBN 978-1-4244-8276-4
ter Braak, T.D. and Hölzenspies, P.K.F. and Kuper, J. and Hurink, J.L. and Smit, G.J.M. (2010) Run-time Spatial Resource Management for Real-Time Applications on Heterogeneous MPSoCs. In: Proceedings of the Conference on Design, Automation and Test in Europe (DATE 2010), 8-12 Mar 2010, Dresden. pp. 357-362. European Design and Automation Association. ISBN 978-3-9810801-6-2
van Brandenburg, R. and van Deventer, M.O. and Karagiannis, G. and Schenk, M. (2010) Towards personalized TV for concurrent use; challenges and opportunities for IMS-based IPTV. Journal of Internet Engineering, 4 (1). pp. 279-288. ISSN 1791-177X
van Brandenburg, R. and van Deventer, O. and Karagiannis, G. and Schenk, M. (2010) Multi-User Interactive TV: the Next Step in Personalization. In: Proceedings of 8th European Conference on Interactive TV and Video (EuroITV 2010), 9-11 June 2010, Tampere, Finland. Tampere University of Technology. ISBN 978-1-60558-831-5
Broenink, J.F. and Groothuis, M.A. and Visser, P.M. and Bezemer, M.M. (2010) Model-driven robot-software design using template-based target descriptions. In: ICRA 2010 Workshop on Innovative Robot Control Architectures for Demanding (Research) Applications: How to modify and enhance commercial controllers, 03-07 May 2010, Anchorage, Allaska, USA. pp. 73-77. TU Braunschweig. ISBN not assigned
Broenink, J.F. and Larsen, P.G and Verhoef, M. and Kleijn, C. and Jovanović, D.S. and Pierce, K. and Wouters, F. (2010) Design Support and Tooling for Dependable Embedded Control Systems. In: 2nd International Workshop on Software Engineering for Resilient Systems, SERENE 2010, 13-16 Apr 2010, London, UK. ACM. ISBN 978-1-4503-0289-0
Broenink, J.F. and Ni, Y. and Groothuis, M.A. (2010) On model-driven design of robot software using co-simulation. In: Proceedings of SIMPAR 2010 Workshops International Conference on Simulation, Modeling, and Programming for Autonomous Robots, 15-16 Nov 2010, Darmstadt, Germany. pp. 659-668. TU Darmstadt. ISBN 978-3-00-032863-3
Burla, M. and Khan, M.R.H. and Marpaung, D.A.I. and Roeloffzen, C.G.H. and Maat, P. and Dijkstra, K. and Leinse, A. and Hoekman, M. and Heideman, R.G. (2010) Squint-free beamsteering demonstration using a photonic integrated beamformer based on optical ring resonators. In: 2010 International Topical Meeting on Microwave Photonics, 5-8 Oct 2010, Montreal, Canada. pp. 401-404. IEEE. ISBN 978-1-4244-7822-4
Burla, M. and Khan, M.R.H. and Marpaung, D.A.I. and Roeloffzen, C.G.H. and Maat, P. and Dijkstra, K. and Leinse, A. and Hoekman, M. and Heideman, R.G. (2010) Photonic integrated beamformers for broadband radio astronomy. In: International Workshop on Phased Array Antenna Systems for Radio Astronomy, 3-5 May 2010, Provo, Utah, USA. pp. 1-1. Brigham Young University. ISBN not assigned
Burla, M. and Roeloffzen, C.G.H. and Marpaung, D.A.I. and Khan, M.R.H. and van Etten, W.C. (2010) A novel design procedure for minimum rf phase error in optical ring resonator-based integrated optical beamformers for phased array antennas. In: Proceedings of the 2010 Annual Symposium of the IEEE Photonics Benelux Chapter, 18-19 Nov 2010, Delft, The Netherlands. pp. 245-248. Technical University of Delft. ISBN 978-90-78314-15-8
Catherwood, P.A. and Scanlon, W.G. (2010) Off-body UWB channel characterisation within a hospital ward environment. International Journal of Ultra Wideband Communications and Systems (IJUWBCS), 1 (4). pp. 263-272. ISSN 1758-7298
Chandran, A.R. and Scanlon, W.G. (2010) Dual-band low profile antennas for body-centric communications. In: 2010 International Workshop on Antenna Technology (iWAT), 1-3 Mar 2010, Lisbon, Portugal. pp. 1-4. IEEE. ISBN 978-1-4244-4883-8
Ciraci, S. and van den Broek, P.M. and Akşit, M. (2010) Graph-Based Verification of Static Program Constraints. In: Proceedings of the 25th Annual ACM Symposium on Applied Computing 2010, 22-26 March, 2010, Sierre, Switzerland. pp. 2265-2273. ACM. ISBN 978-1-60558-638-0
Ciraci, S. and van den Broek, P.M. and Akşit, M. (2010) Verifying Runtime Reconfiguration Requirements on UML Models. In: Views on Evolvability of Embedded Systems. Springer, pp. 209-225. ISBN 978-90-481-9848-1
Coenen, T.J. (2010) Analysis and design of post-wall waveguides for application in SIW. PhD thesis, University of Twente. ISBN 978-90-365-2974-7
Coenen, T.J. and Bekers, D.J. and Tauritz, J.L. and van Vliet, F.E. (2010) An electromagnetic model for post-wall waveguide building blocks. In: URSI International Symposium on Electromagnetic Theory (EMTS), 16-19 Aug 2010, Berlin, Germany. pp. 570-572. IEEE Computer Society. ISBN 978-1-4244-5155-5
Conway, G.A. and Scanlon, W.G. and Cotton, S.L. and Bentum, M.J. (2010) An analytical path-loss model for on body radio. (Invited) In: 20th International URSI Symposium Electromagnetic Theory (EMTS), 16-19 Aug 2010, Berlin, Germany. pp. 353-356. IEEE Computer Society. ISBN 978-1-4244-5154-8
Corradini, A. and de Mol, M.J. (2010) ICGT 2010 Doctoral Symposium [Preface]. In: Proceedings of the Fifth Internal Conference on Graph Transformations (ICGT 2010), 27 Sep - 02 Oct 2010, Enschede, Netherlands. pp. 379-380. Lecture Notes in Computer Science 6372. Springer Verlag. ISBN 978-3-642-15927-5
Cotton, S.L. and Dias, U.S. and Scanlon, W.G. and Yacoub, M.D. (2010) On the distribution of signal phase in body area networks. IEEE Communications Letters, 14 (8). pp. 728-730. ISSN 1089-7798 *** ISI Impact 1,14 ***
Cotton, S.L. and Scanlon, W.G. and Madahar, B.K. (2010) Simulation of millimetre-wave channels for short-range body to body communications. (Invited) In: Proceedings of the Fourth European Conference on Antennas and Propagation (EuCAP 2010), 12-16 Apr 2010, Barcelona, Spain. pp. 1-5. EurAAP. ISBN 978-1-4244-6431-9
Cuk, V. and Bhattacharyya, S. and Cobben, J.F.G. and Kling, W.L. and Timens, R.B. and Leferink, F.B.J. (2010) The effect of inrush transients on PV inverter's grid impedance measurement based on inter-harmonic injection. In: Proceedings of the International Conference on Renewable Energies and Power Quality (ICREPQ 2010), 23-25 Mar 2010, Granada, Spain. pp. 1-6. EA4EPQ. ISBN not assigned
Cuk, V. and Cobben, J.F.G. and Kling, W.L. and Timens, R.B. (2010) An analysis of diversity factors applied to harmonic emission limits for energy saving lamps. In: 14th International Conference on Harmonics and Quality of Power (ICHQP 2010), 26-29 Sept 2010, Bergamo, Italy. pp. 1-6. IEEE Electromagnetic Compatibility Society. ISBN 978-1-4244-7245-1
Dao, P.B. and de Vries, T.J.A. and van Amerongen, J. (2010) Safe-Guarded Agent Design Pattern for Mechatronic Systems. In: 5th IFAC Symposium on Mechatronic Systems, 13-15 September 2010, Cambridge, MA, USA. pp. 345-354. IFAC. ISBN 978-3-902661-76-0
Diouf, F. and Canavero, F. and Leferink, F.B.J. and Buesink, F.J.K. (2010) Field coupling to randomly-routed wires: theoretical and experimental comparison. In: 9th Symposium on EMC and 20th International Wroclaw Symposium on Electromagnetic Compatibility, 13-17 Sept 2010, Wroclaw, Poland. pp. 113-118. Oficyna Wydawnicza Politechniki Wroclawskiej. ISBN 978-83-7493-426-8
Drago, I. and Pras, A. (2010) Scalable Service Performance Monitoring. In: Mechanisms for Autonomous Management of Networks and Services, 4th International Conference on Autonomous Infrastructure, Management and Security, June 23-25, 2010, Zurich, Switzerland. pp. 175-178. Lecture Notes in Computer Science 6155. Springer Verlag. ISSN 0302-9743 ISBN 978-3-642-13985-7
Dresscher, D. and Brodskiy, Y. and Breedveld, P.C. and Broenink, J.F. and Stramigioli, S. (2010) Modeling of the youBot in a serial link structure using twists and wrenches in a bond graph. In: Proceedings of SIMPAR 2010 Workshops, 15-18 Nov 2010, Darmstadt, Germany. pp. 385-400. SIMPAR. ISBN 978-3-00-032863-3
Durr, P.E.A. and Bergmans, L.M.J. and Akşit, M. (2010) A Controlled Experiment for the Assessment of Aspects: Tracing in an Industrial Context. In: Empirical Evaluation of Software Composition Techniques (ESCOT 2010), 16 march 2010, Saint Malo, France. Aspect-Oriented Software Association. ISBN not assigned
Ehrig, H. and Rensink, A. and Rozenberg, G. and Schürr, A. (2010) Graph Transformationcs (ICGT 2010) - Preface. In: International Conference on Graph Transformationcs (ICGT 2010), 27 Sep - 2 Oct 2010, Enschede. V-VI. Lecture Notes in Computer Science 6372. Springer Verlag. ISSN 0302-9743 ISBN 978-3-642-15927-5
Engelen, S. and Verhoeven, C.J. and Bentum, M.J. (2010) OLFAR, a radio telescope based on nano satellites in moon orbit. In: 24th Annual Conference on Small Satellites, 9-12 Aug 2010, Utah, USA. pp. 1-7. Utah State University. ISBN not assigned
Fioreze, T. (2010) Self-Management of Hybrid Optical and Packet Switching Networks. PhD thesis, University of Twente. CTIT Ph.D.-thesis series No. 09-163 ISBN 978-90-365-2966-2
Fioreze, T. and Heijenk, G.J. (2010) Extending DNS to Support Geocasting Towards VANETs: A Proposal. In: Proceedings of the Second IEEE Vehicular Networking Conference (VNC 2010), 13-15 Dec 2010, Jersey City, New Jersey, USA. pp. 279-285. IEEE Communications Society. ISBN 978-1-4244-9524-5
Güleşir, G. and America, P. and Benschop, F. and van den Berg, K.G. and Akşit, M. (2010) Creating high-quality behavioural designs for software-intensive systems. In: Views on Evolvability of Embedded Systems. Springer, pp. 193-207. ISBN 978-90-481-9848-1
Ghamarian, A.H. and de Mol, M.J. and Rensink, A. and Zambon, Eduardo and Zimakova, M.V. (2010) Modelling and Analysis Using GROOVE. Technical Report TR-CTIT-10-18, Centre for Telematics and Information Technology University of Twente, Enschede. ISSN 1381-3625
Ghamarian, A.H. and Rensink, A. and Jalali, A. (2010) Incremental Pattern Matching in Graph-Based State Space Exploration. In: Proceedings of the Fourth International Workshop on Graph-Based Tools (GraBaTs 2010), 28 Sept 2010, Enschede, The Netherlands. pp. 144-154. CTIT Workshop Proceedings (WP 10-06). Centre for Telematics and Information Technology University of Twente. ISSN 0929-0672
Gribaudo, M. and Remke, A.K.I. (2010) Hybrid Petri nets with general one-shot transitions for dependability evaluation of fluid critical infrastructures. In: 12th IEEE International High Assurance Systems Engineering Symposium, HASE 2010, 3-4 Nov 2010, San Jose, USA. pp. 84-93. IEEE Computer Society. ISBN 978-0-7695-4292-8
Gunst, A.W. and Bentum, M.J. (2010) The lofar phased array telescope system. (Invited) In: IEEE International Symposium on Phased Array Systems and Technology, ARRAY 2010, 12-15 Oct 2010, Waltham, MA, USA. pp. 632-639. IEEE Aerospace and Electronic Systems Society. ISBN 978-1-4244-5127-2
Hansen, H.H. and Ketema, J. and Luttik, S.P. and Mousavi, M.R. and van de Pol, J.C. (2010) Towards Model Checking Executable UML Specifications in mCRL2. Innovations in Systems and Software Engineering, 6 (1-2). pp. 83-90. ISSN 1614-5046
Haverkort, B.R.H.M. and Katoen, J.P. and Larsen, K.G. (2010) Quantitative Verification in Practice. In: 4th International Symposium on Leveraging Applications, ISoLA 2010, 18-21 Oct 2010, Heraklion, Greece. pp. 127-127. Lecture Notes in Computer Science 6416. Springer Verlag. ISBN 978-3-642-16560-3
Haverkort, B.R.H.M. and Kuntz, G.W.M. and Leitner-Fischer, F. and Remke, A.K.I. and Roolvink, S. (2010) Probabilistic verification of Architectural software models using SoftArc and Prism. In: Proceedings of the ESREL 2010 Annual Conference, 5-9 Sept 2010, Greece, Rhodos. pp. 852-860. Taylor & Francis. ISBN 978-0-415-60427-7
Haverkort, B.R.H.M. and Kuntz, G.W.M. and Remke, A.K.I. and Roolvink, S. and Stoelinga, M.I.A. (2010) Evaluating Repair Strategies for a Water-Treatment Facility using Arcade. In: 2010 IEEE/IFIP International Conference on Dependable Systems & Networks (DSN), 28 June - 1 July 2010, Chicago, IL, USA. pp. 419-424. IEEE Computer Society. ISBN 978-1-4244-7499-8
Havinga, W.K. and Bergmans, L.M.J. and Akşit, M. (2010) A Model for Composable Composition Operators: Expressing object and aspect compositions with first-class operators. In: Proceedings of the 9th international conference on Aspect-Oriented Software Development, 15-19 Mar 2010, Rennes and Saint-Malo, France. pp. 145-156. ACM. ISBN 978-1-60558-958-9
Havinga, W.K. and Bockisch, C.M. and Bergmans, L.M.J. (2010) A Case for Custom, Composable Composition Operators. In: Proceedings of the 1st International Workshop on Composition: Objects, Aspects, Components, Services and Product Lines, 15 March 2010, Rennes, France. pp. 45-50. Workshop Proceedings 564. CEUR-WS. ISSN 1613-0073
Hüksbusch, M. and König, B. and Rensink, A. and Semenyak, M. and Soltenborn, C. and Wehrheim, H. (2010) Showing Full Semantics Preservation in Model Transformation - A Comparison of Techniques. In: 8th International Conference on Integrated Formal Methods, IFM 2010, 11-14 Oct 2010, Nancy, France. pp. 183-198. Lecture Notes in Computer Science 6396. Springer Verlag. ISSN 0302-9743 ISBN 978-3-642-16264-0
Hülsbusch, M. and König, B. and Rensink, A. and Semenyak, M. and Soltenborn, C. and Wehrheim, H. (2010) Full Semantics Preservation in Model Transformation - A Comparison of Proof Techniques. Technical Report TR-CTIT-10-09, Centre for Telematics and Information Technology University of Twente, Enschede. ISSN 1381-3625
Heaney, S.F. and Scanlon, W.G. and Garcia-Palacios, E. and Cotton, S.L. (2010) Fading characterization for context aware body area networks (caban) in interactive smart environments. In: Antennas and Propagation Conference (LAPC2010), 8-9 Nov 2010, Loughborough. pp. 501-504. IEEE. ISBN 978-1-4244-7304-5
Hermanns, H. and Katoen, J.P. (2010) The How and Why of Interactive Markov Chains. (Invited) In: Symposium on Formal Methods for Components and Objects, FMCO 2009, 04 - 06 November 2009, Eindhoven, the Netherlands. pp. 311-337. Lecture Notes in Computer Science 6286. Springer Verlag. ISSN 0302-9743 ISBN 978-3-642-17070-6
Hofstede, R. and Sperotto, A. and Fioreze, T. and Pras, A. (2010) The Network Data Handling War: MySQL vs. NfDump. In: 16th EUNICE/IFIP WG 6.6 Workshop on Networked Services and Applications - Engineering, Control and Management, 20-30 June 2010, Trondheim, Norway. pp. 167-176. Lecture Notes in Computer Science 6164. Springer Verlag. ISSN 0302-9743 ISBN 978-3-642-13970-3
Huisman, M. and Gurov, D. (2010) CVPP: A Tool Set for Compositonal Verification of Control-Flow Safety Properties. In: Formal Verification of Object-Oriented Software (FoVeOOS) 2010., 28 - 30 June 2010. pp. 107-121. Lecture Notes in Computer Science 6528. Springer Verlag. ISBN 978-3-642-18070-5
Jongerden, M.R. (2010) Model-based energy analysis of battery powered systems. PhD thesis, University of Twente. CTIT Ph.D.-thesis series No. 10-183 ISBN 978-90-365-3114-6
Jongerden, M.R. and Haverkort, B.R.H.M. (2010) Computing lifetimes for battery-powered devices. In: Proceedings of the International Conference on Operations Research, OR2010, 1-3 Sep 2010, Munich, Germany. pp. 193-198. Springer Verlag. ISSN 0721-5924 ISBN 978-3-642-20008-3
Jongerden, M.R. and Mereacre, A. and Bohnenkamp, H.C. and Haverkort, B.R.H.M. and Katoen, J.P. (2010) Computing Optimal Schedules of Battery Usage in Embedded Systems. IEEE Transactions on Industrial Informatics, 6 (3). pp. 276-286. ISSN 1551-3203 *** ISI Impact 1,614 ***
Kant, G. (2010) Using Canonical Forms for Isomorphism Reduction in Graph-based Model Checking. Technical Report TR-CTIT-10-28, Centre for Telematics and Information Technology University of Twente, Enschede. ISSN 1381-3625
Kant, G. (2010) Distributed State Space Generation for Graphs up to Isomorphism. Master's thesis, University of Twente.
Katoen, J.P. (2010) Advances in Probabilistic Model Checking. (Invited) In: 11th International Conference on Verification, Model Checking, and Abstract Interpretation, VMCAI 2010, 17-19 Jan 2010, Madrid, Spain. pp. 25-25. Lecture Notes in Computer Science 5944. Springer Verlag. ISBN 978-3-642-11318-5
Katoen, J.P. and van de Pol, J.C. and Stoelinga, M.I.A. and Timmer, M. (2010) A linear process-algebraic format for probabilistic systems with data (extended version). Technical Report TR-CTIT-10-11, Centre for Telematics and Information Technology University of Twente, Enschede. ISSN 1381-3625
Katoen, J.P. and van de Pol, J.C. and Stoelinga, M.I.A. and Timmer, M. (2010) A linear process-algebraic format for probabilistic systems with data. In: Application of Concurrency to System Design, Tenth International Conference on, 21-25 Jun 2010, Braga, Portugal. pp. 213-222. IEEE Computer Society. ISSN 1550-4808 ISBN 978-0-7695-4066-5
Keim, D.A. and Pras, A. and Schönwälder, J. and Wong, Pak Chung and Mansmann, F. (2010) Report on the Dagstuhl Seminar on Visualization and Monitoring of Network Traffic. Journal of network and systems management, 18 (2). pp. 232-236. ISSN 1064-7570 *** ISI Impact 1,356 ***
Kerkhoff, H.G. and Wan, Jinbo (2010) Dependable Digitally-Assisted Mixed-Signal IPs Based on Integrated Self-Test & Self-Calibration. In: IEEE 16th International Mixed-Signals, Sensors and Systems Test Workshop (IMS3TW 2010), 7-9 June 2010, La Grande Motte, France. pp. 1-6. IEEE Computer Society. ISBN 978-1-4244-7792-0
Kestillä, A.A. and Engelen, S. and Gill, E.K.A. and Verhoeven, C.J.M. and Bentum, M.J. and Irahhauten, Z. (2010) An extensive and autonomous deep space navigation system using radio pulsars. In: 61th International Astronautical Congress (IAC2010), Sept 27 - Oct 1 2010, Prague, Czech Republic. pp. 1-7. IAC. ISSN 1995-6258
Ketema, J. and Simonsen, J.G. (2010) Least Upper Bounds on the Size of Church-Rosser Diagrams in Term Rewriting and λ-Calculus. In: Proceedings of the 10th International Symposium on Functional and Logic Programming (FLOPS 2010), 19-21 April 2010, Sendai, Japan. pp. 272-287. Lecture Notes in Computer Science 6009. Springer Verlag. ISBN 978-3-642-12250-7
Khatib, M.G. and Hartel, P.H. and van Dijk, H.W. (2010) Energy-Efficient Streaming Using Non-volatile Memory. Journal of Signal Processing Systems, 60 (2). pp. 149-168. ISSN 1939-8018 *** ISI Impact 0,533 ***
Kilic, Y. and Meijerink, A. and Bentum, M.J. (2010) Localization in smart dust sensor networks. In: URSI Benelux Forum 2010 (International Union of Radio Science), 18 May 2010, Brussels, Belgium. pp. 1-1. URSI Benelux (Internation Union of Radio Science). ISBN not assigned
Kilic, Y. and Meijerink, A. and Bentum, M.J. (2010) Locating the information: applications, technologies and future aspects. De Vonk, 25. pp. 1-5. ISSN 0925-5427
Kordy, P.T. and Langerak, R. and Polderman, J.W. (2010) Re-verification of a Lip Synchronization Protocol using Robust Reachability. Electronic Proceedings in Theoretical Computer Science, 20. pp. 49-62. ISSN 2075-2180
Krishnan, S. and Kerkhoff, H.G. (2010) Multivariate Model for Test Response Analysis. In: 15th IEEE European Test Symposium (ETS 2010), 24-28 May 2010 , Praha, Czech republic. pp. 250-251. IEEE Computer Society. ISSN 1530-1877 ISBN 978-1-4244-5834-9
Krishnan, S. and Kerkhoff, H.G. and Doornbosch, K.D. and Brand , R. (2010) BlockLevel Bayesian Diagnosis of Analogue Electronic Circuits. In: Design, Automation & Test in Europe Conference & Exhibition, DATE 2010, 8-12 Mar 2010, Dresden, Germany. pp. 1767-1772. IEEE. ISSN 1530-1591 ISBN 978-1-4244-7054-9
Kuntz, G.W.M. and Haverkort, B.R.H.M. and Remke, A.K.I. and Roolvink, S. (2010) Formal Performability Evaluation of Architectural Models of Critical Infrastructures. In: Proceedings of the ESREL 2010 Annual Conference, 5-9 Sept 2010, Greece, Rhodos. pp. 27-34. Taylor & Francis Group. ISBN 978-0-415-60427-7
Laarman, A.W. and van de Pol, J.C. and Weber, Michael (2010) Boosting Multi-Core Reachability Performance with Shared Hash Tables. In: Proceedings of the 10th International Conference on Formal Methods in Computer-Aided Design, 20 Oct - 23 Oct 2010, Lugano, Switzerland. pp. 247-256. IEEE Computer Society. ISBN 978-1-4577-0734-6
Laarman, A.W. and van de Pol, J.C. and Weber, Michael (2010) Boosting Multi-Core Reachability Performance with Shared Hash Tables. Technical Report arXiv:1004.2772, ArXiv, Ithaca, NY.
Leferink, F.B.J. (2010) Maximum and average field strength in enclosed environments. In: 9th International Symposium on EMC and 20th International Wroclaw Symposium on Electromagnetic Compatibility, 13-17 Sept 2010, Wroclaw, Poland. pp. 261-264. Oficyna Wydawnicza Politechniki Wroclawskiej. ISBN 978-83-7493-426-8
Leferink, F.B.J. (2010) CE Marking of military equipment: it is the law! how to do it? In: 9th International Symposium on EMC and 20th International Wroclaw Symposium on Electromagnetic Compatibility, 13-17 Sept 2010, Wroclaw, Poland. pp. 13-16. Oficyna Wydawnicza Politechniki Wroclawskiej. ISBN 978-83-7493-426-8
Leferink, F.B.J. (2010) Using reverberation chambers for em measurements. In: International Conference on Software, Telecommunications and Computer Networks (SoftCOM2010), 23-25 Sept 2010, Split, Croatia. pp. 1-5. IEEE Electromagnetic Compatibility Society. ISBN 978-1-4244-8663-2
Leferink, F.B.J. (2010) Gaps in the application of the emc directive due to inadequate harmonized product standards. EMC Society Newletter, 226. pp. 26-31. ISSN 1089-0785
Leferink, F.B.J. and Buesink, F.J.K. and Serra, R. (2010) An apparatus for measuring the strength of an electromagnetic field. Patent EP10196642 (Application).
Leferink, F.B.J. and Silva, F. and Catrysse, J. and Batterman, S. and Beauvois, V. and Roc'h, A. (2010) Man-made noise in our living environments. Radio Science Bulletin, 334. pp. 49-57. ISSN 1024-4530
Mader, A.H. and Bohnenkamp, H.C. and Usenko, Y.S. and Jansen, D.N. and Hurink, J.L. and Hermanns, H. (2010) Synthesis and stochastic assessment of cost-optimal schedules. International journal on software tools for technology transfer, 12 (5). pp. 305-317. ISSN 1433-2779
Manner, J. and Karagiannis, G. and McDonald, A. (2010) NSIS Signaling Layer Protocol (NSLP) for Quality-of-Service Signaling. In: Proceedings of the 79th Internet Engineering Task Force (IETF), 7-12 Nov 2010, Beijing, China. pp. 1-102. RFC Document Series RFC 5974. IETF (Internet Engineering Task Force). ISSN 2070-1721
Marincic, J. and Mader, A.H. and Wieringa, R.J. and Lucas, Y. (2010) Structuring Problem Analysis for Embedded Systems Modelling. In: International Workshop on Applications and Advances of Problem-Orientation (IWAAPO), 8 May 2010, Cape Town, South Africa. International Academy, Research and Industry Association. ISBN not assigned
Marpaung, D.A.I. and Roeloffzen, C.G.H. and Leinse, A. and Hoekman, M. (2010) A novel microwave photonic link employing cascaded ring resonators as balanced optical discriminators. In: Proceedings of the 2010 Annual Symposium of the IEEE Photonics Benelux Chapter, 18-19 Nov 2010, Delft, The Netherlands. pp. 93-96. Technical University of Delft. ISBN 978-90-78314-15-8
Marpaung, D.A.I. and Roeloffzen, C.G.H. and Leinse, A. and Hoekman, M. (2010) A photonic chip based frequency discriminator for a high performance microwave photonic link. Optics express, 18 (26). pp. 27359-27370. ISSN 1094-4087 *** ISI Impact 3,278 ***
Marpaung, D.A.I. and Roeloffzen, C.G.H. and Timens, R.B. and Leinse, A. and Hoekman, M. (2010) Design and realization of integrated optical frequency modulation discriminator for a high performance microwave photonic link. In: International Topical Meeting on Microwave Photonics (MWP 2010), 5-8 Oct 2010, Montreal, Canada. pp. 131-134. IEEE Photonics Society. ISBN 978-1-4244-7822-4
Meijerink, A. (2010) Short range radio research in Twente. (Invited) In: Communication Sciences Seminar, 6 Oct 2010, Los Angeles. pp. 1-1. University of Southern California. ISBN not assigned
Meijerink, A. and Roeloffzen, C.G.H. and Meijerink, R. and Zhuang, Leimeng and Marpaung, D.A.I. and Bentum, M.J. and Burla, M. and Verpoorte, J. and Jorna, P. and Huizinga, A. and van Etten, W.C. (2010) Novel ring resonator-based integrated photonic beamformer for broadband phased array receive antennas - part 1: design and performance analysis. Journal of lightwave technology, 28 (1). pp. 3-18. ISSN 0733-8724 *** ISI Impact 2,185 ***
Menth, M. and Lehrieder, F. and Briscoe, B. and Eardley, P. and Moncaster, T. and Babiarz, J. and Charny, A. and Zhang, Sinyang and Taylor, T. and Chan, Kwok-Ho and Satoh, Daisuke and Geib, R. and Karagiannis, G. (2010) A Survey of PCN-Based Admission Control and Flow Termination. IEEE Communications Surveys & Tutorials, 12 (3). pp. 357-375. ISSN 1553-877X
Miliche, D. and de Graaf, M. and Hoekstra, G. and Jongerden, M.R. and Haverkort, B.R.H.M. (2010) A first Experimental Investigation of the Practical Efficiency of Battery Scheduling. In: Work shop on Ultra-Low Power Sensor Networks (WUPS), 23 Feb 2010, Hannover. pp. 241-246. VDE Verlag GMBH. ISBN 978-3-8007-3222-7
Miretskiy, D.I. and Scheinhardt, W.R.W. and Mandjes, M.R.H. (2010) State-dependent importance sampling for a Jackson tandem network. ACM transactions on modeling and computer simulation, 20 (3). 15. ISSN 1049-3301 *** ISI Impact 0,684 ***
de Mol, M.J. and Rensink, A. (2010) On A Graph Formalism for Ordered Edges. In: Proceedings of the Ninth International Workshop on Graph Transformation and Visual Modeling Techniques (GT-VMT 2010), 20 Mar - 21 Mar 2010, Paphos, Cyprus. Electronic Communications of the EASST 29. The European Association for the Study of Science and Technology. ISSN 1863-2122
Neuhausser, M. (2010) Model Checking Nondeterministic and Randomly Timed Systems. PhD thesis, University of Twente. CTIT Ph.D.-thesis series No. 09-165 ISBN 978-90-365-2975-4
Neuhausser, M. and Zhang, Lijun (2010) Model Checking Interactive Markov Chains. In: 16th International Conferenceon Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2010, 20-28 Mar 2010, Paphos, Cyprus. pp. 53-68. Lecture Notes in Computer Science 6015. Springer Verlag. ISSN 0302-9743 ISBN 978-3-642-12001-5
Ngo, M.T. (2010) Verification of Confidentiality of Multi-threaded Programs. In: IPA PhD Workshop 2010, 01-03 Nov 2010, Veldhoven, The Netherlands. IPA. ISBN not assigned
Niedermeier, A. and Wester, R. and Baaij, C.P.R. and Kuper, J. and Smit, G.J.M. (2010) Comparing CλaSH and VHDL by implementing a dataflow processor. In: Proceedings of the Workshop on PROGram for Research on Embedded Systems and Software (PROGRESS 2010), 18-19 Nov 2010, Veldhoven, The Netherlands. pp. 216-221. STW Technology Foundation. ISBN 978-90-73461-67-3
Niedermeier, A. and Wester, R. and Rovers, K.C. and Baaij, C.P.R. and Kuper, J. and Smit, G.J.M. (2010) Designing a dataflow processor using CλaSH. In: 28th Norchip Conference, NORCHIP 2010, 15-16 November 2010, Tampere, Finland. 69. IEEE Circuits and Systems Society. ISBN 978-1-4244-8971-8
Op 't Land, S.T. (2010) Ranging and localisation error mitigation in indoor obstructed direct path conditions. Master's thesis, University of Twente.
Op 't Land, S.T. and Lafon, F. and de Daran, F. and Leferink, F.B.J. and Drissi, M. and Ramdani, M. (2010) Immunity modeling of the lm2902 operational amplifier. In: 9th International Symposium on EMC and 20th International Wroclaw Symposium on Electromagnetic Compatibility, 13-17 Sept 2010, Wroclaw, Poland. pp. 680-684. Oficyna Wydawnicza Politechniki Wroclawskiej. ISBN 978-83-7493-426-8
Pavlou, G. and Pras, A. (2010) Series editorial: Network and Service Management Series. IEEE Communications Magazine, 48 (7). pp. 84-85. ISSN 0163-6804 *** ISI Impact 2,446 ***
van de Pol, J.C. and Weber, Michael (2010) Preface. In: 17th International SPIN Workshop on Model Checking Software, 27-29 Sep 2010, Enschede, The Netherlands. v-vi. Lecture Notes in Computer Science 6349. Springer Verlag. ISSN 0302-9743 ISBN 978-3-642-16163-6
Polenkova, S.V. and Polderman, J.W. and Langerak, R. (2010) Stability criteria for planar linear systems with state reset. In: Proceedings of the 19th International Symposium on Mathematical Theory of Networks and Systems - MTNS 2010, 5-9 Jul 2010, Budapest. pp. 809-815. Eötvös Loránd University. ISBN 978-963-311-370-7
Pras, A. and Sperotto, A. and Moreira Moura, G.C. and Drago, I. and Barbosa, R.R.R. and Sadre, R. and de Oliveira Schmidt, R. and Hofstede, R. (2010) Attacks by “Anonymous” WikiLeaks Proponents not Anonymous. Technical Report TR-CTIT-10-41, Centre for Telematics and Information Technology University of Twente, Enschede. ISSN 1381-3625
Reijsbergen, D.P. and de Boer, P.T. and Scheinhardt, W.R.W. (2010) Transient Behaviour in Highly Dependable Markovian Systems: New Regimes, Multiple Paths. In: Eighth International Workshop on Rare-Event Simulation, 21-23 June 2010, Cambridge, UK. pp. 26-27. Isaac Newton Institute for Mathematical Sciences. ISSN not assigned
Reijsbergen, D.P. and de Boer, P.T. and Scheinhardt, W.R.W. and Haverkort, B.R.H.M. (2010) Rare event simulation for highly dependable systems with fast repairs. In: Proceedings of the Seventh International Conference on Quantitative Evaluation of SysTems (QEST) 2010, 15-18 Sep 2010, Williamsburg, Virginia. pp. 251-260. IEEE Press. ISBN 978-1-4244-8082-1
Remke, A.K.I. and Haverkort, B.R.H.M. and Heijenk, G.J. and Bax, J. (2010) Setting the parameters right for two-hop IEEE 802.11e ad hoc networks. In: 15th International GI/ITG Conference on Measurement, Modelling and Evaluation of Computing Systems, 15-17 Mar 2010, Essen, Germany. pp. 168-182. Lecture Notes in Computer Science 5987. Springer Verlag. ISBN 978-3-642-12103-6
Rensink, A. (2010) A First Study of Compositionality in Graph Transformation. Technical Report TR-CTIT-10-08, Centre for Telematics and Information Technology University of Twente, Enschede. ISSN 1381-3625
Rensink, A. (2010) Isomorphism Checking for Symmetry Reduction. Technical Report TR-CTIT-10-27, Centre for Telematics and Information Technology University of Twente, Enschede. ISSN 1381-3625
Rensink, A. (2010) Compositionality in Graph Transformation. In: Automata, Languages and Programming (ICALP), 5-10 Jul 2010, Bordeaux, France. pp. 309-320. Lecture Notes in Computer Science 6199. Springer Verlag. ISSN 0302-9743 ISBN 978-3-642-14161-4
Rensink, A. (2010) The Edge of Graph Transformation - Graphs for Behavioural Specification. In: Graph Transformations and Model-Driven Engineering. Lecture Notes in Computer Science 5765. Springer Verlag, Berlin, pp. 6-32. ISSN 0302-9743 ISBN 978-3-642-17321-9
Rensink, A. and Van Gorp, P. (2010) Graph transformation tool contest 2008. International journal on software tools for technology transfer, 12 (3-4). pp. 171-181. ISSN 1433-2779
Rensink, A. and Zambon, Eduardo (2010) Neighbourhood Abstraction in GROOVE - Tool Paper. In: Proceedings of the Fourth International Workshop on Graph-Based Tools (GraBaTs 2010), 28 Sep 2010, Enschede, NL. pp. 55-61. CTIT Workshop Proceedings (WP 10-06). Centre for Telematics and Information Technology University of Twente. ISSN 0929-0672
Saks, N. and Boonstra, A.J. and Rajan, R.T. and Bentum, M.J. and Beliën, F. and van 't Klooster, K. (2010) DARIS, a fleet of passive formation flying small satellites for low frequency radio astronomy. In: Small Satellite Systems and Services - The 4S Symposium 2010, 31 May - 04 Jun 2010, Funchal, Madeira, Portugal. pp. 1-15. ESA en CNES. ISBN not assigned
Sözer, H. and Abreu, R. and Akşit, M. and van Gemund, A.J.C. (2010) Increasing System Availability with Local Recovery based on Fault Localization. In: Proceedings of the 10th International Conference on Quality Software, QSIC 2010, 14-15 July 2010, Zhangjiajie, China. pp. 276-281. IEEE Computer Society. ISSN 1550-6002 ISBN 978-1-4244-8078-4
Schellekens, T. (2010) Synchronization performance of noise-based frequency offset modulation. Master's thesis, University of Twente.
Schipper, J. and Serra, R. and Leferink, F.B.J. (2010) Dual vibrating intrinsic reverberation chambers for high-dynamic range shielding effectiveness measurements. In: 14th International Symposium on Antenna Technology and Applied Electromagnetics and the American Electromagnetics Conference, ANTEM/AMEREM 2010, 5-8 July 2010, Ottawa, Ontario Canada. pp. 1-1. IEEE Electromagnetic Compatibility Society. ISBN 978-1-4244-5050-3
Schippers, J. and Remke, A.K.I. and Punt, H. and Wegdam, M. and Haverkort, B.R.H.M. (2010) A Massively Scalable Architecture for Instant Messaging & Presence. In: Fourth International Workshop on Practical Applications of Stochastic Modelling, 24 Sept 2009, London. pp. 109-130. Electronic Notes in Theoretical Computer Science 261. Elsevier. ISSN 1571-0661
Serra, R. and Leferink, F.B.J. (2010) Statistical measurements of fast changing electromagnetic fields. In: 9th International Symposium on EMC and 20th International Wroclaw Symposium on Electromagnetic Compatibility, 13-17 Sept 2010, Wroclaw, Poland. pp. 434-439. Oficyna Wydawnicza Politechniki Wroclawskiej. ISBN 978-83-7493-426-8
Serra, R. and Leferink, F.B.J. (2010) Optimizing the stirring strategy for the vibrating intrinsic reverberation chamber. In: 9th International Symposium on EMC and 20th International Wroclaw Symposium on Electromagnetic Compatibility, 13-17 Sept 2010, Wroclaw, Poland. pp. 457-462. Oficyna Wydawnicza Politechniki Wroclawskiej. ISBN 978-83-7493-426-8
Sheng, Xiaoqin and Kerkhoff, H.G. (2010) Improved method for SNR prediction in machine-learning-based test. In: 16th International Mixed-Signals, Sensors and Systems Test Workshop, IMS3TW 2010, 07-09 June 2010, La Grande Motte, France. pp. 1-4. IEEE Computer Society. ISBN 978-1-4244-7792-0
Sheng, Xiaoqin and Kerkhoff, H.G. (2010) The test ability of an adaptive pulse wave for ADC testing. In: Proceedings of the IEEE 19th Asian Test Symposium (ATS 2010), 1-4 December 2010, Shanghai, China. pp. 289-294. IEEE Computer Society. ISBN 978-0-7695-4248-5
Sheng, Xiaoqin and Kerzerho, V.A. and Kerkhoff, H.G. (2010) Predicting dynamic specifications of ADCs with a low-quality digital input signal. In: Proceedings of the 15th European Test Symposium, ETS 2010, 24-28 May 2010 , Prague, Czech Republic. pp. 158-163. IEEE Computer Society. ISSN 1530-1877 ISBN 978-1-4244-5834-9
Simons, R.J.G and Pras, A. (2010) The Hidden Energy Cost of Web Advertising. Technical Report TR-CTIT-10-24, Centre for Telematics and Information Technology University of Twente, Enschede. ISSN 1381-3625
Soleimanifard, S. and Gurov, D. and Huisman, M. (2010) Procedure-Modular Verification of Control Flow Safety Properties. In: 12th Workshop on Formal Techniques for Java-like Programs, FTfJP 2010, June 22, 2010, Maribor, Slovenia. 5. ACM. ISBN 978-1-4503-0540-2
Staijen, T. (2010) Graph-based Specification and Verification for Aspect-Oriented Languages. PhD thesis, University of Twente. CTIT Ph.D.-thesis series No. 10-171 ISBN 978-90-365-3041-5
Stramigioli, S. and Mahony, R. and Corke, P. (2010) A novel approach to haptic tele-operation of aerial robot vehicles. In: Robotics and Automation (ICRA), 2010 IEEE International Conference on , 3-7 May 2010, Anchorage, AK . pp. 5302-5308. IEEE Robotics and Automation Society. ISBN 978-1-4244-5038-1
Timens, R.B. and Buesink, F.J.K. and Cuk, V. and Cobben, J.F.G. and Kling, W.L. and Melenhorst, M. and Leferink, F.B.J. (2010) Electromagnetic interference in complex power supply networks. In: 9th International Symposium on EMC and 20th International Wroclaw Symposium on Electromagnetic Compatibility, 13-17 Sept 2010, Wroclaw, Poland. pp. 364-367. Oficyna Wydawnicza Politechniki Wroclawskiej. ISBN 978-83-7493-426-8
Timmer, M. and van de Pol, J.C. and Stoelinga, M.I.A. (2010) Confluence reduction for probabilistic systems. In: Proceedings of the 2nd Young Researchers Workshop on Concurrency Theory, 4 Sep 2010, Paris, France. pp. 87-90. Eindhoven University of Technology. ISBN not assigned
Timmer, M. and Stoelinga, M.I.A. and van de Pol, J.C. (2010) Confluence Reduction for Probabilistic Systems (extended version). Technical Report 1011.2314, ArXiv e-prints.
Verpoorte, J. and Schippers, H. and Jorna, P. and Roeloffzen, C.G.H. and Marpaung, D.A.I. and Baggen, R. and Sanadgol, B. (2010) Architectures for ku-band broadband airborne satellite ccommunication antennas. In: 32nd ESA Antenna Workshop on Antennas for Space Applications, 5-8 Oct 2010, Noordwijk. pp. 1-6. European Space Research and Technology Centre (ESTEC). ISBN not assigned
Volkovich, Y.V. and Litvak, N. (2010) Asymptotic analysis for personalized web search. Advances in applied probability, 42 (2). pp. 577-604. ISSN 0001-8678 *** ISI Impact 0,852 ***
de Vries, W.W. and Moreira Moura, G.C. and Pras, A. (2010) Fighting Spam on the Sender Side: A Lightweight Approach. In: Proceeings of 16th EUNICE/IFIP WG 6.6 Workshop (EUNICE 2010), June 28-30, Trondheim, Norway. pp. 188-197. Lecture Notes in Computer Science 6164/2010. Springer Verlag. ISBN 978-3-642-13970-3
van Wanrooij, W. and Pras, A. (2010) Filtering spam from bad neighborhoods. International Journal of Network Management, 20 (6). pp. 433-444. ISSN 1055-7148
Wiggers, M.H. and Bekooij, M.J.G. and Geilen, M.C.W. and Basten, T. (2010) Simultaneous Budget and Buffer Size Computation for Throughput-Constrained Task Graphs. In: Proceedings of the Conference on Design, Automation and Test in Europe (DATE 2010), 8-12 Mar 2010, Dresden. pp. 1669-1672. European Design and Automation Association. ISBN 978-3-9810801-6-2
Wiggers, M.H. and Thiele, L. and Lee, Edward A. and Schlieker, S. and Bekooij, M.J.G. (2010) Modeling and Analyzing Real-Time Multiprocessor Systems. In: Proceedings of the Eighth IEEE/ACM/IFIP International Conference on Hardware/software Codesign and System synthesis, CODES/ISSS 2010, 24-29 oct 2010, Scottsdale, Arizona, USA. pp. 329-330. ACM. ISBN 978-1-60558-905-3
Xing, J.S. and Theelen, B.D. and Langerak, R. and van de Pol, J.C. and Tretmans, G.J. and Voeten, J.P.M. (2010) From POOSL to UPPAAL: Transformation and Quantitative Analysis. In: Application of Concurrency to System Design, Tenth International Conference on, 21-25 Jun 2010, Braga, Portugal. pp. 47-56. IEEE Computer Society. ISSN 1550-4808 ISBN 978-0-7695-4066-5
Xing, J.S. and Theelen, B.D. and Langerak, R. and van de Pol, J.C. and Tretmans, G.J. and Voeten, J.P.M. (2010) UPPAAL in Practice: Quantitative Verication of a RapidIO Network. In: ISoLA 2010 - 4th International Symposium On Leveraging Applications of Formal Methods, Verification and Validation, 18-20 Oct 2010, Amirandes, Heraclion, Crete. pp. 160-174. Lecture Notes in Computer Science 6416. Springer Verlag. ISSN 0302-9743 ISBN 978-3-642-16560-3
Yin, Haihan and Bockisch, C.M. (2010) Developing a Generic Debugger for Advanced-Dispatching Languages. In: Proceedings of the Third International Workshop on Academic Software Development Tools and Techniques, 20 Sep 2010, Antwerp, Belgium. WASDeTT. ISBN not assigned
Zambon, Eduardo (2010) Using Graph Transformations and Graph Abstractions for Software Verification. In: Fifth International Conference on Graph Transformations (ICGT 2010), 27 Sep - 02 Oct 2010, Enschede, NL. pp. 416-418. Lecture Notes in Computer Science 6372. Springer Verlag. ISSN 0302-9743 ISBN 978-3-642-15927-5
Zhang, Xiao and Kerkhoff, H.G. and Vermeulen, B. (2010) New scan-based test strategy for a dependable many-core processor using a NoC as a Test Access Mechanism. In: 15th IEEE European Test Symposium (ETS 2010), 24-28 May 2010, Praha, Czech Republic. pp. 243-244. IEEE Computer Society. ISSN 1530-1877 ISBN 978-1-4244-5834-9
Zhao, D. and Roc'h, A. and Ferreira, B. and Leferink, F.B.J. (2010) Hierarchical approach used to analyze the emc performance of a zvs converter. In: 9th International Symposium on EMC and 20th International Wroclaw Symposium on Electromagnetic Compatibility, 13-17 Sept 2010, Wroclaw, Poland. pp. 867-872. Oficyna Wydawnicza Politechniki Wroclawskiej. ISBN 978-83-7493-426-8
Zhuang, Leimeng (2010) Ring resonator-based broadband photonic beam former for phased array antennas. PhD thesis, University of Twente. ISBN 978-90-365-3078-1
Zhuang, Leimeng and Roeloffzen, C.G.H. and Meijerink, A. and Burla, M. and Marpaung, D.A.I. and Leinse, A. and Hoekman, M. and Heideman, R.G. and van Etten, W.C. (2010) Novel ring resonator-based integrated photonic beamformer for broadband phased array receive antennas - part 2: experimental prototype. Journal of lightwave technology, 28 (1). pp. 19-31. ISSN 0733-8724 *** ISI Impact 2,185 ***

2009

Paige, R.F. and Hartman, A. and Rensink, A., ed. (2009) Model Driven Architecture - Foundations and Applications. Lecture Notes in Computer Science 5562. Springer Verlag, Berlin. ISSN 0302-9743 ISBN 978-3-642-02673-7
Papadopouli, M. and Owezarski, P. and Pras, A., ed. (2009) Traffic Monitoring and Analysis: Proceedings of the First International Traffic Monitoring and Analysis Workshop (TMA2009). Lecture Notes in Computer Science 5537. Springer Verlag, Heidelberg, pp. 1-134. ISBN 978-3-642-01644-8
Sadre, R. and Pras, A., ed. (2009) Scalability of Networks and Services: Proceedings of the Third International Conference on Autonomous Infrastructure, Management and Security (AIMS 2009). Lecture Notes in Computer Science 5637. Springer Verlag, Heidelberg, pp. 1-211. ISSN 0302-9743 ISBN 978-3-642-02626-3
Aan de Brugh, N.H.M. and Nguyen, Viet Yen and Ruys, T.C. (2009) MoonWalker: Veri?cation of .NET Programs. In: Proceedings of the 15th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS 2009), 22-29 March 2009, York, UK. pp. 170-173. Lecture Notes in Computer Science 5505. Springer Verlag. ISBN 978-3-642-00767-5
Adan, I.J.B.F. and Mandjes, M.R.H. and Scheinhardt, W.R.W. and Tzenova, E. (2009) On a generic class of two-node queueing systems. Queueing systems, 61 (1). pp. 37-63. ISSN 0257-0130 *** ISI Impact 0,66 ***
Albert, E. and Banerjee, A. and Drossopoulou, S. and Huisman, M. and Igarashi, A. and Leavens, G.T. and Müller, P. and Wrigstad, T. (2009) Formal Techniques for Java-Like Programs - Report on the 10th Workshop FTfJP at ECOOP 2008. In: Object-Oriented Technology. ECOOP 2008 Workshop Reader, July 8, 2008, Paphos, Cyprus. pp. 70-76. Lecture Notes in Computer Science 5475. Springer Verlag. ISSN 0302-9743 ISBN 978-3-642-02046-9
Ali, A.J. and Cotton, S.L. and Scanlon, W.G. (2009) Spatial diversity for off-body communications in an indoor populated environment at 5.8 GHz. In: Antennas and Propagation Conference (LAPC 2009), 16-17 Nov 2009, Loughborough. pp. 641-644. IEEE. ISBN 978-1-4244-2720-8
An, L. and Bentum, M.J. and Meijerink, A. and Scanlon, W.G. (2009) Radio Channel Modeling in Body Area Networks. In: W3 Workshop on the Pervasive Application of Wireless Technologies, 13 Nov 2009, Enschede, The Netherlands. pp. 1-3. University of Twente. ISBN not assigned
Andrey, L. and Festor, O. and Lahmadi, A. and Pras, A. and Schoenwaelder, J. (2009) Survey of SNMP performance analysis studies. International Journal of Network Management, 19 (6). pp. 527-548. ISSN 1055-7148
Avrachenkov, K. and Donato, D. and Litvak, N. (2009) Preface. In: Proceedings of the 6th International Workshop on Algorithms and Models for the Web-Graph (WAW 2009), 12-13 Feb 2009, Barcelona, Spain. v. Lecture Notes in Computer Science 5427. Springer Verlag. ISSN 0302-9743 ISBN 978-3-540-95994-6
Bakshi, R. and Cloth, L. and Fokkink, W.J. and Haverkort, B.R.H.M. (2009) Mean-Field Analysis for the Evaluation of Gossip Protocols. In: IEEE Sixth International Conference on the Quantitative Evaluation of Systems, (QEST '09), 13-16 Sept 2009, Budapest, Hungary. pp. 247-256. IEEE Computer Society. ISBN 978-0-7695-3808-2
Banerjee, A. and Wolkotte, P.T. and Mullins, R.D. and Moore, S.W. and Smit, G.J.M. (2009) An Energy and Performance Exploration of Network-on-Chip Architectures. IEEE Transactions on Very Large Scale Integration (VLSI) Systems, 17 (3). pp. 319-329. ISSN 1063-8210 *** ISI Impact 1,01 ***
Barnat, J. and Chaloupka, J. and van de Pol, J.C. (2009) Distributed Algorithms for SCC Decomposition. Journal of Logic and Computation, 21 (1). pp. 23-44. ISSN 0955-792X *** ISI Impact 0,789 ***
Bentum, M.J. and Boonstra, A.J. (2009) Olfar: orbiting low frequency antenna for radio astronomy. In: European Week of Astronomy and Space Science JENAM2009, 20-23 Apr 2009, University of Hertfordshire, UK. pp. 1-4. University press of Hertfordshire. ISBN not assigned
Bentum, M.J. and Boonstra, A.J. and Baan, W.A. (2009) The coexistence of cognitive radio and radio astronomy. In: 16th Annual Symposium of the IEEE/SCVT, 19 Nov 2009, Louvain-la-Neuve, Belgium. pp. 1-8. SCVT. ISBN not assigned
Bentum, M.J. and Verhoeven, C.J.M. and Boonstra, A.J. (2009) OLFAR - Orbiting Low Frequency Antennas for Radio astronomy. In: 20th Annual Workshop on Circuits, Systems and Signal Processing, ProRISC 2009, 26-27 Nov 2009, Veldhoven. pp. 1-6. Technology Foundation STW. ISBN 978-90-73461-62-8
Bentum, M.J. and Verhoeven, C.J.M. and Boonstra, A.J. and van der Veen, A.J. and Gill, E. (2009) A novel astronomical application for formation flying small satellites. In: 60th International Astronautical Congress, 12-16 Oct 2009, Daejeon, Republic of Korea. pp. 1-8. Press IAC. ISSN 1995-6258
Bezemer, M.M. and Groothuis, M.A. and Broenink, J.F. (2009) Analysing gCSP Models Using Runtime and Model Analysis Algorithms. In: Communicating Process Architectures 2009, 01-04 Nov 2009, Eindhoven. pp. 67-88. Concurrent System Engineering Series 67 (WoTUG-32). IOS Press BV. ISSN 1383-7575 ISBN 978-1-60750-065-0
Bijlsma, T. and Bekooij, M.J.G. and Smit, G.J.M. (2009) Inter-Task Communication via Overlapping Read and Write Windows for Deadlock-Free Execution of Cyclic Task Graphs. In: International Conference on Embedded Computer Systems: Architectures, Modeling and Simulation (IC-SAMOS), 20-23 July 2009, Samos, Greece. pp. 140-148. IEEE Computer Society. ISBN 978-1-4244-4501-1
Blaj, M.A. and Damstra, G.C. and Buesink, F.J.K. and Leferink, F.B.J. (2009) Lightning protecting materials used on radar system. In: Proceeding of International Conference on Lightning and Static Electricity, 15-17 Sep 2009, Pittsfield, MA, U.S.A. pp. 1-4. Lightning Technologies, INC. ISBN not assigned
Blaj, M.A. and Leferink, F.B.J. (2009) A model for lightning in littoral areas. In: 2009 International Conference on Lightning and Static Electricity, 15-17 Sept 2009, Pittsfield, U.S.A.. pp. 1-4. Lightning Technologies, INC. ISBN not assigned
Blaj, M.A. and Leferink, F.B.J. (2009) Lightning protection of ships in maritime and costal environment. In: 4th International Symposium on Lightning Physics and Effects, 25-27 May 2009, Vienna, Austria. pp. 1-1. European COST P18. ISBN not assigned
Blom, S.C.C. and Lisser, B. and van de Pol, J.C. and Weber, Michael (2009) A Database Approach to Distributed State-Space Generation. Journal of Logic and Computation, 21 (1). pp. 45-62. ISSN 0955-792X *** ISI Impact 0,789 ***
Blom, S.C.C. and van de Pol, J.C. (2009) Distributed Branching Bisimulation Minimization by Inductive Signatures. Technical Report TR-CTIT-09-37, Centre for Telematics and Information Technology University of Twente, Enschede. ISSN 1381-3625
Blom, S.C.C. and van de Pol, J.C. (2009) Distributed Branching Bisimulation Minimization by Inductive Signatures. In: Proceedings 8th International Workshop on Parallel and Distributed Methods in verifiCation, 4 Nov 2009, Eindhoven, The Netherlands. pp. 32-46. Electronic Proceedings in Theoretical Computer Science 14. Open Publishing Association. ISSN 2075-2180
Blom, S.C.C. and van de Pol, J.C. and Weber, Michael (2009) Bridging the Gap between Enumerative and Symbolic Model Checkers. Technical Report TR-CTIT-09-30, Centre for Telematics and Information Technology University of Twente, Enschede. ISSN 1381-3625
Boneva, I. and Kreiker, J. and Kurban, M.E. and Rensink, A. (2009) Graph Abstraction for a Modal Logic. Bulletin of the European Association for Theoretical Computer Science, 97. pp. 106-116. ISSN 0252-9742
Boucherie, R.J. and van Dijk, N.M. (2009) Monotonicity and error bounds for networks of Erlang loss queues. Queueing systems, 62 (1-2). pp. 159-193. ISSN 0257-0130 *** ISI Impact 0,66 ***
Boudali, H. and Sözer, H. and Stoelinga, M.I.A. (2009) Architectural Availability Analysis of Software Decomposition for Local Recovery. In: Third IEEE International Conference on Secure Software Integration and Reliability Improvement, 8-10 July 2009, Shanghai, China. pp. 14-22. IEEE Computer Society. ISBN 978-0-7695-3758-0
Brim, L. and van de Pol, J.C. (2009) Preface. In: Proceedings 8th International Workshop on Parallel and Distributed Methods in verifiCation, 4 Nov 2009, Eindhoven, The Netherlands. Electronic Proceedings in Theoretical Computer Science 14. Open Publishing Association. ISSN 2075-2180
van den Broek, G. and ten Hoeve, S. and Moreira Moura, G.C. and Pras, A. (2009) SNMP Trace Analysis: Results of Extra Traces. Technical Report TR-CTIT-10-06, Centre for Telematics and Information Technology University of Twente, Enschede. ISSN 1381-3625
van den Broek, G. and Remke, A.K.I. and Gribaudo, M. (2009) Survivability study of a Water Cleaning Facility using Fluid Stochastic Petri Nets. In: Ninth International Workshop on Performability of Computer and Communication Systems, 17-18 Sept 2009, Eger, Hungary. pp. 54-58. Budapest University of Technology and Economics. ISBN not assigned
Buesink, F.J.K. and Leferink, F.B.J. (2009) Understanding electromagnetic effects using printed circuit board demos. (Invited) In: 17th International Conference on Software, Telecommunications and Computer Networks (SoftCOM2009), 24-26 Sep 2009, Split, Croatia. pp. 70-74. IEEE Catalog CFP0987A-CDR. IEEE Computer Society. ISBN 978-1-4244-4973-6
Bujorianu, L.M. and Katoen, J.P. (2009) Symmetry reduction for stochastic hybrid systems. In: 47th IEEE Conference on Decision and Control, CDC 2008, 9-11 Dec 2008, Cancun, Mexico. pp. 233-238. IEEE Computer Society. ISSN 0191-2216 ISBN 978-1-4244-3123-6
Burla, M. and Garcia-Garcia, A. and Zhuang, Leimeng and Meijerink, A. and Roeloffzen, C.G.H. and Marpaung, D.A.I. and Khan, M.R.H. and van Etten, W.C. (2009) Optical phase synchronization in coherent optical beamformers for phased array receive antennas. In: 2009 IEEE LEOS Annual Meeting Conference Proceedings, 4-8 Oct 2009, Belek-Antalya, Turkey. pp. 693-694. IEEE Computer Society. ISBN 978-1-4244-3681-1
Camacho, J. and de Boer, P.T. and Remke, A.K.I. (2009) Survivability of SCADA Control Loop. Technical Report TR-CTIT-09-46, Centre for Telematics and Information Technology University of Twente, Enschede. ISSN 1381-3625
Catherwood, P.A. and Scanlon, W.G. (2009) Link characteristics for an off-body UWB transmitter in a hospital environment. In: Antennas and Propagation Conference (LAPC 2009), 16-17 Nov 2009, Loughborough. pp. 569-572. IEEE. ISBN 978-1-4244-2720-8
Chandran, A.R. and Scanlon, W.G. (2009) Reduced groundplane shorted patch antenna for on-body communications. In: Antennas and Propagation Conference (LAPC2009), 16-17 Nov 2009, Loughborough. pp. 409-412. ieee. ISBN 978-1-4244-2720-8
Chen, Taolue and Han, Tingting and Katoen, J.P. and Mereacre, A. (2009) Quantitative model checking of continuous-time Markov chains against timed automata specifications. In: 2009 24th Annual IEEE Symposium on Logic In Computer Science, 11-14 Aug 2009, Los Angeles. pp. 309-318. IEEE Computer Society. ISSN 1043-6871 ISBN 978-0-7695-3746-7
Chitchyan, R. and Fabry, J. and Katz, S. and Rensink, A. (2009) Editorial for Special Section on Dependencies and Interactions with Aspects. Lecture notes in computer science, 5490. pp. 133-134. ISSN 0302-9743
Chrząszcz, J. and Huisman, M. and Schubert, A. (2009) BML and Related Tools. In: Formal Methods for Components and Objects, 21-23 Oktober 2008, Sophia Antipolis, France. pp. 278-297. Lecture Notes in Computer Science 5751. Springer Verlag. ISBN 978-3-642-04166-2
Ciraci, S. (2009) Graph Based Verification of Software Evolution Requirements. PhD thesis, University of Twente. CTIT Ph.D.-thesis series No. 09-162 ISBN 978-90-365-2956-3
Ciraci, S. and Kopreoglu, I. and Ulusoy, Ö. (2009) Reducing query overhead through route learning in unstructured peer-to-peer network. Journal of Network and Computer Applications, 32 (3). pp. 550-567. ISSN 1084-8045 *** ISI Impact 1,111 ***
Coenen, T.J. and Bekers, D.J. and Tauritz, J.L. and van Vliet, F.E. (2009) Design and measurement of metallic post-wall waveguide components. In: IEEE MTT-S International Microwave Symposium Digest (MTT2009), 7-12 June 2009, Boston, USA. pp. 261-264. IEEE Computer Society. ISSN 0149-645X ISBN 978-1-4244-2803-8
Conway, G.A. and Cotton, S.L. and Scanlon, W.G. (2009) An antennas and propagation approach to improving physical layer performance in wireless body area networks. IEEE journal on selected areas in communications, 27 (1). pp. 27-36. ISSN 0733-8716 *** ISI Impact 3,758 ***
Conway, G.A. and Scanlon, W.G. (2009) Antennas for over-body-surface communication at 2.45 GHz. IEEE Transactions on Antennas and Propagation, 57 (4). pp. 844-855. ISSN 0018-926X *** ISI Impact 2,011 ***
Cotton, S.L. and Conway, G.A. and Scanlon, W.G. (2009) A time-domain approach to the analysis and modeling of on-body propagation characteristics using synchronized measurements at 2.45 GHz. IEEE Transactions on Antennas and Propagation, 57 (4). pp. 943-955. ISSN 0018-926X *** ISI Impact 2,011 ***
Cotton, S.L. and Scanlon, W.G. (2009) Measurements, modeling and simulation of the off-body radio channel for the implementation of bodyworn antenna diversity at 868 MHz. IEEE Transactions on Antennas and Propagation, 57 (12). pp. 3951-3961. ISSN 0018-926X *** ISI Impact 2,011 ***
Cotton, S.L. and Scanlon, W.G. (2009) Channel characterization for single- and multiple-antenna wearable systems used for indoor body-to-body communications. IEEE Transactions on Antennas and Propagation, 57 (4). pp. 980-990. ISSN 0018-926X *** ISI Impact 2,011 ***
Cotton, S.L. and Scanlon, W.G. (2009) An experimental investigation into the influence of user state and environment on fading characteristics in wireless body area networks at 2.45 GHz. IEEE Transactions on wireless communications, 8 (1). pp. 6-12. ISSN 1536-1276 *** ISI Impact 1,903 ***
Cotton, S.L. and Scanlon, W.G. (2009) Characterization and modeling of on-body spatial diversity within indoor environments at 868 MHz. IEEE Transactions on Wireless Communications, 8 (1). pp. 176-185. ISSN 1536-1276 *** ISI Impact 1,903 ***
Cuk, V. and Cobben, J. F.G. and Kling, W.L. and Timens, R.B. and Leferink, F.B.J. (2009) A Test Procedure for Determining Models of LV Equipment. In: 15th International Symposium on Power Electronics - Ee 2009, 28-30 Oct 2009, Novi sad, Republic of Serbia. T06-1.1. F&F. ISBN 978-86-7892-208-4
De Alfaro, L. and Faella, M. and Stoelinga, M.I.A. (2009) Linear and Branching System Metrics. IEEE transactions on software engineering, 35 (2). pp. 258-273. ISSN 0098-5589 *** ISI Impact 3,75 ***
Dinkelaker, T. and Mezini, M. and Bockisch, C.M. (2009) The art of the meta-aspect protocol. In: Proceedings of the eigth ACM international conference on Aspect-oriented software development, Charlottesville, Virginia, USA. pp. 51-62. ACM. ISBN 978-1-60558-442-3
Diouf, F. and Canavero, F. (2009) Crosstalk statistics via collocation method. In: IEEE International Symposium on Electromagnetic Compatibility, 17-21 Aug 2009, Austin TX, USA. pp. 92-97. IEEE Computer Society. ISBN 978-1-4244-4267-6
Dutta, R. and Bentum, M.J. and van der Zee, R.A.R. and Kokkeler, A.B.J. (2009) Low power radio communication platform for wireless sensor network. In: URSI Benelux (International Union of Radio Science) forum 2009, 8 Jun 2009, Delft. pp. 1-1. Delft University of Technology. ISBN not assigned
Eardley, P. and Chan, K. and Charny, A. and Geib, R. and Karagiannis, G. and Menth, M. and Tsou, T. (2009) Pre-Congestion Notification (PCN) Architecture. In: Proceedings of the 75th IETF. Request for Comments (RFC 5559). Internet Engineering Task Force (IETF). pp. 0-54. IETF (Internet Engineering Task Force). ISBN not assigned
Fioreze, T. and Granville, L. and Pras, A. and Sperotto, A. and Sadre, R. (2009) Self-Management of Hybrid Networks: Can We Trust NetFlow Data? In: 11th IFIP/IEEE International Symposium on Integrated Network Management (IM 2009), 1-5 Jun 2009, Long Island, New York, USA. pp. 577-584. IEEE Communications Society. ISBN 978-1-4244-3487-9
Fioreze, T. and Granville, L. and Sadre, R. and Pras, A. (2009) A Statistical Analysis of Network Parameters for the Self-management of Lambda-Connections. In: Proceedings of the 3rd International Conference on Autonomous Infrastructure, Management and Security (AIMS 2009), June 30 - July 2, 2009, Enschede, The Netherlands. pp. 15-27. Lecture Notes in Computer Science 5637. Springer Verlag. ISSN 0302-9743 ISBN 978-3-642-02626-3
van Galen, J. (2009) Modelling, simulation and implementation of an optical beam forming network control software system. Master's thesis, University of Twente.
Galis, A. and Abramowicz, H. and Brunner, M. and Raz, D. and Chemouil, P. and Butler, J. and Polychronopoulos, C. and Clayman, S. and de Meer, H. and Coupaye, T. and Pras, A. and Sabnani, K. and Massonet, P. and Naqvi, S. (2009) Management and Service-aware Networking Architectures (MANA) for Future Internet - Position Paper: System Functions, Capabilities and Requirements. (Invited) In: Management and Service-aware Networking Architectures (MANA) for Future Internet, 26-28 Aug. 2009, Xian. pp. 1-13. IEEE Communications Society. ISBN 978-1-4244-4337-6
Garcia-Garcia, A. (2009) Optical phase synchronization in coherent optical beamformers for phased array receive antennas. Master's thesis, University of Twente.
Güleşir, G. and van den Berg, K.G. and Bergmans, L.M.J. and Akşit, M. (2009) Experimental evaluation of a tool for the verification and transformation of source code in event-driven systems. Empirical Software Engineering, 14 (6). pp. 720-777. ISSN 1382-3256 *** ISI Impact 1,612 ***
Güleşir, G. and Bergmans, L.M.J. and Akşit, M. (2009) Method for an Event-Driven System. Patent WO2009058002 (A1) (Application).
Groothuis, M.A. and Broenink, J.F. (2009) HW/SW Design Space Exploration on the Production Cell Setup. In: Communication Process Architectures 2009, 1-4 Nov 2009, Eindhoven, The Netherlands. pp. 387-402. Concurrent Systems Engineering Series 67. IOS Press. ISSN 1383-7575 ISBN 978-1-60750-065-0
Groothuis, M.A. and Frijns, R.M.W. and Voeten, J.P.M. and Broenink, J.F. (2009) Concurrent Design of Embedded Control Software. In: Proceedings of the 3rd International Workshop on Multi-Paradigm Modeling (MPM2009), 6 Oct 2009, Denver, United States. 10. Electronic Communications of the EASST 21. EASST. ISSN 1863-2122
Gurov, D. and Huisman, M. (2009) Reducing Behavioural to Structural Properties of Programs with Procedures. In: Verification, Model Checking, and Abstract Interpretation, January 18-20, 2009, Savannah, GA, USA. pp. 136-150. Lecture Notes in Computer Science 5403. Springer Verlag. ISBN 978-3-540-93899-6
Haack, C. and Hurlin, C. (2009) Resource Usage Protocols for Iterators. Journal of Object Technology, 8 (4). pp. 55-83. ISSN 1660-1769
de Haan, R. (2009) Queueing Models for Mobile Ad Hoc Networks. PhD thesis, University of Twente. Beta dissertation series D120 ISBN 978-90-365-2827-6
de Haan, R. and Al Hanbali, A.M. and Boucherie, R.J. and van Ommeren, J.C.W. (2009) A transient analysis of polling systems operating under exponential time-limited service disciplines. Memorandum 1894, Department of Applied Mathematics, University of Twente, Enschede. ISSN 1874-4850
de Haan, R. and Boucherie, R.J. and van Ommeren, J.C.W. (2009) Stability of two exponential time-limited polling models. Memorandum 1900, Department of Applied Mathematics, University of Twente, Enschede. ISSN 1874-4850
Han, Tingting (2009) Diagnosis, Synthesis and Analysis of Probabilistic Models. PhD thesis, University of Twente. CTIT Ph.D.-thesis series No. 09-149 ISBN 978-90-365-2858-0
Han, Tingting and Katoen, J.P. and Damman, B. (2009) Counterexample Generation in Probabilistic Model Checking. IEEE Transactions on Software Engineering, 35 (2). pp. 241-257. ISSN 0098-5589 *** ISI Impact 3,75 ***
Haverkort, B.R.H.M. (2009) Time-It's time for a change. (Invited) In: 2009 IEEE Symposium on Modelling, Analysis and Simulation of Copmputer and Telecommunication Systems, 21-23 September 2009, London, UK. pp. 569-569. IEEE Computer Society. ISSN 1526-7539 ISBN 978-1-4244-4926-2
Haverkort, B.R.H.M. and Remke, A.K.I. and Hartel, P.H. (2009) Betere beveiliging Scada-systemen vitaal voor Nederlandse infrastructuren. Bits en chips, 11 (16). pp. 23-23. ISSN 1879-6443
Heideman, R.G. and Leinse, A. and Hoving, W. and Dekker, R. and Geuzebroek, D.H. and Klein, E.J. and Stoffer, R. and Roeloffzen, C.G.H. and Zhuang, Leimeng and Meijerink, A. (2009) Large-scale integrated optics using TriPleXTM waveguide technology: from UV to IR. (Invited) In: Proceeding of SPIE Photonics west, 24-29 Jan 2009, San Jose, California, U.S.A. 808409. SPIE, U.S.A. ISBN 978-0-81947-467-4
Hofstede, R. and Fioreze, T. (2009) SURFmap: A Network Monitoring Tool Based on the Google Maps API. In: 2009 IFIP/IEEE International Symposium on Integrated Network Management (IM 2009), 1-5 Jun 2009, Long Island, New York, USA. pp. 676-690. IEEE Computer Society. ISBN 978-1-4244-3487-9
Hong, L. (2009) Implementation and tuning of optical single-sideband modulation in ring resonator-based optical beam forming systems for phased-array receive antennas. Master's thesis, University of Twente.
Huisman, M. (2009) On the Interplay between the Semantics of Java's Finally Clauses and the JML Run-Time Checker. In: Proceedings of the 11th International Workshop on Formal Techniques for Java-like Programs, July 5, 2009, Genua. 8. ACM. ISBN 978-1-60558-540-6
Huisman, M. and Aldrich, J. and Barnett, M. and Giannakopoulou, D. and Leavens, G.T. and Sharagyna, N. (2009) Foreword. In: SAVCBS '09 - Proceedings of the 8th International Workshop on Specification and Verification of Component-Based Systems, 25 August 2009, Amsterdam. pp. 3-3. ACM. ISBN 978-1-60558-680-9
Huisman, M. and Tamalet, A. (2009) A Formal Connection between Security Automata and JML Annotations. In: Fundamental Approaches to Software Engineering, March 22- 29, 2009, York, UK. pp. 340-354. Lecture Notes in Computer Science 5503. Springer Verlag. ISSN 0302-9743 ISBN 978-3-642-00592-3
Hurlin, C. (2009) Specifying and Checking Protocols of Multithreaded Classes. In: Proceedings of the 24th Annual ACM Symposium on Applied Computing, 8-12 Mar 2009, Hawaii, USA. pp. 587-592. ACM. ISBN 978-1-60558-166-8
Hurlin, C. (2009) Automatic Parallelization and Optimization of Programs by Proof Rewriting. In: The 16th International Static Analysis Symposium, 9-11 Aug 2009, Los Angeles, USA. pp. 52-68. Lecture Notes in Computer Science 5673. Springer Verlag. ISBN 978-3-642-03236-3
Israr, N. and Scanlon, W.G. and Irwin, G.W. (2009) A cross-layer communication framework for wireless networked control systems. In: Proceedings of the 1st International Conference on Wireless Communication, Vehicular Technology, Information Theory and Aerospace, 17-20 May 2009, Aalborg. pp. 577-581. IEEE. ISBN 978-1-4244-4066-5
Jongerden, M.R. and Haverkort, B.R.H.M. (2009) Which battery model to use? IET Software, 3 (6). pp. 445-457. ISSN 1751-8806 *** ISI Impact 0,65 ***
Jongerden, M.R. and Haverkort, B.R.H.M. and Bohnenkamp, H.C. and Katoen, J.P. (2009) Maximizing System Lifetime by Battery Scheduling. In: Proceedings of the 39th Annual IEEE/IFIP International Conference on Dependable Systems and Networks, DSN 2009, 29 jun - 2 jul 2009, Estoril, Portugal. pp. 63-72. IEEE Computer Society. ISBN 978-1-4244-4421-2
Katoen, J.P. and Klink, D. and Neuhausser, M. (2009) Compositional Abstraction of Stochastic Systems. In: Formal Modeling and Analysis of Timed Systems. Lecture Notes in Computer Science 5813. Springer Verlag, Berlin, pp. 195-211. ISSN 0302-9743 ISBN 978-3-642-04367-3
Katoen, J.P. and Zapreev, I.S. (2009) Simulation-based CTMC Model Checking: An Empirical Evaluation. In: Sixth International Conference on the Quantitative Evaluation of Systems, 13-16 Sept 2009, Budapest, Hungary. pp. 31-40. IEEE Computer Society. ISBN 978-1-42444-942-2
Katoen, J.P. and Zapreev, I.S. and Hahn, E.M. and Hermanns, H. and Jansen, D.N. (2009) The Ins and Outs of the Probabilistic Model Checker MRMC. In: Sixth International Conference on the Quantitative Evaluation of Systems, 13-16 Sept 2009, Budapest, Hungary. pp. 167-176. IEEE Computer Society. ISBN 978-1-42444-942-2
Kerkhoff, H.G. (2009) Dependable reconfigurable multi-sensor poles for security. In: 15th International Mixed-Signals, Sensors, and Systems Test Workshop (IMS3TW 2009), 10-12 Jun 2009, Scottsdale, AZ, USA. pp. 1-6. IEEE Computer Society. ISBN 978-1-4244-4618-6
Kerkhoff, H.G. and Zhang, Xiao (2009) Fault co-simulation for test evaluation of heterogeneous integrated biological systems. Microelectronics journal, 40 (7). pp. 1048-1053. ISSN 0026-2692 *** ISI Impact 0,778 ***
Ketema, J. (2009) Comparing Böhm-Like Trees. In: Rewriting Techniques and Applications: 20th International Conference, RTA 2009, 29 Jun - 1 Jul 2009, Brasília, Brazil. pp. 239-254. Lecture Notes in Computer Science 5595. Springer Verlag. ISSN 0302-9743 ISBN 978-3-642-02347-7
Ketema, J. and Blom, S.C.C. and Aoto, T. and Simonsen, J.G. (2009) Rewriting Transfinite Terms. In: Liber Amicorum for Roel de Vrijer. Lulu, Raleigh, NC, pp. 129-144. ISBN not assigned
Khan, M.R.H. and Burla, M. and Roeloffzen, C.G.H. and Marpaung, D.A.I. and van Etten, W.C. (2009) Analysis of phase noise and cnr degradation of externally generated lo signal in lnb for ku-band dvb-s systems by heterodyning two lasers. In: URSI Benelux (International Union of Radio Science) forum 2009, 8 Jun 2009, Delft. pp. 1-1. Delft University. ISBN not assigned
Khan, M.R.H. and Burla, M. and Roeloffzen, C.G.H. and Marpaung, D.A.I. and van Etten, W.C. (2009) Phase noise analysis of an rf local oscillator signal generated by optical heterodyning of two lasers. In: 14th Annual Symposium of the IEEE Photonics Benelux Chapter, 5-6 Nov 2009, Brussels, Belgium. pp. 161-164. ASP-VUB Press. ISBN 978-9-05487-650-2
Klink, D. and Remke, A.K.I. and Haverkort, B.R.H.M. and Katoen, J.P. (2009) Time-Bounded Reachability in Tree-Structured QBDs by Abstraction. In: Sixth International Conference on the Quantitative Evaluation of Systems, (QEST '09), 13-16 Sept 2009, Budapest, Hungary. pp. 133-142. IEEE Computer Society. ISBN 978-0-7695-3808-2
Kordy, P.T. and Langerak, R. and Polderman, J.W. (2009) Re-verification of a Lip Synchronization Algorithm using robust reachability. In: Formal Methods for Aerospace, 03 Nov 2009, Eindhoven, The Netherlands. Technische Universiteit Eindhoven. ISSN not assigned
Kuijper, W. and van de Pol, J.C. (2009) Compositional Control Synthesis for Partially Observable Systems. In: CONCUR 2009 - Concurrency Theory, 1-4 Sep 2009, Bologna, Italy. pp. 431-447. Lecture Notes in Computer Science 5710. Springer Verlag. ISSN 0302-9743 ISBN 978-3-642-04080-1
Kuijper, W. and van de Pol, J.C. (2009) Computing Weakest Strategies for Safety Games of Imperfect Information. In: Tools and Algorithms for the Construction and Analysis of Systems, 22-29 Mar 2009, York, UK. pp. 92-106. Lecture Notes in Computer Science 5505. Springer Verlag. ISSN 0302-9743 ISBN 978-3-642-00767-5
Lastdrager, E. and Pras, A. (2009) Consistency of Network Traffic Repositories: An Overview. In: Proceedings of the Third International Conference on Autonomous Infrastructure, Management and Security (AIMS 2009), 30 Jun - 02 Jul 2009, Enschede, The Netherlands. pp. 173-178. Lecture Notes in Computer Science 5637. Springer Verlag. ISSN 0302-9743 ISBN 978-3-642-02626-3
Lastdrager, E. and Pras, A. (2009) Consistency analysis of network traffic repositories. In: The Internet of the Future, 15th Open European Summer School and IFIP TC6.6 Workshop, EUNICE 2009, 7-9 Sep 2009, Barcelona, Spain. pp. 217-226. Lecture Notes in Computer Science 5733. Springer Verlag. ISSN 0302-9743 ISBN 978-3-642-03699-6
Leferink, F.B.J. (2009) Educating electromagnetic effects using printed circuit board demos. In: International Symposium on Electromagnetic Compatibility, 20-24 Jun 2009, Kyoto, Japan. pp. 165-168. Institute of Electronics, Information and Communication Engineers. ISBN 978-4-88552-239-0
Leferink, F.B.J. (2009) In-situ testing of aircraft and satellites using a transportable reverberation chamber. In: Proceedings ESA Workshop on Aerospace EMC, 30 Mar - 01 Apr 2009, Florence, Italy. pp. 1-5. ESA. ISBN not assigned
Leferink, F.B.J. (2009) A dual deformable reverberation chamber. Patent EP20090161259 (Application).
Leferink, F.B.J. (2009) A system to prevent two rotating antennas from illuminating each other. Patent EP20090161271 (Application).
Leferink, F.B.J. (2009) Test chamber. Patent CA2352133 (Assigned).
Litvak, N. and Robert, P. (2009) A scaling analysis of a cat and mouse Markov chain. Memorandum 1899, Department of Applied Mathematics, University of Twente, Enschede. ISSN 1874-4850
Litvak, N. and Scheinhardt, W.R.W. and Volkovich, Y.V. and Zwart, B. (2009) Characterization of tail dependence for in-degree and PageRank. In: Proceedings of the 6th International Workshop on Algorithms and Models for the Web-Graph (WAW 2009), 12-13 Feb 2009, Barcelona, Spain. pp. 90-103. Lecture Notes in Computer Science 5427. Springer. ISSN 0302-9743 ISBN 978-3-540-95994-6
Mader, A.H. and Bohnenkamp, H.C. and Usenko, Y.S. and Jansen, D.N. and Hurink, J.L. and Hermanns, H. (2009) Synthesis and stochastic assessment of cost-optimal schedules. International journal on software tools for technology transfer, 12 (5). pp. 305-318. ISSN 1433-2779
Mandjes, M.R.H. and van de Meent, R. (2009) Resource dimensioning through buffer sampling. IEEE/ACM transactions on networking, 17 (5). pp. 1631-1644. ISSN 1063-6692 *** ISI Impact 2,051 ***
Marincic, J. and Mader, A.H. and Wieringa, R.J. (2009) A Handbook Supporting Model-Driven Software Development - a Case Study. Technical Report TR-CTIT-09-11, Centre for Telematics and Information Technology University of Twente, Enschede. ISSN 1381-3625
Marpaung, D.A.I. (2009) High dynamic range analog photonic links: design and implementation. PhD thesis, University of Twente. ISBN 978-90-365-2860-3
Marpaung, D.A.I. and Roeloffzen, C.G.H. and van Etten, W.C. (2009) Push-pull modulated analog photonic link with enhanced sfdr. In: 2009 IEEE International Topical Meeting on Microwave Photonics, 14-16 Oct 2009, Valencia, Spain. pp. 1-4. IEEE. ISBN 978-1-4244-4788-6
Marpaung, D.A.I. and Roeloffzen, C.G.H. and van Etten, W.C. (2009) Performance comparison of two analog photonic links employing a pair of directly modulated lasers and a balanced photodetector. In: 2009 IEEE LEOS Annual Meeting Conference Proceedings, 4-8 Oct 2009, Antalya, Turkey. pp. 587-588. IEEE Computer Society. ISBN 978-1-4244-3681-1
Marpaung, D.A.I. and Roeloffzen, C.G.H. and van Etten, W.C. (2009) Enhanced dynamic range in a directly modulated analog photonic link. IEEE photonics technology letters, 21 (24). pp. 810-812. ISSN 1041-1135 *** ISI Impact 1,815 ***
Meijerink, A. and Cotton, S.L. and Bentum, M.J. and Scanlon, W.G. (2009) Noise-based frequency offset modulation in wideband frequency-selective fading channels. In: 16th Annual Symposium of the IEEE/SCVT Benelux, 19 Nov 2009, Louvain-la-Neuve. pp. 1-6. Université catholique de Louvain. ISBN not assigned
Milutinović, A. and Goossens, K.G.W. and Smit, G.J.M. (2009) Dynamic workload peak detection for slack management. In: Proceedings of International Symposium on System-on-Chip, 2009. SOC 2009., 5-7 Oct 2009, Tampere, Finland. pp. 42-47. IEEE Computer Society. ISBN 978-1-4244-4465-6
Miretskiy, D.I. (2009) Queueing networks: rare events and fast simulations. PhD thesis, University of Twente. Beta Dissertation Series D126 ISBN 978-90-365-2909-9
Miretskiy, D.I. and Scheinhardt, W.R.W. and Mandjes, M.R.H. (2009) Rare-event simulation for tandem queues: a simple and efficient importance sampling scheme. In: Network Control and Optimization, Proceedings of the Third EURO-NF Conference (NET-COOP), 23-25 nov 2009, Eindhoven. pp. 107-120. Lecture Notes in Computer Science 5894. Springer. ISSN 0302-9743 ISBN 978-3-642-10405-3
Miretskiy, D.I. and Scheinhardt, W.R.W. and Mandjes, M.R.H. (2009) Backpressure-based control protocols: design and computational aspects. In: Proceedings of the 21st International Teletraffic Congress (ITC), 15-17 Sept 2009, Paris, France. pp. 1-8. IEEE. ISBN 978-1-4244-4744-2
Miretskiy, D.I. and Scheinhardt, W.R.W. and Mandjes, M.R.H. (2009) An efficient multilevel splitting scheme. In: Proceedings of the 6th St. Petersburg Workshop on Simulation, 28 June - 4 July 2009, St. Petersburg, Russia. pp. 909-914. St. Petersburg State University. ISBN not assigned
de Mol, M.J. and Zimakova, M.V. (2009) A GROOVE Solution for the BPMN to BPEL Model Transformation. Technical Report TR-CTIT-09-31, Centre for Telematics and Information Technology University of Twente, Enschede. ISSN 1381-3625
Moreira Moura, G.C. and Pras, A. (2009) Scalable Detection and Isolation of Phishing. In: Proceedings of the Third International Conference on Autonomous Infrastructure, Management and Security (AIMS 2009), 30 Jun - 02 Jul 2009, Enschede, The Netherlands. pp. 195-198. Lecture Notes in Computer Science 5637. Springer Verlag. ISBN 978-3-642-02626-3
Neuhausser, M. and Stoelinga, M.I.A. and Katoen, J.P. (2009) Delayed Nondeterminism in Continuous-Time Markov Decision Processes. In: Foundations of Software Science and Computational Structures. Lecture Notes in Computer Science 5504. Springer Verlag, Berlin, pp. 364-379. ISSN 0302-9743 ISBN 978-3-642-00595-4
Nguyen, Viet Yen and Ruys, T.C. (2009) Memoised Garbage Collection for Software Model Checking. In: Proceedings of the 15th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS 2009), 22-29 March 2009, York, UK. pp. 201-214. Lecture Notes in Computer Science 5505. Springer Verlag. ISBN 978-3-642-00767-5
Pavlou, G. and Pras, A. (2009) Topics in network and service management. IEEE Communications Magazine, 47 (7). pp. 18-19. ISSN 0163-6804 *** ISI Impact 2,446 ***
van de Pol, J.C. and Timmer, M. (2009) State Space Reduction of Linear Processes using Control Flow Reconstruction. Technical Report TR-CTIT-09-24, Centre for Telematics and Information Technology University of Twente, Enschede. ISSN 1381-3625
van de Pol, J.C. and Timmer, M. (2009) State Space Reduction of Linear Processes Using Control Flow Reconstruction. In: ATVA 2009 - Automated Technology for Verification and Analysis. 7th International Symposium, 13 Oct - 16 Oct 2009, Macao SAR, China. pp. 54-68. Lecture Notes in Computer Science 5799. Springer Verlag. ISBN 978-3-642-04760-2
Pras, A. and Nieuwenhuis, L.J.M. and van de Meent, R. and Mandjes, M.R.H. (2009) Dimensioning Network Links: A New Look at Equivalent Bandwidth. IEEE Network, 23 (2). pp. 5-10. ISSN 0890-8044 *** ISI Impact 2,148 ***
Pras, A. and Sadre, R. and Sperotto, A. and Fioreze, T. and Hausheer, D. and Schoenwaelder, J. (2009) Using NetFlow/IPFIX for Network Management. Journal of Network and Systems Management, 17 (4). 6. ISSN 1064-7570 *** ISI Impact 1,356 ***
Rensink, A. and Kuperus, J.-H. (2009) Repotting the geraniums: on nested graph transformation rules. In: Graph transformation and visual modelling techniques, 28-29 Mar 2009, York, U.K.. Electronic Communications of the EASST 18. EASST. ISSN 1863-2122
Rensink, A. and Zambon, Eduardo (2009) A Type Graph Model for Java Programs. Technical Report TR-CTIT-09-01, Centre for Telematics and Information Technology University of Twente, Enschede. ISSN 1381-3625
Rensink, A. and Zambon, Eduardo (2009) A Type Graph Model for Java Programs. In: Proceedings of the IFIP International Conference on Formal Techniques for Distributed Systems, FMOODS/FORTE 2009, 9-12 Jun 2009, Lisbon, Portugal. pp. 237-242. Lecture Notes in Computer Science 5522. Springer Verlag. ISSN 0302-9743 ISBN 978-3-642-02137-4
Rensink, A. and Zimakova, M.V. (2009) Flow Diagram Decomposition Using Graph Transformations. Technical Report TR-CTIT-09-30, Centre for Telematics and Information Technology University of Twente, Enschede. ISSN 1381-3625
Rensink, A. and Zimakova, M.V. (2009) Towards model structuring based on flow diagram decomposition. In: Proceedings of the 1st Workshop on Behaviour Modelling in Model-Driven Architecture, 23 Jun 2009, Enschede, The Netherlands. No. 05. ACM International Conference Proceeding Series 379. ACM. ISBN 978-1-60558-503-1
Roc'h, A. and Iannarelli, R. and Leferink, F.B.J. (2009) New materials for Inductors. In: EMC Europe 2009, 11-12 jun 2009, Athens, Greece. pp. 1-4. IEEE Computer Society. ISBN 978-1-4244-4107-5
Roeloffzen, C.G.H. (2009) Integrated photonic beamformer employing continuously tunable ring resonator-based delays. In: URSI Benelux (International Union of Radio Science) forum 2009, 8 Jun 2009, Delft. pp. 1-1. Delft University. ISBN not assigned
de Roo, A.J. and Sözer, H. and Akşit, M. (2009) An Architectural Style for Optimizing System Qualities in Adaptive Embedded Systems using Multi-Objective Optimization. In: Proceedings of the 8th Working IEEE/IFIP Conference on Software Architecture, 14-17 Sep 2009, Cambridge, UK. pp. 349-352. IEEE Computer Society. ISBN 978-1-4244-4985-9
Roolvink, S. and Remke, A.K.I. and Stoelinga, M.I.A. (2009) Dependability and Survivability Evaluation of a Water Distribution Process with Arcade. In: 9th International Workshop on Performability of Computer and Communication Systems, 17-18 Sept, 2009, Eger, Hungary. pp. 4-7. PMCCS 2009. Budapest University of Technology and Economics. ISBN not assigned
Sözer, H. (2009) Architecting Fault-Tolerant Software Systems. PhD thesis, University of Twente. CTIT Ph.D.-thesis series No. 09-135 ISBN 978-90-365-2788-0
Sözer, H. and Tekinerdogan, B. and Akşit, M. (2009) FLORA: A framework for decomposing software architecture to introduce local recovery. Software: Practice and Experience, 39 (10). pp. 869-889. ISSN 0038-0644 *** ISI Impact 0,667 ***
Sözer, H. and Tekkalmaz, M. and Korpeoglu, I. (2009) A peer-to-peer file search and download protocol for wireless ad-hoc networks. Computer Communications, 32 (1). pp. 41-50. ISSN 0140-3664 *** ISI Impact 0,933 ***
Scanlon, W.G. and Chandran, A.R. (2009) Stacked-patch antenna with switchable propagating mode for UHF body-centric communications. In: IEEE International Workshop on Antenna Technology (iWAT), 2-4 Mar 2009, Santa Monica, CA. pp. 1-4. IEEE. ISBN 978-1-4244-4395-6
Schippers, H. and Verpoorte, J. and Jorna, P. and Hulzinga, A. and Zhuang, Leimeng and Meijerink, A. and Roeloffzen, C.G.H. and Marpaung, D.A.I. and van Etten, W.C. and Heideman, R.G. and Leinse, A. and Wintels, M. (2009) Broadband optical beam forming for airborne phased array antenna. In: IEEE Aerospace conference 2009, 07-14 Mar 2009, Big Sky, Montana, U.S.A. pp. 1-19. IEEE Computer Society. ISBN 978-1-4244-2621-8
Sheng, Xiaoqin and Kerkhoff, H.G. (2009) Two improved methods for testing ADC parametric faults by digital input signals. In: IEEE 15th International Mixed-Signals, Sensors, and Systems Test Workshop, IMSTW 2009, 10-12 June 2009, Scottsdale, AZ. pp. 1-5. IEEE Computer Society. ISBN 978-1-4244-4618-6
Sheng, Xiaoqin and Kerkhoff, H.G. and Zjajo, A. and Gronthoud, G. (2009) Algorithms for ADC multi-site test with digital input stimulus. In: Proceedings of the 2009 14th European Test Symposium, 25-29 May 2009, Seville, Spain. pp. 45-50. IEEE Computer Society. ISBN 978-0-7695-3703-0
Stoelinga, M.I.A. and Timmer, M. (2009) Interpreting a Successful Testing Process: Risk and Actual Coverage. Technical Report TR-CTIT-09-17, Centre for Telematics and Information Technology University of Twente, Enschede. ISSN 1381-3625
Stoelinga, M.I.A. and Timmer, M. (2009) Interpreting a Successful Testing Process: Risk and Actual Coverage. In: Proceedings of the Third IEEE International Symposium on Theoretical Aspects of Software Engineering, 29 Jul - 31 Jul 2009, Tianjin, China. pp. 251-258. IEEE Computer Society. ISBN 978-0-7695-3757-3
Sundramoorthy, V. and Hartel, P.H. and Scholten, J. (2009) A Taxonomy of Service Discovery Systems. In: Context-Aware Computing and Self-Managing Systems. CRC Studies in Informatics. Chapman and Hall, Boca Raton, pp. 43-77. ISBN 1-420-07771-6
Thomas, D.W.P. and Christopoulos, C. and Leferink, F.B.J. and Bergsma, H. (2009) Practical measure of cable coupling. In: International Conference on Electromagnetics in Advanced Application, 14-18 sept 2009, Torino, Italy. pp. 803-806. IEEE Computer Society. ISBN 978-1-4244-3386-5
Tijmes, M.R. (2009) Simulation of a ring resonator-based optical beamformer system for phased array receive antennas. Master's thesis, University of Twente.
Tijmes, M.R. and Meijerink, A. and Bentum, M.J. and Roeloffzen, C.G.H. (2009) A new simulation tool for RF photonics. In: 16th Annual Symposium of the IEEE/SCVT, 19 Nov 2009, Louvain-la-Neuve, Belgium. pp. 1-6. SCVT. ISBN not assigned
Tijmes, M.R. and Meijerink, A. and Bentum, M.J. and Roeloffzen, C.G.H. (2009) Simulation of a ring resonator-based optical beamformer system for phased array receive antennas. In: 20th Annual Workshop on Circuits, Systems and Signal Processing, ProRISC 2009, 26-27 Nov 2009, Veldhoven. pp. 1-7. Technology Foundation STW. ISBN 978-90-73461-62-8
Timens, R.B. (2009) Performance evaluation of frequency modulation and slope detection in analog optical links. Master's thesis, University of Twente.
Timmons, N.F. and Scanlon, W.G. (2009) An adaptive energy efficient MAC protocol for the medical body area network. In: Proceedings of the 1st International Conference on Wireless Communication, Vehicular Technology, Information Theory and Aerospace , 17-20 May 2009, Aalborg. pp. 587-593. IEEE. ISBN 978-1-4244-4066-5
Verhoeven, C.J.M. and Bentum, M.J. and Monna, G.L.E. and Rotteveel, J. (2009) On the origin of satellite swarms. In: 60th International Astronautical Congress, 12-16 Oct 2009, Daejon, Republic of Korea. pp. 1-5. Press IAC. ISSN 1995-6258
van Vliet, F. and Boucherie, R.J. and de Graaf, M. (2009) Content-based routing in networks with time-fluctuating request rates. In: Network Control and Optimisation, Proceedings of the Third Euro-NF Conference, NET-COOP 2009, 23-25 November, Eindhoven, The Netherlands. pp. 75-90. Lecture Notes in Computer Science 5894. Springer Verlag. ISSN 0302-9743 ISBN 978-3-642-10405-3
Volkovich, Y.V. (2009) Stochastic analysis of web page ranking. PhD thesis, University of Twente. 09-139 ISBN 978-90-365-2823-8
Volkovich, Y.V. and Litvak, N. and Zwart, B. (2009) Extremal dependencies and rank correlations in power law networks. In: Proceedings of the First International Conference on Complex Sciences: Theory and Applications (COMPLEX '2009), 23-25 Feb 2009, Shanghai, China. 5375. The Institute for Computer Sciences, Social-Informatics and Telecommunications Engineering, ICST. ISBN 978-963-9799-46-2
Welch, P.H. and Roebbers, H.W. and Broenink, J.F. and Barnes, F.R.M. and Ritson, C.G. and Sampson, A.T. and Stiles, G.S. and Vinter, B. (2009) Preface. In: Communicating Process Architectures 2009, 1-4 Nov 2009, Eindhoven. Concurrent Systems Engineering Series 67. IOS Press. ISSN 1383-7575 ISBN 978-1-60750-065-0
Wiggers, M.H. (2009) Aperiodic Multiprocessor Scheduling for Real-Time Stream Processing Applications. PhD thesis, University of Twente. CTIT Ph.D.-thesis series No. 09-146 ISBN 978-90-365-2850-4
Wijs, A.J. and van de Pol, J.C. and Bortnik, E.M. (2009) Solving scheduling problems by untimed model checking. The clinical chemical analyser case study. International journal on software tools for technology transfer, 11 (5). pp. 375-392. ISSN 1433-2779
Wolkotte, P.T. (2009) Exploration within the Network-on-Chip Paradigm. PhD thesis, University of Twente. CTIT Ph.D.-thesis series No. 09-133 ISBN 978-90-365-2757-6
Zambon, Eduardo and Rensink, A. (2009) Using Graph Transformations and Graph Abstractions for Software Verification. Technical Report TR-CTIT-10-03, Centre for Telematics and Information Technology University of Twente, Enschede. ISSN 1381-3625
Zhang, Xiao and Kerkhoff, H.G. (2009) Design of a Highly Dependable Beamforming Chip. In: Proceedings of Euromicro on Digital System Design (DSD09), 27-29 Aug 2009, Patras, Greece. pp. 729-735. IEEE Computer Society. ISBN 978-0-7695-3782-5
Zhao, D. and Ferreira, J.A. and Roc'h, A. and Leferink, F.B.J. (2009) Common-mode DC-bus filter design for variable-speed drive system via transfer ratio measurements. IEEE Transactions on Power Electronics, 24 (2). pp. 518-524. ISSN 0885-8993 *** ISI Impact 2,929 ***
Zhuang, Leimeng and Burla, M. and Roeloffzen, C.G.H. and Meijerink, A. and Marpaung, D.A.I. and Khan, M.R.H. and van Etten, W.C. and Leinse, A. and Hoekman, M. and Heideman, R.G. (2009) RF-to-RF Characterization of a Phased Array Receive Antenna Steering System Using a Novel Ring Resonator-Based Integrated Photonic Beamformer. In: IEEE International Topical Meeting on Microwave Photonics, 14-16 Oct 2009, Valencia, Spain. pp. 1-4. IEEE. ISBN 978-1-4244-4788-6

2008

Al Hanbali, A.M. and de Haan, R. and Boucherie, R.J. and van Ommeren, J.C.W. (2008) Time-limited and k-limited polling systems: a matrix analytic solution. In: The 3rd International Workshop on Tools for Solving Structured Markov Chains (SMCTools), 20 Oct 2008, Athens, Greece. Institute for Computer Sciences, Social-Informatics and Telecommunications Engineering (ICST). ISBN 978-963-9799-31-8
de Alfaro, L. and Majumdar, R. and Raman, V. and Stoelinga, M.I.A. (2008) Game Refinement Relations and Metrics. Logical Methods in Computer Science, 4 (3). 7. ISSN 1860-5974 *** ISI Impact 1,036 ***
Avrachenkov, K. and Litvak, N. and Pham, K.S. (2008) A singular perturbation approach for choosing the PageRank damping factor. Internet Mathematics, 5 (1-2). pp. 47-69. ISSN 1542-7951
Badban, B. and Fokkink, W.J. and van de Pol, J.C. (2008) Mechanical Verification of a Two-Way Sliding Window Protocol (Full version including proofs). Technical Report TR-CTIT-08-45, Centre for Telematics and Information Technology University of Twente, Enschede. ISSN 1381-3625
Badban, B. and Fokkink, W.J. and van de Pol, J.C. (2008) Mechanical verification of a two-way sliding window protocol. In: Communicating Process Architectures 2008, 7-10 Sep 2008, York, UK. pp. 179-202. Concurrent Systems Engineering Series 66. IOS Press. ISBN 978-1-58603-907-3
Baier, C. and Haverkort, B.R.H.M. and Hermanns, H. and Katoen, J.P. (2008) Reachability in continuous-time Markov reward decision processes. In: Logic and Automata: History and Perspectives, 14-15 Dec 2007, Aachen, Germany. pp. 53-71. Texts in Logic and Games 2. Amsterdam University Press. ISBN 978-90-5356-576-6
Baier, C. and Katoen, J.P. (2008) Principles of Model Checking. MIT Press, New York. ISBN 978-0-262-02649-9
Bakhshi, R. and Cloth, L. and Fokkink, W.J. and Haverkort, B.R.H.M. (2008) Mean-field analysis for the evaluation of gossip protocols. ACM SIGMETRICS performance evaluation review, 36 (3). pp. 32-39. ISSN 0163-5999
Bakhshi, R. and Fokkink, W.J. and Pang, J. and van de Pol, J.C. (2008) Leader Election in Anonymous Rings: Franklin Goes Probabilistic. In: Fifth IFIP International Conference On Theoretical Computer Science, 8-10 Sept 2008, Milano, Italy. pp. 57-72. IFIP International Federation for Information Processing 273/2008. Springer Verlag. ISSN 1571-5736 ISBN 978-0-387-09679-7
Barnat, J. and Brim, L. and Šimeček, P. and Weber, Michael (2008) Revisiting Resistance Speeds Up I/O-Efficient LTL Model Checking. In: 14th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2008, 29 Mar - 06 Apr 2008, Budapest, Hungary. pp. 48-62. Lecture Notes in Computer Science 4963. Springer Verlag. ISBN 978-3-540-78799-0
Barnat, J. and Chaloupka, J. and van de Pol, J.C. (2008) Improved Distributed Algorithms for SCC Decomposition. In: Proceedings of the 6th International Workshop on Parallel and Distributed Methods in verifiCation, 8 Jul 2007, Berlin. pp. 63-77. Electronic Notes in Theoretical Computer Science 198 (1). Elsevier. ISSN 1571-0661
Bauer, J. and Boneva, I.B. and Kurban, M.E. and Rensink, A. (2008) A Modal-Logic Based Graph Abstraction. In: International Conference on Graph Transformations (ICGT), 9-13 Sep 2008, Leicester, UK. pp. 321-335. Lecture Notes in Computer Science 5214. Springer Verlag. ISSN 0302-9743 ISBN 978-3-540-87404-1
Bentum, M.J. and Boonstra, A.J. and Millenaar, R. and Gunst, A.W. (2008) Implementation of LOFAR RFI mitigation strategy. In: URSI General Assembly 2008, 7-16 Aug 2008, Chicago, U.S.A. pp. 1-4. International Union of Radio Science (URSI). ISSN 0074-9516 ISBN not assigned
van den Berg, J.L. and Karlsson, G. (2008) Proceedings of the 16th International Workshop on Quality of Service. In: Proceedings of the 16th International Workshop on Quality of Service (IWQoS 2008), 2-4 June 2008, Enschede. 1. IEEE. ISSN 1548-615X ISBN 978-1-4244-2084-1
Bergmans, L.M.J. and Ernst, E. and Gybels, K. (2008) SPLAT '08. In: Proceedings of the 2008 AOSD Workshop on Software engineering Properties of Languages and Aspect Technologies, 31 March 2008, Brussels. pp. 3-6. ACM International Conference Proceeding Series. ACM Press. ISBN 978-1-60558-144-6
Bijlsma, T. and Bekooij, M.J.G. and Jansen, P.G. and Smit, G.J.M. (2008) Communication between Nested Loop Programs via Circular Buffers in an Embedded Multiprocessor System. In: Proceedings of the 11th international workshop on Software & compilers for embedded systems (SCOPES), 14 March 2008, Munich, Germany. pp. 33-42. ACM International Conference Proceeding Series 296. ACM Press. ISBN not assigned
Blaj, M.A. and Wagenaar, F. and Buesink, F.J.K. and Damstra, G.C. and Leferink, F.B.J. (2008) Lightning current test on radar system. In: International Symposium on EMC 2008, 8-12 Sept 2008, Hamburg, Germany. pp. 281-284. Hamburg University. ISBN 978-3-930400-60-7
Blom, S.C.C. and Deiß, T. and Ioustinova, N. and Kontio, A. and van de Pol, J.C. and Rennoch, A. and Sidorova, N. (2008) Simulated time for host-based testing with TTCN-3. Software Testing, Verification and Reliability, 18 (1). pp. 29-49. ISSN 0960-0833 *** ISI Impact 1,632 ***
Blom, S.C.C. and Haverkort, B.R.H.M. and Kuntz, G.W.M. and van de Pol, J.C. (2008) Distributed Markovian Bisimulation Reduction aimed at CSL Model Checking. In: Proceedings of the 7th International Workshop on Parallel and Distributed Methods in verifiCation, 29 Mar 2008, Budapest, Hungary. pp. 35-50. Electronic Notes in Theoretical Computer Science 220 (2). Elsevier. ISSN 1571-0661
Blom, S.C.C. and Lisser, B. and van de Pol, J.C. and Weber, Michael (2008) A Database Approach to Distributed State Space Generation. In: Proceedings of the 6th International Workshop on Parallel and Distributed Methods in verifiCation, 8 Jul 2007, Berlin. pp. 17-32. Electronic Notes in Theoretical Computer Science 198 (1). Elsevier. ISSN 1571-0661
Blom, S.C.C. and van de Pol, J.C. (2008) Symbolic Reachability for Process Algebras with Recursive Data Types. In: Theoretical Aspects of Computing - ICTAC 2008, 1-3 Sep 2008, Istanbul, Turkey. pp. 81-95. Lecture Notes in Computer Science 5160. Springer Verlag. ISSN 0302-9743 ISBN 978-3-540-85761-7
Bohnenkamp, H.C. and Stoelinga, M.I.A. (2008) Quantitative Testing. In: Proceedings of the 7th ACM International conference on Embedded software, October 19-24, 2008, Georgia, Atlanta. pp. 227-236. ACM. ISBN 978-1-60558-468-3
Bosman, M.G.C. and Bakker, V. and Molderink, A. and Hurink, J.L. and Smit, G.J.M. (2008) Load control in low voltage level of the electricity grid using µCHP appliances. In: Proceedings of the Nineteenth Annual Workshop on Circuits, Systems ans Signal Processing (ProRISC), 27-28 Nov 2008, Veldhoven, The Netherlands. pp. 25-29. Technology Foundation STW. ISBN 978-90-73461-56-7
Boudali, H. and Crouzen, P. and Haverkort, B.R.H.M. and Kuntz, G.W.M. and Stoelinga, M.I.A. (2008) Architectural dependability evaluation with Arcade. In: Proceedings of the 38th Annual IEEE/IFIP International Conference on Dependable Systems and Networks, June 24-27, Anchorage, USA. pp. 512-521. IEEE Computer Society. ISBN 978-1-4244-2397-2
Boudali, H. and Crouzen, P. and Haverkort, B.R.H.M. and Kuntz, G.W.M. and Stoelinga, M.I.A. (2008) Arcade - A Formal, Extensible, Model-based Dependability Evaluation Framework. In: Proceedings of the 13th IEEE International Conference on Engineering of Complex Computer Systems (ICECCS 2008), March 31, 2008 - April 3, 2008, Belfast, UK. pp. 243-248. IEEE Computer Society. ISBN 978-0-7695-3139-7
Boudali, H. and Crouzen, P. and Haverkort, B.R.H.M. and Kuntz, G.W.M. and Stoelinga, M.I.A. (2008) Rich Interfaces for Dependability: Compositional Methods for Dynamic Fault Trees and Arcade models. (Invited) In: Proceedings of the second workshop on foundations of interface theories (FIT), April 10, 2008, Budapest, Hungary. pp. 5-10. University of Aalborg. ISBN not assigned
Boudali, H. and Montani, S. (2008) Guest Editorial: Special session on Bayesian networks in dependability. Reliability Engineering & System Safety, 93 (7). pp. 921-921. ISSN 0951-8320 *** ISI Impact 1,908 ***
Bouyer, P. and Brinksma, H. and Larsen, K.G. (2008) Optimal infinite scheduling for multi-priced timed automata. Formal Methods in System Design, 32 (1). pp. 3-23. ISSN 0925-9856 *** ISI Impact 1,111 ***
Brinksma, H. and Hooman, J. (2008) Dependability for high-tech systems: an industry-as-laboratory approach. (Invited) In: Design, Automation and Test in Europe, 2008. DATE '08, 10-14 March 2008, Munich. pp. 1226-1231. IEEE Computer Society. ISBN 978-3-9810801-4-8
van den Broek, G. and Schoenwaelder, J. and Pras, A. and Harvan, M. (2008) SNMP Trace Analysis De��?nitions. In: Resilient Networks and Services, 1-3 Jul 2008, Bremen. pp. 134-147. Lecture Notes in Computer Science 5127. Springer Verlag. ISSN 0302-9743 ISBN 978-3-540-70586-4
Bujorianu, L.M. and Bujorianu, M.C. (2008) Towards a Formal Framework for Multidimensional Codesign. Technical Report TR-CTIT-08-21, Centre for Telematics and Information Technology University of Twente, Enschede. ISSN 1381-3625
Bujorianu, L.M. and Bujorianu, M.C. (2008) Bisimulation, Logic and Reachability Analysis for Markovian Systems. Technical Report TR-CTIT-08-23, Centre for Telematics and Information Technology University of Twente, Enschede. ISSN 1381-3625
Bujorianu, L.M. and Bujorianu, M.C. (2008) Bisimulation, Logic and Mobility for Markovian Systems. In: Proceedings of the 18th International Symposium on Mathematical Theory of Networks & Systems, 28 July - 1 August 2008, Blacksburg, Virginia, USA. 12. SIAM. ISBN not assigned
Bujorianu, L.M. and Bujorianu, M.C. (2008) Topological superposition of abstractions of stochastic processes. In: MED '07. Mediterranean Conference on Control & Automation, 27-29 June 2007, Athens, Greece. pp. 1-6. IEEE Computer Society. ISBN 1-4244-1282-X
Bujorianu, L.M. and Bujorianu, M.C. and Blom, H.A.P. (2008) Approximate Abstractions of Stochastic Hybrid Systems. In: Proceedings of the 17th IFAC World Congress, 6-11 Jul 2008, Seoul, Korea. pp. 8978-8983. IFAC. ISBN 978-3-902661-00-5
Bujorianu, L.M. and Katoen, J.P. (2008) Symmetry Reduction For Stochastic Hybrid Systems. Technical Report TR-CTIT-08-27, Centre for Telematics and Information Technology University of Twente, Enschede. ISSN 1381-3625
Bujorianu, L.M. and Lygeros, J. (2008) New insights on stochastic reachability. In: 46th IEEE Conference on Decision and Control, 12-14 Dec 2007, New Orleans, Louisiana USA. pp. 6172-6177. IEEE Computer Society. ISSN 0191-2216 ISBN 1-4244-1498-9
Bujorianu, L.M. and Lygeros, J. and Bujorianu, M.C. (2008) Abstractions of Stochastic Hybrid Systems. Technical Report TR-CTIT-08-24, Centre for Telematics and Information Technology University of Twente, Enschede. ISSN 1381-3625
Bujorianu, L.M. and Lygeros, J. and Bujorianu, M.C. (2008) Towards a General Theory of Stochastic Hybrid Systems. Technical Report TR-CTIT-08-25, Centre for Telematics and Information Technology University of Twente, Enschede. ISSN 1381-3625
Bujorianu, L.M. and Lygeros, J. and Langerak, R. (2008) Reachability Analysis of Stochastic Hybrid Systems by Optimal Control. In: 11th International Workshop, HSCC 2008, 22-24 Aril 2008, St. Louis, USA. pp. 610-613. Lecture Notes in Computer Science 4981. Springer Verlag. ISSN 0302-9743 ISBN 978-3-540-78928-4
Bujorianu, M.C. and Bujorianu, L.M. (2008) Uncertainty and Reconfigurability in Hilbertean Formal Methods. Technical Report TR-CTIT-08-20, Centre for Telematics and Information Technology University of Twente, Enschede. ISSN 1381-3625
Bujorianu, M.C. and Bujorianu, L.M. (2008) A Randomized Model for Communicating Embedded Systems. Technical Report TR-CTIT-08-22, Centre for Telematics and Information Technology University of Twente, Enschede. ISSN 1381-3625
Bujorianu, M.C. and Bujorianu, L.M. (2008) Formal Engineering Hybrid Systems: Semantic Underpinnings. Technical Report TR-CTIT-08-28, Centre for Telematics and Information Technology University of Twente, Enschede. ISSN 1381-3625
Bujorianu, M.C. and Bujorianu, L.M. (2008) Styles in Heterogeneous Modelling With UML. Technical Report TR-CTIT-08-29, Centre for Telematics and Information Technology University of Twente, Enschede. ISSN 1381-3625
Bujorianu, M.C. and Bujorianu, L.M. (2008) A randomized model for communicating embedded systems. In: 16th Mediterranean Conference on Control and Automation, 25-27 June 2008, Ajaccio, France. pp. 1435-1440. IEEE Computer Society. ISBN 978-1-4244-2505-1
Bujorianu, M.C. and Bujorianu, L.M. and Langerak, R. (2008) An Interpretation of Concurrent Hybrid Time Systems over Multi-clock Systems. In: Proceedings of the 17th IFAC World Congress, 6-11 Jul 2008, Seoul, Korea. pp. 3635-3640. IFAC. ISBN 978-3-902661-00-5
Bujorianu, M.C. and Bujorianu, L.M. and Maharaj, S. (2008) Formal Testing of Correspondence Carrying Software. Technical Report TR-CTIT-08-26, Centre for Telematics and Information Technology University of Twente, Enschede. ISSN 1381-3625
Burla, M. and Khan, M.R.H. and Zhuang, Leimeng and Roeloffzen, C.G.H. (2008) Multiwavelength optical beam forming network with ring resonator-based binary-tree architecture for broadband phased array antenna systems. In: IEEE/LEOS Benelux Symposium, 27-28 Nov 2008, Enschede. pp. 99-102. University of Twente. ISBN 978-90-365-2768-2
Calamé, J.R. (2008) Testing reactive systems with data: enumerative methods and constraint solving. PhD thesis, University of Twente. IPA dissertation series 2008-20 ISBN 978-90-6464-273-9
Calamé, J.R. and van de Pol, J.C. (2008) Applying Model-based Testing to HTML Rendering Engines - A Case Study. In: Testing of Software and Communicating Systems, 10-13 Jun 2008, Tokyo, Japan. pp. 250-265. Lecture Notes in Computer Science 5047. Springer Verlag. ISSN 0302-9743 ISBN 978-3-540-68514-2
Chatterjea, S. and Havinga, P.J.M. (2008) Algorithms for energy efficient data extraction from wireless sensor networks for environmental monitoring applications. In: Proceedings of International Workshop Sensing a Changing World 2008, 19-21 Nov 2008, Wageningen, The Netherlands. pp. 15-18. CGI report (CGI-08-005). Wageningen University and Research Centre. ISSN 1568-1874
Chen, Taolue and Han, Tingting and Katoen, J.P. (2008) Time-Abstracting Bisimulation for Probabilistic Timed Automata. In: Proceedings of the 2nd IFIP/IEEE International Symposium on Theoretical Aspects of Software Engineering (TASE), 17-19 June 2008, Nanjing, China. pp. 177-184. IEEE Computer Society. ISBN 978-0-7695-3249-3
Chen, Taolue and van de Pol, J.C. and Wang, Yanjing (2008) PDL over Accelerated Labeled Transition Systems. In: 2008 2nd IFIP/IEEE International Symposium on Theoretical Aspects of Software Engineering, 17-19 Jun 2008, Nanjing, China. pp. 193-200. IEEE Computer Society. ISBN 978-0-7695-3249-3
Ciraci, S. and van den Broek, P.M. and Akşit, M. (2008) Framework for Computer-Aided Evolution of Object-Oriented Designs. In: The 2nd IEEE International Workshop on Quality Oriented Reuse of Software (QUORS 2008), 01-08-2009, Turku, Finland. pp. 757-764. 32nd Annual IEEE International Computer Software and Applications Conference 2. IEEE Computer Society. ISBN 978-0-7695-3262-2
Cloth, L. and Haverkort, B.R.H.M. (2008) The performability tool P'ility. In: Proceedings of the 5th International Conference on the Quantitative Evaluation of Systems, QEST 2008, 14-17 Sep 2008, St. Malo, France. pp. 117-118. IEEE Computer Society. ISBN 978-0-7695-3360-5
Crouzen, P. and van de Pol, J.C. and Rensink, A. (2008) Applying Formal Methods to Gossiping Networks with mCRL and Groove. ACM SIGMETRICS performance evaluation review, 36 (3). pp. 7-16. ISSN 0163-5999
Cucarella, G.C. and Cichocki, A. and Burla, M. (2008) Development, test and flight results of the rf systems for the yes2 tether experiment. In: 59th International Astronautical Congress, IAC 2008, 29 sept - 3 Oct 2008, Glasgow, Scotland. pp. 1-15. Curran Associates, Inc. ISBN 978-1-61567-160-1
Cuijpers, P.J.L. and Broenink, J.F. and Mosterman, P.J. (2008) Constitutive Hybrid Processes: a Process-Algebraic Semantics for Hybrid Bond Graphs. Simulation, 84 (7). pp. 339-358. ISSN 0037-5497
Damman, B. and Han, Tingting and Katoen, J.P. (2008) Regular Expressions for PCTL Counterexamples. In: Proceedings of the 5th International Conference on the Quantitative Evaluaiton of Systems (QEST 2008), 14-17 Sept 2008, Saint Malo, France. pp. 179-188. IEEE Computer Society. ISBN 978-0-7695-3360-5
Daws, C.F. and Langerak, R. and Polderman, J.W. (2008) Decision algorithm for the stability of planar switching linear systems. In: Proceedings of the 18th international symposium on mathematical theory of networks & systems, 28 July - 1 August 2008, Blacksburg, Virginia, USA. 11. SIAM. ISBN not assigned
Dimitrova, D.C. and Karagiannis, G. and de Boer, P.T. (2008) Severe congestion handling approaches in NSIS RMD domains with bi-directional reservations. Computer Communications: The International Journal for the Computer and Telecommunications Industry, 13 (14). pp. 3153-3162. ISSN 0140-3664 *** ISI Impact 0,933 ***
Durr, P.E.A. (2008) Resource-based Verification for Robust Composition of Aspects. PhD thesis, University of Twente. CTIT Ph.D.-thesis series No. 08-119 ISBN 978-90-365-2685-2
Durr, P.E.A. and Bergmans, L.M.J. and Akşit, M. (2008) A Controlled Experiment for the Assessment of Aspects - Tracing in an Industrial Context. Technical Report TR-CTIT-08-04, Centre for Telematics and Information Technology University of Twente, Enschede. ISSN 1381-3625
Ejov, V. and Litvak, N. and Nguyen, Giang (2008) Proof of the Hamiltonicity-Trace conjecture for singularly perturbed Markov chains. Memorandum 1869, Department of Applied Mathematics, University of Twente, Enschede. ISSN 1874-4850
Engelen, J.B.C. and Khatib, M.G. (2008) A ''Millipede'' scanner model - Energy consumption and performance. Technical Report TR-CTIT-08-51, Centre for Telematics and Information Technology University of Twente, Enschede. ISSN 1381-3625
Engels, G. and Kleppe, A.G. and Rensink, A. and Semenyak, M. and Soltenborn, C. and Wehrheim, H. (2008) From UML Activities to TAAL: Towards behaviour-preserving model transformations. In: European Conference on Model Driven Architecture - Foundations and Applications (ECMDA-FA), 10-12 Jun 2008, Berlin, Germany. pp. 94-109. Lecture Notes in Computer Science 5095. Springer Verlag. ISSN 1611-3349 ISBN 978-3-540-69095-5
Ernst, E. and Bergmans, L.M.J. and Gybels, K. (2008) Editorial: Special Issue on SPLAT2008. Journal of Object Technology, 7 (9). ISSN 1660-1769
Faella, M. and Legay, A. and Stoelinga, M.I.A. (2008) Model checking Quantitative Linear Time Logic. In: Proceedings of the Sixth Workshop on Quantitative Aspects of Programming Languages (QAPL 2008), March 29-30, 2008, Budapest, Hungary. pp. 61-77. Electronic Notes in Theoretical Computer Science 220 (3). Elsevier. ISSN 1571-0661
Fioreze, T. and Oude Wolbers, M. and van de Meent, R. and Pras, A. (2008) Characterization of IP Flows Eligible for Lambda-Connections in Optical Networks. In: Proceedings of the 11th IEEE/IFIP Network Operations & Management Symposium (NOMS 2008), 7-11 April 2008, Salvador, Bahia, Brazil. pp. 256-262. IEEE Computer Society. ISSN 1542-1201 ISBN 978-1-4244-2066-7
Güleşir, G. (2008) Evolvable Behavior Specifications Using Context-Sensitive Wildcards. PhD thesis, University of Twente. CTIT Ph.D.-thesis series No. 08-114 ISBN 978-90-365-2633-3
Groothuis, M.A. and Damstra, A.S. and Broenink, J.F. (2008) Virtual Prototyping through Co-simulation of a Cartesian Plotter. In: Proceedings of the 13th IEEE International Conference on Emerging Technologies and Factory Automation, 15-18 Sept 2008, Hamburg, Germany. pp. 697-700. IEEE Industrial Electronics Society. ISBN 978-1-4244-1505-2
Groothuis, M.A. and van Zuijlen, J.J.P. and Broenink, J.F. (2008) FPGA based Control of a Production Cell System. In: Communication Process Architectures 2008, 7-10 Sept 2008, York, United Kingdom. pp. 135-148. Concurrent Systems Engineering Series 66. IOS Press. ISSN 1383-7575 ISBN 978-1-58603-907-3
Haack, C. and Huisman, M. and Hurlin, C. (2008) Reasoning about Java's Reentrant Locks. In: The Sixth ASIAN Symposium on Programming Languages and Systems, 9-11 Dec 2008, Bangalore, India. pp. 171-187. Lecture Notes in Computer Science 5356. Springer Verlag. ISSN 0302-9743 ISBN 978-3-540-89329-5
Hammainen, H. and Chen, Hong and Pras, A. and Huitema, G. and Waldburger, M. and Stiller, B. (2008) Telecommunication economics - summary on the dagstuhl perspectives seminar no. 08043. Dagstuhl report 08043 Internationales Begegnungs- und Forschungszentrum fuer Informatik (IBFI), Schloss Dagstuhl, Dagstuhl, Germany. ISSN 1862-4405
Han, Tingting and Katoen, J.P. and Mereacre, A. (2008) Compositional Modeling and Minimization of Time-Inhomogeneous Markov Chains. In: Hybrid Systems: Computation and Control (HSCC), St. Louis, U.S.. pp. 244-258. Lecture Notes in Computer Science 4981. Springer Verlag. ISSN 0302-9743 ISBN 978-3-540-78928-4
Han, Tingting and Katoen, J.P. and Mereacre, A. (2008) Approximate parameter synthesis for probabilistic time-bounded reachability. In: Proceedings of the IEEE Real-Time Systems Symposium (RTSS 2008), 1-3 Dec 2008, Barcelona, Spain. pp. 173-182. IEEE Computer Society. ISBN 978-0-7695-3477-0
Hansson, A. and Wiggers, M.H. and Moonen, A.J.M. and Goossens, K.G.W. and Bekooij, M.J.G. (2008) Applying Dataflow Analysis to Dimension Buffers for Guaranteed Performance in Networks on Chip. In: Second ACM/IEEE International Symposium on Networks-on-Chip (NOCS), 7-10 April 2008, Newcastle upon Tyne. pp. 211-212. IEEE Computer Society. ISBN 0-7695-3098-2
Hartel, P.H. and Ruys, T.C. and Geilen, M.C.W. (2008) Scheduling Optimisations for SPIN to Minimise Buffer Requirements in Synchronous Data Flow (with appendix). Technical Report TR-CTIT-08-16, Centre for Telematics and Information Technology University of Twente, Enschede. ISSN 1381-3625
Hartel, P.H. and Ruys, T.C. and Geilen, M.C.W. (2008) Scheduling Optimisations for SPIN to Minimise Buffer Requirements in Synchronous Data Flow. In: 8th Int. Conf. on Formal Methods in Computer Aided Design (FMCAD), 17-20 Nov. 2008, Portland, Oregon. pp. 161-170. IEEE Computer Society. ISBN 978-1-4244-2735-2
Haverkort, B.R.H.M. (2008) Performance and Dependability Evaluation: Successes, Failures and Challenges. (Invited) In: EPEW, 24-25 Sep 2008, Palma de Mallorca, Spain,. pp. 1-1. Lecture Notes in Computer Science 5261. Springer Verlag. ISSN 0302-9743 ISBN 978-3-540-87411-9
Hölzenspies, P.K.F. and Hurink, J.L. and Kuper, J. and Smit, G.J.M. (2008) Run-time Spatial Mapping of Streaming Applications to a Heterogeneous Multi-Processor System-on-Chip (MPSOC). In: Proceedings of the Eleventh Conference on Design, Automation and Test in Europe, DATE08, 10 Mar - 14 Mar 2008, Munich, Germany. pp. 212-217. European Design and Automation Association. ISBN 978-3-9810801-3-1
Jansen, D.N. and Katoen, J.P. and Oldenkamp, M. and Stoelinga, M.I.A. and Zapreev, I.S. (2008) How Fast and Fat Is Your Probabilistic Model Checker? An Experimental Performance Comparison. In: Hardware and Software: Verification and Testing, Proceedings of the Third International Haifa Verification Conference, HVC 2007, 23-25 Oct 2007, Haifa, Israel. pp. 69-85. Lecture Notes in Computer Science 4899. Springer Verlag. ISBN 978-3-540-77964-3
Jongerden, M.R. and Haverkort, B.R.H.M. (2008) Battery Modeling. Technical Report TR-CTIT-08-01, Centre for Telematics and Information Technology University of Twente, Enschede. ISSN 1381-3625
Jongerden, M.R. and Haverkort, B.R.H.M. (2008) Which battery model to use? In: 24th UK Performance Engineering Workshop, 3-4 Jul 2208, London, UK. pp. 76-88. Technical Report Series of the Department of Computing, Imperial College London (DTR08-9). Imperial College London. ISSN 1469-4166 ISBN 978-0-9559703-0-6
Julius, A.A. and Polderman, J.W. and van der Schaft, A.J. (2008) Parametrization of the regular equivalences of the canonical controller. IEEE transactions on automatic control, 53 (4). pp. 1032-1036. ISSN 0018-9286 *** ISI Impact 2,556 ***
Karagiannis, G. and Heijenk, G.J. and El Malki, K. and Soliman, H. (2008) Seamless handoff in Mobile IP. Patent US7353027 (Assigned).
Kastenberg, H. (2008) Graph-based software specification and verification. PhD thesis, University of Twente. CTIT Ph.D.-thesis series No. 08-128 ISBN 978-90-365-2734-7
Kastenberg, H. and Rensink, A. (2008) Dynamic Partial Order Reduction Using Probe Sets. In: Concurrency Theory (CONCUR), 19-22 Aug 2008, Toronto, Canada. pp. 233-247. Lecture Notes in Computer Science 5201. Springer Verlag. ISSN 0302-9743 ISBN 978-3-540-85360-2
Katoen, J.P. (2008) Perspectives in probabilistic verification. (Invited) In: Proceedings 2nd IEEE/IFIP International Symposium on Theoretical Aspects of Software Engineering, Nanjing, China. pp. 3-10. IEEE Computer Society. ISBN 978-0-7695-3249-3
König, B. and Rensink, A. and Heckel, R. (2008) Graph Transformation for Concurrency and Verification - Preface. In: Graph Transformation for Verification and Concurrency, 3 Sep 2007, Lisbon, Portugal. pp. 1-2. Electronic Notes in Theoretical Computer Science 213 (1). Elsevier. ISSN 1571-0661
Kerkhoff, H.G. and Huijts, J.J.M. (2008) Testing of a highly reconfigurable processor core for dependable data streaming applications. In: Proceedings Fouth IEEE International Symposium on Electronic Design, Test and Applications DELTA 2008, 23-25 January 2008, Hong Kong, SAR, China. pp. 38-44. IEEE Computer Society. ISBN 978-0-7695-3110-6
Kerkhoff, H.G. and Kuiken, O.J. and Zhang, Xiao (2008) Increasing SoC Dependability via Known Good Tile NoC Testing. In: FastAbs Track of The 38th Annual IEEE/IFIP International Conference on Dependable Systems and Networks (DSN2008), 24-27 June 2009, Anchorage, Alaska. Paper 14. Unpublished. ISBN not assigned
Kerkhoff, H.G. and Zhang, Xiao and Mailly, F. and Nouet, P. and Liu, H. and Richardson, A. (2008) A dependable microelectronic peptide synthesizer using electrode data. VLSI Design, 2008. pp. 1-9. ISSN 1065-514X
Khatib, M.G. and Engelen, J.B.C. and Hartel, P.H. (2008) Shutdown Policies for MEMS-Based Storage Devices -- Analytical Models. Technical Report TR-CTIT-08-03, Centre for Telematics and Information Technology University of Twente, Enschede. ISSN 1381-3625
Khatib, M.G. and Hartel, P.H. (2008) Power Management of MEMS-Based Storage Devices for Mobile Systems. In: Proceedings of the 8th ACM & IEEE International Conference on Compilers, Architecture, and Synthesis for Embedded Systems (CASES '08), 19-24 Oct 2008, Atlanta, USA. pp. 245-254. ACM. ISBN 978-1-60558-469-0
Khatib, M.G. and Miller, E.L. and Hartel, P.H. (2008) Workload-Based Configuration of MEMS-Based Storage Devices for Mobile Systems. In: Proceedings of the 8th ACM & IEEE International Conference on Embedded Software (EMSOFT '08), 19-24 Oct 2008, Atlanta, USA. pp. 41-50. ACM. ISBN 978-1-60558-468-3
Kleppe, A.G. and Rensink, A. (2008) A Graph-Based Semantics for UML Class and Object Diagrams. Technical Report TR-CTIT-08-06, Centre for Telematics and Information Technology University of Twente, Enschede. ISSN 1381-3625
Kleppe, A.G. and Rensink, A. (2008) On a Graph-Based Semantics for UML Class and Object Diagrams. In: Graph Transformation and Visual Modelling Techniques, 29-30 Apr 2008, Budapest, Hungary. Electronic Communications of the EASST 10. EASST. ISSN 1863-2122
van't Klooster, J.W.J.R. (2008) Context, design and implementation of a control system for ring resonator-based optical beam forming networks. Master's thesis, University of Twente.
van't Klooster, J.W.J.R. and Roeloffzen, C.G.H. and Meijerink, A. and Zhuang, Leimeng and Marpaung, D.A.I. and van Etten, W.C. and Heideman, R.G. and Leinse, A. and Schippers, H. and Verpoorte, J. and Wintels, M. (2008) Design of a ring resonator-based optical beam forming network for phased array receive antennas. In: 30th ESA Antenna Workshop on Antennas for Earth Observation, Science, T