Search Results - "Brun, Matthias"

A Semisynthetic Fluorescent Sensor Protein for Glutamate by Brun, Matthias A, Tan, Kui-Thong, Griss, Rudolf, Kielkowska, Anna, Reymond, Luc, Johnsson, Kai

“…We report the semisynthesis of a fluorescent glutamate sensor protein on cell surfaces. Sensor excitation at 547 nm yields a glutamate-dependent emission…”
Get full text

Semisynthetic Fluorescent Sensor Proteins Based on Self-Labeling Protein Tags by Brun, Matthias A, Tan, Kui-Thong, Nakata, Eiji, Hinner, Marlon J, Johnsson, Kai

“…Genetically encoded fluorescent sensor proteins offer the possibility to probe the concentration of key metabolites in living cells. The approaches currently…”
Get full text

Semisynthesis of Fluorescent Metabolite Sensors on Cell Surfaces by Brun, Matthias A, Griss, Rudolf, Reymond, Luc, Tan, Kui-Thong, Piguet, Joachim, Peters, Ruud J.R.W, Vogel, Horst, Johnsson, Kai

“…Progress in understanding signal transduction and metabolic pathways is hampered by a shortage of suitable sensors for tracking metabolites, second messengers,…”
Get full text

Miniaturization of Microwave-Assisted Carbohydrate Functionalization to Create Oligosaccharide Microarrays by Brun, Matthias A, Disney, Matthew D, Seeberger, Peter H

“…A microwave‐assisted Kochetkov reaction (a) has been used on different reducing carbohydrates to obtain glycosylamines and then N‐iminoglycosylamidines without…”
Get full text

Visualizing biochemical activities in living cells through chemistry by Reymond, Luc, Lukinavičius, Gražvydas, Umezawa, Keitaro, Maurel, Damien, Brun, Matthias A, Masharina, Anastasiya, Bojkowska, Karolina, Mollwitz, Birgit, Schena, Alberto, Griss, Rudolf, Johnsson, Kai

“…The development of molecular probes to visualize cellular processes is an important challenge in chemical biology. One possibility to create such cellular…”
Get full text

Unified verification and monitoring of executable UML specifications by Besnard Valentin, Teodorov Ciprian, Jouault Frédéric, Brun, Matthias, Dhaussy Philippe

“…The increasing complexity of embedded systems renders software verification more complex, requiring monitoring and formal techniques, like model-checking…”
Get full text

Unified verification and monitoring of executable UML specifications: A transformation-free approach by Besnard, Valentin, Teodorov, Ciprian, Jouault, Frédéric, Brun, Matthias, Dhaussy, Philippe

“…The increasing complexity of embedded systems renders software verification more complex, requiring monitoring and formal techniques, like model-checking…”
Get full text

AnimUML: A practical tool for partial model animation and analysis by Jouault, Frédéric, Besnard, Valentin, Brun, Matthias, Le Calvar, Théo, Chhel, Fabien, Clavreul, Mickaël, Delatour, Jérome, Méré, Maxime, Pasquier, Matthias, Teodorov, Ciprian

Get full text

Debugging Paxos in the UML Multiverse by Pasquier, Matthias, Teodorov, Ciprian, Jouault, Frederic, Brun, Matthias, Lagadec, Loic

“…In this paper, we present experience feedback on the use of animation and debugging tools to build, improve, and verify a UML model of the Paxos consensus…”
Get full text

Verus: Verifying Rust Programs using Linear Ghost Types (extended version) by Lattuada, Andrea, Hance, Travis, Cho, Chanhee, Brun, Matthias, Subasinghe, Isitha, Zhou, Yi, Howell, Jon, Parno, Bryan, Hawblitzel, Chris

“…The Rust programming language provides a powerful type system that checks linearity and borrowing, allowing code to safely manipulate memory without garbage…”
Get full text

Verifying and Monitoring UML Models with Observer Automata: A Transformation-Free Approach by Besnard, Valentin, Teodorov, Ciprian, Jouault, Frederic, Brun, Matthias, Dhaussy, Philippe

“…The increasing complexity of embedded systems renders verification of software programs more complex and may require applying monitoring and formal techniques,…”
Get full text

AnimUML as a UML Modeling and Verification Teaching Tool by Jouault, Frederic, Sebille, Valentin, Besnard, Valentin, Calvar, Theo Le, Teodorov, Ciprian, Brun, Matthias, Delatour, Jerome

“…Practice with feedback is essential to most learning activities. Although invaluable, an instructor's availability to give feedback is necessarily…”
Get full text

A Model Checkable UML Soccer Player by Besnard, Valentin, Teodorov, Ciprian, Jouault, Frederic, Brun, Matthias, Dhaussy, Philippe

“…This paper presents a UML implementation of the MDETools'19 challenge problem with EMI (our Embedded/Experimental Model Interpreter). EMI is a model…”
Get full text

Contribution \`a la mod\'elisation explicite des plates-formes d'ex\'ecution pour l'IDM by Thomas, Frédéric, Delatour, Jérôme, Terrier, François, Brun, Matthias, Gérard, Sébastien

“…L'Objet, logiciel, base de donn\'ees, r\'eseaux (RSTI s\'erie) 13, 4 (2007) 9-31 One foundation of the model driven engineering (MDE) is to separate the…”
Get full text

Use of Runtime Enforcement for the Test of Real-time Systems by Givel, Louis-Marie, Brun, Matthias, Constant, Camille, Faucou, Sebastien, Roux, Olivier H.

“…The components and architectures of embedded real-time systems, both software and hardware, are getting more and more complex. Because of this complexity,…”
Get full text

Testing real-time embedded software using runtime enforcement by Givel, Louis-Marie, Bechennec, Jean-Luc, Brun, Matthias, Faucou, Sebastien, Roux, Olivier H.

“…Real-time embedded systems are complex, and as such need to be tested with regards to real-time constraints. However, because of this complexity, some states…”
Get full text

Code Generation from AADL to a Real-Time Operating System: An Experimentation Feedback on the Use of Model Transformation by Brun, M., Delatour, J., Trinquet, Y.

“…Several approaches, such as the UML MARTE profile or AADL start to reach maturity for the design of Real-Time Embedded System (RTES). The use of such…”
Get full text

Testing Real-Time Systems With Runtime Enforcement by Bechennec, Jean-Luc, Faucou, Sebastien, Roux, Olivier H., Brun, Matthias, Givel, Louis-Marie

“…This paper enables the testing of real-time systems through runtime enforcement that can realize different test scenarios with specific internal timed…”
Get full text