Search results for "CTLA"

Found 18 publication records. Showing 18 according to the selection in the facets

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
94	Frank Alexander Kraemer, Peter Herrmann, Rolv Bræk	Aligning UML 2.0 State Machines and Temporal Logic for the Efficient Execution of Services.	OTM Conferences (2)	2006	DBLP DOI BibTeX RDF
80	Günter Graw, Peter Herrmann, Heiko Krumm	Verification of UML-Based Real-Time System Designs by Means of cTLA.	ISORC	2000	DBLP DOI BibTeX RDF
80	Peter Herrmann, Heiko Krumm	Formal Hazard Analysis of Hybrid Systems in cTLA.	SRDS	1999	DBLP DOI BibTeX RDF
70	Peter Herrmann	Temporal Logic-Based Specification and Verification of Trust Models.	iTrust	2006	DBLP DOI BibTeX RDF
60	Denis Roegel	Specifying Almost-Real Concurrent Object-Oriented Programs.	PDP	1996	DBLP DOI BibTeX RDF	almost-real concurrent object-oriented programs, refinement chain, CTLA, structuring concerns, formal specification, parallel programming, parallel programming, object-oriented programming, specification, specification languages
47	Gerrit Rothmaier, Tobias Kneiphoff, Heiko Krumm	Using SPIN and Eclipse for Optimized High-Level Modeling and Analysis of Computer Network Attack Models.	SPIN	2005	DBLP DOI BibTeX RDF
33	Veeramani Sonai, Indira Bharathi, Muthaiah U, Sountharrajan Sehar, Durga Prasad Bavirisetti	CTLA: Compressed Table Look up Algorithm for Open Flow Switch.	IEEE Open J. Comput. Soc.	2024	DBLP DOI BibTeX RDF
33	Nguyen Huy Hoang Vo, Huong Thi Thu Phung, Khanh Linh Chung, Thien Y. Vu	Design And Evaluating The Efficacy Of Novel Antibodies Enhancing Binding On CTLA-4 And PD-1 Immune Checkpoints.	J. Adv. Eng. Comput.	2023	DBLP DOI BibTeX RDF
33	Jingjie Qian, Weiyue Ding, Yue Jiang, Li Xu	Meta-Analysis of irAEs between Dose of CTLA-4 and PD-1 Inhibitors.	BIBM	2021	DBLP DOI BibTeX RDF
33	Aravindhan Ganesan, Theinmozhi Arulraj, Tahir Choulli, Khaled H. Barakat	A mathematical modelling tool for unravelling the antibody-mediated effects on CTLA-4 interactions.	BMC Medical Informatics Decis. Mak.	2018	DBLP DOI BibTeX RDF
33	Qiuju Zhou, Guilin Meng, Ying Ding 0001	Who bridged the "Valley of Death" between basic research and clinical research? In the case of immune-checkpoints CTLA-4 and PD-1 based on inter-citation network.	ASIST	2017	DBLP DOI BibTeX RDF
33	Gerrit Rothmaier, Andre Pohl, Heiko Krumm	Analyzing Network Management Effects with SPIN and cTLA.	SEC	2004	DBLP DOI BibTeX RDF
33	Günter Graw, Peter Herrmann, Heiko Krumm	Composing Object-Oriented Specifications and Verifications with cTLA.	ECOOP Workshops	1999	DBLP BibTeX RDF
33	Peter Herrmann, Günter Graw, Heiko Krumm	Compositional Specification and Structured Verification of Hybrid Systems in cTLA.	ISORC	1998	DBLP DOI BibTeX RDF
33	Dirk Jäger, Arnulf Mester	Automatische Erzeugung von Prototypen verteilter Anwendungen aus cTLA-Spezifikationen.	FBT	1997	DBLP BibTeX RDF
33	Carsten Heyl, Arnulf Mester, Heiko Krumm	cTc - A Tool Supporting the Construction of cTLA-Specifications.	TACAS	1996	DBLP DOI BibTeX RDF
23	Gerrit Rothmaier, Heiko Krumm	A Framework Based Approach for Formal Modeling and Analysis of Multi-level Attacks in Computer Networks.	FORTE	2005	DBLP DOI BibTeX RDF
23	Peter Herrmann	Formal Security Policy Verification of Distributed Component-Structured Software.	FORTE	2003	DBLP DOI BibTeX RDF