Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
15 | Yuanjie Si, Jun Sun 0001, Yang Liu 0003, Ting Wang 0004 |
Improving Model Checking Stateful Timed CSP with non-Zenoness through Clock-Symmetry Reduction. |
ICFEM |
2013 |
DBLP DOI BibTeX RDF |
|
15 | Róbert Szabó |
A Round-Robin Bloom Filter for stateful control over event streams. |
CogInfoCom |
2013 |
DBLP DOI BibTeX RDF |
|
15 | Mourad Amziani, Tarek Melliti, Samir Tata |
Formal Modeling and Evaluation of Stateful Service-Based Business Process Elasticity in the Cloud. |
OTM Conferences |
2013 |
DBLP DOI BibTeX RDF |
|
15 | Syed Adeel Ali, Partha S. Roop, Ian Warren |
Stateful Web Services - Auto Modeling and Composition. |
ICWS |
2013 |
DBLP DOI BibTeX RDF |
|
15 | Christopher Mutschler, Michael Philippsen |
Runtime migration of stateful event detectors with low-latency ordering constraints. |
PerCom Workshops |
2013 |
DBLP DOI BibTeX RDF |
|
15 | Carlo Brandolese, William Fornaciari, Luigi Rucco |
Optimal hibernation policies for energy efficient stateful operation in high-end wireless sensor nodes. |
WOWMOM |
2013 |
DBLP DOI BibTeX RDF |
|
15 | Maha Sliti, Noureddine Boudriga |
Optical stateful security filtering approach based on code words. |
ISCC |
2013 |
DBLP DOI BibTeX RDF |
|
15 | Radu Stoenescu, Matei Popovici, Lorina Negreanu, Costin Raiciu |
SymNet: static checking for stateful networks. |
HotMiddlebox@CoNEXT |
2013 |
DBLP DOI BibTeX RDF |
|
15 | Fariba Haddadi, Hilmi Günes Kayacik, Nur Zincir-Heywood, Malcolm I. Heywood |
Malicious Automatically Generated Domain Name Detection Using Stateful-SBB. |
EvoApplications |
2013 |
DBLP DOI BibTeX RDF |
|
15 | Sang-Chul Kim, Jong-Moon Chung |
Scalability analysis of stateful and stateless MANET address auto-configuration protocols. |
ICTC |
2013 |
DBLP DOI BibTeX RDF |
|
15 | André L. M. dos Santos, Joaquim Celestino Júnior, Vincent Scarlata, Anderson C. Lima, Inacio C. Alves, Davi di C. Sampaio |
SACM: Stateful Access Control Model a More Detailed Approach. |
CSE |
2013 |
DBLP DOI BibTeX RDF |
|
15 | Petr Alexeev, Pontus Boström, Marina Waldén, Mikko Huova, Matti Linjama, Kaisa Sere |
Fault-tolerant Scheduling of Stateful Tasks in Uniprocessor Real-time Systems. |
PECCS |
2013 |
DBLP BibTeX RDF |
|
15 | Qunzhi Zhou, Yogesh Simmhan, Viktor K. Prasanna |
Towards hybrid online on-demand querying of realtime data with stateful complex event processing. |
IEEE BigData |
2013 |
DBLP DOI BibTeX RDF |
|
15 | Carlo Brandolese, William Fornaciari, Luigi Rucco |
Power Management Support to Optimal Duty-Cycling in Stateful Multitasking WSN. |
TrustCom/ISPA/IUCC |
2013 |
DBLP DOI BibTeX RDF |
|
15 | Raul Castro Fernandez, Matteo Migliavacca, Evangelia Kalyvianaki, Peter R. Pietzuch |
Scalable and Fault-tolerant Stateful Stream Processing. |
ICCSW |
2013 |
DBLP DOI BibTeX RDF |
|
15 | Ramon Casellas, Ricardo Martínez 0001, Raul Muñoz 0001, Lei Liu, Takehiro Tsuritani, Itsuro Morita |
An integrated stateful PCE / OpenFlow controller for the control and management of flexi-grid optical networks. |
OFC/NFOEC |
2013 |
DBLP BibTeX RDF |
|
15 | Hao Xiao, Jun Sun 0001, Yang Liu 0003, Shang-Wei Lin 0001, Chengnian Sun |
TzuYu: Learning stateful typestates. |
ASE |
2013 |
DBLP DOI BibTeX RDF |
|
15 | Stephen E. McLaughlin |
CPS: stateful policy enforcement for control system device usage. |
ACSAC |
2013 |
DBLP DOI BibTeX RDF |
|
15 | Habib Saissi, Péter Bokor, Can Arda Muftuoglu, Neeraj Suri, Marco Serafini |
Efficient Verification of Distributed Protocols Using Stateful Model Checking. |
SRDS |
2013 |
DBLP DOI BibTeX RDF |
|
15 | Robert Spanton |
Stateful self-assembly. |
|
2013 |
RDF |
|
15 | Naser Ezzati-Jivan, Michel R. Dagenais |
A Stateful Approach to Generate Synthetic Events from Kernel Traces. |
Adv. Softw. Eng. |
2012 |
DBLP DOI BibTeX RDF |
|
15 | Lars Birkedal, Kristian Støvring, Jacob Thamsborg |
A relational realizability model for higher-order stateful ADTs. |
J. Log. Algebraic Methods Program. |
2012 |
DBLP DOI BibTeX RDF |
|
15 | A. B. M. Alim Al Islam, Vijay Raghunathan |
QRTT: Stateful Round Trip Time Estimation for Wireless Embedded Systems Using Q-Learning. |
IEEE Embed. Syst. Lett. |
2012 |
DBLP DOI BibTeX RDF |
|
15 | Xiaoli Jiao, Brad T. Sherman, Da Wei Huang, Robert M. Stephens, Michael W. Baseler, H. Clifford Lane, Richard A. Lempicki |
DAVID-WS: a stateful web service to facilitate gene/protein list analysis. |
Bioinform. |
2012 |
DBLP DOI BibTeX RDF |
|
15 | Chamila Walgampaya, Mehmed M. Kantardzic, Brent Wenerstrom |
Duplicate detection in pay-per-click streams using temporal stateful Bloom filters. |
Int. J. Data Anal. Tech. Strateg. |
2012 |
DBLP DOI BibTeX RDF |
|
15 | Nico Döttling, Daniel Kraschewski, Jörn Müller-Quade |
David & Goliath Oblivious Affine Function Evaluation - Asymptotically Optimal Building Blocks for Universally Composable Two-Party Computation from a Single Untrusted Stateful Tamper-Proof Hardware Token. |
IACR Cryptol. ePrint Arch. |
2012 |
DBLP BibTeX RDF |
|
15 | Pablo Neira Ayuso, Rafael M. Gasca, Laurent Lefèvre |
FT-FW: A cluster-based fault-tolerant architecture for stateful firewalls. |
Comput. Secur. |
2012 |
DBLP DOI BibTeX RDF |
|
15 | Deepak Garg 0001, Frank Pfenning |
Stateful authorization logic - Proof theory and a case study. |
J. Comput. Secur. |
2012 |
DBLP DOI BibTeX RDF |
|
15 | Sébastien Salva, Antoine Rollet |
A pragmatic approach for testing stateless and stateful Web Service Robustness. |
Stud. Inform. Univ. |
2012 |
DBLP BibTeX RDF |
|
15 | Hiwa Mahmoudi, Viktor Sverdlov, Siegfried Selberherr |
MTJ-based implication logic gates and circuit architecture for large-scale spintronic stateful logic systems. |
ESSDERC |
2012 |
DBLP DOI BibTeX RDF |
|
15 | Vladimir Gajinov, Srdjan Stipic, Osman S. Unsal, Tim Harris 0001, Eduard Ayguadé, Adrián Cristal |
Supporting stateful tasks in a dataflow graph. |
PACT |
2012 |
DBLP DOI BibTeX RDF |
|
15 | Scott Schneider 0001, Martin Hirzel, Bugra Gedik, Kun-Lung Wu |
Auto-parallelizing stateful distributed streaming applications. |
PACT |
2012 |
DBLP DOI BibTeX RDF |
|
15 | Tammo Krueger, Hugo Gascon, Nicole Krämer 0002, Konrad Rieck |
Learning stateful models for network honeypots. |
AISec |
2012 |
DBLP DOI BibTeX RDF |
|
15 | Truong Khanh Nguyen, Jun Sun 0001, Yang Liu 0003, Jin Song Dong |
Symbolic Model-Checking of Stateful Timed CSP Using BDD and Digitization. |
ICFEM |
2012 |
DBLP DOI BibTeX RDF |
|
15 | Yordanos Beyene, Michalis Faloutsos, Harsha V. Madhyastha |
SyFi: A Systematic Approach for Estimating Stateful Firewall Performance. |
PAM |
2012 |
DBLP DOI BibTeX RDF |
|
15 | Evgeny Sergeevich Abramov, Elena Barannik, Oleg B. Makarevich |
Methods of automated analysis of vendor specific implementation of stateful-filtration. |
SIN |
2012 |
DBLP DOI BibTeX RDF |
|
15 | Frédéric Cuppens, Nora Cuppens-Boulahia, Joaquín García-Alfaro, Tarik Moataz, Xavier Rimasson |
Handling Stateful Firewall Anomalies. |
SEC |
2012 |
DBLP DOI BibTeX RDF |
|
15 | Sai Wu, Vibhore Kumar, Kun-Lung Wu, Beng Chin Ooi |
Parallelizing stateful operators in a distributed stream processing system: how, should you and how much? |
DEBS |
2012 |
DBLP DOI BibTeX RDF |
|
15 | Nico Janssens, Xueli An, Koen Daenen, Claudio Forlivesi |
Dynamic Scaling of Call-Stateful SIP Services in the Cloud. |
Networking (1) |
2012 |
DBLP DOI BibTeX RDF |
|
15 | Lingxiao Fu, Xin Peng 0001, Yijun Yu, John Mylopoulos, Wenyun Zhao |
Stateful requirements monitoring for self-repairing socio-technical systems. |
RE |
2012 |
DBLP DOI BibTeX RDF |
|
15 | Yuta Maezawa, Hironori Washizaki, Shinichi Honiden |
Extracting Interaction-Based Stateful Behavior in Rich Internet Applications. |
CSMR |
2012 |
DBLP DOI BibTeX RDF |
|
15 | Giuseppe De Giacomo, Claudio Di Ciccio, Paolo Felli, Yuxiao Hu 0002, Massimo Mecella |
Goal-Based Composition of Stateful Services for Smart Homes. |
OTM Conferences (1) |
2012 |
DBLP DOI BibTeX RDF |
|
15 | Vladimir Andrei Olteanu, Costin Raiciu |
Efficiently migrating stateful middleboxes. |
SIGCOMM |
2012 |
DBLP DOI BibTeX RDF |
|
15 | Manh Ha Nguyen, Keisuke Tanaka, Kenji Yasunaga |
Leakage-Resilience of Stateless/Stateful Public-Key Encryption from Hash Proofs. |
ACISP |
2012 |
DBLP DOI BibTeX RDF |
|
15 | Adérito Baptista, Maria Cecilia Gomes, Hervé Paulino |
Session-Based Dynamic Interaction Models for Stateful Web Services. |
IESS |
2012 |
DBLP DOI BibTeX RDF |
|
15 | S. Sree Vivek, S. Sharmila Deva Selvi, C. Pandu Rangan |
Compact Stateful Encryption Schemes with Ciphertext Verifiability. |
IWSEC |
2012 |
DBLP DOI BibTeX RDF |
|
15 | Tzu-Chun Chen, Kohei Honda 0001 |
Specifying Stateful Asynchronous Properties for Distributed Programs. |
CONCUR |
2012 |
DBLP DOI BibTeX RDF |
|
15 | Sylvain Hallé, Roger Villemaire |
Constraint-based invocation of stateful web services: The beep store (case study). |
PESOS@ICSE |
2012 |
DBLP DOI BibTeX RDF |
|
15 | Cosmin Arad, Jim Dowling, Seif Haridi |
Message-Passing Concurrency for Scalable, Stateful, Reconfigurable Middleware. |
Middleware |
2012 |
DBLP DOI BibTeX RDF |
|
15 | Lei Wang 0111, Andreas Wombacher, Luís Ferreira Pires, Marten van Sinderen, Chihung Chi |
An Illustrative Recovery Approach for Stateful Interaction Failure of Orchestrated Processes. |
EDOC Workshops |
2012 |
DBLP DOI BibTeX RDF |
|
15 | Chunhua Yang 0002, Hai-Yang Wang |
An Approach to Weaving Stateful Aspects using LTS. |
J. Inf. Sci. Eng. |
2011 |
DBLP BibTeX RDF |
|
15 | Subash Dangol, S. Selvakumar 0001, M. Brindha 0001 |
Genuine ARP (GARP): a broadcast based stateful authentication protocol. |
ACM SIGSOFT Softw. Eng. Notes |
2011 |
DBLP DOI BibTeX RDF |
|
15 | Yi-Hsuan Feng, Nen-Fu Huang, Yen-Min Wu |
Efficient and Adaptive Stateful Replication for Stream Processing Engines in High-Availability Cluster. |
IEEE Trans. Parallel Distributed Syst. |
2011 |
DBLP DOI BibTeX RDF |
Multiple hash functions, replication, bloom filters, high availability, adaptive method |
15 | Kyosun Kim, Sangho Shin, Sung-Mo Kang |
Field Programmable Stateful Logic Array. |
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. |
2011 |
DBLP DOI BibTeX RDF |
|
15 | Yi Wei 0001, Hannes Roth, Carlo A. Furia, Yu Pei 0001, Alexander Horton, Michael Steindorfer, Martin Nordio, Bertrand Meyer 0001 |
Stateful Testing: Finding More Errors in Code and Contracts |
CoRR |
2011 |
DBLP BibTeX RDF |
|
15 | Waldemar Hummer, Philipp Leitner 0001, Schahram Dustdar |
SEPL - a domain-specific language and execution environment for protocols of stateful Web services. |
Distributed Parallel Databases |
2011 |
DBLP DOI BibTeX RDF |
|
15 | Elmurod Talipov, Hyojeong Shin, Seungjae Han, Hojung Cha |
A lightweight stateful address autoconfiguration for 6LoWPAN. |
Wirel. Networks |
2011 |
DBLP DOI BibTeX RDF |
|
15 | Marcelo Bagnulo, Philip Matthews, Iljitsch van Beijnum |
Stateful NAT64: Network Address and Protocol Translation from IPv6 Clients to IPv4 Servers. |
RFC |
2011 |
DBLP DOI BibTeX RDF |
|
15 | Sangho Shin, Kyosun Kim, Sung-Mo Kang |
Reconfigurable Stateful nor Gate for Large-Scale Logic-Array Integrations. |
IEEE Trans. Circuits Syst. II Express Briefs |
2011 |
DBLP DOI BibTeX RDF |
|
15 | Mansour Alsaleh, Paul C. van Oorschot |
Network scan detection with LQS: a lightweight, quick and stateful algorithm. |
AsiaCCS |
2011 |
DBLP DOI BibTeX RDF |
|
15 | Xiaotao Chang, Yike Ma, Hubertus Franke, Kun Wang, Rui Hou, Hao Yu 0008, Terry Nelms |
Optimization of stateful hardware acceleration in hybrid architectures. |
DATE |
2011 |
DBLP DOI BibTeX RDF |
|
15 | Nico Döttling, Daniel Kraschewski, Jörn Müller-Quade |
Unconditional and Composable Security Using a Single Stateful Tamper-Proof Hardware Token. |
TCC |
2011 |
DBLP DOI BibTeX RDF |
|
15 | Myrto Arapinis, Eike Ritter, Mark Dermot Ryan |
StatVerif: Verification of Stateful Processes. |
CSF |
2011 |
DBLP DOI BibTeX RDF |
|
15 | Nihel Ben Youssef, Adel Bouhoula |
Dealing with Stateful Firewall Checking. |
DICTAP (1) |
2011 |
DBLP DOI BibTeX RDF |
|
15 | Victoria Manfredi, Mark Crovella, Jim Kurose |
Understanding stateful vs stateless communication strategies for ad hoc networks. |
MobiCom |
2011 |
DBLP DOI BibTeX RDF |
|
15 | Johannes Borgström, Juan Chen 0002, Nikhil Swamy |
Verifying stateful programs with substructural state and hoare types. |
PLPV |
2011 |
DBLP DOI BibTeX RDF |
|
15 | Minoru Uehara |
Evaluations of Stateful NMR with Byzantine Failures. |
BWCCA |
2011 |
DBLP DOI BibTeX RDF |
|
15 | Alexandros Agapitos, Michael O'Neill 0001, Anthony Brabazon, Theodoros Theodoridis |
Learning environment models in car racing using stateful Genetic Programming. |
CIG |
2011 |
DBLP DOI BibTeX RDF |
|
15 | Eric Bodden |
Stateful breakpoints: a practical approach to defining parameterized runtime monitors. |
SIGSOFT FSE |
2011 |
DBLP DOI BibTeX RDF |
|
15 | Daniel Lamch, Roman Wyrzykowski |
An Approach for Specification and Testing of Stateful Grid Services. |
PARELEC |
2011 |
DBLP DOI BibTeX RDF |
|
15 | Alexandros Agapitos, Michael O'Neill 0001, Anthony Brabazon |
Stateful program representations for evolving technical trading rules. |
GECCO (Companion) |
2011 |
DBLP DOI BibTeX RDF |
|
15 | Kyosun Kim, Sangho Shin, Sung-Mo Kang |
Stateful logic pipeline architecture. |
ISCAS |
2011 |
DBLP DOI BibTeX RDF |
|
15 | Joonsang Baek, Cheng-Kang Chu, Jianying Zhou 0001 |
On Shortening Ciphertexts: New Constructions for Compact Public Key and Stateful Encryption Schemes. |
CT-RSA |
2011 |
DBLP DOI BibTeX RDF |
|
15 | Yi Wei 0001, Hannes Roth, Carlo A. Furia, Yu Pei 0001, Alexander Horton, Michael Steindorfer, Martin Nordio, Bertrand Meyer 0001 |
Stateful testing: Finding more errors in code and contracts. |
ASE |
2011 |
DBLP DOI BibTeX RDF |
|
15 | Katsuyoshi Matsumoto, Minoru Uehara, Hideki Mori |
Evaluations of Resettable Stateful NMR. |
AINA Workshops |
2011 |
DBLP DOI BibTeX RDF |
|
15 | André L. M. dos Santos, Vincent Scarlata, Anderson C. Lima, Inacio C. Alves, Davi di C. Sampaio |
SACM: Stateful Access Control Model. |
LCN |
2011 |
DBLP DOI BibTeX RDF |
|
15 | Adam Eck, Leen-Kiat Soh |
Agent sensing with stateful resources. |
AAMAS |
2011 |
DBLP BibTeX RDF |
|
15 | Marek Laskowski |
An Agent Based Decision Support Framework for Healthcare Policy, Augmented with Stateful Genetic Programming. |
|
2011 |
RDF |
|
15 | Dionysios Logothetis |
Architectures for stateful data-intensive analytics. |
|
2011 |
RDF |
|
15 | Ajay Prasad, Saurabh Singh Verma, Ashok Kumar Sharma |
Certification Authority Monitored Multilevel and Stateful Policy Based Authorization in Services Oriented Grids |
CoRR |
2010 |
DBLP BibTeX RDF |
|
15 | Julien Borghetti, Gregory S. Snider, Philip Kuekes, J. Joshua Yang, Duncan R. Stewart, R. Stanley Williams |
'Memristive' switches enable 'stateful' logic operations via material implication. |
Nat. |
2010 |
DBLP DOI BibTeX RDF |
|
15 | Richard H. Carver, Jeff Yu Lei |
A Stateful Approach to Testing Monitors in Multithreaded Programs. |
HASE |
2010 |
DBLP DOI BibTeX RDF |
monitor, concurrent programming, reachability testing |
15 | Katsuyoshi Matsumoto, Minoru Uehara, Hideki Mori |
Evaluating the Fault Tolerance of Stateful TMR. |
NBiS |
2010 |
DBLP DOI BibTeX RDF |
|
15 | Juan Du 0006, Xiaohui Gu, Ting Yu 0001 |
On verifying stateful dataflow processing services in large-scale cloud systems. |
CCS |
2010 |
DBLP DOI BibTeX RDF |
|
15 | Casey Klein, Matthew Flatt, Robert Bruce Findler |
Random testing for higher-order, stateful programs. |
OOPSLA |
2010 |
DBLP DOI BibTeX RDF |
|
15 | Derek Dreyer, Georg Neis, Andreas Rossberg, Lars Birkedal |
A relational modal logic for higher-order stateful ADTs. |
POPL |
2010 |
DBLP DOI BibTeX RDF |
local state, plotkin-abadi logic, modal logic, abstract data types, separation logic, step-indexed logical relations |
15 | Nikhil Swamy, Juan Chen 0002, Ravi Chugh |
Enforcing Stateful Authorization and Information Flow Policies in Fine. |
ESOP |
2010 |
DBLP DOI BibTeX RDF |
|
15 | Jesse A. Tov, Riccardo Pucella |
Stateful Contracts for Affine Types. |
ESOP |
2010 |
DBLP DOI BibTeX RDF |
|
15 | Guoquan Wu, Jun Wei 0001, Chunyang Ye, Hua Zhong 0001, Tao Huang 0001 |
Detecting Data Inconsistency Failure of Composite Web Services Through Parametric Stateful Aspect. |
ICWS |
2010 |
DBLP DOI BibTeX RDF |
Aspect-oriented Programming, Runtime monitoring, WS-BPEL |
15 | Deepak Garg 0001, Frank Pfenning |
Stateful Authorization Logic: - Proof Theory and a Case Study. |
STM |
2010 |
DBLP DOI BibTeX RDF |
|
15 | Faisal Khan, Nicholas Hosein, Scott Vernon, Soheil Ghiasi |
BURAQ: A Dynamically Reconfigurable System for Stateful Measurement of Network Traffic. |
FCCM |
2010 |
DBLP DOI BibTeX RDF |
|
15 | Moritz Strübe, Rüdiger Kapitza, Klaus Stengel, Michael Daum 0001, Falko Dressler |
Stateful Mobile Modules for Sensor Networks. |
DCOSS |
2010 |
DBLP DOI BibTeX RDF |
|
15 | Dionysios Logothetis, Christopher Olston, Benjamin C. Reed, Kevin C. Webb 0001, Ken Yocum |
Stateful bulk processing for incremental analytics. |
SoCC |
2010 |
DBLP DOI BibTeX RDF |
|
15 | Peter Bodík, Armando Fox, Michael J. Franklin, Michael I. Jordan, David A. Patterson 0001 |
Characterizing, modeling, and generating workload spikes for stateful services. |
SoCC |
2010 |
DBLP DOI BibTeX RDF |
|
15 | Andreas Reinhardt 0001, Parag S. Mogre, Tobias Koenig, Ralf Steinmetz |
SFHC.KOM: Stateful header compression for wireless sensor networks. |
LCN |
2010 |
DBLP DOI BibTeX RDF |
|
15 | Matteo Miraz |
Evolutionary testing of stateful systems. |
|
2010 |
RDF |
|
15 | Sebastian S. Bauer, Rolf Hennicker, Stephan Janisch |
Behaviour Protocols for Interacting Stateful Components. |
FACS@FMWeek |
2009 |
DBLP DOI BibTeX RDF |
|
15 | Ha-Na Yun, Sung-Chan Hong, Hyung-Woo Lee |
Stateful Virtual Proxy for SIP Message Flooding Attack Detection. |
KSII Trans. Internet Inf. Syst. |
2009 |
DBLP DOI BibTeX RDF |
|
15 | Abdelkader Lahmadi, Olivier Festor |
SecSip: A Stateful Firewall for SIP-based Networks |
CoRR |
2009 |
DBLP BibTeX RDF |
|
15 | Abdelkader Lahmadi, Olivier Festor |
SecSip: A stateful firewall for SIP-based networks. |
Integrated Network Management |
2009 |
DBLP DOI BibTeX RDF |
|