EEMCS

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

EEMCS EPrints Service


Research Program: CTIT-UBRICKS: Building Blocks for Ubiquitous Computing and Communication
Home Policy Brochure Browse Search User Area Contact Help

2006

Arlat, J. and Bondavalli, A. and Haverkort, B.R.H.M. and Verissimo, P., ed. (2006) Guest Editorial for the Special Issue on the 2005 IEEE/IFIP Conference on Dependable Systems and Networks, including the Dependable Computing and Communications and Performance and Dependability Symposia. IEEE Transactions on Dependable and Secure Computing, 3 (3). pp. 169-171. ISSN 1545-5971 *** ISI Impact 1,592 ***
Baier, C. and Hermanns, H., ed. (2006) CONCUR 2006 [Concurrency Theory, 16th International Conference]. Lecture Notes in Computer Science 4137. Springer Verlag, Berlin. ISBN 3-540-37376-4
Havinga, P.J.M. and Lijding, M.E.M. and Meratnia, N. and Wegdam, M., ed. (2006) Smart Sensing and Contex, First European Conference, EuroSSC 2006. Lecture Notes in Computer Science 4272. Springer Verlag, Heidelberg. ISBN 978-3-540-47842-3
Hermanns, H. and Palsberg, J., ed. (2006) Tools and Algorithms for the Construction and Analysis of Systems. Lecture Notes in Computer Science 3920. Springer Verlag. ISSN 0302-9743 ISBN 3-540-33056-9
Tekinerdogan, B. and Kalipsiz, O. and Cetin, S. and Dogru, A., ed. (2006) Conference Proceedings of the First Turkish Software Architecture Conference. Yildiz Teknik University Press, Istanbul. ISBN 975-461-418-0
van der Aa, F.H.J. (2006) An RF (R) MS Power Detector in Standard CMOS. Master's thesis, University of Twente.
Acar, M. and Annema, A.-J. and Nauta, B. (2006) Generalized Design Equations for Class-E Power Amplifiers with Finite DC Feed Inductance. In: European Microwave Week 2006 Europe's Premier Microwave, RF, Wireless and Radar Event, 10-15 September 2006, Manchester, UK. pp. 1308-1311. Horizon House Publications. ISBN 2-9600551-6-0
Acar, M. and Annema, A.-J. and Nauta, B. (2006) Generalized analytical design equations for variable slope class-e power amplifiers. In: Proceedings of 13th IEEE International Conference on Electronics, Circuits and Systems, 10-13-2006, Nice, France. pp. 431-434. IEEE Press. ISBN 1-4244-0395-2
Akitsugu, O. and Nauta, B. (2006) Amplification variable factor amplifier. Patent JP20060020943 (Application).
Aleixo, J.C. and Polderman, J.W. and Rocha, P. (2006) Controllability, autonomicity and free variables in periodic behaviors. (Invited) In: Proceedings of the Seventeenth International Symposium of Mathematical Theory of Networks and Systems, 24-28 Jul 2006, Kyoto, Japan. pp. 2513-2523. Kyoto University. ISBN not assigned
Arkesteijn, V.J. and Klumperink, E.A.M. and Nauta, B. (2006) Jitter requirements of the sampling clock in software radio receivers. IEEE transactions on circuits and systems II: Express Briefs, 53 (2). pp. 90-94. ISSN 1549-7747 *** ISI Impact 1,136 ***
Baier, C. and Hermanns, H. and Katoen, J.P. and Wolf, V. (2006) Bisimulation and Simulation Relations for Markov Chains. In: Essays on Algebraic Process Calculi, August 2005, Bertinoro, Italy. pp. 73-78. Electronic Notes in Theoretical Computer Science 162. Elsevier. ISSN 1571-0661
Balkema, W. and van der Heijden, F. and Meijerink, B. (2006) On mixture model complexity estimation for music recommender systems. In: 17th Annual Workshop on Circuits, 23-24 Nov 2006, Veldhoven, The Netherlands. pp. 121-124. Technology Foundation STW. ISBN 978-90-73461-44-4
Baniassad, E. and Clements, P. and Araujo, J. and Moreira, A.M. and Rashid, A. and Tekinerdogan, B. (2006) Discovering Early Aspects. IEEE Software, 23 (1). pp. 61-70. ISSN 0740-7459 *** ISI Impact 0,820 ***
Böde, E. and Herbstritt, M. and Hermanns, H. and Johr, S. and Peikenkamp, T. and Pulungan, R. and Wimmer, R. and Becker, B. (2006) Compositional Performability Evaluation for STATEMATE. In: 3rd International Conference on Quantitative Evaluation of Systems, QEST 2006, 11-14 Sep 2006, Riverside, USA. pp. 167-176. IEEE Computer Society. ISBN 0-7695-2665-9
Bekooij, M.J.G. and Wiggers, M.H. and van Meerbergen, J. (2006) Throughput Analysis of Run-Time Scheduled Multi-Rate Systems with Backpressure. Technical Report TR-CTIT-06-71, Centre for Telematics and Information Technology University of Twente, Enschede. ISSN 1381-3625
Belinfante, A.F.E. (2006) Experiments towards model-based testing using Plan 9: Labelled transition file systems, stacking file systems, on-the-fly coverage measuring. In: Proceedings of the First International Workshop on Plan 9, 4-5 Dec 2006, Madrid, Spain. pp. 53-64. Universidad Rey Juan Carlos. ISBN 84-690-2787-5
Bell, A. and Haverkort, B.R.H.M. (2006) Distributed Disk-Based Solution of Very Large Markov Chains. Formal Methods in System Design, 29 (2). pp. 177-196. ISSN 0925-9856 *** ISI Impact 1,132 ***
Berendsen, J. and Jansen, D.N. and Katoen, J.P. (2006) Probably on time and within budget - On reachability in priced probabilistic timed automata. In: Quantitative Evaluation of Systems (QEST), Riverside, US. pp. 311-322. IEEE Computer Society. ISBN 0-7695-2665-9
van den Berg, K.G. (2006) Change Impact Analysis of Crosscutting in Software Architectural Design. In: Workshop on Architecture-Centric Evolution (ACE 2006), 3-7 July 2006, Nantes, France. pp. 1-15. RUG. ISBN not assigned
van den Berg, K.G. and Tekinerdogan, B. and Nguyen, Hoa (2006) Analysis of Crosscutting in Model Transformations. In: ECMDA-TW Traceability Workshop Proceedings 2006, 10 Jul 2006, Bilbao, Spain. pp. 51-64. SINTEF Report (A219). Sintef. ISBN 82-14-04030-2
ten Berge, M.H. and Orlic, B. and Broenink, J.F. (2006) Co-Simulation of Networked Embedded Control Systems, a CSP-like process-oriented approach. In: Proc. IEEE Int'l Symposium on Computer Aided Control Systems Conference, 4-6 Oct. 2006, Munich, Germany. pp. 434-439. IEEE Control Systems Society. ISBN 0-7803-9797-5
Berkhoff, A.P. (2006) A modified filtered-error algorithm with fast convergence in systems with delay. In: Proceedings of ACTIVE 2006, 18-20 Sep 2006, Adelaide, Australia. pp. 1-12. Institute of Noise Control Engineering. ISBN 0-9757855-4-0
Berkhoff, A.P. and Nijsse, G. (2006) A rapidly converging filtered-error algorithm for multichannel active noise control. International journal of adaptive control and signal processing, 21 (7). pp. 556-569. ISSN 0890-6327 *** ISI Impact 1,368 ***
Berkhoff, A.P. and Wesselink, J.M. (2006) Centralised and decentralised configurations for panels with piezoelectric actuators. (Invited) In: Proceedings of Euronoise 2006, 30 May - 01 June 2006, Tampere. 429. European Acoustics Association. ISBN not assigned
Bijlsma, T. and Jansen, P.G. (2006) Energy Conservation with EDFI scheduling. In: First European Conference, EuroSSC 2006, 25-27 Oct 2006, Enschede. pp. 259-261. Lecture Notes in Computer Science 4274. Springer Verlag. ISBN 3-540-47842-6
Bijlsma, T. and Wolkotte, P.T. and Smit, G.J.M. (2006) An Optimal Architecture for a DDC. In: Proceedings of the 20th IEEE International Parallel and Distributed Processing Symposium (IPDPS'06) - 12th Reconfigurable Architecture Workshop (RAW 2006), 25-29 Apr 2006, Rhodes Island, Greece. pp. 192-200. IEEE Computer Society. ISBN 1-4244-0054-6
Blaakmeer, S.C. and Klumperink, E.A.M. and Leenaerts, D.M.W. and Nauta, B. (2006) A wideband Noise-Canceling CMOS LNA exploiting a transformer. In: Digest of papers of the 2006 IEEE Radio Frequency Integrated Circuits, 11-13 June 2006, San Francisco. pp. 137-140. IEEE Press. ISBN 0-7803-9572-7
Blaakmeer, S.C. and Klumperink, E.A.M. and Leenaerts, D.M.W. and Nauta, B. (2006) A wideband Noise-Canceling CMOS LNA exploiting a transformer. In: 17th Annual Workshop on Circuits, 23-24 Nov 2006, Veldhoven. pp. 16-20. Technology Foundation STW. ISBN 978-90-73461-44-4
Blankenstein, G. and Ortega, R. and van der Schaft, A.J. (2006) Matching in the method of controlled Lagrangians and IDA-passivity based control. In: Nonlinear and Adaptive Control: Tools and Algorithms for the User. World Scientific, Singapore, pp. 79-114. ISBN 1-86094-617-8
Bockisch, C.M. and Arnold, M. and Dinkelaker, T. and Mezini, M. (2006) Adapting Virtual Machine Techniques for Seamless Aspect Support. In: Proceedings of the 21st Annual ACM SIGPLAN Conference on Object-Oriented Programming Systems, Languages, and Applications (OOPSLA 2006), 22-26 Oct 2006, Portland, Oregon, USA. pp. 109-124. ACM. ISBN 1-59593-348-4
Bockisch, C.M. and Haupt, M. and Mezini, M. (2006) Dynamic Virtual Join Point Dispatch. In: Proceedings of the Workshop on Software Engineering Properties of Languages and Aspect Technologies (SPLAT 2006), 21 Mar 2006, Bonn, Germany. 4. Darmstadt University of Technology. ISBN not assigned
Bockisch, C.M. and Kanthak, S. and Haupt, M. and Arnold, M. and Mezini, M. (2006) Efficient Control Flow Quantification. In: Proceedings of the 21st Annual ACM SIGPLAN Conference on Object-Oriented Programming Systems, Languages, and Applications (OOPSLA 2006), 22-26 Oct 2006, Portland, Oregon, USA. pp. 125-138. ACM. ISBN 1-59593-348-4
Bohnenkamp, H.C. and D'Argenio, P.R. and Hermanns, H. and Katoen, J.P. (2006) MoDeST: A compositional modeling formalism for real-time and stochastic systems. IEEE Transactions on Software Engineering, 32 (10). pp. 812-830. ISSN 0098-5589 *** ISI Impact 1,516 ***
Bosch, H.G.P. and Galonska, J. and Mullender, S.J. (2006) Method of providing data broadcast/multicast. Patent US20060645603 (Application).
Bosch, H.G.P. and Mullender, S.J. (2006) Band switching for coherent beam forming in full-duplex wireless communication. Patent US20050243748 (Application).
Bosch, H.G.P. and Mullender, S.J. and Narlikar, G.J. (2006) Method of performing a layer operation in a communications network. Patent EP1864474 (Application).
Bosch, H.G.P. and Mullender, S.J. and Narlikar, G.J. (2006) Method of transferring data packets in a communications network. Patent EP1864421 (Application).
Bosch, H.G.P. and Mullender, S.J. and Narlikar, G.J. and Samuel, L.G. and Yagati, L.N. (2006) Integrated base stations and a method of transmitting data units in a communications system for mobile devices. Patent US20060171364 (Application).
Brandán Briones, L. and Brinksma, H. and Stoelinga, M.I.A. (2006) A Semantic Framework for Test Coverage. In: Automated Technology for Verification and Analysis, 23-26 Oct 2006. pp. 399-414. Lecture Notes in Computer Science 4218. Springer Verlag. ISBN 978-3-540-47237-7
Brandán Briones, L. and Brinksma, H. and Stoelinga, M.I.A. (2006) A Semantic Framework for Test Coverage. Technical Report TR-CTIT-06-24, Centre for Telematics and Information Technology University of Twente, Enschede. ISSN 1381-3625
Bravetti, M. and Hermanns, H. and Katoen, J.P. (2006) YMCA: Why Markov Chain Algebra? In: Essays on Algebraic Process Calculi, August 2005, Bertinoro, Italy. pp. 107-112. Electronic Notes in Theoretical Computer Science 162. Elsevier. ISSN 1571-0661
Bujorianu, L.M. and Blom, H.A.P. and Hermanns, H. (2006) Functional Abstraction of Stochastic Hybrid Systems. In: 2nd IFAC Conf. on Analysis and Design of Hybrid Systems, ADHS 2006, 7-9 June 2006, Alghero, Italy. pp. 160-165. Elsevier. ISBN 978-0-08-044613-4
Bujorianu, L.M. and Bujorianu, M.C. (2006) Model Checking for a Class of Performance Properties of Fluid Stochastic Models. In: Third European Performance Engineering Workshop (EPEW), June 21-22, 2006, Budapest, Hungary. pp. 93-107. Lecture Notes in Computer Science 4054. Springer Verlag. ISBN 3-540-35362-3
Bujorianu, L.M. and Lygeros, J. (2006) Toward a General Theory of Stochastic Hybrid Systems. In: Stochastic Hybrid Systems: Theory and Safety Critical Applications. Lecture Notes in Control and Information Sciences 337. Springer Verlag, Berlin, pp. 3-30. ISBN 978-3-540-33466-8
van de Burgwal, M.D. and Smit, G.J.M. and Rauwerda, G.K. and Heysters, P.M. (2006) Hydra: an Energy-efficient and Reconfigurable Network Interface. In: Proceedings of the 2006 International Conference on Engineering of Reconfigurable Systems & Algorithms, 26-29 June 2006, Las Vegas, USA. pp. 171-177. CSREA Press. ISBN 1-60132-011-6
Chatterjea, S. and Havinga, P.J.M. (2006) A Taxonomy of Distributed Query Management Techniques for Wireless Sensor Networks. International Journal of Communication Systems, 20 (7). pp. 889-908. ISSN 1074-5351 *** ISI Impact 1,099 ***
Chatterjea, S. and van Hoesel, L.F.W. and Havinga, P.J.M. (2006) A Framework for a Distributed and Adaptive Query Processing Engine for Wireless Sensor Networks. Transactions of the Society of Instrument and Control Engineers, E-S-1 (1). pp. 58-67. ISSN 0453-4654
Chatterjea, S. and Kininmonth, S. and Havinga, P.J.M. (2006) Sensor networks. GeoConnexion, 5 (9). pp. 20-22. ISSN 1476-8941
Chatterjea, S. and di Luigi, S. and Havinga, P.J.M. (2006) DirQ: A Directed Query Dissemination Scheme for Wireless Sensor Networks. In: IASTED International Conference on Wireless Sensor Networks 2006, WSN 2006, 3-4 July 2006, Banff, Canada. Wireless and Optical Communication. ACTA Press. ISBN 0-88986-563-9
Chatterjea, S. and Luigi, S.d. and Havinga, P.J.M. (2006) An Adaptive Directed Query Dissemination Scheme for Wireless Sensor Networks. In: 9th IEEE International Conference on Parallel Processing Workshops 2006, ICPPW 2006, 14 Aug 2006, Columbus, USA. pp. 181-188. International Conference on Parallel Processing Workshop. IEEE Computer Society. ISBN 0-7695-2637-3
Chatterjee, K. and de Alfaro, L. and Faella, M. and Henzinger, T.A. and Majumdar, R. and Stoelinga, M.I.A. (2006) Quantitative Compositional Reasoning. In: Third International Conference on the Quantitative Evaluation of Systems (QEST'06), 11-14 Sep 2006, Riverside, California. pp. 179-189. IEEE Computer Society. ISBN 0769526659
Cheng, Wei (2006) The design of a new power combining technique for the RF power amplifiers. Master's thesis, University of Twente.
Cheung, L. and Stoelinga, M.I.A. and Vaandrager, F.W. (2006) A Testing Scenario for Probabilistic Processes. Technical Report ICIS-R06002, Radboud University Nijmegen, Nijmegen.
Cloth, L. (2006) Model Checking Algorithms for Markov Reward Models. PhD thesis, University of Twente. CTIT Ph.D.-thesis series No. 06-81 ISBN 90-365-2317-6
Cloth, L. and Haverkort, B.R.H.M. (2006) Five Performability Algorithms. A Comparison. In: MAM 2006: Markov Anniversary Meeting, 12-14 Jun 2006, Charleston, SC, USA. pp. 39-54. Boson Books. ISBN 1 932482 34 2
Cloth, L. and Haverkort, B.R.H.M. and Jongerden, M.R. (2006) Evaluation of Battery Lifetimes using Inhomogeneous Markov Reward Models. Technical Report TR-CTIT-06-58, Centre for Telematics and Information Technology University of Twente, Enschede. ISSN 1381-3625
Conejero, J.M. and van den Berg, K.G. and Hernández, J. (2006) Disentangling Crosscutting in AOSD: Formalization based on a Crosscutting Pattern. In: XI Jornados de Ingeniería del Software y Bases de Datos, 3-6 Octobre 2006, Barcelona, Spain. pp. 325-334. Centro Internacional de Métodos Numéricos en Ingeniería. ISBN 84-95999-99-4
Dam, A.C. and Lammertink, M.G.J. and Rovers, K.C. and Slagman, J. and Wellink, A.M. and Rauwerda, G.K. and Smit, G.J.M. (2006) Hardware/Software Co-design Applied to Reed-Solomon Decoding for the DMB Standard. In: Proceedings of the 9th EUROMICRO Conference on DIGITAL SYSTEM DESIGN Architectures, Methods and Tools (DSD 2006), August 30 - September 1, 2006, Dubrovnik, Croatia. pp. 447-455. IEEE Computer Society. ISBN 0-7695-2609-8
Daws, C.F. and Kordy, P.T. (2006) Symbolic Robustness Analysis of Timed Automata. In: Formal Modeling and Analysis of Timed Systems, 25-27 September 2006, Paris,France. pp. 143-155. Lecture Notes in Computer Science 4202. Springer Verlag. ISBN 978-3-540-45026-9
De Nicola, R. and Katoen, J.P. and Latella, D. and Massink, M. (2006) Towards a logic for performance and mobility. In: 3rd Workshop on Quantitative Aspects of Programming Languages, 2-3 Apr 2005, Edinburgh, Scotland. pp. 161-175. Electronic Notes in Theoretical Computer Science 153 (2). Elsevier. ISSN 1571-0661
van Dijk, H.W. and Scholten, J. and Tobalina, A. and García Muñoz, V. and Milanini, S. and Kung, A. (2006) Open home networks: the TEAHA approach. Technical Report TR-CTIT-06-67, Centre for Telematics and Information Technology University of Twente, Enschede. ISSN 1381-3625
Dil, B.J. and Dulman, S.O. and Havinga, P.J.M. (2006) Range-Based Localization in Mobile Sensor Networks. In: Proceedings of Third European Workshop on Wireless Sensor Networks, 13-15 Feb 2006, Zurich, Switzerland. pp. 164-179. Lecture notes in computer science 3868. Springer Verlag. ISSN 0302-9743 ISBN 3-540-32158-6
Dulman, S.O. and Rossi, M. and Havinga, P.J.M. and Zorzi, M. (2006) On the hop count statistics for randomly deployed wireless sensor networks. International Journal of Sensor Networks, 1 (1/2). pp. 89-102. ISSN 1748-1279 *** ISI Impact 0,454 ***
Durmaz Incel, O. and Dulman, S.O. and Jansen, P.G. (2006) Multi-channel Support for Dense Wireless Sensor Networking. In: Proceedings of the First European Conference on Smart Sensing and Context, EuroSSC 2006, 25-27 Oct 2006, Enschede, the Netherlands. pp. 1-14. Lecture Notes in Computer Science 4272. Springer. ISBN 978-3-540-47842-3
Durmaz Incel, O. and Dulman, S.O. and Jansen, P.G. and Mullender, S.J. (2006) Multi-Channel Interference Measurements for Wireless Sensor Networks. Technical Report TR-CTIT-06-53, Centre for Telematics and Information Technology University of Twente, Enschede. ISSN 1381-3625
Durmaz Incel, O. and Dulman, S.O. and Jansen, P.G. and Mullender, S.J. (2006) Multi-Channel Interference Measurements for Wireless Sensor Networks. In: The 31st IEEE Conference on Local Computer Networks, Workshop on Network Measurements, 14-16 Nov 2006, USA. pp. 694-701. IEEE. ISSN 0742-1303 ISBN 1-4244-0418-5
Durr, P.E.A. and Bergmans, L.M.J. and Akşit, M. (2006) Reasoning about Semantic Conflicts between Aspects. In: Proceedings of the First Aspect, Dependencies, and Interactions Workshop, 3 Jul 2006. pp. 10-18. Lancaster University. ISBN not assigned
Durr, P.E.A. and Bergmans, L.M.J. and Gulesir, G. and Akşit, M. and Engelen, R. (2006) Applying AOP in an Industrial Context: An Experience Paper. In: Proceedings of the First International Workshop on Best Practices in Applying Aspect-oriented Software Development, 21 March 2006, Bonn, Germany. Aspect-Oriented Software Association. ISBN not assigned
Easwaran, S.N. (2006) A low power NMOS LDO in the Philips CO50PMU process. Master's thesis, University of Twente.
Eberard, D. and Maschke, B.M.J. and van der Schaft, A.J. (2006) Energy-conserving formulation of RLC-circuits with linear resistors. In: Proceedings of the 17th International Symposium on Mathematical Theory of Networks and Systems, 24-28 July 2006, Kyoto, Japan. pp. 71-76. Kyoto University. ISBN not assigned
Elzakker, M.J.K. (2006) Low-power analog-to-digital conversion. Master's thesis, University of Twente.
Gao, Xiang (2006) Multi-phase clock generation for multi-path poly-phase transceivers. Master's thesis, University of Twente.
Güleşir, G. and Bergmans, L.M.J. and Akşit, M. (2006) Evolvable Integration of Activities with Statecharts. In: 3rd European Workshop on Aspects in Software, 31 Aug 2006, Enschede, the Netherlands. University of Bonn. ISBN not assigned
van de Griendt, W.E. and Ruys, T.C. (2006) New Approach and Tools for Comparative Institutional Analysis of Legal Regimes Used for Integrated Resources Management. In: Survival of the Commons: Mounting Challenges and New Realities, the 11th Conference of the IASCP, 19-23 June 2006, Bali, Indonesia. International Association for the Study of Common Property (IASCP). ISBN not assigned
Groeneveld, S. (2006) Offset Correction Techniques for Voltage Sense Amplifiers. Master's thesis, University of Twente.
Groothuis, M.A. and Broenink, J.F. (2006) Multi-view Methodology for the Design of Embedded Mechatronic Control Systems. In: Proceedings IEEE Int'l Symposium on Computer Aided Control Systems Conference, 4-6 Oct 2006, Munich. pp. 416-421. IEEE Control Systems Society. ISBN 0-7803-9797-5
Guo, Y. (2006) Mapping Applications to a Coarse-Grained Reconfigurable Architecture. PhD thesis, University of Twente. ISBN 978-90-365-2390-5
Guo, Y. and Hoede, C. and Smit, G.J.M. (2006) A Pattern Selection Algorithm for Multi-Pattern Scheduling. In: Proceedings of the 20th IEEE International Parallel and Distributed Processing Symposium (IPDPS'05) - 12th Reconfigurable Architecture Workshop (RAW 2006), 25-29 Apr 2006, Rhodes Island, Greece. pp. 198-205. IEEE Computer Society. ISBN 1-4244-0054-6
Guo, Y. and Hoede, C. and Smit, G.J.M. (2006) A Column Arrangement Algorithm for a Coarse-grained Reconfigurable Architecture. In: Proceedings of the International Conference on Engineering of Reconfigurable Systems and Algorithms (ERSA'06), 26-29 Jun 2005, Las Vegas, Nevada, USA. pp. 117-122. CSREA Press. ISBN 1-932415-74-2
de Haan, Peter and Landman, R. and Post, G.F. and Ruizenaar, H.W.A. (2006) A Four-phase Approach to a Timetabling Problem in Secondary Schools. In: Proceedings of the 6th International Conference on the Practice and Theory of Automated Timetabling, 30 Aug - 01 Sept 2006, Brno, The Czech Republic. pp. 423-425. Faculty of Informatics, Masaryk University. ISBN 80-210-3726-1
Hanssen, F.T.Y. and Mader, A.H. and Jansen, P.G. (2006) Verifying the distributed real-time network protocol RTnet using Uppaal. Technical Report TR-CTIT-06-19, Centre for Telematics and Information Technology University of Twente, Enschede. ISSN 1381-3625
Hanssen, F.T.Y. and Mader, A.H. and Jansen, P.G. (2006) Verifying the distributed real-time network protocol RTnet using Uppaal. In: Proceedings of the 14th IEEE/ACN International Symposium on Modeling, Analysis and Simulation of Computer and Telecommunication Systems (MASCOTS), 11-13 Sept 2006, Monterey, USA. pp. 239-246. IEEE Computer Society. ISSN 1526-7539 ISBN 0 7695 2573 3
Haverkort, B.R.H.M. (2006) Can we quantitatively assess security? In: Workshop on Empirical Evaluation of Dependability and Security (WEEDS), June 25-28, 2006, Philadelphia, PA, USA. pp. 125-128. IEEE Computer Society.
Hoeksema, F.W. and Slump, C.H. (2006) The analysis of timing metrics for synchronisation purposes in OFDM systems. In: Proceedings of the 27th Symposium on Information Theory in the Benelux, 08-09 Jun 2006, Noordwijk, The Netherlands. pp. 173-180. Werkgemeenschap Informatie- en Communicatietheorie. ISBN 978-90-71048-22-7
van Hoesel, L.F.W. and Havinga, P.J.M. (2006) Design Aspects of An Energy-Efficient, Lightweight Medium Access Control Protocol for Wireless Sensor Networks. Technical Report TR-CTIT-06-47, Centre for Telematics and Information Technology University of Twente, Enschede. ISSN 1381-3625
van Hoesel, L.F.W. and Law, Yee Wei and Doumen, J.M. and Hartel, P.H. and Havinga, P.J.M. (2006) Energy-efficient link-layer jamming attacks against wireless sensor network MAC protocols. Technical Report TR-CTIT-06-18, Centre for Telematics and Information Technology University of Twente, Enschede. ISSN 1381-3625
van Houwelingen, F. (2006) Frequency Division. Master's thesis, University of Twente.
Huang, Yang and Visser, P.M. and Broenink, J.F. (2006) A clock synchronization skeleton based on RTAI. In: Proceedings of the 8th Real-Time Linux workshop, 12-15 Oct 2006, Lanzhou, China. Real Time Linux Foundation, Inc. ISBN not assigned
Jacobs, J.W.M. and Bond, W. and Pouls, R. and Smit, G.J.M. (2006) High Volume Colour Image Processing with Massively Parallel Embedded Processors. In: Parallel Computing: Current & Future Issues of High-End Computing, 13 - 16 September 2005, Malaga, Spain. pp. 583-590. NIC Series 33. John von Neumann Institute for Computing. ISBN 3-00-017352-8
Jacobs, J.W.M. and Dai, R. and Smit, G.J.M. (2006) Mining Dynamic Document Spaces with Massively Parallel Embedded Processors. In: 6th International Workshop on Embedded Computer Systems: Architectures, Modeling, and Simulation, SAMOS 2006, 17-20 July 2006, Greece. pp. 69-78. Lecture Notes in Computer Science 4017. Springer Verlag. ISSN 0302-9743 ISBN 3-540-36410-2
Jiraseree-Amornkun, A. and Worapishet, A. and Klumperink, E.A.M. and Nauta, B. and Surakampontorn, W. (2006) Slew Rate Induced Distortion in Switched-Resistor Integrators. In: Proceedings of the 2006 IEEE International Symposium on Circuits and Systems, ISCAS, 21-24 May 2006, Kos, Greece,. pp. 2485-2488. IEEE Press. ISBN 0-7803-9390-2
van Kampen, D. and Hofstra, K.L. and Potman, J. and Gerez, S.H. (2006) Implementaion of a combined OFDM-demodulation and WCDMA-equalization module. In: 17th Annual Workshop on Circuits, 23-24 Nov 2006, Veldhoven, The Netherlands. pp. 277-285. Technology Foundation STW. ISBN 978-90-73461-44-4
Katoen, J.P. (2006) Stochastic model checking. In: Stochastic Hybrid Systems. Automation and Control Engineering Series 24. CRC Press, pp. 77-104. ISBN 0-849-39083-4
Katoen, J.P. (2006) Constraint-oriented specification of performance aspects. In: Architectural Design of Open Distributed Systems: From Interface to Telematics (Liber Amicorum dedicated to Chris Vissers). Telematica Instituut, Enschede, pp. 47-54. ISBN 90-75176-41-4
Katoen, J.P. and Zapreev, I.S. (2006) Safe on-the-fly steady-state detection for time-bounded reachability. In: Quantitative Evaluation of Systems (QEST), Riverside, US. pp. 301-310. IEEE Computer Society. ISBN 0-7695-2665-9
Kavaldjiev, N.K. and Smit, G.J.M. and Jansen, P.G. and Wolkotte, P.T. (2006) A Virtual Channel Network-on-Chip for GT and BE traffic. In: IEEE Computer Society Annual Symposium on Emerging VLSI Technologies and Architectures (ISVLSI'06), 2-3 March 2006, Karlsruhe, Germany. pp. 211-216. IEEE Computer Society. ISBN 0769525334
Kavaldjiev, N.K. and Smit, G.J.M. and Wolkotte, P.T. and Jansen, P.G. (2006) Providing QoS Guarantees in a NoC by Virtual Channel Reservation. In: International Workshop on Applied Reconfigurable Computing (ARC 2006), 1-3 March 2006, Delft, the Netherlands. pp. 299-310. Lecture Notes in Computer Science 3985. Springer-Verlag. ISBN 354036708X
Kawade, S. and van Bloem, J.W.H. and Abhayawardhana, V.S. and Wisely, D. (2006) Sharing your urban residential WiFi (UR-WiFi). In: Proceedings of the 63rd IEEE Vehicular Technology Conference, VTC Spring 2006, 7-10 May 2006, Melbourne, Australia. pp. 162-166. IEEE Vehicular Technology Society. ISBN 0-7803-9391-0
Kerkhoff, H.G. (2006) Testable Design and Testing of Microsystems. In: Design of Systems on a Chip. Springer, Berlin - Heidelberg - New York, pp. 203-219. ISBN 978-0-387-32499-9
Khatib, M.G. and van der Zwaag, B.J. and van Viegen, F.C. and Smit, G.J.M. (2006) Striping Policy as a Design Parameter for MEMS-based Storage Systems. In: The 2nd International Workshop on Software Support for Portable Storage, 26 Oct 2006, Seoul, Korea. Informal proceedings. ISBN not assigned
Kleppe, A.G. (2006) First European Workshop on Composition of Model Transformations - CMT 2006. Technical Report TR-CTIT-06-34, Centre for Telematics and Information Technology University of Twente, Enschede. ISSN 1381-3625
Krilavičius, T. (2006) Hybrid Techniques for Hybrid Systems. PhD thesis, University of Twente. CTIT Ph.D.-thesis series No. 06-90 ISBN 90-365-2397-4
Kuijper, M. and Pinto, R. and Polderman, J.W. (2006) Kernel representations for behaviors over finite rings. (Invited) In: Proceedings of the Seventeenth International Symposium of Mathematical Theory of Networks and Systems, 24-28 Jul 2006, Kyoto, Japan. pp. 2494-2503. Kyoto University. ISBN not assigned
Kuntz, G.W.M. and Siegle, M. (2006) CASPA: Symbolic Model Checking of Stochastic Systems. In: Proceedings of the 13th GI/ITG Conference Measureing, Modelling and Evaluation of Computer and Communication Systems, March 27-29, 2006, Nuernberg, Germany. pp. 465-468. VDE Verlag. ISBN 3-800-72945-8
Kuntz, G.W.M. and Siegle, M. (2006) Symbolic Model Checking of Stochastic Systems: Theory and Implementation. In: Proceedings of the 13th International SPIN Workshop, March 30 - April 1, Vienna, Austria. pp. 89-107. Lecture Notes in Computer Science 3925. Springer Verlag. ISSN 0302-9743 ISBN 978-3-540-33102-5
Kurtev, I. and van den Berg, K.G. and Jouault, F. (2006) Evaluation of Rule-based Modularization in Model Transformation Languages illustrated with ATL. In: 21st Annual ACM Symposium on Applied Computing (SAC2006), 23-27 Apr 2006, Bourgogne University, Dijon, France. pp. 1202-1209. ACM. ISBN 1-59593-108-2
Langerak, R. and Kuzmych, O. (2006) Estimations of solutions convergence of hybrid systems with delay. In: Conference on Differential and Difference Equations and Applications CDDEA 2006, June 26–30, 2006, Zilina, Slovensko. pp. 30-31. Faculty of Science, University of Zilina. ISBN 80-8070-563-1
Law, Yee Wei and Havinga, P.J.M. (2006) How to Secure a Wireless Sensor Network. Technical Report TR-CTIT-06-06, Centre for Telematics and Information Technology University of Twente, Enschede. ISSN 1381-3625
Ligterink, N.E. and Breedveld, P.C. and van der Schaft, A.J. (2006) Physical model reduction of interacting, continuous systems. In: Proceedings of the 17th International Symposium on Mathematical Theory of Networks and Systems, 24-28 July 2006, Kyoto, Japan. pp. 827-834. Kyoto University. ISBN not assigned
Lijding, M.E.M. and Benz, H.P. and Meratnia, N. and Havinga, P.J.M. (2006) Smart Signs: Showing the way in Smart Surroundings. Technical Report TR-CTIT-06-20, Centre for Telematics and Information Technology University of Twente, Enschede. ISSN 1381-3625
Mader, A.H. and Bohnenkamp, H.C. and Usenko, Y.S. and Jansen, D.N. and Hurink, J.L. and Hermanns, H. (2006) Synthesis and Stochastic Assessment of Cost-Optimal Schedules. Technical Report TR-CTIT-06-14, Centre for Telematics and Information Technology University of Twente, Enschede. ISSN 1381-3625
Mansour, O. (2006) High level synthesis for non-manifest digital signal processing applications. PhD thesis, University of Twente. ISBN 90-365-2321-4
Marin-Perianu, M. and Havinga, P.J.M. (2006) RMD: Reliable Multicast Data Dissemination within Groups of Collaborating Objects. In: First IEEE International Workshop on Practical Issues in Building Sensor Network Applications, SenseApp 2006, 14-16 Nov 2006, Tampa, Florida, USA. pp. 656-663. IEEE Computer Society. ISSN 0742-1303 ISBN 1-4244-0418-5
Marin-Perianu, M. and Hofmeijer, T.J. and Havinga, P.J.M. (2006) Implementing Business Logic on Sensor Nodes. Technical Report TR-CTIT-06-15, Centre for Telematics and Information Technology University of Twente, Enschede. ISSN 1381-3625
Marin-Perianu, M. and Hofmeijer, T.J. and Havinga, P.J.M. (2006) Assisting Business Processes through Wireless Sensor Networks. (Invited) In: 13th International Conference on Telecommunications (ICT 2006), 9-12 May 2006, Funchal, Madeira Island, Portugal. IEEE Portugal Section. ISBN 972-98368-4-1
Marin-Perianu, M. and Hofmeijer, T.J. and Havinga, P.J.M. (2006) Implementing Business Rules on Sensor Nodes. In: 11th IEEE International Conference on Emerging Technologies and Factory Automation (ETFA 2006), 20-22 Sept 2006, Prague, Czech Republic. pp. 292-299. IEEE Computer Society. ISBN 1-4244-0681-1
Marin-Perianu, R.S. and Scholten, J. and Havinga, P.J.M. (2006) Distributed Service Discovery for Heterogeneous Wireless Sensor Networks. Technical Report TR-CTIT-06-42, Centre for Telematics and Information Technology University of Twente, Enschede. ISSN 1381-3625
Marin-Perianu, R.S. and Scholten, J. and Havinga, P.J.M. and Hartel, P.H. (2006) Energy-Efficient Cluster-Based Service Discovery in Wireless Sensor Networks. Technical Report TR-CTIT-06-43, Centre for Telematics and Information Technology University of Twente, Enschede. ISSN 1381-3625
Marin-Perianu, R.S. and Scholten, J. and Havinga, P.J.M. and Hartel, P.H. (2006) Performance Evaluation of a Cluster-Based Service Discovery Protocol for Heterogeneous Wireless Sensor Networks. Technical Report TR-CTIT-06-61, Centre for Telematics and Information Technology University of Twente, Enschede. ISSN 1381-3625
Marin-Perianu, R.S. and Scholten, J. and Havinga, P.J.M. and Hartel, P.H. (2006) Energy-Efficient Cluster-Based Service Discovery in Wireless Sensor Networks. In: Sixth International Workshop on Wireless Local Networks, 14-16 Nov 2006, Tampa, Florida. pp. 931-938. IEEE Computer Society. ISBN 1-4244-0418-5
Martinez Verdugo, J.M. and Haverkort, B.R.H.M. (2006) MathMC: A mathematica-based tool for CSL model checking of deterministic and stochastic Petri nets. In: Proceedings of the Third Int'l. Conference on the Quantitative Evaluation of Systems, September 11-14, 2006, Riverside, CA, USA. pp. 133-134. IEEE Computer Society. ISBN 978-0-7695-2665-2
Martinez Verdugo, J.M. and Haverkort, B.R.H.M. (2006) CSL model checking of deterministic and stochastic Petri nets. In: Proceedings 13th GI/ITG conference on measuring, Modelling and Evaluation of Computer and Communication Systems, March 27-29, 2006, Nuernberg, Germany. pp. 265-282. VDE VERLAG. ISBN 978-3-8007-2945-6
Meijerink, B. (2006) On predicting the model complexity of songs. Master's thesis, University of Twente.
Modderkolk, P. (2006) Design of a 255 MHz filter for UWB applications. Master's thesis, University of Twente.
Mullender, S.J. and McKie, J. (2006) Real Time in Plan 9. In: Proceedings of the 1st International Workshop on Plan 9 (IWP9), 4-5 Dec. 2006, Madrid, Spain. pp. 3-11. Imprime, Copy Red, S.A.. ISBN 84-690-2787-5
Muthukrishnan, K. and Koprinkov, G.T. and Meratnia, N. and Lijding, M.E.M. (2006) Using time-of-flight for WLAN localization: feasibility study. Technical Report TR-CTIT-06-28, Centre for Telematics and Information Technology University of Twente, Enschede. ISSN 1381-3625
Muthukrishnan, K. and Lijding, M.E.M. and Meratnia, N. and Havinga, P.J.M. (2006) Motion sensing using WLAN signal fluctuations. Technical Report TR-CTIT-06-76, Centre for Telematics and Information Technology University of Twente, Enschede. ISSN 1381-3625
Muthukrishnan, K. and Meratnia, N. and Lijding, M.E.M. and Koprinkov, G.T. and Havinga, P.J.M. (2006) WLAN location sharing through a privacy observant architecture. In: 1st Int. Conf. on Communication System Software and Middleware (COMSWARE), Jan 8-12, 2006, New Delhi, India. pp. 1-10. IEEE Computer Society. ISBN 0-7803-9575-1
Nauta, B. (2006) Line driver with adaptive output impedance. Patent EP0917788 (Assigned).
Nieberg, T. (2006) Independent and Dominating Sets in Wireless Communication Graphs. PhD thesis, University of Twente. ISBN 90-3652331-1
Nieberg, T. and Hurink, J.L. (2006) A PTAS for the Minimum Dominating Set Problem in Unit Disk Graphs. In: 3rd International Workshop on Approximation and Online Algorithms, WAOA 2005, 6-7 Oct 2005, Palma de Mallorca, Spain. pp. 296-306. Lecture Notes in Computer Science 3879. Springer-Verlag. ISBN 3-540-32207-8
Omta, P.B. (2006) Simple and accurate low-power indoor geolocation using UWB signals. Master's thesis, University of Twente.
Orlic, B. and Broenink, J.F. (2006) SystemCSP - Visual Notation. (Invited) In: Communicationg Process Architectures 2006, 17-20 sep 2006, Edinburg. pp. 151-177. Concurrent Systems Engineering Series 64. IOS Press. ISBN 1-58603-671-8
Orlic, B. and Broenink, J.F. (2006) Interacting Components. (Invited) In: Communicating Process Architectures 2006, 17-20 Sep 2006, Edinburgh. pp. 179-202. Concurrent Systems Engineering Series 64. IOS Press. ISBN 1-58603-671-8
Pasumarthy, R. and van der Schaft, A.J. (2006) A finite-dimensional approximation of the shallow-water equation: a port-Hamiltonian approach. In: Proceedings of the 45th IEEE Conference on Decision and Control, 13-15 Dec 2006, San Diego, CA, USA. pp. 3984-3989. IEEE Control Systems Society. ISSN 0191-2216 ISBN 1-4244-0171-2
Pasumarthy, R. and van der Schaft, A.J. (2006) A port-Hamiltonian approach to modeling and interconnections of canal systems. In: Proceedings of the 17th International Symposium on Mathematical Theory of Networks and Systems, 24-28 July 2006, Kyoto, Japan. pp. 1436-1443. Kyoto University. ISBN not assigned
van der Ploeg, H. and Nauta, B. (2006) Calibration techniques in nyquist A/D converters. The international series in engineering and computer science 873. Springer, Dordrecht. ISBN 1-4020-4634-0
Pola, G. and van der Schaft, A.J. and Benedetto Di, M.D. (2006) Equivalence of switching linear systems by bisimulation. International Journal of Control, 79 (1). pp. 74-92. ISSN 0020-7179 *** ISI Impact 1,880 ***
Potman, J. and Hoeksema, F.W. and Slump, C.H. (2006) Adaptive receive filter structures for UMTS. In: Proceedings of SPS-DARTS 2006 the second annual IEEE Benelux/DSP Valley Signal Processing Symposium, 28-29 Mar 2006, Antwerp, Belgium. pp. 55-59. IEEE Benelux Signal Processing Chapter. ISBN 978-90-73461-44-4
Potman, J. and Hoeksema, F.W. and Slump, C.H. (2006) Adjacent channel interference in UMTS networks. In: 17th Annual Workshop on Circuits, 23-24 Nov 2006, Veldhoven, The Netherlands. pp. 165-170. Technology Foundation STW. ISBN 978-90-73461-44-4
Radovanović, S. and Annema, A.-J. and Nauta, B. (2006) High-Speed Photodiodes in Standard CMOS Technology. The international series in engineering and computer science 869. Springer, Dordrecht. ISBN 0-387-28591-1
Rauwerda, G.K. and Potman, J. and Hoeksema, F.W. and Smit, G.J.M. (2006) Adaptation in the physical layer using heterogeneous reconfigurable hardware. In: Adaptation Techniques in Wireless Multimedia Networks. Wireless Networks and Mobile Computing. Nova Science Publishers, USA, pp. 37-58. ISBN 1-59454-883-8
Rauwerda, G.K. and Smit, G.J.M. and van Benthem, C.R.W. and Heysters, P.M. (2006) Reconfigurable Turbo/Viterbi Channel Decoder in the Coarse-Grained Montium Architecture. In: Proceedings of the International Conference on Engineering of Reconfigurable Systems and Algorithms (ERSA'06), 26-29 June 2006, Las Vegas, Nevada, USA. pp. 110-116. CSREA Press. ISBN 1-60132-011-6
Remke, A.K.I. and Haverkort, B.R.H.M. and Cloth, L. (2006) A versatile infinite-state Markov reward model to study bottlenecks in 2-hop ad hoc networks. In: Third International Conference on the Quantitative Evaluation of Systems, 11-14 Sept 2006, Riverside, CA. pp. 63-72. IEEE Computer Society. ISBN 0769526659
Remke, A.K.I. and Haverkort, B.R.H.M. and Cloth, L. (2006) Uniformization with Representatives - comprehensive transient analysis of infinite-state QBDs. In: First International Conference on Performance Evaluation Methodologies and Tools, 10 Oct 2006, Pisa, Italy. 7. ACM. ISBN 1-59593-506-1
Remke, A.K.I. and Haverkort, B.R.H.M. and Cloth, L. (2006) Bottlenecks in Two-Hop Ad Hoc Networks - Dividing Radio Capacity in a Smart Way. In: Stochastic Performance Models for Resource Allocation in Communication Systems, 8-10 Nov 2006, Amsterdam, the Netherlands. pp. 23-26. Centrum voor Wiskunde en Informatica. ISBN not assigned
Rovers, K.C. (2006) Front-end research for a low-cost spectrum analyser v1 0 2. Master's thesis, University of Twente.
Ruzzelli, A.G. and Cotan, P. and O'Hare, G.M.P. and Tynan, R. and Havinga, P.J.M. (2006) Protocol assessment issues in low duty cycle sensor networks: The switching energy. In: Proceedings of IEEE International Conference on Sensor Networks, Ubiquitous, and Trustworthy Computing (SUTC2006), 5-7 June 2006, Taichung, Taiwan. pp. 101-108. IEEE Computer Society. ISBN 0-7695-2553-9
Sakamoto, N. and van der Schaft, A.J. (2006) An approximating method for the stabilizing solution of the Hamilton-Jacobi equation for integrable systems using Hamiltonian perturbation theory. In: Proceedings of the 45th IEEE Conference on Decision and Control, 13-15 Dec 2006, San Diego, CA, USA. pp. 5857-5862. IEEE Control Systems Society. ISSN 0191-2216 ISBN 1-4244-0171-2
Sandee, J.H. and Visser, P.M. and Heemels, W.P.M.H. (2006) Analysis and experimental validation of processor load for event-driven controllers. In: Proc. 2006 IEEE Conference on Control Applications, 4-6 Oct. 2006, Munich, Germany. pp. 1879-1884. IEEE Control Systems Society. ISBN 0-7803-9797-5
van der Schaft, A.J. (2006) Port-Hamiltonian systems: an introductory survey. (Invited) In: Proceedings of the International Congress of Mathematicians Vol. III, August 22-30, 2006, Madrid. pp. 1339-1365. European Mathematical Society Publishing House (EMS Ph). ISBN 978-3-03719-022-7
Schaink, T. (2006) Output impedance and stability of audio power amplifiers. Master's thesis, University of Twente.
Schinkel, D. (2006) Data Converter. Patent US7034726 (Assigned).
Schinkel, D. and Mensink, E. and Klumperink, E.A.M. and van Tuijl, A.J.M. and Nauta, B. (2006) A 3Gb/s/ch Transceiver for 10-mm Uninterrupted RC-Limited Global On-Chip Interconnects. IEEE journal of solid-state circuits, 41 (1). pp. 297-306. ISSN 0018-9200 *** ISI Impact 3,299 ***
Schiphorst, R. and Slump, C.H. (2006) Non-recognizable error probability in a terrestrial DAB single frequency network. (Invited) In: Proceedings of the 27th Symposium on Information Theory in the Benelux, 08-09 Jun 2006, Noordwijk, The Netherlands. pp. 25-29. Werkgemeenschap Informatie- en Communicatietheorie. ISBN 978-90-71048-22-7
Scholten, J. and van Dijk, H.W. and de Cock, D. and Preneel, B. and Kung, A. and d'Hooge, M. (2006) Secure Service Discovery in Home Networks. In: 2006 IEEE Int. Conf. on Consumer Electronics, 8-12 Jan 2006, Las Vegas, Nevada, USA. pp. 115-116. IEEE Computer Society. ISBN 0-7803-9459-3
Scholten, J. and Nijdam, M. (2006) Access Point Security Service for wireless ad-hoc communication. Technical Report TR-CTIT-06-66, Centre for Telematics and Information Technology University of Twente, Enschede. ISSN 1381-3625
Schoute, A.L. (2006) Collision detection and prediction using a mutual configuration state approach. In: FIRA RoboWorld Congress 2006, Robots in Education, Entertainment and Service, 30 Jun - 1 Jul 2006, Dortmund, Germany. pp. 19-24. Chair Computer Science 1, University of Dortmund. ISBN 3-00-019061-9
Schrader, J.H.R. and Klumperink, E.A.M. and Visschers, J.L. and Nauta, B. (2006) Pulse-Width Modulation Pre Emphasis applied in a Wireline Transmitter, achieving 33dB Loss Compensation at 5-Gb/s in 0.13-μm CMOS. IEEE journal of solid-state circuits, 41 (4). pp. 990-999. ISSN 0018-9200 *** ISI Impact 3,299 ***
Schrader, J.H.R. and Klumperink, E.A.M. and Visschers, J.L. and Nauta, B. (2006) Wireline equalization using pulse-width modulation. In: Proceedings of 2006 Custom Integrated Circuits Conference (CICC), 10-13 Sept 2006, San Jose, CA USA. pp. 591-598. IEEE Press. ISBN 1-4244-0075-9
Shao, Xiaoying and Cronie, H.S. and Hoeksema, F.W. and Slump, C.H. (2006) Fountain codes for frequency occupancy information dissemination. In: 17th Annual Workshop on Circuits, 23-24 Nov 2006, Veldhoven, The Netherlands. pp. 196-203. Technology Foundation STW. ISBN 978-90-73461-44-4
Shrestha, R. and Klumperink, E.A.M. and Mensink, E. and Wienk, G.J.M. and Nauta, B. (2006) A Polyphase Multipath Technique for Software Defined Radio Transmitters. IEEE journal of solid-state circuits, 41 (12). pp. 2681-2692. ISSN 0018-9200 *** ISI Impact 3,299 ***
Shrestha, R. and Klumperink, E.A.M. and Mensink, E. and Wienk, G.J.M. and Nauta, B. (2006) A Wideband Flexible Power Upconverter for Software Defined Radios. In: 17th Annual Workshop on Circuits Systems and Signal Processing (ProRISC), 23-24 Nov 2006, Veldhoven. pp. 85-89. Technology Foundation STW. ISBN 978-90-73461-44-4
Shrestha, R. and Mensink, E. and Klumperink, E.A.M. and Wienk, G.J.M. and Nauta, B. (2006) A Multipath Technique for Cancelling Harmonics and Sidebands in a Wideband Power Upconverter. In: Proceedings of the IEEE International Solid-State Circuits Conference, ISSCC, 6-8-February 2006, San Francisco. pp. 452-453. ISSCC Digest 2006. IEEE Press. ISBN 1-4244-0079-1
Shuo, F. (2006) CMOS mixer design for an UWB receiver. Master's thesis, University of Twente.
Smit, G.J.M. and Kokkeler, A.B.J. and Wolkotte, P.T. and van de Burgwal, M.D. and Heysters, P.M. (2006) Efficient architectures for streaming applications. (Invited) In: Dynamically Reconfigurable Architectures, Apr 2006, Dagstuhl, Germany. pp. 1-7. Dagstuhl Seminar Proceedings 06141. Internationales Begegnungs- und Forschungszentrum fuer Informatik (IBFI). ISSN 1862-4405
Stapelbroek, W.J. (2006) Higher Order Feedback Loop for a Pulse Width Modulator. Master's thesis, University of Twente.
van Steeden, R. (2006) Communication-Centric debug of Systems-on-Chip using Networks-on-Chip. Master's thesis, University of Twente.
Strubbe, S.N. and van der Schaft, A.J. (2006) Communicating piecewise deterministic Markov processes. In: Stochastic Hybrid Systems: Theory and Safety Critical Applications. Lecture Notes in Control and Information Sciences 337. Springer Verlag, London, pp. 65-104. ISBN 3-540-33466-1
Strubbe, S.N. and van der Schaft, A.J. (2006) Compositional modelling of stochastic hybrid systems. In: Stochastic Hybrid Systems. Control Engineering. CRC Press, pp. 47-77. ISBN 0-8493-9083-4
Sundramoorthy, V. (2006) FRODO High-level and Detailed Design Specifications. Technical Report TR-CTIT-06-25, Centre for Telematics and Information Technology University of Twente, Enschede. ISSN 1381-3625
Sundramoorthy, V. (2006) At Home in Service Discovery. PhD thesis, University of Twente. CTIT Ph.D.-thesis series No. 06-93 ISBN 90-365-2392-3
Sundramoorthy, V. and van de Glind, G.J. and Hartel, P.H. and Scholten, J. (2006) The Performance of a Second Generation Service Discovery Protocol In Response to Message Loss. In: 1st Int. Conf. on Communication System Software and Middleware (COMSWARE), 08-12 Jan. 2006, New Delhi, India. CDROM. IEEE Computer Society. ISBN 0-7803-9574-3
Sundramoorthy, V. and Hartel, P.H. and Scholten, J. (2006) On Consistency Maintenance In Service Discovery. In: 20th IEEE Int. Parallel & Distributed Processing Symp. (IPDPS), 25-29 April 2006, Rhodos Island, Greece. Artcile 17. IEEE Computer Society. ISBN 1-4244-0054-6
Sundramoorthy, V. and Tan, C. and Hartel, P.H. and Scholten, J. (2006) FRODO Dt-Spin Models. Technical Report TR-CTIT-06-27, Centre for Telematics and Information Technology University of Twente, Enschede. ISSN 1381-3625
Tekinerdogan, B. and Akşit, M. (2006) Introducing the Concept of Synthesis in the Software Architecture Design Process. Journal of Integrated Design and Process Science, 10 (1). pp. 45-56. ISSN 1092-0617
Veldhuis, R.N.J. and Bazen, A.M. and Booij, W.D.T. and Hendrikse, A.J. (2006) Hand-geometry recognition based on contour landmarks. In: Proceedings of the 29th Annual Conference of the Gesellschaft fur Klassifikation e.V., 09-11 Mar 2005, Magdeburg, Germany. pp. 646-653. Studies in classification, data analysis, and knowledge organisation. Springer Verlag. ISBN 978-3-540-31313-7
Visser, P.M. and Broenink, J.F. (2006) Controller System Design Trajectory 1. In: Proceedings of the 2006 IEEE Conference on Computer Aided Control Systems Design, 4-6 Oct, 2006, Munich, Germany. pp. 1910-1915. IEEE Control Systems Society. ISBN 0-7803-9797-5
Visser, P.M. and Broenink, J.F. and van Amerongen, J. (2006) Design trajectory and controller-plant interaction. In: Boderc: model-based design of high-tech systems. Embedded Systems Institute ESI, Eindhoven, pp. 205-214. ISBN 978-90-78679-01-1
van de Waal, E.H. and Beckers, J.M.J. and Broenink, J.F. (2006) Heat modeling in copiers. In: Boderc: Model-based design of high-tech systems. Embedded Systems Institute ESI, Eindhoven, pp. 89-100. ISBN 978-90-78679-01-1
Wang, D. (2006) Class AB-D line driver for ADSL system. Master's thesis, University of Twente.
Wellink, A.M. (2006) Power-efficient communication on network-on-chip systems. Master's thesis, University of Twente.
Wesselink, J.M. and Berkhoff, A.P. (2006) Optimization of the reconstruction and anti-aliasing filter in a Wiener filter system. (Invited) In: Proceedings Euronoise 2006, 30 May - 1 June 2006, Tampere. 444. European Acoustics Association. ISBN not assigned
Wiggers, M.H. and Bekooij, M.J.G. (2006) Latency-Rate servers & Dataflow models. Technical Report TR-CTIT-06-59, Centre for Telematics and Information Technology University of Twente, Enschede. ISSN 1381-3625
Wiggers, M.H. and Bekooij, M.J.G. and Jansen, P.G. and Smit, G.J.M. (2006) Efficient Computation of Buffer Capacities for Multi-Rate Real-Time Systems with Back-Pressure. Technical Report TR-CTIT-06-48, Centre for Telematics and Information Technology University of Twente, Enschede. ISSN 1381-3625
Wiggers, M.H. and Bekooij, M.J.G. and Jansen, P.G. and Smit, G.J.M. (2006) Efcient Computation of Buffer Capacities for Cyclo-Static Real-Time Systems with Back-Pressure. Technical Report TR-CTIT-06-64, Centre for Telematics and Information Technology University of Twente, Enschede. ISSN 1381-3625
Wiggers, M.H. and Bekooij, M.J.G. and Jansen, P.G. and Smit, G.J.M. (2006) Efficient Computation of Buffer Capacities for Multi-Rate Real-Time Systems with Back-Pressure. In: Proceedings of the International Conference on Hardware/Software Codesign an System Synthesis (CODES+ISSS), 22-25 Oct 2006, Seoul, Korea. pp. 10-15. ACM. ISBN 1-59593-370-0
Wiggers, M.H. and Bekooij, M.J.G. and Smit, G.J.M. (2006) Efficient Computation of Buffer Capacities for Cyclo-Static Dataflow Graphs. Technical Report TR-CTIT-06-70, Centre for Telematics and Information Technology University of Twente, Enschede. ISSN 1381-3625
Wimmer, R. and Herbstritt, M. and Hermanns, H. and Strampp, K. and Becker, B. (2006) Sigref - A Symbolic Bisimulation Tool Box. In: 4th International Symposium on Automated Technology for Verification and Analysis, ATVA 2006, 23-26 October 2006, Beijing, China. pp. 477-492. Lecture notes in Computer Science 4218. Springer Verlag. ISSN 0302-9743 ISBN 978-3-540-47237-7
Winkel, J.C. and Yntema, D.R. and Druyvesteyn, W.F. and de Bree, H.E. (2006) A particle velocity based method for separating all multi incoherent sound sources. In: Proceedings of the 31st FISITA World Automotive Congress, 22-27 Oct 2006, Yokohama, Japan. pp. 1-9. Society of Automotive Engineers of Japan (JSAE) and FISITA. ISBN 4-915219-83-6
Wolkotte, P.T. and van de Burgwal, M.D. and Smit, G.J.M. (2006) Non-Power-of-Two FFTs: Exploring the Flexibility of the MONTIUM. In: Proceedings of the International Symposium on System-on-Chip (SoC 2006), 13-16 Nov 2005, Tampere, Finland. pp. 167-170. IEEE Computer Society. ISBN 1-4244-0621-8
Yntema, D.R. and Druyvesteyn, W.F. and Elwenspoek, M.C. (2006) A four particle velocity sensor device. Journal of the Acoustical Society of America, 119. pp. 943-951. ISSN 0001-4966 *** ISI Impact 1,572 ***
van der Zee, R.A.R. and van Heeswijk, R. (2006) Frequency Compensation of an SOI Bipolar-CMOS-DMOS Car Audio PA. In: 2006 IEEE International Solid-State Circuits Conference ISSCC, 6-8- February 2006, San Francisco. pp. 346-347. Digest of Technical Papers 2006 49. IEEE Press. ISBN 1-4244-0079-1
van der Zee, R.A.R. and van Heeswijk, R. (2006) Frequency Compensation of an Audio Power Amplifier. In: Proceedings of the 17th Annual Workshop on Circuits, Systems and Signal Processing, 23-24 Nov 2006, Veldhoven. pp. 117-120. Technology Foundation STW. ISBN 978-90-73461-44-4
Zhang, Qiwei and Hoeksema, F.W. and Kokkeler, A.B.J. and Smit, G.J.M. (2006) Towards Cognitive Radio for emergency networks. In: Mobile Multimedia: Communication Engineering Perspective. Nova Publishers, U.S.A, pp. 75-100. ISBN 1-60021-207-7
Zhang, Qiwei and Kokkeler, A.B.J. and Smit, G.J.M. (2006) Adaptive OFDM System Design For Cognitive Radio. In: Proceedings of the 11th International OFDM-Workshop, 30th - 31st Aug. 2006, Hamburg, Germany. pp. 91-95. Technische Universität Hamburg-Harburg (TUHH). ISBN not assigned
Zhang, Qiwei and Kokkeler, A.B.J. and Smit, G.J.M. (2006) Cognitive Radio for Emergency Networks. In: Global Mobile Congress 2006, 09-11 Oct 2006, Beijing, China. pp. 32-37. Delson Group. ISSN 1557-0622
Zhang, Qiwei and Kokkeler, A.B.J. and Smit, G.J.M. (2006) A reconfigurable radio architecture for Cognitive Radio in emergency networks. In: European Conference on Wireless Technology, 10-15 September 2006, Manchester, UK. pp. 35-38. IEEE Communications Society. ISBN 2-9600551-5-2
Zhang, Yang and Wu, Jian and Havinga, P.J.M. (2006) Implementation of an On-Demand Routing Protocol for Wireless Sensor Networks. In: 13th International Conference on Telecommunications, 9-12 May 2006, Funchal, Madeira island, Portugal. pp. 1-4. IEEE Portugal Section. ISBN 972-98368-4-1
Zivkovic, Z. and van der Heijden, F. (2006) Efficient adaptive density estimation per image pixel for the task of background subtraction. Pattern recognition letters, 27. pp. 773-780. ISSN 0167-8655 *** ISI Impact 1,586 ***

2005

Alexiou, A. and Avidor, D. and Bosch, H.G.P. and Das, S. and Gupta, P. and Hochwald, B. and Klein, T.E. and Ling, Jonathan and Lozano, A. and Marzetta, T. and Mukherjee, S. and Mullender, S.J. and Papadias, C. and Valenzuela, R. and Viswanathan, H. (2005) Duplexing, Resource Allocation and Inter-Cell Coordination Design Recommendations for Next-Generation Wireless Systems. Wireless Communications and Mobile Computing (WCMC), 5 (1). pp. 77-93. ISSN 1530-8669 *** ISI Impact 0,922 ***
de Alfaro, L. and Faella, M. and Henzinger, T.A. and Majumdar, R. and Stoelinga, M.I.A. (2005) Model Checking Discounted Temporal Properties. Theoretical computer science, 345 (1). pp. 139-170. ISSN 0304-3975 *** ISI Impact 0,643 ***
Baier, C. and D'Argenio, P.R. and Größer, M. (2005) Partial Order Reduction for Probabilistic Branching Time. In: Proceedings of the Third Workshop on Quantitative Aspects of Programming Languages (QAPL 2005), 23 May 2006, Edinburgh, Scotland. pp. 97-116. Electronic Notes in Theoretical Computer Science 153 (2). Elsevier. ISSN 1571-0661
Baier, C. and Haverkort, B.R.H.M. and Hermanns, H. and Katoen, J.P. (2005) Model checking meets performance evaluation. ACM SIGMETRICS Performance Evaluation Review, 32 (4). pp. 10-16. ISSN 0163-5999
Baier, C. and Hermanns, H. and Katoen, J.P. and Haverkort, B.R.H.M. (2005) Efficient computation of time-bounded reachability probabilities in uniform continuous-time Markov decision processes. Theoretical computer science, 345 (1). pp. 2-26. ISSN 0304-3975 *** ISI Impact 0,643 ***
Baier, C. and Katoen, J.P. and Hermanns, H. and Wolf, V. (2005) Comparative branching-time semantics for Markov chains. Information and Computation, 200 (2). pp. 149-214. ISSN 0890-5401 *** ISI Impact 0,873 ***
Baydere, S. and Safkan, Y. and Durmaz Incel, O. (2005) Lifetime Analysis of Reliable Wireless Sensor Networks. IEICE Transactions on Communications, E88-B (6). pp. 2465-2472. ISSN 0916-8516 *** ISI Impact 0,300 ***
van de Beek, R.C.H. and Klumperink, E.A.M. and Nauta, B. and Vaucher, C.S. (2005) Phase locked loop. Patent US20050525862 (Application).
Behrmann, G. and Brinksma, H. and Hendriks, M. and Mader, A.H. (2005) Production Scheduling by Reachability Analysis - A Case Study. In: Workshop on Parallel and Distributed Real-Time Systems (WPDRTS), 4-5 Apr 2005, Denver, Colorado. 140a-140a. IEEE Computer Society. ISBN 0-7695-2312-9
Behrmann, G. and Brinksma, H. and Hendriks, M. and Mader, A.H. (2005) Scheduling Lacquer Production by Reachability Analysis -- A Case Study. Technical Report TR-CTIT-05-05, Centre for Telematics and Information Technology University of Twente, Enschede. ISSN 1381-3625
Behrmann, G. and Brinksma, H. and Hendriks, M. and Mader, A.H. (2005) Scheduling lacquer production by reachability analysis - A case study. In: 16th IFAC World Congress, Prague, Czech Republic. MoA17TO3. International Federation of Automatic Control (IFAC). ISBN not assigned
Belinfante, A.F.E. and Frantzen, L. and Schallhart, C. (2005) Tools for Test Case Generation. In: Model-Based Testing of Reactive Systems: Advanced Lectures. Lecture Notes in Computer Science 3472. Springer Verlag, pp. 391-438. ISBN 3 540 26278 4
van den Berg, K.G. and Conejero, J.M. (2005) A Conceptual Formalization of Crosscutting in AOSD. In: Desarrollo de Software Orientado a Aspectos (DSOA2005), 13 September 2005, Granada, Spain. pp. 46-52. Universidad de Extremadura. ISBN 8477236704
van den Berg, K.G. and Conejero, J.M. (2005) Disentangling Crosscutting in AOSD: A Conceptual Framework. In: 2nd European Interactive Workshop on Aspects in Software, 1-2 September 2005, Brussels, Belgium. pp. 1-7. EIWAS. Vrije Universiteit Brussel. ISBN not assigned
van den Berg, K.G. and Conejero, J.M. and Chitchyan, R. (2005) AOSD Ontology 1.0 - Public Ontology of Aspect-Orientation. Technical Report AOSD-Europe-UT-01 D9 AOSD-Europe, Enschede.
Bohnenkamp, H.C. and Belinfante, A.F.E. (2005) Timed Testing with TorX. In: Formal Methods Europe (FME), 18-22 July 2005, Newcastle, UK. pp. 173-188. Lecture Notes in Computer Science 3582. Springer-Verlag. ISSN 0302-9743 ISBN 3-540-27882-6
Bohnenkamp, H.C. and Gorter, J. and Guidi, J. and Katoen, J.P. (2005) Are You Still There? - A Lightweight Algorithm to Monitor Node Presence in Self-Configuring Networks. In: Int. Conf. on Dependable Systems and Networks, Yokohama, Japan. pp. 704-709. IEEE Computer Society. ISBN 0 7695 2282 3
Brandán Briones, L. and Brinksma, H. (2005) Testing multi input-output real-time systems. In: Formal Methods and Software Engineering: 7th International Conference on Formal Engineering Methods, ICFEM 2005, 1-4 Nov 2005, Manchester, UK. pp. 264-279. Lecture Notes in Computer Science 3785. Springer Verlag. ISBN 3 540 29797 9
Brandán Briones, L. and Röhl, M. (2005) Test Derivation from Timed Automata. In: Model-Based Testing of Reactive Systems. Lecture Notes in Computer Science 3472. Springer Verlag, Berlin, pp. 201-231. ISBN 3 540 26278 4
Brinksma, H. and Krilavičius, T. (2005) Behavioural Hybrid Process Calculus. Technical Report TR-CTIT-05-45, Centre for Telematics and Information Technology University of Twente, Enschede. ISSN 1381-3625
Brinksma, H. and Krilavičius, T. and Usenko, Y.S. (2005) A process-algebraic approach to hybrid systems. In: 16th IFAC World Congress, 3-8 Jul 2005, Prague, Czech Republic. IFAC. ISBN 008045108X
Brinksma, H. and Mader, A.H. and Marincic, J. and Wieringa, R.J. (2005) A Modelling Method for Embedded Systems. In: 2nd Workshop on Model Design and Validation (MoDeVa 05) as part of the ACM/IEEE 8th International Conference on Model Driven Engineering Languages and Systems, Oct 2005, Montego Bay, Jamaica. IEEE Computer Society. ISBN not assigned
Brinksma, H. and Mader, A.H. and Marincic, J. and Wieringa, R.J. (2005) A Modelling Method for Embedded Systems. Technical Report TR-CTIT-05-33, Centre for Telematics and Information Technology University of Twente, Enschede. ISSN 1381-3625
Bujorianu, L.M. (2005) A statistical inference method for the stochastic reachability analysis. In: Decision and Control, 2005 and 2005 European Control Conference. CDC-ECC '05. 44th IEEE Conference on, 12-15 Dec. 2005, Seville, Spain. pp. 8088-8093. IEEE Computer Society. ISBN 0-7803-9567-0
Bujorianu, L.M. and Bujorianu, M.C. and Lygeros, J. (2005) Abstractions of Stochastic Hybrid Systems. In: 44th IEEE Conference on Decision and Control, 12-15 December 2005, Seville, Spain. pp. 4712-4717. IEEE Computer Society. ISBN 0-7803-9568-9
van de Burgwal, M.D. (2005) Serving the Montium: Design of an energy-efficient processor-network interface. Master's thesis, University of Twente.
Chatterjea, S. and van Hoesel, L.F.W. and Havinga, P.J.M. (2005) An Application-Tailored MAC Protocol for Wireless Sensor Networks. (Invited) In: International Workshop on Wireless Ad-hoc Networks 2005 (IWWAN 2005), 24 May 2005, London, UK. pp. 35-41. Centre for Telecommunications research King's College. ISBN not assigned
Cloth, L. and Katoen, J.P. and Khattri, M. and Pulungan, R. (2005) Model Checking Markov Reward Models with Impulse Rewards. In: Int. Conf. on Dependable Systems and Networks, 28 June - 01 July, Yokohama, Japan. pp. 722-731. IEEE Computer Society. ISBN 0 7695 2282 3
Cronie, H.S. (2005) Sparse Graph Codes for multilevel modulation with signal shaping. In: IEEE International Symposium on Information Theory, ISIT 2005, 4-9 Sept 2005, Adelaide, Australia. pp. 1-5. IEEE. ISBN 0-7803-9151-9
D'Argenio, P.R. and Gebremichael, B. (2005) The Coarsest Congruence for Timed Automata with Deadlines Contained in Bisimulation. In: Proceedings of CONCUR 2005, 23-26 Aug 2005, San Francisco, USA. pp. 125-140. Lecture Notes in Computer Science 3653. Springer Verlag. ISBN 3-540-28309-9
D'Argenio, P.R. and Katoen, J.P. (2005) A theory of stochastic systems part I: Stochastic automata. Information and Computation, 203 (1). pp. 1-38. ISSN 0890-5401 *** ISI Impact 0,873 ***
D'Argenio, P.R. and Katoen, J.P. (2005) A theory of stochastic systems. Part II: Process algebra. Information and Computation, 203 (1). pp. 39-74. ISSN 0890-5401 *** ISI Impact 0,873 ***
van Dijk, H.W. and Graaf, B. and Boerman, R. (2005) On the Systematic Conformance Check of Software Artefacts. In: 2nd European Workshop on Software Architecture (EWSA), Pisa, Italy. pp. 203-221. Springer-Verlag. ISBN 3-540-26275-X
Dulman, S.O. (2005) Data-centric architecture for wireless sensor networks. PhD thesis, University of Twente. ISBN 90-365-2262-5
Dulman, S.O. and Chatterjea, S. and Havinga, P.J.M. (2005) Introduction to Wireless Sensor Networks. In: Embedded Systems Handbook. CRC Press, Boca Raton, FL, USA, 31. ISBN 0-8493-2824-1
Dulman, S.O. and Chatterjea, S. and Hofmeijer, T.J. and Havinga, P.J.M. and Hurink, J.L. (2005) Architectures for Wireless Sensor Networks. In: Embedded Systems Handbook. CRC Press, Boca Raton, FL, USA, 33. ISBN 0-8493-2824-1
Durmaz Incel, O. and van Hoesel, L.F.W. and Jansen, P.G. and Havinga, P.J.M. (2005) Impact of Network Density on Bandwidth Resource Management in WSN. Technical Report TR-CTIT-05-43, Centre for Telematics and Information Technology University of Twente, Enschede. ISSN 1381-3625
Durr, P.E.A. and Bergmans, L.M.J. and Akşit, M. (2005) Formal model for SECRET. Technical Report TR-CTIT-05-74, Centre for Telematics and Information Technology University of Twente, Enschede. ISSN 1381-3625
Durr, P.E.A. and Bergmans, L.M.J. and Güleşir, G. and Nagy, I. (2005) Towards an Expressive and Scalable Framework for expressing Join Point Models. Technical Report TR-CTIT-05-75, Centre for Telematics and Information Technology University of Twente, Enschede. ISSN 1381-3625
Durr, P.E.A. and Staijen, T. and Bergmans, L.M.J. and Akşit, M. (2005) Reasoning About Semantic Conflicts Between Aspects. Technical Report TR-CTIT-05-73, Centre for Telematics and Information Technology University of Twente, Enschede. ISSN 1381-3625
Evers, L. and Bijl, M.J.J. and Marin-Perianu, M. and Marin-Perianu, R.S. and Havinga, P.J.M. (2005) Wireless Sensor Networks and Beyond: A Case Study on Transport and Logistics. Technical Report TR-CTIT-05-26, Centre for Telematics and Information Technology University of Twente, Enschede. ISSN 1381-3625
Foschini, G.J. and Huang, Howard C. and Mullender, S.J. and Venkatesan, S. and Viswanathan, H. (2005) Physical-Layer Design for Next-Generation Cellular Wireless Systems. Bell Labs Technical Journal Special Issue: Future Wireless Communications, 10 (2). pp. 157-172. ISSN 1089-7089 *** ISI Impact 1,200 ***
Gemesi, R. and Meratnia, N. and Havinga, P.J.M. (2005) Quality-Aware Resource Management for Wireless Sensor Networks. In: Proceedings of the 9th International Conference on Principles of Distributed Systems, OPODIS 2005, 12-14 Dec 2005, Pisa, Italy. pp. 412-426. Lecture Notes in Computer Science 3974/2006. Springer Verlag. ISSN 0302-9743 ISBN 978-3-540-36321-7
Graaf, B. and van Dijk, H.W. and van Deursen, A. (2005) Evaluating an Embedded Software Reference Architecture -- Industrial Experience Report. In: 9th European Conf. on Software Maintenance and Reengineering (CSMR), Manchester, UK. pp. 354-363. IEEE Computer Society. ISBN 0-7695-2304-8
Groothedde, W. and Klumperink, E.A.M. and Nauta, B. and Eschauzier, R.G.H. and van Rijn, N. (2005) Two-Wire interface for digital microphones. Patent US6853733 B1 (Assigned).
Guo, Y. and Hoede, C. and Smit, G.J.M. (2005) A Multi-Pattern Scheduling Algorithm. In: Proceedings of the International Conference on Engineering of Reconfigurable Systems and Algorithms (ERSA'05), 27-30 Jun 2005, Las Vegas, Nevada, USA. pp. 276-279. CSREA Press. ISBN 1-932415-74-2
Guo, Y. and Smit, G.J.M. (2005) Resource Allocation for A Mobile Application Oriented Architecture. In: Proceedings of Global Mobile Congress, 10-12 Oct 2005, Chongping, China. pp. 514-519. Delson group inc.. ISBN 7-121-01772-5
Guo, Y. and Smit, G.J.M. and Broersma, H.J. and Rosien, M.A.J. and Heysters, P.M. and Krol, T. (2005) Mapping applications to a coarse grain reconfigurable system. In: New Algorithms, Architectures and Applications for Reconfigurable Computing. Springer, Dordrecht, pp. 93-104. ISBN 978-1-4020-3127-4
Hanssen, F.T.Y. and Jansen, P.G. and Scholten, J. and Mullender, S.J. (2005) RTnet: a distributed real-time protocol for broadcast-capable networks. In: Joint Int. Conf. on Autonomic and Autonomous Systems and Int. Conf. on Networking and Services (ICAS/ICNS), 23-28 Oct. 2005, Papeete, French Polynesia. Article 18. IEEE Computer Society. ISBN 0-7695-2450-8
Haverkort, B.R.H.M. and Katoen, J.P. (2005) Performance and verification. ACM SIGMETRICS Performance Evaluation Review, 32 (4). pp. 3-3. ISSN 0163-5999
Havinga, P.J.M. and Evers, L. and van Hoesel, L.F.W. and Octavian, S. (2005) Distributed precision based localization algorithm for ad-hoc wireless networks. Patent EP20050075907 (Application).
van der Heijden, F. (2005) Consistency checks for particle filters with application to image stabilization. In: Proceedings of the First Annual IEEE BENELUX/DSP Valley Signal Processing Symposium, SPS-DARTS 2005, 19-20 Apr 2005, Antwerp, Belgium. pp. 217-220. IEEE Benelux Signal Processing Chapter. ISBN not assigned
Hermanns, H. and Jansen, D.N. and Usenko, Y.S. (2005) From StoCharts to MoDeST: a comparative reliability analysis of train radio communications. In: Proceedings of the 5th international workshop on Software and performance. pp. 13-23. ACM Press. ISBN 1-59593-087-6
Hermanns, H. and Jansen, D.N. and Usenko, Y.S. (2005) A comparative reliability analysis of ETCS train radio communications. Technical Report 2 Transregional Collaborative Research Center 14 AVACS, Germany. ISSN 1860-9821
Heskamp, M. and Hoeksema, F.W. and Schiphorst, R. and Slump, C.H. (2005) A Proof-of-concept Demonstrator for Cognitive Radio. In: the 16th ProRISC workshop, 17-18 November 2005, Veldhoven, The Netherlands. pp. 625-628. Technology Foundation STW. ISBN 90-73461-50-2
Hoeksema, F.W. and Heskamp, M. and Schiphorst, R. and Slump, C.H. (2005) A node architecture for disaster relief networking. In: Proceedings of the First IEEE International Symposium on New Frontiers in Dynamic Spectrum Access Networks, 8-11 Nov 2005, Baltimore, USA. pp. 577-584. IEEE Communications Society. ISBN 1-4244-0013-9
van Hoesel, L.F.W. and Havinga, P.J.M. (2005) Collision-free time slot reuse in multi-hop wireless sensor networks. In: 2005 Intelligent sensors, Sensor Networks & Information Processing Conference, 5-8 December 2005, Melbourne, Australia. pp. 101-107. IEEE Computer Society. ISBN 0-7803-9400-3
Hofmeijer, T.J. and Dulman, S.O. and Jansen, P.G. and Havinga, P.J.M. (2005) AmbientRT - real time system software support for data centric sensor networks. Technical Report TR-CTIT-05-02, Centre for Telematics and Information Technology University of Twente, Enschede. ISSN 1381-3625
Hofstra, K.L. and Gerez, S.H. and van Kampen, D. (2005) A Language and Toolset for the Synthesis and Efficient Simulation of Clock-Cycle-True Signal-Processing Algorithms. In: ProRISC 2005 16th Annual Workshop on Circuits, Systems and Signal Processing, 17-18 November 2005, Veldhoven, The Netherlands. pp. 518-523. Technology Foundation STW. ISBN 90-73461-50-2
Holzmann, G.J. and Ruys, T.C. (2005) Effective Bug Hunting with SPIN and Modex. (Invited) In: Model Checking Software, Proceedings of the 12th International SPIN Workshop, August 22-24, 2005, San Francisco, CA, USA. pp. 24-24. Lecture Notes in Computer Science 3639. Springer Verlag. ISSN 0302-9743 ISBN 3-540-28195-9
Jansen, D.N. and Hermanns, H. (2005) QoS modelling and analysis with UML-statecharts: the StoCharts approach. ACM SIGMETRICS Performance Evaluation Review, 32 (4). pp. 28-33. ISSN 0163-5999
Jovanović, D.S. and Liet, G. and Broenink, J.F. (2005) A CSP-based trajectory for designing formally verified embedded control software. In: Proceedings 49th Conference on Electronic, Telecommunications, Computer science, Automatics, and Nuclear technique, ETRAN 2005, 5 - 10 Jun 2005, Budva, Montenegro. pp. 285-288. COBISS. ISBN 86-80509-53-1
Kapoor, A. and Gerez, S.H. and Hoeksema, F.W. and Schiphorst, R. (2005) A Reconfigurable Tile-Based Architecture te Compute FFT en FIR Functions in de context van de Software-Defined Radio. In: Proceedings of the 16th Annual Workshop on Circuits, Systems and Signal Processing, 17-18 Nov. 2005, Veldhoven, Netherlands. pp. 369-377. Technology Foundation STW. ISBN 90-73461-50-2
Karagiannis, G. and Rexhepi, V. (2005) Jitter reduction in Differentiated Services (Diffserv) networks. Patent US6973102 (Assigned).
Katoen, J.P. and Khattri, M. and Zapreev, I.S. (2005) A Markov reward model checker. In: 2nd Int. Conf. on Quantitative Evaluation of Systems, Turin, Italy. pp. 243-245. IEEE Computer Society. ISBN 0 7695 2427 3
Kavaldjiev, N.K. and Smit, G.J.M. and Jansen, P.G. (2005) Throughput of Streaming Applications Running on a Multiprocessor Architecture. In: EUROMICRO Symposium on Digital System Design, Porto, Portugal. pp. 350-355. IEEE Computer Society. ISBN 0-7695-2433-8
Kavaldjiev, N.K. and Smit, G.J.M. and Jansen, P.G. and Wolkotte, P.T. (2005) A Virtual Channel Network-on-Chip for GT and BE traffic. Technical Report TR-CTIT-05-55, Centre for Telematics and Information Technology University of Twente, Enschede. ISSN 1381-3625
Kavaldjiev, N.K. and Smit, G.J.M. and Wolkotte, P.T. and Jansen, P.G. (2005) Routing of guaranteed throughput traffic in a network-on-chip. Technical Report TR-CTIT-05-42, Centre for Telematics and Information Technology University of Twente, Enschede. ISSN 1381-3625
Kaya, O.S. (2005) A Glance at Peer to Peer Systems. Technical Report TR-CTIT-05-21, Centre for Telematics and Information Technology University of Twente, Enschede. ISSN 1381-3625
Kaya, O.S. and Durmaz Incel, O. and Dulman, S.O. and Gemesi, R. and Jansen, P.G. and Havinga, P.J.M. (2005) Using TinyOS Components for the Design of an Adaptive Ubiquitous System. In: International Workshop on Wireless Ad-hoc Networks (IWWAN), May 23-26, 2005, London, UK. 99. Kings College London. ISBN not assigned
Kaya, O.S. and Durmaz Incel, O. and Dulman, S.O. and Gemesi, R. and Jansen, P.G. and Havinga, P.J.M. (2005) Using TinyOS Components for the Design of an Adaptive Ubiquitous System. Technical Report TR-CTIT-05-17, Centre for Telematics and Information Technology University of Twente, Enschede. ISSN 1381-3625
Kleiboer, L. and Havinga, P.J.M. (2005) Calibration of sensors in sensor networks. In: Proceedings of the 10th IEEE International Conference on Emerging Technologies and Factory Automation, 19-22 September 2005, Catania, Italy. pp. 519-526. IEEE Computer Society. ISBN 0-7803-9401-1
Kobben, B. and Muthukrishnan, K. and Meratnia, N. and Koprinkov, G.T. (2005) WIRELESS CAMPUS LBS: A test bed for cartographically aware database objects. In: Proceedings of the 3rd Symposium on Location-Based Services and TeleCartography, 28-29 November 2005, Vienna, Austria. pp. 47-51. TU Wien. ISBN not assigned
Kokkeler, A.B.J. (2005) Feedback Quantization in Crosscorrelation Predistorters. IEEE microwave and Wireless Components Letters, 15 (9). pp. 552-554. ISSN 1531-1309 *** ISI Impact 1,599 ***
Kokkeler, A.B.J. (2005) Modeling Power Amplifiers using Memory Polynomials. In: Proceedings of the 12th IEEE Benelux Symposium on Communications and Vehicular Technology in the Benelux (SCVT2005), 3 Nov 2005, Enschede, The Netherlands. pp. 1-6. University of Twente. ISBN 90 365 2264 1
Kokkeler, A.B.J. (2005) Analog-Digital Codesign using Coarse Quantization. PhD thesis, University of Twente. ISBN 90-365-2156-4
Kuhn, F. and Moscibroda, T. and Nieberg, T. and Wattenhofer, R. (2005) Local Approximation Schemes for Ad Hoc and Sensor Networks. In: 2005 Joint Workshop on Foundations of Mobile Computing, 02 Sep 2005, Cologne, Germany. pp. 91-106. ACM Press. ISBN 1-59593-092-2
Kuhn, F. and Moscibroda, T. and Nieberg, T. and Wattenhofer, R. (2005) Fast Deterministic Distributed Maximal Independent Set Computation on Growth-Bounded Graphs. In: Distributed Computing: 19th International Conference, DISC 2005, 26-29 Sep 2005, Cracow, Poland. pp. 273-283. Lecture Notes in Computer Science 3724. Springer-Verlag. ISBN 3-540-29163-6
Langerak, R. and Polderman, J.W. (2005) Tools for Stability of Switching Linear Systems: Gain Automata and Delay Compensation. In: 44th IEEE Conference on Decision and Control and European Control Conference ECC 2005, 12-15 Dec 2005, Sevilla, Spain. pp. 4867-4872. IEEE Computer Society. ISBN 0-7803-9567-0
Law, Yee Wei and Hartel, P.H. and Etalle, S. and Havinga, P.J.M. and Di Pietro, R. and Mancini, L.V. (2005) Overview of Security Research in EYES. Technical Report TR-CTIT-05-06, Centre for Telematics and Information Technology University of Twente, Enschede. ISSN 1381-3625
Law, Yee Wei and Hartel, P.H. and den Hartog, J.I. and Havinga, P.J.M. (2005) Link-layer jamming attacks on S-MAC. In: 2nd European Workshop on Wireless Sensor Networks (EWSN), Istanbul, Turkey. pp. 217-225. IEEE Computer Society. ISBN 0-7803-8801-1
Law, Yee Wei and Havinga, P.J.M. (2005) How to secure a wireless sensor network. (Invited) In: 2nd Int. Conf. on Intelligent Sensors, Sensor Networks and Information Processing (ISSNIP), Melbourne, Australia. pp. 89-95. IEEE Computer Society. ISBN 0-7803-9399-6
Law, Yee Wei and van Hoesel, L.F.W. and Doumen, J.M. and Hartel, P.H. and Havinga, P.J.M. (2005) Energy-Efficient Link-Layer Jamming Attacks against Wireless Sensor Network MAC Protocols. In: 3rd ACM Workshop on Security of Ad Hoc and Sensor Networks (SASN), Alexandria, Virginia. pp. 76-88. ACM Press. ISBN 1-59593-227-5
Lohrey, M. and D'Argenio, P.R. and Hermanns, H. (2005) Axiomatising Divergence. Information and computation, 203 (2). pp. 115-144. ISSN 0890-5401 *** ISI Impact 0,873 ***
Marin-Perianu, M. and Havinga, P.J.M. (2005) Experiments with Reliable Data Delivery in Wireless Sensor Networks. In: Intelligent Sensors, Sensor Networks & Information Processing Conference (ISSNIP), 5-8 December 2005, Melbourne, Australia. pp. 109-114. IEEE Computer Society. ISBN 0-7803-9400-3
Marin-Perianu, R.S. and Hartel, P.H. and Scholten, J. (2005) A Classification of Service Discovery Protocols. Technical Report TR-CTIT-05-25, Centre for Telematics and Information Technology University of Twente, Enschede. ISSN 1381-3625
Marin-Perianu, R.S. and Scholten, J. and Havinga, P.J.M. (2005) CODE: Description Language for Wireless Collaborating Objects. In: 2nd Intelligent Sensors, Sensor Networks & Information Processing Conf. (ISSNIP), 5-8 Dec. 2005, Melbourne, Australia. pp. 169-174. IEEE Computer Society. ISBN 0-7803-9399-6
Moseley, N.A. and Schiphorst, R. and Slump, C.H. (2005) The effects of nonlinear power amplifiers on the performance of a HiperLAN/2 system. In: The 2nd IEE/EURASIP Conference on DSPenabledRadio, 19-20 Sep. 2005, Southampton, UK. 17. IEE. ISSN 0537-9989 ISBN 0-86341-560-1
Moseley, N.A. and Slump, C.H. (2005) A Software-Defined Radio Simulation Method using Observer Patterns. In: ProRISC 2005 16th Annual Workshop on Circuits, Systems and Signal Processing, 17-18 November 2005, Veldhoven, The Netherlands. pp. 559-563. Technology Foundation STW. ISBN 90-73461-50-2
Muthukrishnan, K. and Lijding, M.E.M. and Havinga, P.J.M. (2005) Towards Smart Surroundings: Enabling Techniques and Technologies for Localization. In: 1st Int. Workshop on Location- and Context-Awareness (LoCA), Oberpfaffenhofen, Germany. pp. 350-362. Springer-Verlag. ISSN 0302-9743 ISBN 3-540-25896-5
Muthukrishnan, K. and Meratnia, N. and Koprinkov, G.T. and Lijding, M.E.M. and Havinga, P.J.M. (2005) SVGOpen Conference Guide: An overview. In: Proceedings of the 4th Annual Conference on Scalable Vector Graphics (SVG'05), 15-18 August 2005, Enschede, The Netherlands. ISBN not assigned
Muthukrishnan, K. and Meratnia, N. and Koprinkov, G.T. and Lijding, M.E.M. and Havinga, P.J.M. (2005) Demonstrating FLAVOUR: Friendly Location-aware conference Assistant with priVacy Observant architectURe. In: Demonstration Session Proceedings of the 3rd International Conference on Service Oriented Computing (ICSOC'05), 12-15 December 2005, Amsterdam, The Netherlands. pp. 13-16. Vita Lab. ISBN 3-540-25896-5
Muthukrishnan, K. and Meratnia, N. and Lijding, M.E.M. (2005) FLAVOUR: Friendly Location-aware conference Assistant with priVacy Observant architectURe. Technical Report TR-CTIT-05-28, Centre for Telematics and Information Technology University of Twente, Enschede. ISSN 1381-3625
Nagy, I. and Bergmans, L.M.J. and Akşit, M. (2005) Composing Aspects at Shared Join Points. In: Proceedings of International Conference NetObjectDays, NODe2005, September, 2005, Erfurt, Germany. pp. 19-38. Lecture Notes in Informatics P-69. Gesellschaft fuer Informatik (GI). ISSN 1617-5468 ISBN 3-88579-398-9
Nagy, I. and Bergmans, L.M.J. and Havinga, W.K. and Akşit, M. (2005) Utilizing Design Information in Aspect-Oriented Programming. In: Proceedings of International Conference NetObjectDays, NODe2005, September, 2005, Erfurt, Germany. pp. 39-60. Lecture Notes in Informatics P-69. Gesellschaft fuer Informatik (GI). ISSN 1617-5468 ISBN 3-88579-398-9
Oosterhof, N.N. and Hölzenspies, P.K.F. and Kuper, J. (2005) Application Patterns. In: Trends in Functional Programming, 23-24 Sep 2005, Tallinn, Estonia. pp. 370-382. Tartu University Press. ISBN 9985-894-88-X
Polderman, J.W. (2005) The controllability test for behaviors revisited. In: Proceedings of the 16th IFAC World Congress, 2 June 2005, Prague, Czech Republic. pp. 1204-1208. Elsevier. ISBN 978-0-08-045108-4
Potman, J. and Hoeksema, F.W. and Slump, C.H. (2005) Adaptive Receive Filtering in FDD UMTS. In: ProRISC 2005 16th Annual Workshop on Circuits, Systems and Signal Processing, 17-18 November 2005, Veldhoven, The Netherlands. pp. 653-657. Technology Foundation STW. ISBN 90-73461-50-2
Rauwerda, G.K. and Smit, G.J.M. and Brugger, W. (2005) Implementing an Adaptive Viterbi Algorithm in Coarse-Grained Reconfigurable Hardware. In: Proceedings of the International Conference on Engineering of Reconfigurable Systems and Algorithms (ERSA'05), 27-30 Jun 2005, Las Vegas, Nevada, USA. pp. 62-68. CSREA Press. ISBN 1-932415-74-2
Rauwerda, G.K. and Smit, G.J.M. and Heysters, P.M. (2005) Implementation of Multi-standard Wireless Communication Receivers in a Heterogeneous Reconfigurable System-on-Chip. In: 16th Annual Workshop on Circuits Systems and Signal Processing (ProRISC), Veldhoven, The Netherlands. pp. 421-427. Technology Foundation STW. ISBN 90-73461-50-2
Remke, A.K.I. and Haverkort, B.R.H.M. (2005) Beyond Model-Checking CSL for QBDs: Resets, Batches and Rewards. In: Proceedings of the 7th International Workshop on Performability Modeling of Computer and communication Systems, 23-24 Oct 2005, Turin. pp. 23-26. Alma Riska, Andras Horvath. ISBN not assigned
Remke, A.K.I. and Haverkort, B.R.H.M. and Cloth, L. (2005) Model checking Infinite-State Markov Chains. In: Tools and Algorithms for the Construction and Analysis of Systems, 11th International Conference, TACAS 2005, Held as Part of the Joint European Conferences on Theory and Practice of Software (ETAPS 2005), 4-8 Apr 2005, Edinburgh, UK. pp. 237-252. Lecture Notes in Computer Science 3440. Springer. ISBN 9783540253334
Rensink, A. and Vogler, W. (2005) Fair Testing. Technical Report TR-CTIT-05-64, Centre for Telematics and Information Technology University of Twente, Enschede. ISSN 1381-3625
Rivaton, A. and Quevremont, J. and Zhang, Qiwei and Wolkotte, P.T. and Smit, G.J.M. (2005) Implementing Non Power-of-Two FFTs on Coarse-Grain Reconfigurable Architectures. In: Proceedings of the International Symposium on System-on-Chip (SoC 2005), 14-17 Nov 2005, Tampere, Finland. pp. 82-85. IEEE Computer Society. ISBN 0-7803-9294-9
van Rumpt, H. and Kasperkovitz, D. and van der Tang, J.D. and Nauta, B. (2005) UMTV: a Single Chip TV Receiver for PDAs, PCs and Cell Phones. In: IEEE International Solid-State Circuits Conference 2005 (ISSCC 2005), 6-10 February 2005, San Francisco, California, USA. 428-429,608. IEEE Computer Society. ISBN 0-7803-8904-2
Schinkel, D. (2005) Data Converter. Patent US20050531401 (Application).
Schinkel, D. and Nuijten, A.C.M. (2005) Data Converter. Patent KR 20050065602 (A) (Application).
Schiphorst, R. and Hoeksema, F.W. and Slump, C.H. (2005) A Real-Time GPP Software-Defined Radio Testbed for the Physical Layer of Wireless Standards. EURASIP Journal on Applied Signal Processing, 2005 (16). pp. 2664-2672. ISSN 1110-8657
Schiphorst, R. and Moseley, N.A. and Slump, C.H. (2005) Software-Defined Radio Testbed for the Physical Layer of Wireless LANs. NERG - Tijdschrift van het NERG, 70 (2). pp. 54-61. ISSN 1567-892X
Schoute, A.L. (2005) Time-optimal collision avoidance of automatically guided vehicles (Extended Abstract). In: 10th Int. Workshop on Computer Aided Systems Theory (EUROCAST) -- Cast and Tools for Robotics, Vehicular and Communication Systems, Las Palmas de Gran Canaria, Spain. pp. 286-289. IUCTC. ISBN 84-689-0432-5
Schoute, A.L. and Seesink, R.A. and Dierssen, W. and Kooij, N. (2005) Fast data sharing within a distributed, multithreaded control framework for robot teams. In: Communicating Process Architectures 2005 (WoTUG-28), 18-21 Sep 2005, Eindhoven, The Netherlands. pp. 147-154. IOS Press Concurrent Systems Engineering Series 63. IOS Press. ISBN 1-58603-561-4
Smit, G.J.M. and Rauwerda, G.K. (2005) Reconfigurable Architectures for Adaptable Mobile Systems. (Invited) In: Proceedings of the International Conference on Engineering of Reconfigurable Systems and Algorithms (ERSA'05), 27-30 Jun 2005, Las Vegas, Nevada, USA. pp. 17-25. CSREA Press. ISBN 1-932415-74-2
Smit, G.J.M. and Schuler, E. and Becker, J.E. and Quevremont, J. and Brugger, W. (2005) Overview of the 4S project. In: Proceedings of the International Symposium on System-on-Chip (SoC 2005), 14-17 Nov 2005, Tampere, Finland. pp. 70-73. IEEE Computer Society. ISBN 0-7803-9294-9
Smit, L.T. and Hurink, J.L. and Smit, G.J.M. (2005) Run-time Mapping of Applications to a Heterogeneous SoC. In: 2005 International Symposium on System-on-Chip Proceedings, Tampere, Finland. pp. 78-81. IEEE Computer Society. ISBN 0-7803-9294-9
Strubbe, S.N. and Langerak, R. (2005) A Composition Operator for Systems with Active and Passive Actions. In: Proceedings of Formal Techniques for Networked and Distributed Systems (FORTE) 2005, Taiwan. pp. 24-37. Lecture Notes in Computer Science 3731. Springer-Verlag. ISBN 354029189X
Sundramoorthy, V. and Tan, C. and Hartel, P.H. and den Hartog, J.I. and Scholten, J. (2005) Functional Principles of Registry-based Service Discovery. In: 30th Annual IEEE Conf. on Local Computer Networks (LCN), Sydney, Australia. pp. 209-217. IEEE Computer Society. ISBN 0-7695-2421-4
Tekinerdogan, B. (2005) Introducing a graduate course on Aspect-Oriented Software Development. International Journal of Engineering Education, 21 (2). pp. 361-368. ISSN 0949-149X *** ISI Impact 0,559 ***
Tekinerdogan, B. and Bilir, S. and Abatlevi, C. (2005) Integrating Platform Selection Rules in the Model-Driven Architecture Approach. In: Model-Driven Architecture. Lecture Notes in Computer Science 3599. Springer Verlag, Berlin, pp. 159-173. ISBN 978-3-540-28240-2
Tekinerdogan, B. and Sözer, H. and Akşit, M. (2005) Software Architecture Reliability Analysis using Failure Scenarios. In: WICSA'05, 6-10 November 2005, Pittsburgh, USA. pp. 203-204. IEEE Computer Society. ISBN 0769525482
Vlasma, J.P. and Berkhoff, A.P. and Kuipers, H. (2005) Optimization of the driving signal of an ultrasonic transducer using a genetic algorithm. In: Proceedings of SPS-DARTS 2005 the first annual IEEE BENELUX/DSP Valley Signal Processing Symposium, 19-20 April 2005, Antwerp, Belgium. pp. 197-200. IEEE Benelux Signal Processing Chapter. ISBN not assigned
Wiggers, M.H. and Kavaldjiev, N.K. and Smit, G.J.M. and Jansen, P.G. (2005) Architecture Design Space Exploration for Streaming Applications Through Timing Analysis. In: Communicating Process Architectures 2005 (WoTUG-28), Eindhoven, The Netherlands. pp. 219-233. IOS Press. ISBN 1-58603-561-4
Wolkotte, P.T. and Smit, G.J.M. and Becker, J.E. (2005) Energy-Efficient NoC for Best-Effort Communication. In: Proceedings of the 15th International Conference on Field Programmable Logic and Applications 2005 (FPL 2005), 24-26 Aug 2005, Tampere, Finland. pp. 197-202. IEEE Circuits and Systems Society. ISBN 0-7803-9362-7
Wolkotte, P.T. and Smit, G.J.M. and Kavaldjiev, N.K. and Becker, J.E. and Becker, J. (2005) Energy Model of Networks-on-Chip and a Bus. Technical Report TR-CTIT-05-24, Centre for Telematics and Information Technology University of Twente, Enschede. ISSN 1381-3625
Wolkotte, P.T. and Smit, G.J.M. and Kavaldjiev, N.K. and Becker, J.E. and Becker, J. (2005) Energy Model of Networks-on-Chip and a Bus. In: Proceedings of the International Symposium on System-on-Chip (SoC 2005), 14-17 Nov 2005, Tampere, Finland. pp. 82-85. IEEE Computer Society. ISBN 0-7803-9294-9
Wolkotte, P.T. and Smit, G.J.M. and Rauwerda, G.K. and Smit, L.T. (2005) An Energy-Efficient Reconfigurable Circuit Switched Network-on-Chip. In: Proceedings of the 19th IEEE International Parallel and Distributed Processing Symposium (IPDPS'05) - 12th Reconfigurable Architecture Workshop (RAW 2005), 4-8 Apr 2005, Denver, Colorado, USA. 155. IEEE Computer Society. ISBN 0-7695-2312-9
Zhang, Lijun and Hermanns, H. and Jansen, D.N. (2005) Logic and model checking for hidden Markov models. Technical Report 6 Transregional Collaborative Research Center 14 AVACS, Germany. ISSN 1860-9821
Zhang, Lijun and Hermanns, H. and Jansen, D.N. (2005) Logic and model checking for hidden Markov models. In: Formal techniques for networked and distributed systems, FORTE, Taipei, Taiwan. pp. 98-112. Lecture notes in computer science 3731. Springer-Verlag. ISBN 3-540-29189-X
Zhang, Qiwei and Smit, G.J.M. and Smit, L.T. (2005) A Reconfigurable Platform For Cognitive Radio. In: Proceedings of Second International Conference on Mobile Technology, Applications and Systems, 15-17 Nov 2005, Guangzhou, China. pp. 39-47. IEEE Computer Society. ISBN 981-05-4573-8

2004

Baier, C. and Haverkort, B.R.H.M. and Katoen, J.P. and Hermanns, H. and Siegle, M., ed. (2004) Validation of Stochastic Systems. Lecture Notes in Computer Science 2925. Springer-Verlag. ISBN 3-540-22265-0
Franceschinis, G. and Haverkort, B.R.H.M. and Katoen, J.P. and Woodside, M., ed. (2004) Proceedings of the First Int. Conf. on the Quantitative Evaluation of Systems (QEST). IEEE Computer Society, Los Alamitos. ISBN 0-7695-2185-1
de Alfaro, L. and Faella, M. and Henzinger, T.A. and Majumdar, R. and Stoelinga, M.I.A. (2004) Model Checking Discounted Temporal Properties. In: Proc. 10th Int'l Conf. on tools and algorithms for the construction and analysis of systems, March 29 - April 2, 2004, Barcelona, Spain. pp. 77-92. Lecture Notes in Computer Science 2988. Springer. ISBN 978-3-540-21299-7
de Alfaro, L. and Faella, M. and Stoelinga, M.I.A. (2004) Linear and Branching Metrics for Quantitative Transition Systems. In: Proc. 31st Int'l Colloq. on Automata, Languages and Programming (ICALP04), July 12-16, 2004, Turku, Finland. pp. 97-109. Lecture Notes in Computer Science 3142. Springer. ISBN 978-3-540-22849-3
Andova, S. and Willemse, T.A.C. (2004) Verification of probabilistic behaviours. In: 1 st South-East European Workshop on Formal Methods: Agile Formal Methods: Practical, Rigorous Methods for a Changing World, 20 Nov 2003, Thessaloniki, Greece. pp. 84-99. SEERC. ISBN 960-87869-1-6
Arkesteijn, V.J. and Schiphorst, R. and Hoeksema, F.W. and Klumperink, E.A.M. and Nauta, B. and Slump, C.H. (2004) A combined analogue+ digital software defined radio receiver front-end for Bluetooth and Hiperlan/2. In: 5th PROGRESS Symposium on Embedded Systems, 20 Oct 2004, Nieuwegein. pp. 10-15. Technology Foundation STW. ISBN 90-73461-41-3
Baier, C. and Hermanns, H. and Katoen, J.P. (2004) Probabilistic weak simulation is polynomially decidable. Information Processing Letters, 89 (3). pp. 123-252. ISSN 0020-0190 *** ISI Impact 0,605 ***
Bergmans, L.M.J. and Akşit, M. (2004) Principles and Design Rationale of Composition Filters. In: Aspect-Oriented Software Development. Addison-Wesley, pp. 63-96. ISBN 0-321-21976-7
van der Bijl, H.M. and Rensink, A. and Tretmans, G.J. (2004) Compositional Testing with ioco. In: Formal Approaches to Software Testing (FATES). pp. 86-100. Lecture Notes in Computer Science 2931. Springer Verlag. ISSN 0302-9743 ISBN 978-3-540-20894-5
Bohnenkamp, H.C. and Hermanns, H. and Klaren, R. and Mader, A.H. and Usenko, Y.S. (2004) Synthesis and stochastic assessment of schedules for lacquer production. In: First International Conference on Quantitative Evaluation of Systems (QEST 2004), Enschede, The Netherlands. pp. 28-37. IEEE Computer Society. ISBN 0-7695-2185-1
Brandán Briones, L. and Brinksma, H. (2004) A test generation framework for quiescent real-time systems - extended version. Technical Report TR-CTIT-04-40, Centre for Telematics and Information Technology University of Twente, Enschede. ISSN 1381-3625
Brandán Briones, L. and Brinksma, H. (2004) A test generation framework for quiescent real-time systems. In: Formal Approaches to Software Testing: 4th International Workshop, FATES 2004, 21 Sep 2004, Linz, Austria. pp. 64-78. Lecture Notes in Computer Science 3395. Springer Verlag. ISBN 978-3-540-25109-5
Brinksma, H. and Mader, A.H. (2004) On Verification Modelling of Embedded Systems. Technical Report TR-CTIT-04-03, Centre for Telematics and Information Technology University of Twente, Enschede. ISSN 1381-3625
Broersma, H.J. and Paulusma, D. and Smit, G.J.M. and Vlaardingerbroek, F. and Woeginger, G.J. (2004) The Computational Complexity of the Minimum Weight Processor Assignment Problem. In: Proceedings of Graph-Theoretic Concepts in Computer Science: 30th International Workshop, WG 2004, 21-23 June 2004. pp. 189-200. Lecture Notes in Computer Science 3353 / 2004. Springer-Verlag. ISSN 0302-9743 ISBN 3-540-24132-9
Chatterjea, S. and van Hoesel, L.F.W. and Havinga, P.J.M. (2004) AI-LMAC: An Adaptive, Information-centric and Lightweight MAC Protocol for Wireless Sensor Networks. In: First International Conference on Intelligent Sensors, Sensor Networks and Information Processing (ISSNIP-2004), Melbourne. pp. 381-388. IEEE Computer Society. ISBN 0-7803-8894-1
Corin, R.J. and Etalle, S. and Hartel, P.H. and Mader, A.H. (2004) Timed Model Checking of Security Protocols. Technical Report TR-CTIT-04-24, Centre for Telematics and Information Technology University of Twente, Enschede. ISSN 1381-3625
Fraanje, P.R. and Verhaegen, M.H.G. and Doelman, N.J. and Berkhoff, A.P. (2004) Optimal and Robust Feedback Controller Estimation for a Vibrating Plate using Subspace Model Identification. Control engineering practice, 12 (8). pp. 1017-1028. ISSN 0967-0661 *** ISI Impact 1,830 ***
Guo, Y. and Smit, G.J.M. (2004) Resource Allocation, Exploiting Locality of Reference of a Reconfigurable Architecture. In: 5th PROGRESS Symposium on Embedded Systems, Nieuwegein, The Netherlands. pp. 49-58. ISBN 90-73461-41-3
Hanssen, F.T.Y. and Jansen, P.G. and Scholten, J. and Hattink, T. (2004) RTnet: a real-time protocol for broadcast-capable networks. Technical Report TR-CTIT-04-02, Centre for Telematics and Information Technology University of Twente, Enschede. ISSN 1381-3625
Hanssen, F.T.Y. and Krikke, R. and Baron, B. and Jansen, P.G. and Scholten, J. (2004) Experimental implementation of a real-time token-based network protocol on a microcontroller. In: 5th PROGRESS Symposium on Embedded Systems, Nieuwegein, The Netherlands. pp. 49-57. Technology Foundation STW. ISBN 90-73461-41-3
Havinga, P.J.M. and Jansen, P.G. and Lijding, M.E.M. and Scholten, J. (2004) Smart Surroundings. In: 5th PROGRESS Symposium on Embedded Systems, Nieuwegein, The Netherlands. pp. 58-63. Technology Foundation STW. ISBN 90-73461-41-3
Heysters, P.M. (2004) Coarse-Grained Reconfigurable Processors - Flexibility meets Efficiency. PhD thesis, University of Twente. CTIT Ph.D.-thesis series No. 04-66 ISBN 0139427163
Heysters, P.M. and Rauwerda, G.K. and Smit, G.J.M. (2004) Implementation of a HiperLAN/2 Receiver on the Reconfigurable Montium Architecture. In: Proceedings of the 18th International Parallel & Distributed Processing Symposium Reconfigurable Architectures Workshop (RAW 2004), Santa Fé, New Mexico, U.S.A. 10. IEEE Computer Society. ISBN 0-7695-2132-0
Heysters, P.M. and Smit, G.J.M. and Molenkamp, E. (2004) Energy-Efficiency of the Montium Reconfigurable Tile Processor. In: Proceedings of the International Conference on Engineering of Reconfigurable Systems and Algorithms (ERSA'04), Las Vegas, USA. pp. 38-44. CSREA Press.
Hoeksema, F.W. and Schiphorst, R. and Slump, C.H. (2004) Modulation-Index Estimation in a Combined CPM/OFDM Receiver. In: Proceedings of the Fourth IEEE Benelux Signal Processing Symposium, 15-16 Apr 2004, Hilvarenbeek. pp. 171-174. IEEE Benelux Signal Processing Chapter. ISBN not assigned
Hoeksema, F.W. and Srinivasan, R. and Schiphorst, R. and Slump, C.H. (2004) Timing Metrics of Joint Timing and Carrier-Frequency Offset Estimation Algorithms for TDD-based OFDM systems. In: Proceedings of the 9th International OFDM-Workshop, 15-16 Sep 2004, Dresden. Technische Universität Hamburg-Harburg (TUHH). ISBN not assigned
van Hoesel, L.F.W. and Chatterjea, S. and Havinga, P.J.M. (2004) A Low-Latency, Information-Centric Medium Access Protocol for Wireless Sensor Networks. In: Proceedings ProRISC 2004, Veldhoven. pp. 45-52. Technology Foundation STW. ISBN 90-73461-43-X
van Hoesel, L.F.W. and Havinga, P.J.M. (2004) A Lightweight Medium Access Protocol (LMAC) for Wireless Sensor Networks: Reducing Preamble Transmissions and Transceiver State Switches. In: 1st International Workshop on Networked Sensing Systems (INSS, Tokio, Japan. pp. 205-208. Society of Instrument and Control Engineers (SICE). ISBN 4-907764-21-9
van Hoesel, L.F.W. and Havinga, P.J.M. (2004) Poster Abstract: A TDMA-based MAC Protocol for WSNs. In: Proceedings of the 2nd international conference on Embedded networked sensor systems (SENSYS 2004), 3-5 Nov 2004, Baltimore, U.S.A.. pp. 303-304. ACM. ISBN 1-58113-879-2
van Hoesel, L.F.W. and Nieberg, T. and Kip, H.J. and Havinga, P.J.M. (2004) Advantages of a TDMA based, energy-ef?cient, self-organizing MAC protocol for WSNs. In: IEEE 59th Vehicular Technology Conference, 2004. VTC 2004-Spring, 17-19 May 2004, Italy. pp. 1598-1602. IEEE Computer Society. ISSN 1550-2252 ISBN 0-7803-8255-2
van Hoesel, L.F.W. and Nieberg, T. and Wu, Jian and Havinga, P.J.M. (2004) Prolonging the lifetime of wireless sensor networks by cross-layer interaction. IEEE Wireless Communications, 11 (6). pp. 78-86. ISSN 1536-1284 *** ISI Impact 4,148 ***
Hofmeijer, T.J. and Dulman, S.O. and Jansen, P.G. and Havinga, P.J.M. (2004) AmbientRT - real time system software support for data centric sensor networks. In: 2nd Int. Conf. on Intelligent Sensors, Sensor Networks and Information Processing (ISSNIP), Melbourne, Australia. pp. 61-66. IEEE Computer Society. ISBN 0-7803-8894-1
Hofmeijer, T.J. and Dulman, S.O. and Jansen, P.G. and Havinga, P.J.M. (2004) DCOS, a Real-Time Light-weight Data Centric Operating System. In: IASTED Int. Conf. on Advances in Computer Science and Technology (ACST), St. Thomas, Virgin Islands, USA. pp. 259-264. ACTA Press. ISBN 0-88986-437-3
Jansen, D.N. and Hermanns, H. (2004) Dependability checking with StoCharts: Is train radio reliable enough for trains? In: QEST 2004: first international conference on the quantitative evaluation of systems, Enschede, Netherlands. pp. 250-259. IEEE Computer Society. ISBN 0-7695-2185-1
Katoen, J.P. and Bohnenkamp, H.C. and Hermanns, H. and Klaren, R. (2004) Embedded software analysis with MOTOR. In: Formal Methods for the Design of Real-Time Systems, International School on Formal Methods for the Design of Computer, Communication and Software Systems, SFM-RT 2004. Lecture Notes in Computer Science 3185. Springer Verlag, Bertinoro, Italy, pp. 268-293. ISBN 3-540-23068-8
Kavaldjiev, N.K. and Smit, G.J.M. (2004) An energy-efficient Network-on-Chip for a heterogeneous tiled reconfigurable System-on-Chip. In: EUROMICRO Symp. on Digital System Design (DSD), Rennes, France. pp. 492-498. IEEE Computer Society. ISBN 0-7695-2203-3
Kavaldjiev, N.K. and Smit, G.J.M. and Jansen, P.G. (2004) A Virtual Channel Router for On-chip Networks. In: IEEE Int. SOC Conf., Santa Clara, California. pp. 289-293. IEEE Computer Society. ISBN 0-7803-8445-8
Kavaldjiev, N.K. and Smit, G.J.M. and Jansen, P.G. (2004) Two Architectures for On-chip Virtual Channel Router. In: 5th PROGRESS Symposium on Embedded Systems, Nieuwegein, The Netherlands. pp. 90-95. Technology Foundation STW. ISBN 90-73461-41-3
Kokkeler, A.B.J. (2004) A Crosscorrelation Predistorter using Memory Polynomials. In: 2004 IEEE International Symposium on Circuits and Systems, 23-26 may 2004, Vancouver, Canada. pp. 345-348. IEEE Computer Society. ISBN 0780382528
Kokkeler, A.B.J. (2004) Performance Analysis of Crosscorrelation Predistorters. In: European Microwave Week 2004 Conference Proceedings, 11-15 Oct 2004, Amsterdam, The Netherlands. pp. 325-328. horizon house. ISBN 1580539947
Kokkeler, A.B.J. and Gunst, A.W. (2004) Modeling Correlation of Quantized Noise and Periodic Signals. IEEE signal processing letters, 11 (10). pp. 802-805. ISSN 1070-9908 *** ISI Impact 1,661 ***
Lijding, M.E.M. and Jansen, P.G. and Mullender, S.J. (2004) Promote-IT: An efficient Real-Time Tertiary-Storage Scheduler. In: 21st IEEE Conf. on Mass Storage Systems and Technologies (MSST), College Park, Maryland. pp. 245-260. NASA.
Lormans, M. and van Dijk, H.W. and van Deursen, A. and Nöcker, E. and de Zeeuw, A. (2004) Managing Evolving Requirements in an Outsourcing Context: An Industrial Experience Report. In: 7th Int. Workshop on Principles of Software Evolution (IWPSE), Kyoto, Japan. pp. 149-158. IEEE Computer Society. ISBN 0-7695-2211-4
Mader, A.H. (2004) Deriving Schedules for a Smart Card Personalisation System. Technical Report TR-CTIT-04-05, Centre for Telematics and Information Technology University of Twente, Enschede. ISSN 1381-3625
Massink, M. and Katoen, J.P. and Latella, D. (2004) Model checking dependabiliy attributes of wireless group communication. In: Dependable Systems and Networks - Performance and Dependability Symposium (DSN 2003), 28 June - 1 July 2004, Florence, Italy. pp. 711-720. IEEE Computer Society. ISBN 0-7695-2052-9
Mullender, S.J. and Jansen, P.G. (2004) Real Time in a Real Operating System. In: Computer Systems: Theory, Technology, and Applications - A Tribute to Roger Needham. Springer-Verlag, New York, pp. 213-222. ISBN 0-387-20170-X
Nauta, B. (2004) Line driver with adaptive output impedance. Patent EP0913042(B1) (Assigned).
Nieberg, T. and Hurink, J.L. (2004) Local, distributed topology control for large-scale wireless ad-hoc networks. In: International Workshop on Wireless Ad-Hoc Networks, IWWAN 2004, 31 Mar - 03 Jun 2004, Oulu. pp. 79-83. IEEE. ISBN 0-7803-8275-7
Nieberg, T. and Hurink, J.L. (2004) Wireless communication graphs. (Invited) In: Proceeding of the 2004 Intelligent Sensors, Sensor Networks and Information Processing Conference, 14-17 Dec 2004, Melbourne. pp. 367-372. IEEE. ISBN 0-7803-8894-1
Nieberg, T. and Hurink, J.L. and Kern, W. (2004) A Robust PTAS for Maximum Weight Independent Sets in Unit Disk Graphs. In: Graph-Theoretic Concepts in Computer Science: 30th International Workshop, WG 2004, 21-23 Jun 2004, Bad Honnef, Germany. pp. 214-221. Lecture Notes in Computer Science 3353. Springer-Verlag. ISBN 3-540-24132-9
Oosthoek, S. and Jacobsson, M. and Karagiannis, G. (2004) Maintenance of sliding window aggregated state using combination of soft state and explicit release principles. Patent US6687655 (Assigned).
Poel, M. and Seesink, R.A. and Schoute, A.L. and Dierssen, W. and Kooij, N. (2004) Design of a Multi Agent Architecture for Robot Soccer. A Case Study. In: The European Symposium on Intelligent Technologies, Hybrid Systems and their implementation on Smart Adaptive Systems (EUNITE) 2004, 10-12 June 2004, Aachen, Germany. pp. 364-370. ISBN 3-86130-368-X
Rashid, A. and Moreira, A.M. and Tekinerdogan, B. (2004) Special Issue of Early Aspects: Aspect-Oriented Requirements Engineering and Architecture Design. IEE proceedings - software, 151 (4). pp. 153-156. ISSN 1462-5970
Rauwerda, G.K. and Heysters, P.M. and Smit, G.J.M. (2004) Mapping Wireless Communication Algorithms onto a Reconfigurable Architecture. Journal of Supercomputing, 30 (3). pp. 263-282. ISSN 0920-8542 *** ISI Impact 1,088 ***
Rauwerda, G.K. and Heysters, P.M. and Smit, G.J.M. (2004) An OFDM receiver implemented on the coarse-grain reconfigurable Montium processor. In: Proceedings of the 9th International OFDM-Workshop, Dresden, Germany. pp. 197-201. Technische Universität Hamburg-Harburg (TUHH). ISBN not assigned
Rauwerda, G.K. and Smit, G.J.M. (2004) Implementation of a Flexible RAKE Receiver in Heterogeneous Reconfigurable Hardware. In: Proceedings of the International Conference on Field-Programmable Technology. pp. 437-440.
Rauwerda, G.K. and Smit, G.J.M. (2004) Software Defined Radio and Heterogeneous Reconfigurable Hardware. In: 15th Annual Workshop on Circuits, Veldhoven, the Netherlands. pp. 125-132.
Rosien, M.A.J. and Smit, G.J.M. (2004) Mapping a mathematical expression onto a Montium ALU using GNU Bison. In: 5th PROGRESS Symposium on Embedded Systems, Nieuwegein, The Netherlands. pp. 170-180. ISBN 90-73461-41-3
Ruzzelli, A.G. and Evers, L. and Dulman, S.O. and van Hoesel, L.F.W. and Havinga, P.J.M. (2004) On the design of an energy-efficient low-latency integrated protocol for distributed mobile sensor networks. In: 2004 International Workshop on Wireless Ad-Hoc Networks, 31st May - 3rd June, 2004, Oulu, Finland. pp. 35-44. IEEE Computer Society. ISBN 0-7803-8275-7
Schiphorst, R. (2004) Software-Defined Radio for Wireless Local-Area Networks. PhD thesis, University of Twente. CTIT Ph.D.-thesis series No. 04-65 ISBN 90-365-2071-1
Schiphorst, R. and Hoeksema, F.W. and Arkesteijn, V.J. and Slump, C.H. and Klumperink, E.A.M. and Nauta, B. (2004) A GPP-based Software-Defined Radio Front-end for WLAN Standards. (Invited) In: Proceedings of the Fourth IEEE Benelux Signal Processing Symposium, 15-16 Apr 2004, Hilvarenbeek. pp. 203-206. IEEE Benelux Signal Processing Chapter. ISBN not assigned
Schiphorst, R. and Hoeksema, F.W. and Slump, C.H. (2004) Implementation alternatives for a flexible wireless LAN transceiver. Frequenz, Zeitschrift fuer Telekommunikation, 58 (5-6). pp. 140-146. ISSN 0016-1136 *** ISI Impact 0,379 ***
Schiphorst, R. and Hoeksema, F.W. and Slump, C.H. (2004) Implementation Alternatives for a Flexible Wireless LAN Transceiver. In: Proceedings of the Third Karlsruhe Workshop on Software Radios, 17-18 Mar. 2004, Karlsruhe. pp. 85-94. University of Karlsruhe. ISSN 1616-6019
Scholten, J. and Jansen, P.G. (2004) Real-Time Communication in Wireless Home Networks. In: Next Generation Teletraffic and Wired/Wireless Advanced Networking (NEW2AN), St. Petersburg, Russia. pp. 161-167. Tampere university of Technology. ISBN 952-15-1132-X
Scholten, J. and Jansen, P.G. and Hop, L. (2004) Communicating Personal Gadgets. In: 1st IEEE Consumer Communications and Networking Conf. (CCNC), Las Vegas, Nevada. pp. 630-632. IEEE Computer Society. ISBN 0-7803-8146-7
Scholten, J. and Jansen, P.G. and Hop, L. (2004) Routing in Wireless Multimedia Home Networks. In: Int. Conf. On Multimedia And Expo (ICME), Taipei, Taiwan. pp. 1799-1802. IEEE Computer Society. ISBN 0-7803-8604-3
Smit, G.J.M. and Heysters, P.M. and Molenkamp, E. (2004) The Chameleon project in retrospective. In: 5th PROGRESS Symposium on Embedded Systems, Nieuwegein, The Netherlands. pp. 181-184. ISBN 90-73461-41-3
Smit, G.J.M. and Heysters, P.M. and Rosien, M.A.J. and Molenkamp, E. (2004) Lessons Learned from Designing the Montium a Coarse-Grained Reconfigurable Processing Tile. In: Proceedings SOC 2004 International Symposium on System-on-Chip (SoC 2004), Tampere, Finland. pp. 29-33. IEEE Computer Society.
Smit, G.J.M. and Rosien, M.A.J. and Guo, Y. and Heysters, P.M. (2004) Overview of the tool-flow for the Montium Processing Tile. In: Processings International Conference on Engineering of Reconfigurable Systems and Algorithms (ERSA2004), LAs Vegas, USA. pp. 45-51. CSREA Press.
Smit, L.T. and Smit, G.J.M. and Hurink, J.L. (2004) Energy Efficient Wireless Communication for Mobile Multimedia Terminals. Radiomatics - Journal of Communication Engineering special issue on "Advances in Mobile Multimedia", 1 (1). ISSN 1693-5152
Smit, L.T. and Smit, G.J.M. and Hurink, J.L. (2004) Run-time adaptation of a reconfigurable mobile UMTS receiver. In: Proceedings of the International Conference on Engineering of Reconfigurable Systems and Algorithms (ERSA04).
Smit, L.T. and Smit, G.J.M. and Hurink, J.L. and Broersma, H.J. and Paulusma, D. and Wolkotte, P.T. (2004) Run-time mapping of applications to a heterogeneous reconfigurable tiled system on chip architecture. In: Proceedings of the International Conference on Field-Programmable Technology. pp. 421-424.
Smit, L.T. and Smit, G.J.M. and Hurink, J.L. and Broersma, H.J. and Paulusma, D. and Wolkotte, P.T. (2004) Run-time assignment of tasks to multiple heterogeneous processors. In: 5th PROGRESS Symposium on Embedded Systems, Nieuwegein, The Netherlands. pp. 185-192. ISBN 90-73461-41-3
Smit, L.T. and Smit, G.J.M. and Hurink, J.L. and Rauwerda, G.K. (2004) BER estimation for HiperLAN/2. In: Personal Wireless Communications IFIP TC6 9th International Conference, PWC 2004, Delft. pp. 164-179. Lecture Notes in Computer Science 3260. Springer Verlag. ISBN 978-3-540-23162-2
Sundramoorthy, V. and Speelziek, M.D. and van de Glind, G.J. and Scholten, J. (2004) Service Discovery with FRODO. In: 12th IEEE Int. Conf. on Network Protocols (ICNP), Student Poster Session, Berlin, Germany. pp. 24-27. Computer Science Reports. ISSN 1437-7969
Tekinerdogan, B. (2004) ASAAM: Aspectual Sofware Architecture Analysis Method. In: WICSA'04, 12-15 June 2004, Oslo, Norway. pp. 5-14. IEEE Computer Society. ISBN 076952172X
Tekinerdogan, B. and Akşit, M. (2004) Aspecten in Architectuur. Informatie, 46 (1). pp. 22-29. ISSN 0019-9907
Wolkotte, P.T. and Smit, G.J.M. and Smit, L.T. (2004) Complexity analysis for mapping a DRM receiver on a heterogeneous tiled architecture. In: 15th Annual Workshop on Circuits Systems and Signal Processing (ProRISC), Veldhoven, The Netherlands. Technology Foundation STW. ISBN 90-73461-43-X
Wolkotte, P.T. and Smit, G.J.M. and Smit, L.T. (2004) Partitioning of a DRM receiver. In: Proceedings of the 9th International OFDM-Workshop, Dresden, Germany. pp. 299-304. Technische Universität Hamburg-Harburg (TUHH). ISBN not assigned

2003

Andova, S. and Hermanns, H. and Katoen, J.P. (2003) Discrete-time rewards model-checked. In: Formal Modelling and Analysis of Timed Systems (FORMATS 2003). pp. 88-104. Lecture Notes in Computer Science 2791. Springer Verlag. ISSN 0302-9743 ISBN 978-3-540-21671-1
Arkesteijn, V.J. and Schiphorst, R. and Hoeksema, F.W. and Klumperink, E.A.M. and Nauta, B. and Slump, C.H. (2003) A combined receiver front-end for Bluetooth and HiperLAN/2. In: 4th PROGRESS Symposium on Embedded Systems, 22 Oct 2003, Nieuwegein. pp. 7-9. Technology Foundation STW. ISBN 90-73461-37-5
Baier, C. and Haverkort, B.R.H.M. and Hermanns, H. and Katoen, J.P. (2003) Model-checking algorithms for continuous-time Markov chains. IEEE Transactions on Software Engineering, 29 (6). pp. 524-541. ISSN 0098-5589 *** ISI Impact 1,516 ***
Baier, C. and Hermanns, H. and Katoen, J.P. and Wolf, V. (2003) Comparative branching-time semantics for Markov chains. In: Concurrency Theory (CONCUR). pp. 492-507. Lecture Notes in Computer Science 2761. Springer-Verlag. ISBN 978-3-540-40753-9
Brinksma, H. and Mader, A.H. (2003) Prozessalgebra, Teil 1. Automatisierungstechnik, 51 (8). pp. 13-16. ISSN 0178-2312 *** ISI Impact 0,212 ***
Brinksma, H. and Mader, A.H. (2003) Prozessalgebra, Teil 2. Automatisierungstechnik, 51 (9). pp. 17-20. ISSN 0178-2312 *** ISI Impact 0,212 ***
Buchholz, P. and Katoen, J.P. and Kemper, P. and Tepper, C. (2003) Model-checking large structured Markov chains. Journal of Logic and Algebraic Programming, 56 (1-2). pp. 69-97. ISSN 1567-8326 *** ISI Impact 0,579 ***
Di Pietro, R. and Mancini, L.V. and Law, Yee Wei and Etalle, S. and Havinga, P.J.M. (2003) LKHW: A Directed Diffusion-Based Secure Multicast Scheme for Wireless Sensor Networks. In: 32nd Int. Conf. on Parallel Processing Workshops (ICPP), Kaohsiung, Taiwan. pp. 397-406. IEEE Computer Society. ISBN 0-7695-2018-9
van Dijk, H.W. and Sips, H.J. and Deprettere, E.F. (2003) Context-Aware Process Networks. In: 14th IEEE Int. Conf. on Application-Specific Systems, Architectures, and Processors (ASAP), The Hague, The Netherlands. pp. 6-16. IEEE Computer Society. ISBN 0-7695-1992-X
Goga, N. (2003) Experimenting with the probabilistic TorX. In: Software Engineering for High Assurance Systems (SEHAS '03), 9-10 May 2003, Portland, Oregon, USA. pp. 13-20. Software Engineering Institute, Carnegie Mellon University, USA. ISBN not assigned
Goga, N. (2003) A probabilistic coverage for on-the-fly test generation algorithms. In: Proceedings of the 3rd Automated Verification of Critical Systems (AVoCS '03), 2-3 April 2003, Southampton, UK. Technical Report DSSE-TR-2003-2. ECS, University of Southampton. ISBN not assigned
Guo, Y. and Smit, G.J.M. (2003) Template Generation - A Graph Profiling Algorithm. In: 4th PROGRESS Symposium on Embedded Systems, 22 Oct 2003, Nieuwegein, The Netherlands. pp. 96-101. Technology Foundation STW. ISBN 90-73461-37-5
Guo, Y. and Smit, G.J.M. and Broersma, H.J. and Rosien, M.A.J. and Heysters, P.M. (2003) Mapping Applications to a Coarse Grain Reconfigurable System. In: Proceedings of the Asia-Pacific Computer Systems Architecture Conference, 23-26 Sep 2003, Aizu-Wakamtsu. pp. 221-235. Lecture Notes in Computer Science 2823. Springer. ISSN 0302-9743 ISBN 3-540-20122-X
Guo, Y. and Smit, G.J.M. and Heysters, P.M. (2003) Template Generation and Selection Algorithms. In: Proceedings of International Workshop on System-on-Chip for Real-Time Applications 2003, 30 June - 02 July 2003, Calgary, Alberta - Canada. pp. 2-5. IEEE Computer Society. ISBN 0-7695-1944-X
Guo, Y. and Smit, G.J.M. and Heysters, P.M. and Broersma, H.J. (2003) A Graph Covering Algorithm for a Coarse Grain Reconfigurable System. In: Proceedings of LCTES 2003, San Diego, USA. pp. 199-208. ACM. ISBN 1-58113-647-1
Hanssen, F.T.Y. and van den Boom, J. and Jansen, P.G. and Scholten, J. (2003) Time synchronization for an Ethernet-based real-time token network. In: 2nd Int. Workshop on Real-Time LANs in the Internet Age, Porto, Portugal. pp. 71-74. Polytechnic Institute of Porto. ISBN 972-8688-12-1
Hanssen, F.T.Y. and Jansen, P.G. (2003) Real-time communication protocols: an overview. Technical Report TR-CTIT-03-49, Centre for Telematics and Information Technology University of Twente, Enschede. ISSN 1381-3625
Havinga, P.J.M. and Etalle, S. and Karl, H. and Petrioli, C. and Zorzi, M. and Kip, H.J. and Lentsch, T. (2003) EYES -- Energy Efficient Sensor Networks. In: 4th IFIP TC6/WG6.8 Int. Conf on Personal Wireless Communications (PWC), Venice, Italy. pp. 198-201. Springer-Verlag. ISBN 3-540-20123-8
Hermanns, H. and Katoen, J.P. and Meyer-Kayser, J. and Siegle, M. (2003) A tool for model-checking Markov chains. Int. Journal on Software Tools for Technology Transfer, 4 (2). pp. 153-172. ISSN 1433-2779
Heysters, P.M. and Smit, G.J.M. (2003) Mapping of DSP Algorithms on the Montium Architecture. In: Proceedings of RAW 2003, Nice, France.
Heysters, P.M. and Smit, G.J.M. and Molenkamp, E. (2003) Montium - Balancing between Energy-Efficiency, Flexibility and Performance. In: Proceedings of the International Conference on Engineering of Reconfigurable Systems and Algorithms, ERSA'03, 23-26 Jun 2003, Las Vegas, USA. pp. 235-241. ISBN 9781932415056
Heysters, P.M. and Smit, G.J.M. and Molenkamp, E. and Rauwerda, G.K. (2003) Flexibility of the Montium Coarse-Grained Reconfigurable Processing Tile. In: 4th PROGRESS Symposium on Embedded Systems, Nieuwegein, The Netherlands. pp. 102-108. ISBN 90-73461-37-5
Hoeksema, F.W. and Schiphorst, R. and Slump, C.H. (2003) Spectral Weighting Functions for Single-symbol Phase-noise Specifications in OFDM Systems. In: Proceedings of the 8th International OFDM-Workshop, 24-25 Sep 2003, Hamburg. pp. 212-218. Technische Universität Hamburg-Harburg (TUHH). ISBN not assigned
Jansen, P.G. and Hanssen, F.T.Y. and Lijding, M.E.M. (2003) Scheduling of Early Quantum Tasks. In: 15th Euromicro Conf. on Real-Time Systems (ECRTS), Porto, Portugal. pp. 203-210. IEEE Computer Society. ISBN 0-7695-1936-9
Jansen, P.G. and Mullender, S.J. (2003) Real-Time in Plan 9: a short Overview. Technical Report TR-CTIT-03-19, Centre for Telematics and Information Technology University of Twente, Enschede. ISSN 1381-3625
Jansen, P.G. and Mullender, S.J. and Havinga, P.J.M. and Scholten, J. (2003) Lightweight EDF Scheduling with Deadline Inheritance. Technical Report TR-CTIT-03-23, Centre for Telematics and Information Technology University of Twente, Enschede. ISSN 1381-3625
Kavaldjiev, N.K. and Smit, G.J.M. (2003) A Survey of Efficient On-Chip Communications for SoC. In: 4th PROGRESS Symposium on Embedded Systems, Nieuwegein, The Netherlands. pp. 129-140. Technology Foundation STW. ISBN 90-73461-37-5
Langerak, R. and Polderman, J.W. and Krilavičius, T. (2003) Stability Analysis for Hybrid Automata Using Conservative Gains. In: IFAC Conference on Analysis and Design of Hybrid Systems ADHS03, 16-18 June 2003, Saint-Malo, France. pp. 377-382. ISBN not assigned
Lijding, M.E.M. (2003) Real-Time Scheduling of Tertiary Storage. PhD thesis, University of Twente. CTIT Ph.D.-thesis series No. 03-48 ISBN 90-365-1890-3
Lijding, M.E.M. and Jansen, P.G. and Mullender, S.J. (2003) Implementing and Evaluating Jukebox Schedulers Using JukeTools. In: 20th IEEE Symp. on Mass Storage Systems (MSS), San Diego, California. pp. 92-96. IEEE Computer Society. ISBN 0-7695-1914-8
Nieberg, T. and Dulman, S.O. and Havinga, P.J.M. and van Hoesel, L.F.W. and Wu, Jian (2003) Collaborative Algorithms for Communication in Wireless Sensor Networks. In: Ambient Intelligence: Impact on Embedded System Design. Kluwer Academic Publishers, Boston, pp. 271-294. ISBN 1-4020-7668-1
Rauwerda, G.K. and Potman, J. and Hoeksema, F.W. and Smit, G.J.M. (2003) Adaptive Wireless Networking. In: 4th PROGRESS Symposium on Embedded Systems, Nieuwegein, The Netherlands. pp. 205-211. ISBN 90-73461-37-5
Rauwerda, G.K. and Smit, G.J.M. (2003) Adaptivity and Reconfigurability in Wireless Communications. In: 14th Annual Workshop on Circuits, Veldhoven, the Netherlands. pp. 549-554.
Rauwerda, G.K. and Smit, G.J.M. and van Hoesel, L.F.W. and Heysters, P.M. (2003) Mapping Wireless Communication Algorithms to a Reconfigurable Architecture. In: Proceedings of ERSA'03, Las Vegas, USA. pp. 242-251. ISBN 1-932415-05-X
Rosien, M.A.J. and Guo, Y. and Smit, G.J.M. and Krol, T. (2003) Mapping Applications to an FPFA Tile. In: Proceedings of DATE 2003, Munich, Germany. pp. 1124-1125.
Ruys, T.C. and Brinksma, H. (2003) Managing the Verification Trajectory. International journal on software tools for technology transfer, 4 (2). pp. 246-259. ISSN 1433-2779
Schiphorst, R. and Hoeksema, F.W. and Slump, C.H. (2003) A (simplified) Bluetooth Maximum A posteriori Probability (MAP) receiver. In: Proceedings of the fourth IEEE International Workshop on Signal Processing Advances in Wireless Communications, 15-18 Jun 2003, Rome, Italy. pp. 160-164. IEEE Signal Processing Society. ISBN 0-7803-7858-X
Schiphorst, R. and Hoeksema, F.W. and Slump, C.H. (2003) A Bluetooth-enabled HiperLAN/2 receiver. In: Proceedings of the IEEE 58th Vehicular Technology Conference 2003-Fall, 6-9 Oct 2003, Orlando, USA. pp. 3443-3447. IEEE Computer Society. ISSN 1090-3038 ISBN 0-7803-7954-3
Schiphorst, R. and Hoeksema, F.W. and Slump, C.H. (2003) A flexible WLAN receiver. In: Proceedings of the 14th Annual Workshop on Circuits, Systems and Signal Processing, 27-29 Nov 2003, Veldhoven, Netherlands. pp. 555-562. Technology Foundation STW. ISBN 90-73461-39-1
Scholten, J. and Jansen, P.G. and Hanssen, F.T.Y. and Mank, W. and Zwikker, A. (2003) A Real-Time Multimedia Streaming Protocol for Wireless Networks. Technical Report TR-CTIT-03-37, Centre for Telematics and Information Technology University of Twente, Enschede. ISSN 1381-3625
Scholten, J. and Jansen, P.G. and Hanssen, F.T.Y. and Mank, W. and Zwikker, A. (2003) Benchmarking for RTN, a Real-Time Variation on IEEE802.11. Technical Report TR-CTIT-03-39, Centre for Telematics and Information Technology University of Twente, Enschede. ISSN 1381-3625
Smit, L.T. (2003) Energy-Efficient Wireless Communication. PhD thesis, University of Twente. CTIT Ph.D.-thesis series No. 03-60
Smit, L.T. and Smit, G.J.M. (2003) Efficient UMTS. I/O Vivat, 18 (4). pp. 28-32. ISSN 1389-0468
Smit, L.T. and Smit, G.J.M. and Hurink, J.L. (2003) BER Estimation for wireless links using BPSK/QPSK modulation. In: 4th PROGRESS Symposium on Embedded Systems, Nieuwegein, The Netherlands. pp. 212-219. ISBN 90-73461-37-5
Smit, L.T. and Smit, G.J.M. and Hurink, J.L. (2003) Energy-Efficient Wireless Communication for Mobile Multimedia Terminals. In: Proceedings of The International Conference On Advances in Mobile Multimedia (MoMM2003), Jakarta, Indonesia. pp. 115-124. Oesterreichische Computer Gesellschaft. ISBN 3-85403-171-8
Smit, L.T. and Smit, G.J.M. and Hurink, J.L. and Kokkeler, A.B.J. (2003) Soft Output Bit Error Rate Estimation for WCDMA. In: Proceedings of Personal Wireless Communication 2003 conference, Venice, Italy. pp. 448-457.
Sundramoorthy, V. and Scholten, J. and Jansen, P.G. and Hartel, P.H. (2003) Service discovery at home. In: 4th Int. Conf. on Information, Communications & Signal Processing and 4th IEEE Pacific-Rim Conf. On Multimedia (ICICS/PCM), Singapore. pp. 1929-1933. IEEE Computer Society. ISBN 0-7803-8185-8
Tekinerdogan, B. and Akşit, M. (2003) Fuzzy Evaluation of Domain Knowledge. In: Software Engineering with Computational Intelligence. Studies in Fuzziness and Soft Computing 121. Springer Verlag, London, pp. 183-202. ISSN 1434-9922 ISBN 9783540004721
Tretmans, G.J. and Brinksma, H. (2003) TorX: Automated Model-Based Testing. In: First European Conference on Model-Driven Software Engineering, December 11-12, 2003, Nuremberg, Germany. pp. 31-43. ISBN not assigned

2002

Brinksma, H. and Larsen, K.G., ed. (2002) Computer Aided Verification. Lecture Notes in Computer Science 2404. Springer Verlag, Berlin. ISSN 0302-9743 ISBN 3-540-43997-8
Hermanns, H. and Segala, R., ed. (2002) Process Algebra and Probabilistic Methods, Performance Modeling and Verification. Lecture Notes in Computer Science 2399. Springer-Verlag, Copenhagen, Denmark. ISSN 0302-9743 ISBN 3-540-43913-7
Arkesteijn, V.J. and Schiphorst, R. and Hoeksema, F.W. and Klumperink, E.A.M. and Nauta, B. and Slump, C.H. (2002) A Software Defined Radio Test-bed for WLAN Front Ends. In: 3rd PROGRESS workshop on Embedded Systems, 24 Oct 2002, Utrecht, Netherlands. pp. 1-4. Technology Foundation STW. ISBN 90-73461-34-0
Bach, W. and Dam, D. and Evers, L. and Jonker, Misha and Scholten, J. and Havinga, P.J.M. (2002) An Iterative Quality-based Localization Algorithm for Ad Hoc Networks. Technical Report TR-CTIT-02-51, Centre for Telematics and Information Technology University of Twente, Enschede. ISSN 1381-3625
Baier, C. and Haverkort, B.R.H.M. and Hermanns, H. and Katoen, J.P. (2002) Automated performance and dependability evaluation using model checking. In: Computer Performance Evaluation. Lecture Notes in Computer Science 2459. Springer Verlag, Berlin, pp. 261-289. ISBN 3-540-44252-9
Baier, C. and Katoen, J.P. and Hermanns, H. and Haverkort, B.R.H.M. (2002) Simulation for continuous-time Markov chains. In: CONCUR 2002 - Concurrency Theory, 13th International Conference, August 20-23, 2002, Brno, Czech Republic. pp. 473-489. Lecture Notes in Computer Science 2421. Springer. ISBN 3-540-44043-7
Belinfante, A.F.E. (2002) Timed Testing with TorX: The Oosterschelde Storm Surge Barrier. In: Handout 8e Nederlandse Testdag, 20 Nov 2002, Rotterdam, the Netherlands. CMG. ISBN not assigned
Berkhoff, A.P. (2002) Identification and control of acoustic radiation modes. In: Proceedings of the 8th Mechatronics Forum, Mechatronics 2002, 24-26 Jun 2002, Enschede. pp. 1397-1406. Drebbel Institute, University of Twente. ISBN 9036517664
Berkhoff, A.P. and Lemmen, R.L.C. (2002) Leaf spring, and electromagnetic actuator provided with a leaf spring. Patent WO2002NL00113 (Application).
Boonstra, A.J. and Leshem, A. and van der Veen, A.J. and Kokkeler, A.B.J. and Schoonderbeek, G. (2002) The effect of blanking of TDMA interference on radio-astronomical observations: experimental results. In: 2000 IEEE International Conference on Accoustics, Speech, and Signal Processing, 05-09 June 2000, Istanbul, Turkey. pp. 3546-3549. Acoustics, Speech, and Signal Processing 6. IEEE Computer Society. ISBN 0-7803-6293-4
Brinksma, H. and Mader, A.H. (2002) Model checking embedded system designs. (Invited) In: 6th Int. Workshop on Discrete Event Systems (WODES), Zaragoza, Spain. pp. 151-158. IEEE Computer Society. ISBN 0-7695-1683-1
Distefano, D.S. and Rensink, A. and Katoen, J.P. (2002) Model checking birth and death. In: Foundations of Information Technology in the Era of Network and Mobile Computing: 2nd IFIP International Conference on Theoretical Computer Science (TCS), Quebec, Canada. pp. 435-447. IFIP Proceedings 223. Kluwer Academic Publishers. ISBN 1402071817
Donckers, L. and Havinga, P.J.M. and Smit, G.J.M. and Smit, L.T. (2002) Enhancing Energy Efficient TCP by Partial Reliability. In: Proc. of 13th IEEE International Symposium on Personal, indoor and mobile radio communications (PIMRC'2002). pp. 2424-2428. ISBN 0-7803-7589-0
Donckers, L. and Havinga, P.J.M. and Smit, G.J.M. and Smit, L.T. (2002) Energy Efficient TCP. In: Proceedings of the 2nd Asian International Mobile Computing Conference (AMOC 2002). pp. 18-28.
Dulman, S.O. and Nieberg, T. and Havinga, P.J.M. and Hartel, P.H. (2002) Multipath Routing for Data Dissemination in Energy Efficient Sensor Networks. Technical Report TR-CTIT-02-20, Centre for Telematics and Information Technology University of Twente, Enschede. ISSN 1381-3625
Evers, L. and Bach, W. and Dam, D. and Jonker, Misha and Scholten, J. and Havinga, P.J.M. (2002) An Iterative Quality-Based Localization Algorithm for Ad Hoc Networks. In: 1st Int. Conf. on Pervasive Computing (Pervasive), Zurich, Switzerland. pp. 55-61. ETH.
Feijs, L.M.G. and Goga, N. and Mauw, S. and Tretmans, G.J. (2002) Test Selection, Trace Distance and Heuristics. In: Testing of Communicating Systems XIV, Applications to Internet Technologies and Services, Proceedings of the IFIP 14th International Conference on Testing Communicating Systems - TestCom, March 19-22, 2002, Berlin, Germany. pp. 267-282. IFIP Conference Proceedings 210. Kluwer Academic Publishers. ISBN 0-7923-7695-1
Gorter, J. and Gorter, O. and de Keijzer, A. and Speekenbrink, D.G. and Havinga, P.J.M. and Smit, G.J.M. and Heysters, P.M. (2002) WCRP - A WAP based multi-vehicle Personal Navigation Service. In: Proceedings 2nd Asian International Mobile Computing conference (AMOC2002), 15-17 May 2002, Malaysia. pp. 69-75. ISBN 983-40633-1-8
Guo, Y. and Smit, G.J.M. (2002) Mapping and Scheduling of Directed Acyclic Graphs on An FPFA Tile. In: 3rd PROGRESS workshop on Embedded Systems, Utrecht, The Netherlands. pp. 57-65. Technology Foundation STW. ISBN 90-73461-34-0
Hanssen, F.T.Y. and Hartel, P.H. and Hattink, T. and Jansen, P.G. and Scholten, J. and Wijnberg, J. (2002) A Real-Time Ethernet Network at Home. In: Proceedings Euromicro International Conference on Real-Time Systems 2002, 19-21 Jun 2002, Vienna, Austria. pp. 5-8. Research report 36/2002. Real-Time Systems Group.
Haverkort, B.R.H.M. and Cloth, L. and Hermanns, H. and Katoen, J.P. and Baier, C. (2002) Model-checking performability properties. In: International IEEE Conference on Dependable Systems and Networks (DSN), 23-26 June 2002, Bethesda, MD, USA. pp. 103-112. IEEE Computer Society. ISBN 0-7695-1597-5
Hermanns, H. (2002) Interactive Markov Chains and the Quest for Quantified Quality. Lecture Notes in Computer Science 2428. Springer-Verlag, Berlin. ISSN 0302-9743 ISBN 3-540-44261-8
Hermanns, H. (2002) On Combining Functional Verification and Performance Evaluation Using CADP. In: FME 2002: Formal Methods - Getting IT Right, International Symposium of Formal Methods Europe, July 22-24, 2002, Copenhagen, Denmark. pp. 410-429. Lecture Notes in Computer Science 2391. Springer-Verlag. ISBN 3-540-43928-5
Hermanns, H. and Herzog, U. and Katoen, J.P. (2002) Process algebra for performance evaluation. Theoretical Computer Science, 274 (1-2). pp. 43-87. ISSN 0304-3975 *** ISI Impact 0,643 ***
Hermanns, H. and Katoen, J.P. (2002) Guest editors' introduction: Model checking in a nutshell. Journal of Logic and Algebraic Programming, 52-53. pp. 1-5. ISSN 1567-8326 *** ISI Impact 0,579 ***
Heysters, P.M. and Bouma, H. and Smit, J. and Smit, G.J.M. and Havinga, P.J.M. (2002) A reconfigurable function array architecture for 3G and 4G wireless terminals. In: World Wireless Congress, San Francisco, California. pp. 399-405. Delson Group. ISSN 1529-2592
Heysters, P.M. and Smit, L.T. and Smit, G.J.M. and Havinga, P.J.M. (2002) Max-Log-MAP Mapping on an FPFA. In: IInternational Conference on Engineering of Reconfigurable Systems and Algorithms, ERSA 2002, Las Vegas, Nevada. pp. 90-96. CSREA Press. ISBN 1-892512-96-3
Hoeksema, F.W. and Schiphorst, R. and Slump, C.H. (2002) Specification for Digital Channel Selection Filters in a Bluetooth Capable HiperLAN/2 Receiver. In: Proceedings of the Second Karlsruhe Workshop on Software Radios, 20-21 Mar 2002, Karlsruhe. pp. 41-49. University of Karlsruhe. ISSN 1616-6019
van Hoesel, L.F.W. and Hoeksema, F.W. and Schiphorst, R. and Arkesteijn, V.J. and Slump, C.H. (2002) Frequency Offset Correction in a Software Defined HiperLAN/2 Demodulator Using Preamble Section A. In: Proceedings of the Third international Symposium on Mobile Multimedia Systems & Applications, 6 Dec 2002, Delft, Netherlands. pp. 51-62. TU Delft. ISBN 90-9016467-7
Hurink, J.L. and Knust, S. (2002) A tabu search algorithm for scheduling a single robot in a job-shop environment. Discrete applied mathematics, 119 (1-2). pp. 181-203. ISSN 0166-218X *** ISI Impact 0,722 ***
Jacobs, J.W.M. (2002) Developing a Raster detector system with the J array processing language. Computing & Control Engineering Journal, 13 (6). pp. 299-304. ISSN 0956-3385
Jansen, P.G. and Hanssen, F.T.Y. and Mullender, S.J. (2002) ClockWork: a Real-Time Feasibility Analysis Tool. Technical Report TR-CTIT-02-12, Centre for Telematics and Information Technology University of Twente, Enschede. ISSN 1381-3625
Lijding, M.E.M. and Hanssen, F.T.Y. and Jansen, P.G. (2002) A Case Against Periodic Jukebox Scheduling. Technical Report TR-CTIT-02-47, Centre for Telematics and Information Technology University of Twente, Enschede. ISSN 1381-3625
Lijding, M.E.M. and Jansen, P.G. and Mullender, S.J. (2002) A Flexible Real-time Hierarchical Multimedia Archive. In: Joint Int. Workshop on Interactive Distributed Multimedia Systems / Protocols for Multimedia Systems (IDMS/PROMS), Coimbra, Portugal. pp. 229-240. Springer-Verlag. ISBN 3-540-00169-7
Lijding, M.E.M. and Mullender, S.J. and Jansen, P.G. (2002) A Comprehensive Model of Tertiary-storage Jukeboxes. Technical Report TR-CTIT-02-41, Centre for Telematics and Information Technology University of Twente, Enschede. ISSN 1381-3625
Lohrey, M. and D'Argenio, P.R. and Hermanns, H. (2002) Axiomatising Divergence. In: Automata, Languages and Programming, 29th International Colloquium, ICALP 2002. pp. 585-596. Lecture Notes In Computer Science 2380. Springer Verlag. ISSN 0302-9743 ISBN 3-540-43864-5
Mansour, O. and Molenkamp, E. and Krol, T. (2002) Minimum waste scheduling of dynamic variable-latency and non-manifest fuctional units. In: 3rd PROGRESS workshop on Embedded Systems, Veldhoven, The Netherlands. pp. 116-123. Technology Foundation STW. ISBN 90-73461-34-0
Mansour, O. and Molenkamp, E. and Krol, T. (2002) The Synthesis of a Hardware Scheduler for Non-Manifest Loops. In: Euromicro Symposium on Digital System Design (DSD'02), 4-6 Sep 2002, Dortmund, Germany. pp. 78-85. ISBN 0-7695-1790-0
Mesman, B. and Spaanenburg, L. and Brinksma, H. and Deprettere, E.F. and Verhulst, E. and Timmer, F. and van Gageldonk, H. and Eggermont, L.D.J. and van Leuken, R. and Krol, T. and Hendriksen, W. (2002) Embedded Systems Roadmap -- Vision on technology for the future of PROGRESS. Technology Foundation STW, Utrecht. ISBN 90-73461-30-8
van Mourik, L.C. and Schiphorst, R. and Hoeksema, F.W. and Slump, C.H. (2002) Performance evaluation of a combined HiperLAN/2-Bluetooth digital front-end. In: Proceedings of the 13th Annual Workshop on Circuits, Systems and Signal Processing, 27-29 Nov 2002, Veldhoven, Netherlands. pp. 357-366. Technology Foundation STW. ISBN 90-73461-33-2
Rosien, M.A.J. and Smit, G.J.M. and Krol, T. (2002) Generating a CDFG from C/C++ code. In: 3rd PROGRESS workshop on Embedded Systems, Veldhoven, The Netherlands. pp. 200-202. Technology Foundation STW. ISBN 90-73461-34-0
Schiphorst, R. and Hoeksema, F.W. and Slump, C.H. (2002) Bluetooth demodulation algorithms and their performance. In: Proceedings of the Second Karlsruhe Workshop on Software Radios, 20-21 Mar 2002, Karlsruhe. pp. 99-106. University of Karlsruhe. ISSN 1616-6019
Scholten, J. and Jansen, P.G. and Hanssen, F.T.Y. and Hartel, P.H. and Hattink, T. and Sundramoorthy, V. (2002) Multimedia QoS in low-cost home networks. In: 27th Annual IEEE Conf. on Local Computer Networks (LCN), Tampa, Florida. pp. 327-328. IEEE Computer Society. ISBN 0-7695-1591-6
Scholten, J. and Jansen, P.G. and Hanssen, F.T.Y. and Hattink, T. (2002) RTnet, a new approach to in-home real-time multimedia communication. In: 12th IEEE Workshop on Local and Metropolitan Area Networks, Stockholm, Sweden. pp. 15-19. ISBN not assigned
Scholten, J. and Jansen, P.G. and Hanssen, F.T.Y. and Hattink, T. (2002) An In-Home Digital Network Architecture for Real-Time and Non-Real-Time Communication. In: IEEE Region 10 Int. Conf. on Computers, Communications, Control and Power Engineering (TENCON), Beijing, China. pp. 728-731. IEEE Computer Society. ISBN 0-7803-7491-6
Smit, G.J.M. and Havinga, P.J.M. and Smit, L.T. and Heysters, P.M. and Rosien, M.A.J. (2002) Dynamic Reconfiguration in Mobile Systems. In: 12th Int. Conf. on Field Programmable Logic and Applications: Reconfigurable Computing Is Going Mainstream (FPL), Montpellier, France. pp. 171-181. Springer-Verlag. ISBN 3-540-44108-5
Smit, L.T. and Smit, G.J.M. and Havinga, P.J.M. and Hurink, J.L. and Broersma, H.J. (2002) Run-Time Control For Software Defined Radio. In: 3rd PROGRESS workshop on Embedded Systems, Veldhoven, The Netherlands. pp. 218-223. Technology Foundation STW. ISBN 90-73461-34-0
Smit, L.T. and Smit, G.J.M. and Havinga, P.J.M. and Hurink, J.L. and Broersma, H.J. (2002) Influences of RAKE Receiver/Turbo Decoder Parameters on Energy Consumption and Quality. In: 2002 International Conference On Third Generation Wireless and Beyond, 28-31 May 2002, San Francisco, USA. pp. 175-180. Delson. ISSN 1529-2592
Taal, J. and Langendoen, K.G. and van der Schaaf, A. and van Dijk, H.W. and Lagendijk, R.L. (2002) Adaptive end-to-end optimization of mobile video streaming using QoS negotiation. In: Int. Symp. on Circuits and Systems (ISCAS) -- special session on Multimedia over Wireless Networks, Scottsdale, Arizona. pp. 53-56. IEEE Computer Society.
Tretmans, G.J. and Brinksma, H. (2002) Côte de Resyste -- Automated Model Based Testing. In: 3rd PROGRESS workshop on Embedded Systems, Veldhoven, The Netherlands. pp. 246-255. Technology Foundation STW. ISBN 90-73461-34-0
Usenko, Y.S. (2002) Linearization of μ-CRL specifications. Extended abstract. In: 3rd International Workshop on Verification and Computational Logic (VCL2002), Southampton, UK. Technical Report DSSE-TR-2002-5. Department of electronics and computer science. ISBN not assigned
de Vries, R.G. and Belinfante, A.F.E. and Feenstra, J. (2002) Automated Testing in Practice: The Highway Tolling System. In: Proceedings of the IFIP 14th International Conference on Testing Communicating Systems XIV. pp. 219-234. IFIP Conference Proceedings 210. Kluwer Academic Publishers. ISBN 0-7923-7695-1
Wu, Gang and Havinga, P.J.M. and Mizuno, M. (2002) MIRAI Architecture for Heterogeneous Network. IEEE Communications Magazine, 40 (2). pp. 126-134. ISSN 0163-6804 *** ISI Impact 5,125 ***

2001

Brinksma, H. and Hermanns, H. and Katoen, J.P., ed. (2001) Lectures on Formal Methods and Performance Analysis. Lecture Notes in Computer Science 2090. Springer Verlag, Berlin. ISSN 0302-9743 ISBN 3-540-42479-2
Tretmans, G.J. and Brinksma, H., ed. (2001) Formal Approaches to Testing of Software FATES'01. Technical Report NS-01-4, BRICS Notes Series, Arhus, Denmark. ISSN 0909-3206
Akşit, M. and Tekinerdogan, B. (2001) Deriving Design Alternatives based on Quality Factors. In: Software Architectures and Component Technology. International Series in Engineering and Computer Science. Kluwer Academic Publishers, Dordrecht, pp. 225-258. ISBN 9780792375760
Belinfante, A.F.E. and Brinksma, H. and Feenstra, J. and Tretmans, G.J. and de Vries, R.G. (2001) Côte de Resyste -- Automatic Model-Based Testing of Communication Protocols. In: Mobile Communications in Perspective -- 7th Annual CTIT Workshop. pp. 49-51. Centre for Telematics and Information Technology University of Twente. ISBN 90-3651-546-7
Belinfante, A.F.E. and Feenstra, J. and Heerink, A.W. and de Vries, R.G. (2001) Specification based formal testing: the EasyLink case study. In: 2nd PROGRESS Workshop on Embedded Systems, October 18, 2000, Utrecht, the Netherlands. pp. 73-82. Technology Foundation STW. ISBN 90-73461-26-X
Bolks, M. and Hanssen, F.T.Y. and Abelmann, L. and Havinga, P.J.M. and Hartel, P.H. and Jansen, P.G. and Lodder, J.C. and Smit, G.J.M. (2001) Micro Scanning Probe Array memory µSPAM. In: 2nd PROGRESS workshop on Embedded Systems, Veldhoven, The Netherlands. pp. 17-26. Technology Foundation STW. ISBN 90-73461-26-X
Brinksma, H. (2001) Verification is experimentation! Software Tools for Technology Transfer, 3 (2). pp. 107-217. ISSN 1433-2779
Brinksma, H. and Hermanns, H. (2001) Process Algebra and Markov Chains. In: Lectures on Formal Methods and Performance Analysis. Lecture Notes in Computer Science 2090. Springer Verlag, Berlin, pp. 183-231. ISBN 3-540-42479-2
Brinksma, H. and Tretmans, G.J. (2001) Testing Transition Systems: An Annotated Bibliography. In: Modeling and Verification of Parallel Processes, 4th Summer School, MOVEP 2000, June 19-23, 2000, Nantes, France. pp. 187-195. Lecture Notes in Computer Science 2067. Springer-Verlag. ISBN 3-540-42787-2
D'Argenio, P.R. and Hermanns, H. and Katoen, J.P. and Klaren, R. (2001) Modelling stochastic timed systems. In: 2nd PROGRESS workshop on Embedded Systems, 18 Oct 2001, Veldhoven, The Netherlands. pp. 31-36. Technology Foundation STW. ISBN 90-73461-26-X
van Doesburg, M.J.S. and Smit, J. (2001) Multiprocessor Iso-surface Volume Rendering. In: SPIE Medical Imaging, 2001-02-18/2001-02-20, San Diego, California, USA. pp. 642-653. 2 4319 (24). SPIE. ISSN 1605-7422
Doppenberg, E.J.J. and Berkhoff, A.P. and van Overbeek, M.W.R.M. (2001) Smart Materials and Active Noise and Vibration Control in Vehicles. In: Advances in Automotive Control 2001: Proceedings of the 3rd IFAC Workshop on Advances in Automotive Control, 28-30 Mar 2001, Karlsruhe, Germany. pp. 205-213. Pergamon Press. ISBN 9780080436784
van Foreest-Timp, S. (2001) Iso-surface volume rendering for implant surgery. In: Proceedings of the 15th International Congress and Exhibition on Computer Assisted Radiology and Surgery CARS, 27-30 Jun 2001, Berlin, Germany. pp. 733-738. International Congress Series 1230. Elsevier Science B.V.. ISBN 0-444-50866-X
Havinga, P.J.M. and Smit, G.J.M. (2001) Energy-efficient wireless networking for multimedia applications. Wireless Communications and Mobile Computing (WCMC), 1 (2). pp. 165-184. ISSN 1530-8669 *** ISI Impact 0,922 ***
Havinga, P.J.M. and Smit, G.J.M. (2001) QoS scheduling for energy-efficient wireless communication. In: Int. Conf. on Information Technology: Coding and Computing (ITCC), Las Vegas, Nevada. pp. 167-171. IEEE Computer Society.
Havinga, P.J.M. and Smit, L.T. and Smit, G.J.M. and Bos, M. and Heysters, P.M. (2001) Energy management for dynamically reconfigurable heterogeneous mobile systems. (Invited) In: 15th International Parallel and Distributed Processing Symposium, IPDPS 2001, 23-27 Apr 2001, San Francisco, CA, USA. pp. 840-852. IEEE Computer Society. ISBN 0-7695-0990-8
Hermanns, H. (2001) Construction and Verification of Performance and Reliability Models. Bulletin of the European Association for Theoretical Computer Science, 74. pp. 135-153. ISSN 0252-9742
Hermanns, H. and Katoen, J.P. (2001) Performance evaluation:= (process algebra + model checking) x Markov chains. (Invited) In: CONCUR 2001 - Concurrency Theory: 12th International Conference, 20-25 Aug 2001, Aalborg, Denmark. pp. 59-81. Lecture Notes in Computer Science 2154. Springer. ISBN 3-540-42497-0
Hermanns, H. and Katoen, J.P. and Meyer-Kayser, J. (2001) Implementing a Model Checker for Performability Behaviour. In: Fifth International Workshop on Performability Modeling of Computer and Communication Systems (PMCCS 5), September 15-16, 2001, Erlangen, Germany. pp. 110-114. Arbeitsberichte des IMMD 34 (13). University of Erlangen. ISSN 0344-3515
Hermanns, H. and Katoen, J.P. and Meyer-Kayser, J. and Siegle, M. (2001) A model checker for performance and dependability properties. In: 2nd PROGRESS workshop on Embedded Systems, 18 Oct 2001, Veldhoven, The Netherlands. pp. 83-88. Technology Foundation STW. ISBN 90-73461-26-X
Heysters, P.M. and Bouma, H. and Smit, J. and Smit, G.J.M. and Havinga, P.J.M. (2001) Reconfigurable System Design: The Control Part. In: 2nd PROGRESS workshop on Embedded Systems, Veldhoven, The Netherlands. ISBN 90-73461-26-X
Hoeksema, F.W. and Schiphorst, R. and Slump, C.H. (2001) Functional Analysis of a SDR Based Bluetooth/HiperLAN Terminal Demonstrator. In: 2nd PROGRESS workshop on Embedded Systems, 18 October 2000, Veldhoven, Netherlands. pp. 95-106. Technology Foundation STW. ISBN 90-73461-27-8
Infante-Lopez, G.G. and Hermanns, H. and Katoen, J.P. (2001) Beyond memoryless distributions: model checking semi-Markov chains. In: Process Algebra and Probabilistic Methods. Performance Modeling and Verification: Joint International Workshop, PAPM-PROBMIV 2001, 12-14 Sep 2001, Aachen, Germany. pp. 57-70. Lecture Notes in Computer Science 2165. Springer Verlag. ISBN 3-540-42556-X
Karagiannis, G. and Heijenk, G.J. and El Malki, K. and Soliman, H. (2001) Seamless handoff in Mobile IP. Patent US20010084879 (Application).
Karagiannis, G. and Rexhepi, V. (2001) Jitter reduction in Differentiated Services (Diffserv) networks. Patent US20010895527 (Application).
Katoen, J.P. and Kwiatkowska, M.Z. and Norman, G. and Parker, D.A. (2001) Faster and symbolic CTMC model checking. In: Process Algebra and Probabilistic Methods, Performance Modeling and Verification: Joint International Workshop, PAPM-PROBMIV 2001, September 12-14, 2001, Aachen, Germany. pp. 23-38. Lecture Notes in Computer Science 2165. Springer. ISSN 0302-9743 ISBN 3-540-42556-X
Kluwer, T. and Slump, C.H. and Schiphorst, R. and Hoeksema, F.W. (2001) Development of a smart-antenna test-bed, demonstrating software defined digital beamforming. In: Proceedings of the 12th Annual Workshop on Circuits, Systems and Signal Processing, 28-30 Nov 2001, Veldhoven, Netherlands. pp. 459-465. Technology Foundation STW. ISBN 90-73461-29-4
Kokkeler, A.B.J. and Fridman, P. and van Ardenne, A. (2001) Degradation due to quantization noise in radio astronomy phased arrays. Experimental Astronomy, 11 (1). pp. 33-56. ISSN 0922-6435 *** ISI Impact 2,867 ***
Larsen, K.G. and Behrmann, G. and Brinksma, H. and Fehnker, A. and Petterson, P. and Romijn, J.M.T. (2001) As Cheap as Possible:Efficient Cost-Optimal Reachability for Priced Timed Automata. In: Computer Aided Verification, 13th International Conference, CAV 2001, July 18-22, 2001, Paris, France. pp. 493-505. Lecture Notes in Computer Science. Springer Verlag. ISBN 3-540-42345-1
Lijding, M.E.M. and Jansen, P.G. and Mullender, S.J. (2001) Real-time scheduling of a tertiary-storage juke-box. In: 2nd PROGRESS workshop on Embedded Systems, Veldhoven, The Netherlands. pp. 135-140. Technology Foundation STW. ISBN 90-73461-26-X
Mansour, O. and Etalle, S. and Krol, T. (2001) Scheduling and Allocation of Non-Manifest Loops on Hardware Graph-Models. In: 2nd PROGRESS workshop on Embedded Systems, 18 Oct 2001, Veldhoven, The Netherlands. pp. 153-160. Technology Foundation STW. ISBN 90-73461-26-X
Oliván Bescós, J. and Bosma, M.K. and Smit, J. (2001) Accurate measurements in volume data. In: Medical Imaging 2001: Visualization, Display, and Image-Guided Procedures, 18-20 Feb 2001, San Diego, California, USA. pp. 634-641. Proceedings of SPIE 4319. SPIE. ISBN 9780819440051
Schiphorst, R. and Hoeksema, F.W. and Slump, C.H. (2001) The Front end of Software-Defined Radio: Possibilities and Challenges. In: Proceedings of the 7th Annual CTIT Workshop on Mobile Communications in Perspective, 7 Feb 2001, Enschede. pp. 97-100. Centre for Telematics and Information Technology University of Twente. ISBN 90-365-1546-7
Schiphorst, R. and Hoeksema, F.W. and Slump, C.H. (2001) Channel Selection requirements for Bluetooth receivers using a simple demodulation algorithm. In: Proceedings of the 12th Annual Workshop on Circuits, Systems and Signal Processing, 28-30 Nov 2001, Veldhoven, Netherlands. pp. 584-591. Technology Foundation STW. ISBN 90-73461-29-4
Smit, G.J.M. and Havinga, P.J.M. and Scholten, J. (2001) Architectures for Ubiquitous Computing. PT embedded systems, 3 (2002). pp. 8-11. ISSN 1389-1405
Smit, L.T. and Smit, G.J.M. and Havinga, P.J.M. (2001) Parameter Selection At Run-Time To Optimize Energy Efficiency. In: 2nd PROGRESS workshop on Embedded Systems. pp. 227-235. ISBN 90-73461-26-X
Smit, L.T. and Smit, G.J.M. and Havinga, P.J.M. and Huisken, J.A. and Goossens, K.G.W. and Dielissen, J.T.M.H. (2001) Towards A Model for Making A Trade-off Between QoS And Costs. In: Proceedings 7th annual CTIT workshop 'Mobile Communications in Perspective'. pp. 105-109.
Tekinerdogan, B. and Akşit, M. (2001) Synthesis-Based Software Architecture Design. In: Software Architectures and Component Technology. International Series in Engineering and Computer Science. Kluwer Academic Publishers, Dordrecht, pp. 143-174. ISBN 9780792375760
Tretmans, G.J. (2001) Bugs buitensluiten - Automatisch testen vergroot kwaliteit software. De Ingenieur, 113 (2). pp. 24-25. ISSN 0020-1146
Tretmans, G.J. and Wijbrans, K.C.J. and Chaudron, M. (2001) Software Engineering with Formal Methods: The Development of a Storm Surge Barrier Control System - Revisiting Seven Myths of Formal Methods. Formal Methods in System Design, 19 (2). pp. 195-215. ISSN 0925-9856 *** ISI Impact 1,132 ***
Vermeulen, R.C.N. and Lemmen, R.L.C. and Berkhoff, A.P. and Verheij, J.W. (2001) Active cancellation of unwanted excitation when measuring dynamic stiffness of resilient elements. In: Proceedings of the International Congress on Noise Control Engineering, Internoise 2001, 27-30 Aug 2001, The Hague, Netherlands. pp. 953-956. I-INCE. ISBN 90-806554-2-2
de Vries, R.G. (2001) Towards Formal Test Purposes. In: Formal Approaches to Testing of Software 2001 (FATES'01), August 25, 20, Aarhus, Denmark. pp. 61-76. BRICS Notes Series NS-01-4. ISSN 0909-3206
Wu, Gang and Havinga, P.J.M. and Mizuno, M. (2001) Wireless Internet over heterogeneous wireless networks. In: Global Telecommunications Conf. (GLOBECOM), San Antonio, Texas. pp. 1759-1765. IEEE Computer Society.

2000

Scholten, J. and van Sinderen, M.J., ed. (2000) Interactive Distributed Multimedia Systems and Telecommunication Services. Lecture Notes in Computer Science 1905. Springer, Berlin, Germany. ISBN 3-540-41130-5
Akşit, M. and Marcelloni, F. and Tekinerdogan, B. (2000) Developing object-oriented framworks using domain models. ACM computing surveys, 32 (1). ISSN 0360-0300 *** ISI Impact 5,243 ***
Baier, C. and Haverkort, B.R.H.M. and Hermanns, H. and Katoen, J.P. (2000) Model checking continuous-time Markov chains by transient analysis. In: Computer Aided Verification, 12th International Conference, CAV 2000, July 15-19, 2000, Chicago, IL, USA. pp. 358-372. Lecture Notes in Computer Science 1855. Springer Verlag. ISBN 3-540-67770-4
Baier, C. and Haverkort, B.R.H.M. and Hermanns, H. and Katoen, J.P. (2000) On the Logical Characterisation of Performability Properties. In: International Conference on Automata, Languages and Programming (ICALP), 10-14 July 2000, Geneva, Switserland. pp. 780-792. Lecture Notes in Computer Science 1853. Springer. ISBN 9783540677154
Belinfante, A.F.E. and de Vries, R.G. and Du Bousquet, L. and Ramangalahy, S. and Simon, S. and Viho, C. (2000) Formal Test Automation: The Conference protocol with TGV/TorX. In: Testing of Communicating Systems: Tools and Techniques, IFIP TC6/WG6.1 13th International Conference on Testing Communicating Systems (TestCom 2000), August 29 - September 1, 2000, Ottawa, Canada. pp. 221-228. IFIP Conference Proceedings 176. Kluwer Academic Publishers. ISBN 0-7923-7921-7
Bos, M. and Havinga, P.J.M. and Smit, G.J.M. (2000) Channel Communication and Reconfigurable Hardware. In: 1st PROGRESS workshop on Embedded Systems, 13 Oct. 2001. Technology Foundation STW. ISBN 90-73461-25-1
Bosch, H.G.P. and Mullender, S.J. (2000) Real-time disk scheduling in a mixed-media file system. In: 6th Real-Time Technology and Application Symp. (RTAS), Washington, DC. pp. 23-32. IEEE Computer Society. ISBN 0769507131
Brinksma, H. (2000) Verification Is Experimentation! In: CONCUR 2000 - Concurrency Theory, 11th International Conference, August 22-25, 2000, University Park, PA, USA. pp. 17-24. Lecture Notes in Computer Science 1877. Springer Verlag. ISBN 3-540-67897-2
van Dijk, H.W. and Langendoen, K.G. and Sips, H.J. (2000) ARC: A Bottom-Up Approach to Negotiated QoS. In: 3rd IEEE Workshop on Mobile Computing Systems and Applications (WMCSA), Monterey, California. pp. 128-137. IEEE Computer Society. ISBN 0-7695-0816-2
Garvels, M.J.J. (2000) The splitting method in rare event simulation. PhD thesis, University of Twente. CTIT Ph.D.-thesis series No. 00-31 ISBN 90-365-14320
Haverkort, B.R.H.M. and Hermanns, H. and Katoen, J.P. (2000) On the Use of Model Checking Techniques for Quantitative Dependability Evaluation. In: 9th IEEE Symposium on Reliable Distributed Systems, SRDS 2000, 16-18 October 2000, Nürnberg, Germany. pp. 228-237. IEEE Computer Society. ISBN 0769505430
Havinga, P.J.M. (2000) Mobile Multimedia Systems. PhD thesis, University of Twente. ISBN 90-365-1406-1
Havinga, P.J.M. and Smit, G.J.M. and Bos, M. (2000) Energy efficient wireless ATM design. Mobile Networks and Applications (MONET), Special issue on Wireless Mobile ATM technologies, 5 (2). pp. 147-155. ISSN 1383-469X *** ISI Impact 1,538 ***
Heerink, A.W. and Feenstra, J. and Tretmans, G.J. (2000) Formal Test Automation: The Conference Protocol with PHACT. In: Proceedings of the IFIP TC6/WG6.1 13th International Conference on Testing Communicating Systems: Tools and Techniques. pp. 211-220. IFIP Conference Proceedings 176. Kluwer Academic Publishers. ISBN 0-7923-7921-7
Hermanns, H. (2000) Performance and reliability model checking and model construction. (Invited) In: Formal Methods for Industrial Critical Systems, 5th International Workshop, FMICS 2000, 3-4 April 2000, Berlin, Germany. pp. 11-27. report 91. GMD. ISSN 1435-2702
Hermanns, H. and Herzog, U. and Klehmet, U. and Mertsiotakis, V. and Siegle, M. (2000) Compositional Performance Modelling with the TIPPtool. Performance Evaluation, 39 (1-4). pp. 5-35. ISSN 0166-5316 *** ISI Impact 0,944 ***
Hermanns, H. and Katoen, J.P. (2000) Automated compositional Markov chain generation for a plain-old telephone system. Science of Computer Programming, 36 (1). pp. 97-127. ISSN 0167-6423 *** ISI Impact 0,828 ***
Hermanns, H. and Katoen, J.P. and Meyer-Kayser, J. and Siegle, M. (2000) A Markov Chain Model Checker. In: Tools and Algorithms for the Construction and Analysis of Systems, 6th International Conference, TACAS 2000, 27-31 March 2000, Berlin, Germany. pp. 347-362. Lecture Notes in Computer Science 1785. Springer Verlag. ISBN 3-540-67282-6
Hermanns, H. and Katoen, J.P. and Meyer-Kayser, J. and Siegle, M. (2000) Towards Model Checking Stochastic Process Algebra. In: Integrated Formal Methods, 2nd international Workshop, IFM 2000, 1-3 Nov 2000, Schloss Dagstuhl, Saarland, Germany. pp. 420-439. Lecture Notes in Computer Science 1945. Springer Verlag. ISBN 3-540-41196-8
Heysters, P.M. and Smit, J. and Smit, G.J.M. and Havinga, P.J.M. (2000) Exploring Energy-Efficient Reconfigurable Architectures for DSP Algorithms. In: 1st PROGRESS workshop on Embedded Systems. pp. 107-112. ISBN 90-73461-25-1
Heysters, P.M. and Smit, J. and Smit, G.J.M. and Havinga, P.J.M. (2000) Mapping of DSP Algorithms on Field Programmable Function Arrays. In: FPL2000.
Ruys, T.C. (2000) Low-Fat Recipes for SPIN. In: Proceedings of the 7th International SPIN Workshop on SPIN Model Checking and Software Verification, August 30 - September 1, 2000, Stanford, California. pp. 287-321. Lecture Notes in Computer Science 1885. Springer Verlag. ISBN 3-540-41030-9
Schiphorst, R. (2000) Demonstration of the Software-Radio Concept. Master's thesis, University of Twente.
Schiphorst, R. and Gerez, S.H. and Slump, C.H. (2000) The Exploration of the Software-Defined Radio Concept by Prototyping Transmitter and Receiver Functions on a Digital Signal Processor. In: 1st PROGRESS workshop on Embedded Systems, 13 October 2000, Utrecht, Netherlands. pp. 79-86. Technology Foundation STW. ISBN 90-73461-25-1
Sierra Abbate, L.R. and D'Argenio, P.R. and Echagüe, J.V. (2000) From Semantics to Spatial Distributions. In: LATIN 2000: Theoretical Informatics, 4th Latin American Symposium, April 10-14, 2000, Proceedings},, Punta del Este, Uruguay. pp. 427-436. Lecture Notes in Computer Science 1776. Springer Verlag. ISBN 3-540-67306-7
Smit, G.J.M. and Havinga, P.J.M. (2000) Lessons learned from the design of a mobile multimedia system in the Moby Dick project. In: 2nd Int. Symp. on Handheld and Ubiquitous Computing (HUC), Bristol, UK. pp. 85-99. Springer-Verlag. ISSN 0302-9743
Smit, G.J.M. and Havinga, P.J.M. and Bos, M. (2000) Energy-efficient adaptive wireless network design. In: 5th Int. Conf. Computers and Communications (ISCC), Antibes, France. pp. 502-507. IEEE Computer Society. ISBN 0-7695-0722-0
Smit, G.J.M. and Havinga, P.J.M. and Bos, M. and Smit, L.T. and Heysters, P.M. (2000) Reconfiguration in Mobile Multimedia Systems. In: 1st PROGRESS workshop on Embedded Systems, 13 Oct. 2001. pp. 95-105. Technology Foundation STW. ISBN 90-73461-25-1
Smit, G.J.M. and Heysters, P.M. and Havinga, P.J.M. and Smit, L.T. and Smit, J. and Dilessen, J. (2000) Mapping the SISO module of the Turbo Decoder to a FPFA. In: Proceedings of Second international symposium on Mobile Multimedia Systems & Applications (MMSA2000). pp. 165-172.
Smit, L.T. and Smit, G.J.M. and Havinga, P.J.M. (2000) Run-time Energy Management for Mobiles. In: 1st PROGRESS workshop on Embedded Systems. pp. 107-112. ISBN 90-73461-25-1
Volkerink, H.J. and Hilderink, G.H. and Broenink, J.F. and Vervoort, W.A. and Bakkers, A.W.P. (2000) CSP Design Model and Tool Support. In: Communicating Process Architectures, 10-13 Sep 2000, Canterbury, UK. pp. 33-48. IOS Press. ISSN 1383-7575
de Vries, R.G. and Tretmans, G.J. (2000) On-the-fly conformance testing using Spin. International journal on software tools for technology transfer, 2 (4). pp. 382-393. ISSN 1433-2779
de Vries, R.G. and Tretmans, G.J. and Belinfante, A.F.E. and Feenstra, J. and Feijs, L.M.G. and Mauw, S. and Goga, N. and Heerink, A.W. and de Heer, A. (2000) Côte de Resyste in Progress. In: 1st PROGRESS workshop on Embedded Systems, 13 October 2000, Utrecht. pp. 141-148. Technology Foundation STW. ISBN 90-73461-25-1
Willemse, T.A.C. and Tretmans, G.J. and Klomp, A. (2000) A Case Study in Formal Methods: Specification and Validation of the OM/RR Protocol. In: Fifth Int. ERCIM Workshop on Formal Methods for Industrial Critical Systems (FMICS 2000). pp. 331-344. GMD Report 91. GMD. ISSN 1435-2702

1999

Brinksma, H. (1999) Cache Consistency by Design. Distributed Computing, 12 (2/3). pp. 552-565. ISSN 0178-2770 *** ISI Impact 1,263 ***
D'Argenio, P.R. and Hermanns, H. and Katoen, J.P. (1999) On Generative Parallel Composition. In: PROBMIV'98, First International Workshop on Probabilistic Methods in Verification, 19 - 20 June 1998, Indianapolis, Indiana. pp. 30-54. Electronic Notes in Theoretical Computer Science 22. Elsevier. ISSN 1571-0661
Havinga, P.J.M. and Smit, G.J.M. (1999) Octopus: embracing the energy efficiency of handheld multimedia computers. In: 5th Annual ACM/IEEE Int. Conf. on Mobile Computing and Networking (Mobicom). pp. 77-87. ACM Press. ISBN 1-58113-142-9
Hermanns, H. and Mertsiotakis, V. and Siegle, M. (1999) TIPPtool: Compositional Specification and Analysis of Markovian Performance Models. In: Computer Aided Verification: 11th International Conference, CAV'99, July 6-10, 1999, Trento, Italy. pp. 487-490. Lecture Notes in Computer Science 1633. Springer Verlag. ISBN 3-540-66202-2
Hermanns, H. and Meyer-Kayser, J. and Siegle, M. (1999) Multi Terminal Binary Decision Diagrams to Represent and Analyse Continuous Time Markov Chains. In: 3rd Int. Workshop on the Numerical Solution of Markov Chains, 2000, Zaragossa, Spain. pp. 188-207. Prensas Universitarias de Zaragoza. ISBN not assigned
Jansen, P.G. and Laan, R. (1999) The Stack Resource Protocol based on Real-Time Transactions. IEE Proceedings - Software, 146 (2). pp. 112-119. ISSN 1462-5970
Jansen, P.G. and Scholten, J. and Laan, R. (1999) Flexible Scheduling in Multimedia Kernels: An Overview. In: Multimedia Information Systems in Practice, Hong Kong, China. pp. 31-41. Springer-Verlag. ISBN 981-4021-53-9
Krol, T. (1999) Interconnecting Lock-step Synchronous Fault-tolerant Systems based on Voting and Error-Correcting Codes. In: Pacific Rim Int. Symp. on Dependable Computing, Hong Kong, China. pp. 62-69. IEEE Computer Society. ISBN 0-7695-0371-3
Langerak, R. (1999) Deriving a Graph Rewriting System from a Complete Finite Prefix of an Unfolding. In: Proceedings of the 6th International Workshop on Expressiveness in Concurrency, 23 August 1999, Eindhoven, The Netherlands. pp. 24-41. Electronic Notes in Theoretical Computer Science 27. Elsevier. ISSN 1571-0661
Langerak, R. and Brinksma, H. (1999) A complete finite prefix for process algebra. In: Computer Aided Verification, 11th International Conference, CAV '99, July 6-10, 1999, Trento, Italy. pp. 184-195. Lecture Notes in Computer Science 1633. Springer Verlag. ISBN 3-540-66202-2
Mader, A.H. and Wupper, H. (1999) Timed Automaton Models for Simple Programmable Logic Controllers. In: 11th Euromicro Conf. on Real-Time Systems, 9-11 June 1999, York, UK. pp. 114-122. IEEE Computer Society. ISBN 0-7695-0240-7
Ruys, T.C. (1999) Xspin/Project - Integrated Validation Management for Xspin. In: Theoretical and Practical Aspects of SPIN Model Checking.Proceedings of the 5th and 6th International SPIN Workshop, 1999, Trento, Italy. pp. 108-119. Lecture Notes in Computer Science 1680. Springer Verlag. ISBN 3-540-66499-8
Smit, G.J.M. and Bos, M. and Havinga, P.J.M. and Mullender, S.J. and Smit, J. (1999) Chameleon-reconfigurability in hand-held multimedia computers. In: 1st Handheld and Ubiquitous Computing (HUC), Karlsruhe, Germany. pp. 340-342. Springer-Verlag. ISBN 3540665501
Smit, G.J.M. and Havinga, P.J.M. and van Opzeeland, M. and Poortinga, R. (1999) Implementation of a wireless ATM transceiver using reconfigurable logic. In: 2nd IEEE Int. workshop on wireless mobile ATM implementations (wmATM), San Jose, California. pp. 241-251. Delson Group.
Tekinerdogan, B. and Akşit, M. (1999) Evaluating Architecture Implementation Alternatives based on Adaptability Concerns. In: 2nd IEEE International Symposium on Object-Oriented Real Time Distributed Computing, 2-5 May 1999, Saint-Malo, France. pp. 155-158. IEEE Computer Society. ISBN 0769502075

1998

Akşit, M. and Tekinerdogan, B. (1998) Aspect-Oriented Programming Using Composition Filters, in Object-Oriented Technology. In: ECOOP'98, 20-24 July 1998, Brussels, Belgium. pp. 435-435. Lecture Notes In Computer Science 1543. Springer Verlag. ISBN 9783540654605
Akşit, M. and Tekinerdogan, B. (1998) Automating the Object-Oriented Software Development Process: Workshop Report. In: Workshop Object Oriented Technology, 20-24 July 1998, Brussels, Belgium. pp. 474-476. Lecture Notes In Computer Science 1543 (1998). Springer Verlag. ISSN 0302-9743
Brinksma, H. and Katoen, J.P. and Latella, D. and Langerak, R. (1998) Partial-order models for quantitative extensions of LOTOS. Computer networks and ISDN systems, 30 (9-10). pp. 925-950. ISSN 0169-7552
Havinga, P.J.M. and Helme, A. and Mullender, S.J. and Smit, G.J.M. and Smit, J. (1998) Battery-powered Distributed Systems (Extended Abstract). In: 8th ACM SIGOPS European Workshop on Support for Composing Distributed Applications, Sintra, Portugal. pp. 210-213. ACM Press.
Havinga, P.J.M. and Smit, G.J.M. (1998) The Pocket Companion's architecture. In: Euromicro summer school on mobile computing, Oulu, Finland. pp. 25-34. VTT Information Service. ISBN 951-38-4576-1
Jansen, P.G. and Laan, R. (1998) Scheduling Techniques and Quality of Service of Real-time Kernels. Technical Report TR-CTIT-98-05, Centre for Telematics and Information Technology University of Twente, Enschede. ISSN 1381-3625
Mullender, S.J. and Smit, G.J.M. and Havinga, P.J.M. and Helme, A. and Hartvigsen, G. and Fallmyr, T. and Stabell-Kulø, T. and Bartoli, A. and Rizzo, L. and Avvenuti, M. (1998) The MobyDick architecture. Technical Report TR-CTIT-98-18, Centre for Telematics and Information Technology University of Twente, Enschede. ISSN 1381-3625
Nauta, B. (1998) Line driver with adaptive output impedance. Patent EP19980900646 (Application).
Ruys, T.C. and Brinksma, H. (1998) Experience with Literate Programming in the Modelling and Validation of Systems. In: Tools and Algorithms for Construction and Analysis of Systems, 4th International Conference, TACAS '98, March 28 - April 4, 1998, Lisbon, Portugal. pp. 393-408. Lecture Notes in Computer Science 1384. Springer Verlag. ISBN 3-540-64356-7
Smit, G.J.M. and Havinga, P.J.M. and Mullender, S.J. and Helme, A. and Hartvigsen, G. and Fallmyr, T. and Stabell-Kulø, T. and Bartoli, A. and Dini, G. and Rizzo, L. and Avvenuti, M. (1998) Overview of the Moby Dick project. In: Euromicro Summer School on Mobile Computing, Oulu, Finland. pp. 157-168. VTT Information Service. ISBN 951-38-4576-1
Smit, J. and Stekelenburg, M. and Klaassen, C.E. and Mullender, S.J. and Smit, G.J.M. and Havinga, P.J.M. (1998) Low cost & fast turnaround: reconfigurable graph-based execution units. In: 7th Behavioral Design Methodologies for Digital Systems workshop (BELSIGN), Enschede, The Netherlands. 29. Centre for Telematics and Information Technology University of Twente.
Tekinerdogan, B. and Akşit, M. (1998) Deriving Design Aspects from Conceptual Models. In: ECOOP'98, 20-24 July 1998, Brussels, Belgium. pp. 410-413. Lecture Notes in Computer Science 1543. Springer Verlag. ISBN 9783540654605
Tekinerdogan, B. and Akşit, M. (1998) Providing Automatic Support for Heuristic Rules of Methods. In: ECOOP '98 Workshop Reader, 20-24 July 1998, Brussels, Belgium. pp. 496-498. Lecture Notes in Computer Science 1543. Springer. ISBN 3540654607

1997

Akşit, M. and Tekinerdogan, B. (1997) Component Composability Issues in Object-Oriented Programming. XOOTIC magazine, 5 (2). pp. 15-20.
Akşit, M. and Tekinerdogan, B. (1997) Reusing and Composing Components: Problems and Solutions. In: Proceedings of the Thrid International Conference on Smalltalk and Java (STJA'97), September 1997, Erfurt, Germany. Technische Universität Ilmenau.
Havinga, P.J.M. and Smit, G.J.M. (1997) Minimizing energy consumption for handheld computers in Moby Dick. (Invited) In: EUROMICRO 97: 'New Frontiers of Information Technology' : proceedings of the 23rd Euromicro Conference, 01-04 Sep 1997, Budapest, Hungary. pp. 196-201. IEEE Computer Society. ISBN 0-8186-8215-9
Havinga, P.J.M. and Smit, G.J.M. (1997) Minimizing energy consumption for wireless computers in Moby Dick. In: IEEE International Conference on Personal Wireless Communication, ICPWC 1997, 17-19 Dec 1997, Mumbai, India. pp. 306-311. IEEE Computer Society. ISBN 0-7803-4298-4
Hilderink, G.H. and Broenink, J.F. and Vervoort, W.A. and Bakkers, A.W.P. (1997) Communicating Java Threads. In: 20th World Occam and Transputer User Group Technical Meeting, 13-16 Apr 1997, Enschede, The Netherlands. pp. 48-76. IOS Press. ISBN 90 5199 336 6
Linnenbank, G.R.J. and Havinga, P.J.M. (1997) A Flexible and Fast Event-Driven Wireless MAC Protocol Simulator. In: IEEE Int. Conf. on Personal Wireless Communications (ICPWC), Mumbai, India. pp. 110-114. IEEE Computer Society. ISBN 0-7803-4298-4
Smit, G.J.M. and Havinga, P.J.M. and van Os, D. (1997) The Harpoon Security System for Helper Programs on a Pocket Companion. In: 23rd Euromicro Conf. -- New Frontiers of Information Technology, Budapest, Hungary. pp. 231-238. IEEE Computer Society. ISSN 1089-6503 ISBN 0-8186-8129-2

1996

D'Argenio, P.R. and Brinksma, H. (1996) A Calculus for Timed Automata (Extended Abstract). In: Formal Techniques in Real-Time and Fault-Tolerant Systems, 4th International Symposium, FTRTFT'96, September 9-13, 1996, Uppsala, Sweden. pp. 110-129. Lecture Notes in Computer Science 1135. Springer Verlag. ISBN 3-540-61648-9
van Dijk, H.W. and Hekstra, G.J. and Deprettere, E.F. (1996) Jacobi-Specific Processor Arrays. In: International Conference on Application Specific Systems, Architectures and Processors (ASAP), 19-21 Aug 1996, Chicago, Illinois. pp. 323-341. IEEE Computer Society.
Havinga, P.J.M. and Smit, G.J.M. and Helme, A. (1996) Survey of electronic payment methods and systems. In: Web technology, new media, communications and telematics theory, methods, tools and applications (Euromedia), London, UK. pp. 180-187. Society for Computer Simulation. ISBN 1-56555-102-8
Jansen, P.G. and Scholten, J. and Wijgerink, E. (1996) Flexible Scheduling in Multimedia Kernels. In: IEEE Intercon, Trujillo, Peru. pp. 93-102. Univ. Privado Antenor Orrego.
Jansen, P.G. and Wijgerink, E. (1996) Flexible Real Time Scheduling of Continuous Media Streams. In: Multimedia96 Conf., Yokohama, Japan. pp. 323-330. Information Processing Society of Japan.
Linnenbank, G.R.J. and Venkataram, P. and Havinga, P.J.M. and Mullender, S.J. and Smit, G.J.M. (1996) R-TDMA: a dynamic multiple access protocol using bandwidth on demand and priorities. In: 3rd Mobile Multimedia Communications (MoMuc), Princeton, New Jersey. pp. 173-180. Plenum Publishing Corp. ISBN 0306457725
Smit, G.J.M. and Havinga, P.J.M. and Dillema, F.W. and Sijben, P.G.A. (1996) Audio source location for a digital TV-Director. In: Web technology, new media, communications and telematics theory, methods, tools and applications (Euromedia), London, UK. pp. 103-111. Society for Computer Simulation. ISBN 1-56555-102-8
Tretmans, G.J. (1996) Conformance Testing with Labelled Transition Systems: Implementation Relations and Test Generation. Computer networks and ISDN systems, 29 (1). pp. 49-79. ISSN 0169-7552

1995

Brinksma, H. and Katoen, J.P. and Latella, D. and Langerak, R. (1995) A stochastic causality-based process algebra. The Computer journal, 38 (7). pp. 552-565. ISSN 0010-4620 *** ISI Impact 1,000 ***
Linnenbank, G.R.J. and Havinga, P.J.M. and Mullender, S.J. and Smit, G.J.M. (1995) Request-TDMA: A multiple-access protocol for wireless multimedia networks. In: 3rd Symp. on Communications and Vehicular Technology in the Benelux, Eindhoven, The Netherlands. pp. 20-27. IEEE Computer Society.

1994

Smit, G.J.M. (1994) The Design of Central Switch Communication Systems for Multimedia Applications. PhD thesis, University of Twente. ISBN 90-9006758-2
Smit, G.J.M. and Havinga, P.J.M. (1994) A Switch Architecture For Real-time Multimedia Communications. In: 2nd Euromicro Workshop on Parallel and Distributed Processing, Malaga, Spain. pp. 438-444. IEEE Computer Society.

1992

Smit, G.J.M. and Havinga, P.J.M. and Jansen, P.G. (1992) A Programmable Communication Architecture Based on Kautz Networks. In: 12th World Computer Congress -- Algorithms, Software, Architecture, Madrid, Spain. pp. 578-584. IFIP Transactions A-12 North-Holland. ISBN 0-444-89747-X
Smit, G.J.M. and Havinga, P.J.M. and Smit, M.J.P. (1992) Rattlesnake: A Network for Real-Time Multimedia Communications. In: 4th Int. Workshop on Multimedia Communications (MULTIMEDIA), Monterey, California. pp. 89-100. IEEE Computer Society.

1991

Smit, G.J.M. and Havinga, P.J.M. and Jansen, P.G. (1991) An Algorithm for Generating Node Disjoint Routes in Kautz Digraphs. In: 5th Int. Parallel Processing Symp., Anaheim, California. pp. 102-107. IEEE Computer Society. ISBN 0-8186-9167-0

1976

Schoute, A.L. (1976) Comparison of Global Memory Management Strategies in Virtual Memory Systems with Two Classes of Processes. In: Int. Workshop on Modelling and Performance Evaluation of Computer Systems, 4-6 Oct. 1976, Ispra (Varese), Italy. pp. 389-414. North-Holland. ISBN 0-7204-0554-8