Thomas Pedersen

Publication Activity (10 Years)

Years Active: 2003-2022
Publications (10 Years): 6

Top Topics

Home Automation

Formal Verification

Top Venues

J. Reliab. Intell. Environ.

Fundam. Informaticae

Publications

Alexander Bilgram, Peter Gjøl Jensen, Thomas Pedersen, Jirí Srba, Peter Haahr Taankvist
Methods for Efficient Unfolding of Colored Petri Nets. Fundam. Informaticae 189 (3-4) (2022)
Alexander Bilgram, Peter Gjøl Jensen, Thomas Pedersen, Jirí Srba, Peter Haahr Taankvist
Methods for Efficient Unfolding of Colored Petri Nets. CoRR (2022)
Alexander Bilgram, Peter Gjøl Jensen, Thomas Pedersen, Jirí Srba, Jakob Haahr Taankvist
Improvements in Unfolding of Colored Petri Nets. RP (2021)
Thomas Pedersen, Michele Albano, Brian Nielsen
Reengineering the lifecycle of Arrowhead applications: from skeletons to the client library. IECON (2019)
Thibaut Le Guilly, Michael Nielsen, Thomas Pedersen, Arne Skou, Jesper Kjeldskov, Mikael B. Skov
User constraints for reliable user-defined smart home scenarios. J. Reliab. Intell. Environ. 2 (2) (2016)
Mads Kronborg Agesen, Kim Guldstrand Larsen, Marius Mikucionis, Marco Muñiz, Petur Olsen, Thomas Pedersen, Jirí Srba, Arne Skou
Toolchain for user-centered intelligent floor heating control. IECON (2016)
Thomas Pedersen, Thibaut Le Guilly, Anders P. Ravn, Arne Skou
A Method for Model Checking Feature Interactions. ICSOFT-EA (2015)
Thibaut Le Guilly, Petur Olsen, Thomas Pedersen, Anders P. Ravn, Arne Skou
Model Checking Feature Interactions. ICSOFT (Selected Papers) (2015)
Thibaut Le Guilly, Jacob H. Smedegård, Thomas Pedersen, Arne Skou
To Do and Not to Do: Constrained Scenarios for Safe Smart House. Intelligent Environments (2015)
Thomas Pedersen, Anders P. Ravn, Arne Skou
INTrEPID: A project on energy optimization in buildings. VITAE (2014)
Peter H. Dalsgaard, Thibaut Le Guilly, Daniel Middelhede, Petur Olsen, Thomas Pedersen, Anders P. Ravn, Arne Skou
A Toolchain for Home Automation Controller Development. EUROMICRO-SEAA (2013)
Mehmet Ercan Nergiz, A. Ercüment Çiçek, Thomas Pedersen, Yücel Saygin
A Look-Ahead Approach to Secure Multiparty Protocols. IEEE Trans. Knowl. Data Eng. 24 (7) (2012)
Jan Terje Karlsen, Line Hagman, Thomas Pedersen
Intra-project transfer of knowledge in information systems development firms. J. Syst. Inf. Technol. 13 (1) (2011)
Ahmet Erhan Nergiz, Mehmet Ercan Nergiz, Thomas Pedersen, Chris Clifton
Practical and Secure Integer Comparison and Interval Check. SocialCom/PASSAT (2010)
Martin Boesgaard, Ove Scavenius, Thomas Pedersen, Thomas Christensen, Erik Zenner
Badger - A Fast and Provably Secure MAC. IACR Cryptol. ePrint Arch. 2004 (2004)
Ove Scavenius, Martin Boesgaard, Thomas Pedersen, Jesper Christiansen, Vincent Rijmen
Periodic Properties of Counter Assisted Stream Ciphers. CT-RSA (2004)
Ivan Damgård, Thomas Pedersen, Louis Salvail
On the Key-Uncertainty of Quantum Ciphers and the Computational Security of One-Way Quantum Transmission. EUROCRYPT (2004)
Ivan Damgård, Thomas Pedersen, Louis Salvail
On the Key-Uncertainty of Quantum Ciphers and the Computational Security of One-way Quantum Transmission. IACR Cryptol. ePrint Arch. 2004 (2004)
Martin Boesgaard, Thomas Pedersen, Mette Vesterager, Erik Zenner
The Rabbit Stream Cipher - Design and Security Analysis. IACR Cryptol. ePrint Arch. 2004 (2004)
Martin Boesgaard, Mette Vesterager, Thomas Pedersen, Jesper Christiansen, Ove Scavenius
Rabbit: A New High-Performance Stream Cipher. FSE (2003)