Follow
Matthias Brun
Title
Cited by
Cited by
Year
Semisynthetic fluorescent sensor proteins based on self-labeling protein tags
MA Brun, KT Tan, E Nakata, MJ Hinner, K Johnsson
Journal of the American Chemical Society 131 (16), 5873-5884, 2009
1452009
L'Objet
B Thomas, J DELATOUR, F TERRIER, M BRUN, S GÉRARD
1191989
A semisynthetic fluorescent sensor protein for glutamate
MA Brun, KT Tan, R Griss, A Kielkowska, L Reymond, K Johnsson
Journal of the American Chemical Society 134 (18), 7676-7678, 2012
1092012
Semisynthesis of fluorescent metabolite sensors on cell surfaces
MA Brun, R Griss, L Reymond, KT Tan, J Piguet, RJRW Peters, H Vogel, ...
Journal of the American Chemical Society 133 (40), 16235-16242, 2011
822011
Miniaturization of Microwave‐Assisted Carbohydrate Functionalization to Create Oligosaccharide Microarrays
MA Brun, MD Disney, PH Seeberger
ChemBioChem 7 (3), 421-424, 2006
652006
Verus: Verifying rust programs using linear ghost types
A Lattuada, T Hance, C Cho, M Brun, I Subasinghe, Y Zhou, J Howell, ...
Proceedings of the ACM on Programming Languages 7 (OOPSLA1), 286-315, 2023
572023
Code generation from aadl to a real-time operating system: An experimentation feedback on the use of model transformation
M Brun, J Delatour, Y Trinquet
13th IEEE International Conference on Engineering of Complex Computer …, 2008
392008
High rejection bandpass optical filters based on sub-wavelength metal patch arrays
J Le Perchec, RE de Lamaestre, M Brun, N Rochat, O Gravrand, ...
Optics express 19 (17), 15720-15731, 2011
332011
Unified LTL verification and embedded execution of UML models
V Besnard, M Brun, F Jouault, C Teodorov, P Dhaussy
Proceedings of the 21th ACM/IEEE International Conference on Model Driven …, 2018
322018
Designing, animating, and verifying partial UML Models
F Jouault, V Besnard, TL Calvar, C Teodorov, M Brun, J Delatour
Proceedings of the 23rd ACM/IEEE International Conference on Model Driven …, 2020
222020
Visualizing biochemical activities in living cells through chemistry
L Reymond, R Griss, A Schena, B Mollwitz, K Bojkowska, A Masharina, ...
Chimia 65 (11), 868-868, 2011
182011
Unified verification and monitoring of executable UML specifications: a transformation-free approach
V Besnard, C Teodorov, F Jouault, M Brun, P Dhaussy
Software and Systems Modeling 20 (6), 1825-1855, 2021
162021
Verifying and monitoring UML models with observer automata: A transformation-free approach
V Besnard, C Teodorov, F Jouault, M Brun, P Dhaussy
2019 ACM/IEEE 22nd International Conference on Model Driven Engineering …, 2019
142019
Towards One Model Interpreter for Both Design and Deployment.
V Besnard, M Brun, P Dhaussy, F Jouault, D Olivier, C Teodorov
MoDELS (Satellite Events), 102-108, 2017
142017
Low loss SiGe waveguides in the MID-IR
C Grillet, P Ma, B Luther-Davies, D Hudson, C Monat, S Madden, DJ Moss, ...
The European Conference on Lasers and Electro-Optics, CK_2_6, 2013
142013
Contribution à la modélisation explicite des plates-formes d'exécution pour l'IDM
F Thomas, J Delatour, F Terrier, M Brun, S Gérard
Revue des Sciences et Technologies de l'Information-Série L'Objet: logiciel …, 2007
132007
Embedded UML model execution to bridge the gap between design and runtime
V Besnard, M Brun, F Jouault, C Teodorov, P Dhaussy
Software Technologies: Applications and Foundations: STAF 2018 Collocated …, 2018
102018
Application of micro solid immersion lens as probe for near-field scanning microscopy
AC Assafrao, N Kumar, AJH Wachters, SF Pereira, HP Urbach, M Brun, ...
Applied Physics Letters 104 (10), 2014
102014
Contribution à la considération explicite des plates-formes d'exécution logicielles lors d'un processus de déploiement d'application
M Brun
Nantes, 2010
102010
Contribution à l'étude des arachnoïdites opto-chiasmatiques, par P. Puech, M. David et M. Brun. Discussion sur l'étiologie et la pathogénie, par Monier-Vinard
P Puech, P Puech, M David, M Brun, Monier-Vinard
G. Doin, 1933
101933
The system can't perform the operation now. Try again later.
Articles 1–20