|
|
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
OTM Conferences (2) ![In: On the Move to Meaningful Internet Systems 2006: CoopIS, DOA, GADA, and ODBASE, OTM Confederated International Conferences, CoopIS, DOA, GADA, and ODBASE 2006, Montpellier, France, October 29 - November 3, 2006. Proceedings, Part II, pp. 1613-1632, 2006, Springer, 3-540-48274-1. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISORC ![In: 3rd International Symposium on Object-Oriented Real-Time Distributed Computing (ISORC 2000), 15-17 March 2000, Newport Beach, CA, USA, pp. 86-95, 2000, IEEE Computer Society, 0-7695-0607-0. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
80 | Peter Herrmann, Heiko Krumm |
Formal Hazard Analysis of Hybrid Systems in cTLA. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SRDS ![In: The Eighteenth Symposium on Reliable Distributed Systems, SRDS 1999, Lausanne, Switzerland, October 19-22, 1999, Proceedings, pp. 68-77, 1999, IEEE Computer Society, 0-7695-0290-3. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
70 | Peter Herrmann |
Temporal Logic-Based Specification and Verification of Trust Models. ![Search on Bibsonomy](Pics/bibsonomy.png) |
iTrust ![In: Trust Management, 4th International Conference, iTrust 2006, Pisa, Italy, May 16-19, 2006, Proceedings, pp. 105-119, 2006, Springer, 3-540-34295-8. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
60 | Denis Roegel |
Specifying Almost-Real Concurrent Object-Oriented Programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PDP ![In: 4th Euromicro Workshop on Parallel and Distributed Processing (PDP '96), January 24-26, 1996, Portugal, pp. 94-101, 1996, IEEE Computer Society, 0-8186-7376-1. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SPIN ![In: Model Checking Software, 12th International SPIN Workshop, San Francisco, CA, USA, August 22-24, 2005, Proceedings, pp. 236-250, 2005, Springer, 3-540-28195-9. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Open J. Comput. Soc. ![In: IEEE Open J. Comput. Soc. 5, pp. 73-82, 2024. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Adv. Eng. Comput. ![In: J. Adv. Eng. Comput. 7(4), pp. 224, December 2023. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
BIBM ![In: IEEE International Conference on Bioinformatics and Biomedicine, BIBM 2021, Houston, TX, USA, December 9-12, 2021, pp. 1881-1885, 2021, IEEE, 978-1-6654-0126-5. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
BMC Medical Informatics Decis. Mak. ![In: BMC Medical Informatics Decis. Mak. 18(1), pp. 37:1-37:17, 2018. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ASIST ![In: Diversity of Engagement: Connecting People and Information in the Physical and Virtual Worlds - Proceedings of the 80th ASIS&T Annual Meeting, ASIST 2017, Washington, DC, USA, October 27 - November 1, 2017, pp. 855-856, 2017, Wiley. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
33 | Gerrit Rothmaier, Andre Pohl, Heiko Krumm |
Analyzing Network Management Effects with SPIN and cTLA. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SEC ![In: Security and Protection in Information Processing Systems, IFIP 18th WorldComputer Congress, TC11 19th International Information Security Conference, 22-27 August 2004, Toulouse, France, pp. 65-82, 2004, Kluwer / Springer, 1-4020-8142-1. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
33 | Günter Graw, Peter Herrmann, Heiko Krumm |
Composing Object-Oriented Specifications and Verifications with cTLA. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ECOOP Workshops ![In: Object-Oriented Technology, ECOOP'99 Workshop Reader, ECOOP'99 Workshops, Panels, and Posters, Lisbon, Portugal, June 14-18, 1999, Proceedings, pp. 318, 1999, Springer, 3-540-66954-X. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP BibTeX RDF |
|
33 | Peter Herrmann, Günter Graw, Heiko Krumm |
Compositional Specification and Structured Verification of Hybrid Systems in cTLA. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISORC ![In: 1st International Symposium on Object-Oriented Real-Time Distributed Computing (ISORC '98), 20-22 April 1998, Kyoto, Japan, pp. 335-, 1998, IEEE Computer Society, 0-8186-8430-5. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
|
33 | Dirk Jäger, Arnulf Mester |
Automatische Erzeugung von Prototypen verteilter Anwendungen aus cTLA-Spezifikationen. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FBT ![In: Formale Beschreibungstechniken für verteilte Systeme, GI/ITG-Fachgespräch, Berlin, 19.-20. Juni 1997, pp. 313-321, 1997, GMD-Forschungszentrum Informationstechnik GmbH, 3-88457-315-2. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP BibTeX RDF |
|
33 | Carsten Heyl, Arnulf Mester, Heiko Krumm |
cTc - A Tool Supporting the Construction of cTLA-Specifications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TACAS ![In: Tools and Algorithms for Construction and Analysis of Systems, Second International Workshop, TACAS '96, Passau, Germany, March 27-29, 1996, Proceedings, pp. 407-411, 1996, Springer, 3-540-61042-1. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FORTE ![In: Formal Techniques for Networked and Distributed Systems - FORTE 2005, 25th IFIP WG 6.1 International Conference, Taipei, Taiwan, October 2-5, 2005, Proceedings, pp. 247-260, 2005, Springer, 3-540-29189-X. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
23 | Peter Herrmann |
Formal Security Policy Verification of Distributed Component-Structured Software. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FORTE ![In: Formal Techniques for Networked and Distributed Systems - FORTE 2003, 23rd IFIP WG 6.1 International Conference, Berlin, Germany, September 29 - October 2, 2003, Proceedings, pp. 257-272, 2003, Springer, 3-540-20175-0. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
Displaying result #1 - #18 of 18 (100 per page; Change: )
|
|