EEMCS EPrints Service
|
||||||||||||||||
2006
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
2005
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.
Technical Report TR-CTIT-05-30,
Centre for Telematics and Information Technology University of Twente, Enschede.
ISSN 1381-3625
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
2004
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.
Technical Report TR-CTIT-04-39,
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
2003
Hanssen, F.T.Y.
(2003)
Installing fonts in LaTeX a user's experience.
MAPS, 29.
pp. 61-64.
ISSN 1574-4620
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.
Technical Report TR-CTIT-03-47,
Centre for Telematics and Information Technology University of Twente, Enschede.
ISSN 1381-3625
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
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
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
2002
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.
Technical Report TR-CTIT-02-32,
Centre for Telematics and Information Technology University of Twente, Enschede.
ISSN 1381-3625
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: Research report 36/2002, Vienna, Austria.
pp. 5-8.
Real-Time Systems Group.
Jansen, P.G. and Hanssen, F.T.Y. and Lijding, M.E.M.
(2002)
Early Quantum Task Scheduling.
Technical Report TR-CTIT-02-48,
Centre for Telematics and Information Technology University of Twente, Enschede.
ISSN 1381-3625
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
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.
Technical Report TR-CTIT-02-43,
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 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)
An In-Home Digital Network Architecture for Real-Time and Non-Real-Time Communication.
Technical Report TR-CTIT-02-50,
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 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
2001
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.
Technical Report TR-CTIT-01-37,
Centre for Telematics and Information Technology University of Twente, Enschede.
ISSN 1381-3625
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
Hanssen, F.T.Y. and Hartel, P.H. and Jansen, P.G. and Scholten, J. and Vervoort, W.A.
(2001)
A Real-time Network at Home.
Technical Report TR-CTIT-01-36,
Centre for Telematics and Information Technology University of Twente, Enschede.
ISSN 1381-3625
Hanssen, F.T.Y. and Hartel, P.H. and Jansen, P.G. and Scholten, J. and Vervoort, W.A.
(2001)
A Real time network at home.
In: 2nd PROGRESS workshop on Embedded Systems, Veldhoven, The Netherlands.
pp. 67-72.
Technology Foundation STW.
ISBN 90-73461-26-X
|
||||||||||||||||