Search results for "Stateful"

Hits ?▲	Authors	Title	Venue	Year	Link
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).		2018	RDF
15	Myrto Arapinis, Jia Liu 0003, Eike Ritter, Mark Ryan 0001	Stateful applied pi calculus: Observational equivalence and labelled bisimilarity.	J. Log. Algebraic Methods Program.	2017	DBLP DOI BibTeX RDF
15	Aliaksandr Lazouski, Fabio Martinelli, Paolo Mori, Andrea Saracino	Stateful Data Usage Control for Android Mobile Devices.	Int. J. Inf. Sec.	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.	Int. J. Netw. Manag.	2017	DBLP DOI BibTeX RDF
15	Feng Zhang, Yongwang Zhao, Dianfu Ma, Wensheng Niu	Formal Verification of Behavioral AADL Models by Stateful Timed CSP.	IEEE Access	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.	Comput. Commun.	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.	IEEE/ACM Trans. Netw.	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.	IEEE/ACM Trans. Netw.	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.	Int. J. Parallel Program.	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.	Comput. Stand. Interfaces	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.	IEEE Commun. Surv. Tutorials	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.	Enterp. Inf. Syst.	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.	CoRR	2017	DBLP BibTeX RDF
15	Carmelo Cascone, Roberto Bifulco, Salvatore Pontarelli, Antonio Capone	Relaxing state-access constraints in stateful programmable data planes.	CoRR	2017	DBLP BibTeX RDF
15	Carmelo Cascone, Roberto Bifulco, Salvatore Pontarelli	Relaxing constraints in stateful network data plane design.	CoRR	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.	CoRR	2017	DBLP BibTeX RDF
15	William John Gowers, James Laird	Sequoidal Categories and Transfinite Games: A Coalgebraic Approach to Stateful Objects in Game Semantics.	CoRR	2017	DBLP BibTeX RDF
15	Phuc C. Nguyen, Thomas Gilray, Sam Tobin-Hochstadt, David Van Horn	Soft Contract Verification for Higher-Order Stateful Programs.	CoRR	2017	DBLP BibTeX RDF
15	Sugi Lee, Younghoon Kim, Ikjun Yeom, Yusung Kim 0001	Active request management in stateful forwarding networks.	J. Netw. Comput. Appl.	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)	Proc. VLDB Endow.	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)	Proc. VLDB Endow.	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.	Opt. Switch. Netw.	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.	JOCN	2017	DBLP DOI BibTeX RDF
15	Xian Zhang, Ina Minei	Applicability of a Stateful Path Computation Element (PCE).	RFC	2017	DBLP DOI BibTeX RDF
15	Edward Crabbe, Ina Minei, Jan Medved, Robert Varga	Path Computation Element Communication Protocol (PCEP) Extensions for Stateful PCE.	RFC	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.	RFC	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.	RFC	2017	DBLP DOI BibTeX RDF
15	Panos Kampanakis, Scott R. Fluhrer	LMS vs XMSS: A comparison of the Stateful Hash-Based Signature Proposed Standards.	IACR Cryptol. ePrint Arch.	2017	DBLP BibTeX RDF
15	Christian Cachin, Esha Ghosh, Dimitrios Papadopoulos 0001, Björn Tackmann	Stateful Multi-Client Verifiable Computation.	IACR Cryptol. ePrint Arch.	2017	DBLP BibTeX RDF
15	Florian Wininger, Naser Ezzati-Jivan, Michel R. Dagenais	A declarative framework for stateful analysis of execution traces.	Softw. Qual. J.	2017	DBLP DOI BibTeX RDF
15	Uriel Feige, Tomer Koren, Moshe Tennenholtz	Chasing Ghosts: Competing with Stateful Policies.	SIAM J. Comput.	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.	IM	2017	DBLP DOI BibTeX RDF
15	Nicola Bonelli, Stefano Giordano, Gregorio Procissi	A pipeline functional language for stateful packet processing.	NetSoft	2017	DBLP DOI BibTeX RDF
15	Davide Sanvito, Daniele Moro, Antonio Capone	Towards traffic classification offloading to stateful SDN data planes.	NetSoft	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.	NetSoft	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.	NetSoft	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.	NetSoft	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.	DSN	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.	IEEE ICCI*CC	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.	ICFEM	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.	ICTON	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.	ICIN	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.	POST	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.	ICIS	2017	DBLP DOI BibTeX RDF
15	Fahad Nife, Zbigniew Kotulski	Multi-level Stateful Firewall Mechanism for Software Defined Networks.	CN	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.	ICC	2017	DBLP DOI BibTeX RDF
15	Taro Sekiyama, Atsushi Igarashi	Stateful manifest contracts.	POPL	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.	ICN	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.	MobiCom	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.	LANMAN	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.	LANMAN	2017	DBLP DOI BibTeX RDF
15	Jeongkeun Lee, Rui Miao, Changhoon Kim, Minlan Yu, Hongyi Zeng	Stateful Layer-4 Load Balancing in Switching ASICs.	SIGCOMM Posters and Demos	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.	SIGCOMM	2017	DBLP DOI BibTeX RDF
15	Qingsong Guo, Yongluan Zhou	Stateful Load Balancing for Parallel Stream Processing.	Euro-Par Workshops	2017	DBLP DOI BibTeX RDF
15	Elham Ahmadi, Mario A. Nascimento	IBS: An Efficient Stateful Algorithm for Optimal Sequenced Group Trip Planning Queries.	MDM	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.	FPS	2017	DBLP DOI BibTeX RDF
15	Christine Dierk, Tomás Vega Galvez, Eric Paulos	AlterNail: Ambient, Batteryless, Stateful, Dynamic Displays at your Fingertips.	CHI	2017	DBLP DOI BibTeX RDF
15	Rui Ma 0004, Tianbao Zhu, Changzhen Hu, Chun Shan, Xiaolin Zhao	SulleyEX: A Fuzzer for Stateful Network Protocol.	NSS	2017	DBLP DOI BibTeX RDF
15	Yunhao Zhang, Rong Chen 0001, Haibo Chen 0001	Sub-millisecond Stateful Stream Querying over Fast-evolving Linked Data.	SOSP	2017	DBLP DOI BibTeX RDF
15	Thang Bui, Scott D. Stoller, Shikhar Sharma	Fast Distributed Evaluation of Stateful Attribute-Based Access Control Policies.	DBSec	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.	INFOCOM	2017	DBLP DOI BibTeX RDF
15	Ludovic Henrio, Cosimo Laneve, Vincenzo Mastandrea	Analysis of Synchronisations in Stateful Active Objects.	IFM	2017	DBLP DOI BibTeX RDF
15	Zainul Din, Jaudelice de Oliveira	Anomaly Free on Demand Stateful Software Defined Firewalling.	ICCCN	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.	ICCD	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.	ICISC	2017	DBLP DOI BibTeX RDF
15	Shouxi Luo, Hong-Fang Yu, Laurent Vanbever	Swing State: Consistent Updates for Stateful and Programmable Data Planes.	SOSR	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.	SOSR	2017	DBLP DOI BibTeX RDF
15	Roman Popp, Hermann Kaindl	Stateful SOA-conformant Services as Building Blocks for Interactive Software Systems.	HICSS	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.	NetSys	2017	DBLP DOI BibTeX RDF
15	Oussama Beroual, Francis Guerin, Sylvain Hallé	Searching for Behavioural Bugs with Stateful Test Oracles in Web Crawlers.	SBST@ICSE	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.	CALCO	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.	Internet Measurement Conference	2017	DBLP DOI BibTeX RDF
15	Seyed Kaveh Fayaz	Reasoning about Stateful Network Behaviors.		2017	DOI RDF
15	Carmelo Cascone	Stateful data plane abstractions for Software-Defined Networks and their applications.		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.	J. Inf. Hiding Multim. Signal Process.	2016	DBLP BibTeX RDF
15	Jianxiong Shao, Yu Qin, Dengguo Feng	Computational Soundness Results for Stateful Applied pi Calculus.	CoRR	2016	DBLP BibTeX RDF
15	Tim Nelson, Nicholas DeMarinis, Timothy Adam Hoff, Rodrigo Fonseca, Shriram Krishnamurthi	Compiling Stateful Network Properties for Runtime Verification.	CoRR	2016	DBLP BibTeX RDF
15	Nicolas Laurent, Kim Mens	Taming Context-Sensitive Languages with Principled Stateful Parsing.	CoRR	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.	CoRR	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.	CoRR	2016	DBLP BibTeX RDF
15	Junaid Khalid, Aditya Akella	StreamNF: Performance and Correctness for Stateful Chained NFs.	CoRR	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.	IEEE Netw.	2016	DBLP DOI BibTeX RDF
15	Jin Seek Choi	A Stateful PCE-Based Carrier-Grade Transport Network: Design, Implementation, Evaluation, and Experiences.	JOCN	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.	JOCN	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.	IACR Cryptol. ePrint Arch.	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.	ICTON	2016	DBLP DOI BibTeX RDF
15	Salaheddine Zerkane, David Espes, Philippe Le Parc, Frédéric Cuppens	Software Defined Networking Reactive Stateful Firewall.	SEC	2016	DBLP DOI BibTeX RDF
15	Raul Castro Fernandez, Panagiotis Garefalakis, Peter R. Pietzuch	Java2SDG: Stateful big data processing for the masses.	ICDE	2016	DBLP DOI BibTeX RDF
15	Nicolas Laurent, Kim Mens	Taming context-sensitive languages with principled stateful parsing.	SLE	2016	DBLP BibTeX RDF
15	Salaheddine Zerkane, David Espes, Philippe Le Parc, Frédéric Cuppens	A Proactive Stateful Firewall for Software Defined Networking.	CRiSIS	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.	DEBS	2016	DBLP DOI BibTeX RDF
15	Jianxiong Shao, Yu Qin, Dengguo Feng	Computational Soundness Results for Stateful Applied π Calculus.	POST	2016	DBLP DOI BibTeX RDF
15	Andrea Gallidabino, Cesare Pautasso	The Liquid.js Framework for Migrating and Cloning Stateful Web Components across Multiple Devices.	WWW (Companion Volume)	2016	DBLP DOI BibTeX RDF
15	Philippe Burlina	MRCNN: A stateful Fast R-CNN.	ICPR	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.	SIGCOMM	2016	DBLP DOI BibTeX RDF
15	Andrea Gallidabino, Cesare Pautasso	Deploying Stateful Web Components on Multiple Devices with Liquid.js for Polymer.	CBSE	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.	ISSRE Workshops	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.	BigData Congress	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.	NSDI	2016	DBLP BibTeX RDF
15	El Mostapha Chakir, Youness Idrissi Khamlichi, Mohamed Moughit	Handling alerts for intrusion detection system using stateful pattern matching.	CIST	2016	DBLP DOI BibTeX RDF