|
|
Venues (Conferences, Journals, ...)
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 494 occurrences of 344 keywords
|
|
|
Results
Found 1178 publication records. Showing 1178 according to the selection in the facets
Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
15 | Mário José Parreira Pereira |
Tools and Techniques for the Verification of Modular Stateful Code. (Outils et techniques pour la vérification de programmes impératives modulaires). ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
2018 |
RDF |
|
15 | Myrto Arapinis, Jia Liu 0003, Eike Ritter, Mark Ryan 0001 |
Stateful applied pi calculus: Observational equivalence and labelled bisimilarity. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Log. Algebraic Methods Program. ![In: J. Log. Algebraic Methods Program. 89, pp. 95-149, 2017. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
15 | Aliaksandr Lazouski, Fabio Martinelli, Paolo Mori, Andrea Saracino |
Stateful Data Usage Control for Android Mobile Devices. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Inf. Sec. ![In: Int. J. Inf. Sec. 16(4), pp. 345-369, 2017. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
15 | Carmelo Cascone, Davide Sanvito, Luca Pollini, Antonio Capone, Brunilde Sansò |
Fast failure detection and recovery in SDN with stateful data plane. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Netw. Manag. ![In: Int. J. Netw. Manag. 27(2), 2017. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
15 | Feng Zhang, Yongwang Zhao, Dianfu Ma, Wensheng Niu |
Formal Verification of Behavioral AADL Models by Stateful Timed CSP. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Access ![In: IEEE Access 5, pp. 27421-27438, 2017. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
15 | Yi-Ruei Chen, Wen-Guey Tzeng |
Group key management with efficient rekey mechanism: A Semi-Stateful approach for out-of-Synchronized members. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Comput. Commun. ![In: Comput. Commun. 98, pp. 31-42, 2017. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
15 | Giorgos Vasiliadis, Lazaros Koromilas, Michalis Polychronakis, Sotiris Ioannidis |
Design and Implementation of a Stateful Network Packet Processing Framework for GPUs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE/ACM Trans. Netw. ![In: IEEE/ACM Trans. Netw. 25(1), pp. 610-623, 2017. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
15 | Chen Sun 0005, Jun Bi, Haoxian Chen 0001, Hongxin Hu, Zhilong Zheng, Shuyong Zhu, Chenghui Wu |
SDPA: Toward a Stateful Data Plane in Software-Defined Networking. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE/ACM Trans. Netw. ![In: IEEE/ACM Trans. Netw. 25(6), pp. 3294-3308, 2017. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
15 | Tiziano De Matteis, Gabriele Mencagli |
Parallel Patterns for Window-Based Stateful Operators on Data Streams: An Algorithmic Skeleton Approach. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Parallel Program. ![In: Int. J. Parallel Program. 45(2), pp. 382-401, 2017. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
15 | Thuy Vinh Tran, Heejune Ahn |
Challenges of and solution to the control load of stateful firewall in software defined networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Comput. Stand. Interfaces ![In: Comput. Stand. Interfaces 54, pp. 293-304, 2017. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
15 | Tooska Dargahi, Alberto Caponi, Moreno Ambrosin, Giuseppe Bianchi 0001, Mauro Conti |
A Survey on the Security of Stateful SDN Data Planes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Commun. Surv. Tutorials ![In: IEEE Commun. Surv. Tutorials 19(3), pp. 1701-1725, 2017. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
15 | Kuo-Kun Tseng, Jiao Lo, Yiming Liu, Shih-Hao Chang, Madjid Merabti, Felix C. K. Ng, Chun-Ho Wu |
A feasibility study of stateful automaton packet inspection for streaming application detection systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Enterp. Inf. Syst. ![In: Enterp. Inf. Syst. 11(9), pp. 1317-1336, 2017. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
15 | Kalev Alpernas, Roman Manevich, Aurojit Panda, Mooly Sagiv, Scott Shenker, Sharon Shoham, Yaron Velner |
Modular Safety Verification for Stateful Networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1708.05904, 2017. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP BibTeX RDF |
|
15 | Carmelo Cascone, Roberto Bifulco, Salvatore Pontarelli, Antonio Capone |
Relaxing state-access constraints in stateful programmable data planes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1703.05442, 2017. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP BibTeX RDF |
|
15 | Carmelo Cascone, Roberto Bifulco, Salvatore Pontarelli |
Relaxing constraints in stateful network data plane design. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1702.02347, 2017. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP BibTeX RDF |
|
15 | Li Wang, Tom Z. J. Fu, Richard T. B. Ma, Marianne Winslett, Zhenjie Zhang |
Elasticutor: Rapid Elasticity for Realtime Stateful Stream Processing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1711.01046, 2017. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP BibTeX RDF |
|
15 | William John Gowers, James Laird |
Sequoidal Categories and Transfinite Games: A Coalgebraic Approach to Stateful Objects in Game Semantics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1706.00035, 2017. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP BibTeX RDF |
|
15 | Phuc C. Nguyen, Thomas Gilray, Sam Tobin-Hochstadt, David Van Horn |
Soft Contract Verification for Higher-Order Stateful Programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1711.03620, 2017. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP BibTeX RDF |
|
15 | Sugi Lee, Younghoon Kim, Ikjun Yeom, Yusung Kim 0001 |
Active request management in stateful forwarding networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Netw. Comput. Appl. ![In: J. Netw. Comput. Appl. 93, pp. 137-149, 2017. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
15 | Paris Carbone, Stephan Ewen, Gyula Fóra, Seif Haridi, Stefan Richter 0007, Kostas Tzoumas |
State Management in Apache Flink®: Consistent Stateful Distributed Stream Processing. (PDF / PS) ![Search on Bibsonomy](Pics/bibsonomy.png) |
Proc. VLDB Endow. ![In: Proc. VLDB Endow. 10(12), pp. 1718-1729, 2017. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
15 | Shadi A. Noghabi, Kartik Paramasivam, Yi Pan, Navina Ramesh, Jon Bringhurst, Indranil Gupta, Roy H. Campbell |
Stateful Scalable Stream Processing at LinkedIn. (PDF / PS) ![Search on Bibsonomy](Pics/bibsonomy.png) |
Proc. VLDB Endow. ![In: Proc. VLDB Endow. 10(12), pp. 1634-1645, 2017. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
15 | Jin Seek Choi, Sungtae Kang, Young Lee |
Design and evaluation of a PCEP-based topology discovery protocol for stateful PCE. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Opt. Switch. Netw. ![In: Opt. Switch. Netw. 26, pp. 39-47, 2017. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
15 | Jin Seek Choi |
Controller-Centric Combinatorial Wrap-Around Interaction Testing to Evaluate a Stateful PCE-Based Transport Network Architecture. ![Search on Bibsonomy](Pics/bibsonomy.png) |
JOCN ![In: JOCN 9(9), pp. 792-802, 2017. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
15 | Xian Zhang, Ina Minei |
Applicability of a Stateful Path Computation Element (PCE). ![Search on Bibsonomy](Pics/bibsonomy.png) |
RFC ![In: RFC 8051, pp. 1-24, January 2017. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
15 | Edward Crabbe, Ina Minei, Jan Medved, Robert Varga |
Path Computation Element Communication Protocol (PCEP) Extensions for Stateful PCE. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RFC ![In: RFC 8231, pp. 1-57, September 2017. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
15 | Edward Crabbe, Ina Minei, Siva Sivabalan, Robert Varga |
Path Computation Element Communication Protocol (PCEP) Extensions for PCE-Initiated LSP Setup in a Stateful PCE Model. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RFC ![In: RFC 8281, pp. 1-20, December 2017. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
15 | Edward Crabbe, Ina Minei, Jan Medved, Robert Varga, Xian Zhang, Dhruv Dhody |
Optimizations of Label Switched Path State Synchronization Procedures for a Stateful PCE. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RFC ![In: RFC 8232, pp. 1-26, September 2017. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
15 | Panos Kampanakis, Scott R. Fluhrer |
LMS vs XMSS: A comparison of the Stateful Hash-Based Signature Proposed Standards. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IACR Cryptol. ePrint Arch. ![In: IACR Cryptol. ePrint Arch. 2017, pp. 349, 2017. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP BibTeX RDF |
|
15 | Christian Cachin, Esha Ghosh, Dimitrios Papadopoulos 0001, Björn Tackmann |
Stateful Multi-Client Verifiable Computation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IACR Cryptol. ePrint Arch. ![In: IACR Cryptol. ePrint Arch. 2017, pp. 901, 2017. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP BibTeX RDF |
|
15 | Florian Wininger, Naser Ezzati-Jivan, Michel R. Dagenais |
A declarative framework for stateful analysis of execution traces. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Softw. Qual. J. ![In: Softw. Qual. J. 25(1), pp. 201-229, 2017. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
15 | Uriel Feige, Tomer Koren, Moshe Tennenholtz |
Chasing Ghosts: Competing with Stateful Policies. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIAM J. Comput. ![In: SIAM J. Comput. 46(1), pp. 190-223, 2017. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
15 | Demis Gomes, Glauco Estácio Gonçalves, Moises Bezerra, Djamel Sadok, Patricia Takako Endo, Calin Curescu |
Failover time evaluation between checkpoint services in multi-tier stateful applications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IM ![In: 2017 IFIP/IEEE Symposium on Integrated Network and Service Management (IM), Lisbon, Portugal, May 8-12, 2017, pp. 797-800, 2017, IEEE, 978-3-901882-89-0. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
15 | Nicola Bonelli, Stefano Giordano, Gregorio Procissi |
A pipeline functional language for stateful packet processing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
NetSoft ![In: 2017 IEEE Conference on Network Softwarization, NetSoft 2017, Bologna, Italy, July 3-7, 2017, pp. 1-4, 2017, IEEE, 978-1-5090-6008-5. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
15 | Davide Sanvito, Daniele Moro, Antonio Capone |
Towards traffic classification offloading to stateful SDN data planes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
NetSoft ![In: 2017 IEEE Conference on Network Softwarization, NetSoft 2017, Bologna, Italy, July 3-7, 2017, pp. 1-4, 2017, IEEE, 978-1-5090-6008-5. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
15 | Filippo Rebecchi, Julien Boite, Pierre-Alexis Nardin, Mathieu Bouet, Vania Conan |
Traffic monitoring and DDoS detection using stateful SDN. ![Search on Bibsonomy](Pics/bibsonomy.png) |
NetSoft ![In: 2017 IEEE Conference on Network Softwarization, NetSoft 2017, Bologna, Italy, July 3-7, 2017, pp. 1-2, 2017, IEEE, 978-1-5090-6008-5. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
15 | Julien Boite, Pierre-Alexis Nardin, Filippo Rebecchi, Mathieu Bouet, Vania Conan |
Statesec: Stateful monitoring for DDoS protection in software defined networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
NetSoft ![In: 2017 IEEE Conference on Network Softwarization, NetSoft 2017, Bologna, Italy, July 3-7, 2017, pp. 1-9, 2017, IEEE, 978-1-5090-6008-5. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
15 | Salvatore Pontarelli, Valerio Bruschi, Marco Bonola, Giuseppe Bianchi 0001 |
On offloading programmable SDN controller tasks to the embedded microcontroller of stateful SDN dataplanes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
NetSoft ![In: 2017 IEEE Conference on Network Softwarization, NetSoft 2017, Bologna, Italy, July 3-7, 2017, pp. 1-4, 2017, IEEE, 978-1-5090-6008-5. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
15 | Md. Endadul Hoque, Omar Chowdhury, Sze Yiu Chau, Cristina Nita-Rotaru, Ninghui Li |
Analyzing Operational Behavior of Stateful Protocol Implementations for Detecting Semantic Bugs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DSN ![In: 47th Annual IEEE/IFIP International Conference on Dependable Systems and Networks, DSN 2017, Denver, CO, USA, June 26-29, 2017, pp. 627-638, 2017, IEEE Computer Society, 978-1-5386-0542-4. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
15 | Jike Ge, Zuqin Chen, Can Liu, Jun Peng, Wenbo He, Nan Zhu |
A RST-based stateful data analytics within spark. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE ICCI*CC ![In: 16th IEEE International Conference on Cognitive Informatics & Cognitive Computing, ICCI*CC 2017, Oxford, United Kingdom, July 26-28, 2017, pp. 394-399, 2017, IEEE Computer Society, 978-1-5386-0771-8. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
15 | Li Li 0044, Naipeng Dong, Jun Pang 0001, Jun Sun 0001, Guangdong Bai, Yang Liu 0003, Jin Song Dong |
A Verification Framework for Stateful Security Protocols. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICFEM ![In: Formal Methods and Software Engineering - 19th International Conference on Formal Engineering Methods, ICFEM 2017, Xi'an, China, November 13-17, 2017, Proceedings, pp. 262-280, 2017, Springer, 978-3-319-68689-9. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
15 | Ramon Casellas, Ricard Vilalta, Ricardo Martinez 0001, Raul Muñoz 0001, Haomian Zheng, Young Lee |
Experimental validation of the ACTN architecture for flexi-grid optical networks using Active Stateful Hierarchical PCEs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICTON ![In: 2017 19th International Conference on Transparent Optical Networks (ICTON), Girona, Spain, July 2-6, 2017, pp. 1-4, 2017, IEEE, 978-1-5386-0859-3. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
15 | Nam H. Do, Tien Van Do 0001, Xuan Thi Tran, Lóránt Farkas, Csaba Rotter |
A scalable routing mechanism for stateful microservices. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICIN ![In: 20th Conference on Innovations in Clouds, Internet and Networks, ICIN 2017, Paris, France, March 7-9, 2017, pp. 72-78, 2017, IEEE, 978-1-5090-3672-1. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
15 | Jannik Dreier, Charles Duménil, Steve Kremer, Ralf Sasse |
Beyond Subterm-Convergent Equational Theories in Automated Verification of Stateful Protocols. ![Search on Bibsonomy](Pics/bibsonomy.png) |
POST ![In: Principles of Security and Trust - 6th International Conference, POST 2017, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Uppsala, Sweden, April 22-29, 2017, Proceedings, pp. 117-140, 2017, Springer, 978-3-662-54454-9. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
15 | Yunyun Wu, Jing Liu, Jingyu Hou 0001, Shaowen Yao 0001 |
A stateful multicast key distribution protocol based on identity-based encryption. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICIS ![In: 16th IEEE/ACIS International Conference on Computer and Information Science, ICIS 2017, Wuhan, China, May 24-26, 2017, pp. 19-24, 2017, IEEE Computer Society, 978-1-5090-5507-4. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
15 | Fahad Nife, Zbigniew Kotulski |
Multi-level Stateful Firewall Mechanism for Software Defined Networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CN ![In: Computer Networks - 24th International Conference, CN 2017, Lądek Zdrój, Poland, June 20-23, 2017, Proceedings, pp. 271-286, 2017, Springer, 978-3-319-59766-9. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
15 | Andrea Bianco, Paolo Giaccone, Seyedaidin Kelki, Nicolas Mejia Campos, Stefano Traverso, Tianzhu Zhang |
On-the-fly traffic classification and control with a stateful SDN approach. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICC ![In: IEEE International Conference on Communications, ICC 2017, Paris, France, May 21-25, 2017, pp. 1-6, 2017, IEEE, 978-1-4673-8999-0. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
15 | Taro Sekiyama, Atsushi Igarashi |
Stateful manifest contracts. ![Search on Bibsonomy](Pics/bibsonomy.png) |
POPL ![In: Proceedings of the 44th ACM SIGPLAN Symposium on Principles of Programming Languages, POPL 2017, Paris, France, January 18-20, 2017, pp. 530-544, 2017, ACM, 978-1-4503-4660-3. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
15 | Klaus Schneider 0004, Beichuan Zhang 0001, Lan Wang, Lixia Zhang 0001 |
Near loop-free routing: increasing path choices with stateful forwarding. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICN ![In: Proceedings of the 4th ACM Conference on Information-Centric Networking, ICN 2017, Berlin, Germany, September 26-28, 2017, pp. 182-183, 2017, ACM, 978-1-4503-5122-5. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
15 | Shangqing Zhao, Zhengping Luo 0001, Zhuo Lu, Xiang Lu, Yao Liu 0007 |
Stateful Inter-Packet Signal Processing for Wireless Networking. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MobiCom ![In: Proceedings of the 23rd Annual International Conference on Mobile Computing and Networking, MobiCom 2017, Snowbird, UT, USA, October 16 - 20, 2017, pp. 15-27, 2017, ACM, 978-1-4503-4916-1. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
15 | Marco Bonola, Roberto Bifulco, Luca Petrucci, Salvatore Pontarelli, Angelo Tulumello, Giuseppe Bianchi 0001 |
Demo: Implementing advanced network functions with stateful programmable data planes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LANMAN ![In: 2017 IEEE International Symposium on Local and Metropolitan Area Networks, LANMAN 2017, Osaka, Japan, June 12-14, 2017, pp. 1-2, 2017, IEEE, 978-1-5386-0728-2. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
15 | Marco Bonola, Roberto Bifulco, Luca Petrucci, Salvatore Pontarelli, Angelo Tulumello, Giuseppe Bianchi 0001 |
Implementing advanced network functions for datacenters with stateful programmable data planes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LANMAN ![In: 2017 IEEE International Symposium on Local and Metropolitan Area Networks, LANMAN 2017, Osaka, Japan, June 12-14, 2017, pp. 1-6, 2017, IEEE, 978-1-5386-0728-2. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
15 | Jeongkeun Lee, Rui Miao, Changhoon Kim, Minlan Yu, Hongyi Zeng |
Stateful Layer-4 Load Balancing in Switching ASICs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIGCOMM Posters and Demos ![In: Posters and Demos Proceedings of the Conference of the ACM Special Interest Group on Data Communication, SIGCOMM 2017, Los Angeles, CA, USA, August 21-25, 2017, pp. 133-135, 2017, ACM, 978-1-4503-5057-0. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
15 | Rui Miao, Hongyi Zeng, Changhoon Kim, Jeongkeun Lee, Minlan Yu |
SilkRoad: Making Stateful Layer-4 Load Balancing Fast and Cheap Using Switching ASICs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIGCOMM ![In: Proceedings of the Conference of the ACM Special Interest Group on Data Communication, SIGCOMM 2017, Los Angeles, CA, USA, August 21-25, 2017, pp. 15-28, 2017, ACM, 978-1-4503-4653-5. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
15 | Qingsong Guo, Yongluan Zhou |
Stateful Load Balancing for Parallel Stream Processing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Euro-Par Workshops ![In: Euro-Par 2017: Parallel Processing Workshops - Euro-Par 2017 International Workshops, Santiago de Compostela, Spain, August 28-29, 2017, Revised Selected Papers, pp. 80-93, 2017, Springer, 978-3-319-75177-1. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
15 | Elham Ahmadi, Mario A. Nascimento |
IBS: An Efficient Stateful Algorithm for Optimal Sequenced Group Trip Planning Queries. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MDM ![In: 18th IEEE International Conference on Mobile Data Management, MDM 2017, Daejeon, South Korea, May 29 - June 1, 2017, pp. 212-221, 2017, IEEE Computer Society, 978-1-5386-3932-0. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
15 | Gustavo Gonzalez Granadillo, Elena Doynikova, Igor V. Kotenko, Joaquín García-Alfaro |
Attack Graph-Based Countermeasure Selection Using a Stateful Return on Investment Metric. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FPS ![In: Foundations and Practice of Security - 10th International Symposium, FPS 2017, Nancy, France, October 23-25, 2017, Revised Selected Papers, pp. 293-302, 2017, Springer, 978-3-319-75649-3. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
15 | Christine Dierk, Tomás Vega Galvez, Eric Paulos |
AlterNail: Ambient, Batteryless, Stateful, Dynamic Displays at your Fingertips. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CHI ![In: Proceedings of the 2017 CHI Conference on Human Factors in Computing Systems, Denver, CO, USA, May 06-11, 2017., pp. 6754-6759, 2017, ACM, 978-1-4503-4655-9. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
15 | Rui Ma 0004, Tianbao Zhu, Changzhen Hu, Chun Shan, Xiaolin Zhao |
SulleyEX: A Fuzzer for Stateful Network Protocol. ![Search on Bibsonomy](Pics/bibsonomy.png) |
NSS ![In: Network and System Security - 11th International Conference, NSS 2017, Helsinki, Finland, August 21-23, 2017, Proceedings, pp. 359-372, 2017, Springer, 978-3-319-64700-5. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
15 | Yunhao Zhang, Rong Chen 0001, Haibo Chen 0001 |
Sub-millisecond Stateful Stream Querying over Fast-evolving Linked Data. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SOSP ![In: Proceedings of the 26th Symposium on Operating Systems Principles, Shanghai, China, October 28-31, 2017, pp. 614-630, 2017, ACM, 978-1-4503-5085-3. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
15 | Thang Bui, Scott D. Stoller, Shikhar Sharma |
Fast Distributed Evaluation of Stateful Attribute-Based Access Control Policies. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DBSec ![In: Data and Applications Security and Privacy XXXI - 31st Annual IFIP WG 11.3 Conference, DBSec 2017, Philadelphia, PA, USA, July 19-21, 2017, Proceedings, pp. 101-119, 2017, Springer, 978-3-319-61175-4. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
15 | Ying Zhang, Wenfei Wu, Sujata Banerjee, Joon-Myung Kang, Mario A. Sánchez |
SLA-verifier: Stateful and quantitative verification for service chaining. ![Search on Bibsonomy](Pics/bibsonomy.png) |
INFOCOM ![In: 2017 IEEE Conference on Computer Communications, INFOCOM 2017, Atlanta, GA, USA, May 1-4, 2017, pp. 1-9, 2017, IEEE, 978-1-5090-5336-0. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
15 | Ludovic Henrio, Cosimo Laneve, Vincenzo Mastandrea |
Analysis of Synchronisations in Stateful Active Objects. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IFM ![In: Integrated Formal Methods - 13th International Conference, IFM 2017, Turin, Italy, September 20-22, 2017, Proceedings, pp. 195-210, 2017, Springer, 978-3-319-66844-4. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
15 | Zainul Din, Jaudelice de Oliveira |
Anomaly Free on Demand Stateful Software Defined Firewalling. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICCCN ![In: 26th International Conference on Computer Communication and Networks, ICCCN 2017, Vancouver, BC, Canada, July 31 - Aug. 3, 2017, pp. 1-9, 2017, IEEE, 978-1-5090-2991-4. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
15 | Wang Kang 0001, He Zhang 0011, Peng Ouyang, Youguang Zhang, Weisheng Zhao |
Programmable Stateful In-Memory Computing Paradigm via a Single Resistive Device. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICCD ![In: 2017 IEEE International Conference on Computer Design, ICCD 2017, Boston, MA, USA, November 5-8, 2017, pp. 613-616, 2017, IEEE Computer Society, 978-1-5386-2254-4. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
15 | Kee Sung Kim, Minkyu Kim, Dongsoo Lee, Je Hong Park, Woo-Hwan Kim |
Security of Stateful Order-Preserving Encryption. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICISC ![In: Information Security and Cryptology - ICISC 2017 - 20th International Conference, Seoul, South Korea, November 29 - December 1, 2017, Revised Selected Papers, pp. 39-56, 2017, Springer, 978-3-319-78555-4. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
15 | Shouxi Luo, Hong-Fang Yu, Laurent Vanbever |
Swing State: Consistent Updates for Stateful and Programmable Data Planes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SOSR ![In: Proceedings of the Symposium on SDN Research, SOSR 2017, Santa Clara, CA, USA, April 3-4, 2017, pp. 115-121, 2017, ACM, 978-1-4503-4947-5. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
15 | Luca Petrucci, Marco Bonola, Salvatore Pontarelli, Giuseppe Bianchi 0001, Roberto Bifulco |
Implementing iptables using a programmable stateful data plane abstraction: Demo. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SOSR ![In: Proceedings of the Symposium on SDN Research, SOSR 2017, Santa Clara, CA, USA, April 3-4, 2017, pp. 193-194, 2017, ACM, 978-1-4503-4947-5. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
15 | Roman Popp, Hermann Kaindl |
Stateful SOA-conformant Services as Building Blocks for Interactive Software Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HICSS ![In: 50th Hawaii International Conference on System Sciences, HICSS 2017, Hilton Waikoloa Village, Hawaii, USA, January 4-7, 2017, pp. 1-10, 2017, ScholarSpace / AIS Electronic Library (AISeL). The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP BibTeX RDF |
|
15 | Nicholas Gray, Claas Lorenz, Alexander Müssig, Steffen Gebert, Thomas Zinner, Phuoc Tran-Gia |
A priori state synchronization for fast failover of stateful firewall VNFs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
NetSys ![In: 2017 International Conference on Networked Systems, NetSys 2017, Göttingen, Germany, March 13-16, 2017, pp. 1-6, 2017, IEEE, 978-1-5090-4394-1. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
15 | Oussama Beroual, Francis Guerin, Sylvain Hallé |
Searching for Behavioural Bugs with Stateful Test Oracles in Web Crawlers. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SBST@ICSE ![In: 10th IEEE/ACM International Workshop on Search-Based Software Testing, SBST@ICSE 2017, Buenos Aires, Argentina, May 22-23, 2017, pp. 7-13, 2017, IEEE, 978-1-5386-2789-1. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
15 | William John Gowers, James Laird |
Sequoidal Categories and Transfinite Games: A Coalgebraic Approach to Stateful Objects in Game Semantics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CALCO ![In: 7th Conference on Algebra and Coalgebra in Computer Science, CALCO 2017, June 12-16, 2017, Ljubljana, Slovenia, pp. 13:1-13:17, 2017, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-033-0. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
15 | Zhongjie Wang 0002, Yue Cao 0003, Zhiyun Qian, Chengyu Song, Srikanth V. Krishnamurthy |
Your state is not mine: a closer look at evading stateful internet censorship. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Internet Measurement Conference ![In: Proceedings of the 2017 Internet Measurement Conference, IMC 2017, London, United Kingdom, November 1-3, 2017, pp. 114-127, 2017, ACM, 978-1-4503-5118-8. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
15 | Seyed Kaveh Fayaz |
Reasoning about Stateful Network Behaviors. ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
2017 |
DOI RDF |
|
15 | Carmelo Cascone |
Stateful data plane abstractions for Software-Defined Networks and their applications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
2017 |
RDF |
|
15 | Danyang Qin, Shuang Jia, Songxiang Yang, Erfu Wang, Qun Ding |
Research on Secure Aggregation Scheme based on Stateful Public Key Cryptology in Wireless Sensor Networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Inf. Hiding Multim. Signal Process. ![In: J. Inf. Hiding Multim. Signal Process. 7(5), pp. 938-948, 2016. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP BibTeX RDF |
|
15 | Jianxiong Shao, Yu Qin, Dengguo Feng |
Computational Soundness Results for Stateful Applied pi Calculus. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1601.00363, 2016. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP BibTeX RDF |
|
15 | Tim Nelson, Nicholas DeMarinis, Timothy Adam Hoff, Rodrigo Fonseca, Shriram Krishnamurthi |
Compiling Stateful Network Properties for Runtime Verification. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1607.03385, 2016. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP BibTeX RDF |
|
15 | Nicolas Laurent, Kim Mens |
Taming Context-Sensitive Languages with Principled Stateful Parsing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1609.05365, 2016. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP BibTeX RDF |
|
15 | Luca Petrucci, Nicola Bonelli, Marco Bonola, Gregorio Procissi, Carmelo Cascone, Davide Sanvito, Salvatore Pontarelli, Giuseppe Bianchi 0001, Roberto Bifulco |
Towards a Stateful Forwarding Abstraction to Implement Scalable Network Functions in Software and Hardware. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1611.02853, 2016. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP BibTeX RDF |
|
15 | Giuseppe Bianchi 0001, Marco Bonola, Salvatore Pontarelli, Davide Sanvito, Antonio Capone, Carmelo Cascone |
Open Packet Processor: a programmable architecture for wire speed platform-independent stateful in-network processing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1605.01977, 2016. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP BibTeX RDF |
|
15 | Junaid Khalid, Aditya Akella |
StreamNF: Performance and Correctness for Stateful Chained NFs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1612.01497, 2016. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP BibTeX RDF |
|
15 | Jun Bi, Shuyong Zhu, Chen Sun 0005, Guang Yao, Hongxin Hu |
Supporting virtualized network functions with stateful data plane abstraction. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Netw. ![In: IEEE Netw. 30(3), pp. 40-45, 2016. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
15 | Jin Seek Choi |
A Stateful PCE-Based Carrier-Grade Transport Network: Design, Implementation, Evaluation, and Experiences. ![Search on Bibsonomy](Pics/bibsonomy.png) |
JOCN ![In: JOCN 8(9), pp. 701-714, 2016. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
15 | Zhizhen Zhong, Nan Hua, Massimo Tornatore, Yao Li, Haijiao Liu, Chen Ma, Yanhe Li, Xiaoping Zheng, Biswanath Mukherjee |
Energy Efficiency and Blocking Reduction for Tidal Traffic via Stateful Grooming in IP-Over-Optical Networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
JOCN ![In: JOCN 8(3), pp. 175-189, 2016. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
15 | Nico Döttling, Daniel Kraschewski, Jörn Müller-Quade, Tobias Nilges |
From Stateful Hardware to Resettable Hardware Using Symmetric Assumptions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IACR Cryptol. ePrint Arch. ![In: IACR Cryptol. ePrint Arch. 2016, pp. 201, 2016. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP BibTeX RDF |
|
15 | José Luis Izquierdo-Zaragoza, Jose-Juan Pedreno-Manresa, Pablo Pavón-Mariño, Óscar González de Dios, Víctor López 0001 |
Dynamic operation of an IP/MPLS-over-WDM network using an open-source active stateful BGP-LS-enabled multilayer PCE. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICTON ![In: 18th International Conference on Transparent Optical Networks, ICTON 2016, Trento, Italy, July 10-14, 2016, pp. 1-4, 2016, IEEE, 978-1-5090-1467-5. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
15 | Salaheddine Zerkane, David Espes, Philippe Le Parc, Frédéric Cuppens |
Software Defined Networking Reactive Stateful Firewall. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SEC ![In: ICT Systems Security and Privacy Protection - 31st IFIP TC 11 International Conference, SEC 2016, Ghent, Belgium, May 30 - June 1, 2016, Proceedings, pp. 119-132, 2016, Springer, 978-3-319-33629-9. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
15 | Raul Castro Fernandez, Panagiotis Garefalakis, Peter R. Pietzuch |
Java2SDG: Stateful big data processing for the masses. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICDE ![In: 32nd IEEE International Conference on Data Engineering, ICDE 2016, Helsinki, Finland, May 16-20, 2016, pp. 1390-1393, 2016, IEEE Computer Society, 978-1-5090-2020-1. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
15 | Nicolas Laurent, Kim Mens |
Taming context-sensitive languages with principled stateful parsing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SLE ![In: Proceedings of the 2016 ACM SIGPLAN International Conference on Software Language Engineering, Amsterdam, The Netherlands, October 31 - November 1, 2016, pp. 15-27, 2016, ACM, 978-1-4503-4447-0. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP BibTeX RDF |
|
15 | Salaheddine Zerkane, David Espes, Philippe Le Parc, Frédéric Cuppens |
A Proactive Stateful Firewall for Software Defined Networking. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CRiSIS ![In: Risks and Security of Internet and Systems - 11th International Conference, CRiSIS 2016, Roscoff, France, September 5-7, 2016, Revised Selected Papers, pp. 123-138, 2016, Springer, 978-3-319-54875-3. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
15 | Saeed Fathollahzadeh, Kia Teymourian, Mohsen Sharifi |
Stateful complex event detection on event streams using parallelization of event stream aggregations and detection tasks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DEBS ![In: Proceedings of the 10th ACM International Conference on Distributed and Event-based Systems, DEBS '16, Irvine, CA, USA, June 20 - 24, 2016, pp. 390-393, 2016, ACM, 978-1-4503-4021-2. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
15 | Jianxiong Shao, Yu Qin, Dengguo Feng |
Computational Soundness Results for Stateful Applied π Calculus. ![Search on Bibsonomy](Pics/bibsonomy.png) |
POST ![In: Principles of Security and Trust - 5th International Conference, POST 2016, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2016, Eindhoven, The Netherlands, April 2-8, 2016, Proceedings, pp. 254-275, 2016, Springer, 978-3-662-49634-3. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
15 | Andrea Gallidabino, Cesare Pautasso |
The Liquid.js Framework for Migrating and Cloning Stateful Web Components across Multiple Devices. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WWW (Companion Volume) ![In: Proceedings of the 25th International Conference on World Wide Web, WWW 2016, Montreal, Canada, April 11-15, 2016, Companion Volume, pp. 183-186, 2016, ACM, 978-1-4503-4144-8. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
15 | Philippe Burlina |
MRCNN: A stateful Fast R-CNN. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICPR ![In: 23rd International Conference on Pattern Recognition, ICPR 2016, Cancún, Mexico, December 4-8, 2016, pp. 3518-3523, 2016, IEEE, 978-1-5090-4847-2. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
15 | Mina Tahmasbi Arashloo, Yaron Koral, Michael Greenberg 0002, Jennifer Rexford, David Walker 0001 |
SNAP: Stateful Network-Wide Abstractions for Packet Processing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIGCOMM ![In: Proceedings of the ACM SIGCOMM 2016 Conference, Florianopolis, Brazil, August 22-26, 2016, pp. 29-43, 2016, ACM, 978-1-4503-4193-6. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
15 | Andrea Gallidabino, Cesare Pautasso |
Deploying Stateful Web Components on Multiple Devices with Liquid.js for Polymer. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CBSE ![In: 19th International ACM SIGSOFT Symposium on Component-Based Software Engineering, CBSE 2016, Venice, Italy, April 5-8, 2016, pp. 85-90, 2016, IEEE Computer Society, 978-1-5090-2569-5. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
15 | Michael Käßmeyer, Peter Bazan, Markus Schurius, Rüdiger Berndt, Reinhard German |
A Formal Model for Stateful and Variant-Rich Automotive Functions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISSRE Workshops ![In: 2016 IEEE International Symposium on Software Reliability Engineering Workshops, ISSRE Workshops 2016, Ottawa, ON, Canada, October 23-27, 2016, pp. 271-277, 2016, IEEE Computer Society, 978-1-5090-3601-1. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
15 | Loic Prieur-Drevon, Raphaël Beamonte, Naser Ezzati-Jivan, Michel R. Dagenais |
Enhanced State History Tree (eSHT): A Stateful Data Structure for Analysis of Highly Parallel System Traces. ![Search on Bibsonomy](Pics/bibsonomy.png) |
BigData Congress ![In: 2016 IEEE International Congress on Big Data, San Francisco, CA, USA, June 27 - July 2, 2016, pp. 83-90, 2016, IEEE Computer Society, 978-1-5090-2622-7. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
15 | Seyed Kaveh Fayaz, Tianlong Yu, Yoshiaki Tobioka, Sagar Chaki, Vyas Sekar |
BUZZ: Testing Context-Dependent Policies in Stateful Networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
NSDI ![In: 13th USENIX Symposium on Networked Systems Design and Implementation, NSDI 2016, Santa Clara, CA, USA, March 16-18, 2016, pp. 275-289, 2016, USENIX Association, 978-1-931971-29-4. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP BibTeX RDF |
|
15 | El Mostapha Chakir, Youness Idrissi Khamlichi, Mohamed Moughit |
Handling alerts for intrusion detection system using stateful pattern matching. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CIST ![In: 4th IEEE International Colloquium on Information Science and Technology, CiSt 2016, Tangier, Morocco, October 24-26, 2016, pp. 139-144, 2016, IEEE, 978-1-5090-0751-6. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
Displaying result #601 - #700 of 1178 (100 per page; Change: ) Pages: [ <<][ 1][ 2][ 3][ 4][ 5][ 6][ 7][ 8][ 9][ 10][ 11][ 12][ >>] |
|