|
|
Venues (Conferences, Journals, ...)
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 5 occurrences of 5 keywords
|
|
|
Results
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 |
|
Displaying result #1 - #18 of 18 (100 per page; Change: )
|
|