Cédric Favre

Learn More
We report on a case study on control-flow analysis of business process models. We checked 735 industrial business process models from financial services, telecommunications and other domains. We investigated these models for soundness (absence of deadlock and lack of synchronization) using three different approaches: the business process verification tool(More)
We report on a case study on control-flow analysis of business process models. We checked 735 industrial business process models from financial services, telecommunications, and other domains. We investigated these models for soundness (absence of deadlock and lack of synchronization) using three different approaches: the business process verification tool(More)
We present an on-board robotic module which can determine relative positions among miniature robots. The module uses high-frequency modulated infrared emissions to enable nearby robots to determine the range, bearing, and message of the sender with a rapid update rate. A CSMA protocol is employed for scalable operation. We describe a technique for(More)
Workflow graphs represent the main control-flow constructs of industrial process modeling languages such as BPMN, EPC and UML Activity diagrams, whereas free-choice workflow nets is a well understood class of Petri nets that possesses many efficient analysis techniques. In this paper, we provide new results on the translation between workflow graphs and(More)
Downstream of tyrosine kinase (Dok) proteins Dok-1 and Dok-2 are involved in T cell homeostasis maintenance. Dok protein tyrosine phosphorylation plays a key role in establishing negative feedback loops of T cell signaling. These structurally related adapter molecules contain a pleckstrin homology (PH) domain generally acting as a lipid/protein-interacting(More)
Different stakeholders in the business process management (BPM) life cycle benefit from having different views onto a particular process model. Each view can show, and offer to change, the details relevant to the particular stakeholder, leaving out the irrelevant ones. However, introducing different views on a process model entails the problem to(More)
Zanolimumab is a human IgG1 antibody against CD4, which is in clinical development for the treatment of cutaneous and nodal T-cell lymphomas. Here, we report on its mechanisms of action. Zanolimumab was found to inhibit CD4+ T cells by combining signaling inhibition with the induction of Fc-dependent effector mechanisms. First, T-cell receptor (TCR) signal(More)
The Dok adaptor family of proteins binding to RasGAP, consisting of Dok-1 and Dok-2, are critical regulators in cell proliferation. These molecules are partners and/or substrates of different protein tyrosine kinases considered as oncoproteins. Here, we show that Dok-1 and Dok-2 are the major tyrosine-phosphorylated proteins associated to Tec, a protein(More)
BACKGROUND Multiparameter flow cytometry has been increasingly used in the identification and characterization of leukemia and lymphoma. However, due to technical complexity, this method still presents some level of variation between laboratories. In an attempt to yield more reproducible results, restrictive, highly standardized procedures have been(More)