Suivre
Ulrich Kühne
Ulrich Kühne
Adresse e-mail validée de telecom-paristech.fr
Titre
Citée par
Citée par
Année
IMITATOR 2.5: A tool for analyzing robustness in scheduling problems
É André, L Fribourg, U Kühne, R Soulat
International Symposium on Formal Methods, 33-36, 2012
1232012
Formal verification of integer multipliers by combining Gröbner basis with logic reduction
A Sayed-Ahmed, D Große, U Kühne, M Soeken, R Drechsler
2016 Design, Automation & Test in Europe Conference & Exhibition (DATE …, 2016
992016
HW/SW co-verification of embedded systems using bounded model checking
D Groβe, U Kühne, R Drechsler
Proceedings of the 16th ACM Great Lakes symposium on VLSI, 43-48, 2006
862006
WoLFram-a word level framework for formal verification
A Sülflow, U Kühne, G Fey, D Grosse, R Drechsler
2009 IEEE/IFIP International Symposium on Rapid System Prototyping, 11-17, 2009
452009
Analyzing functional coverage in bounded model checking
D Große, U Kuhne, R Drechsler
IEEE Transactions on Computer-Aided Design of Integrated Circuits and …, 2008
412008
Estimating functional coverage in bounded model checking
D Große, U Kuhne, R Drechsler
2007 Design, Automation & Test in Europe Conference & Exhibition, 1-6, 2007
402007
Increasing the accuracy of SAT-based debugging
A Sulflow, G Fey, C Braunstein, U Kuhne, R Drechsler
2009 Design, Automation & Test in Europe Conference & Exhibition, 1326-1331, 2009
332009
Completeness-driven development
R Drechsler, M Diepenbeck, D Große, U Kühne, HM Le, J Seiter, ...
International Conference on Graph Transformation, 38-50, 2012
312012
A generic representation of CCSL time constraints for UML/MARTE models
J Peters, R Wille, N Przigoda, U Kühne, R Drechsler
Proceedings of the 52nd Annual Design Automation Conference, 1-6, 2015
272015
Side channel attacks for architecture extraction of neural networks
H Chabanne, JL Danger, L Guiga, U Kühne
CAAI Transactions on Intelligence Technology 6 (1), 3-16, 2021
262021
Automated formal verification of processors based on architectural models
U Kühne, S Beyer, J Bormann, J Barstow
Formal Methods in Computer Aided Design, 129-136, 2010
242010
Towards efficient and automated side channel evaluations at design time
D Sijacic, J Balasch, B Yang, S Ghosh, I Verbauwhede
Kalpa Publications in Computing 7, 16-31, 2018
232018
Finite controlled invariants for sampled switched systems
L Fribourg, U Kühne, R Soulat
Formal Methods in System Design 45, 303-329, 2014
232014
CCFI-cache: A transparent and flexible hardware protection for code and control-flow integrity
JL Danger, A Facon, S Guilley, K Heydemann, U Kühne, AS Merabet, ...
2018 21st Euromicro Conference on Digital System Design (DSD), 529-536, 2018
222018
Simulation-based equivalence checking between SystemC models at different levels of abstraction
D Große, M Groß, U Kühne, R Drechsler
Proceedings of the 21st edition of the great lakes symposium on Great lakes …, 2011
202011
Formal modeling and verification of cyber-physical systems
R Drechsler, U Kühne
1st International Summer School on Methods and Tools for the Design of …, 2015
192015
Wissenschaftstheorie
U Kühne
Hans Jörg Sandkühler (ed.): Enzyklopädie Philosophie, 1999
191999
Evaluation of SAT like proof techniques for formal verification of word level circuits
A Sülflow, U Kühne, R Wille, D Große, R Drechsler
IEEE Workshop on RTL and High Level Testing, 31-36, 2007
162007
Verifying consistency between activity diagrams and their corresponding OCL contracts
C Hilken, J Seiter, R Wille, U Kühne, R Drechsler
Proceedings of the 2014 Forum on Specification and Design Languages (FDL …, 2014
142014
Behaviour driven development for tests and verification
M Diepenbeck, U Kühne, M Soeken, R Drechsler
Tests and Proofs: 8th International Conference, TAP 2014, Held as Part of …, 2014
142014
Le système ne peut pas réaliser cette opération maintenant. Veuillez réessayer plus tard.
Articles 1–20