Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
43 | Koen Claessen, Michal H. Palka, Nicholas Smallbone, John Hughes 0001, Hans Svensson, Thomas Arts, Ulf T. Wiger |
Finding race conditions in Erlang with QuickCheck and PULSE. |
ICFP |
2009 |
DBLP DOI BibTeX RDF |
QuickCheck, Erlang, race conditions |
43 | Steve Vinoski |
Concurrency with Erlang. |
IEEE Internet Comput. |
2007 |
DBLP DOI BibTeX RDF |
Toward Integration, middleware, concurrency, programming language, Erlang |
43 | Thomas Bonald |
The Erlang model with non-poisson call arrivals. |
SIGMETRICS/Performance |
2006 |
DBLP DOI BibTeX RDF |
Erlang formula, insensitivity, loss networks |
43 | Georges Nogueira, Bruno Baynat, Ahmed Ziram |
An Erlang-like law for GPRS/EDGE engineering and its first validation on live traffic. |
VALUETOOLS |
2006 |
DBLP DOI BibTeX RDF |
performance evaluation, modeling, measurement, Markov chain, Erlang, EDGE, GPRS |
43 | Valentina I. Klimenok, Che Soong Kim, Dmitry S. Orlovsky, Alexander N. Dudin |
Lack of Invariant Property of the Erlang Loss Model in Case of MAP Input. |
Queueing Syst. Theory Appl. |
2005 |
DBLP DOI BibTeX RDF |
BMAP/PH/N/0 queueing model, stationary state distribution, Erlang loss model, invariant property |
43 | Simon Marlow, Philip Wadler |
A Practical Subtyping System For Erlang. |
ICFP |
1997 |
DBLP DOI BibTeX RDF |
ERLANG |
43 | Sandeep Bhadra, Yingdong Lu, Mark S. Squillante |
Optimal capacity planning in stochastic loss networks with time-varying workloads. |
SIGMETRICS |
2007 |
DBLP DOI BibTeX RDF |
erlang fixed-point approximation, erlang loss formula, stochastic dynamic programming, stochastic loss networks, time-varying workloads, capacity planning, asymptotic optimality |
39 | Erlang Surya, Lutz Warnke |
On the Concentration of the Chromatic Number of Random Graphs. |
Electron. J. Comb. |
2024 |
DBLP DOI BibTeX RDF |
|
39 | Calum MacRury, Erlang Surya |
Sharp thresholds in adaptive random graph processes. |
Random Struct. Algorithms |
2024 |
DBLP DOI BibTeX RDF |
|
39 | Sam Spiro, Erlang Surya, Ji Zeng |
Semi-Restricted Rock, Paper, Scissors. |
Electron. J. Comb. |
2023 |
DBLP DOI BibTeX RDF |
|
39 | Erlang Surya, Lutz Warnke, Emily Zhu |
Isomorphisms between dense random graphs. |
CoRR |
2023 |
DBLP DOI BibTeX RDF |
|
39 | Erlang Surya, Lutz Warnke |
Lagrange Inversion Formula by Induction. |
Am. Math. Mon. |
2023 |
DBLP DOI BibTeX RDF |
|
39 | Jiaxi Nie, Erlang Surya, Ji Zeng |
On asymptotic packing of convex geometric and ordered graphs. |
J. Graph Theory |
2023 |
DBLP DOI BibTeX RDF |
|
39 | Michael Molloy 0001, Erlang Surya, Lutz Warnke |
The degree-restricted random process is far from uniform. |
CoRR |
2022 |
DBLP DOI BibTeX RDF |
|
39 | Calum MacRury, Erlang Surya |
Sharp Thresholds in Adaptive Random Graph Processes. |
CoRR |
2022 |
DBLP DOI BibTeX RDF |
|
39 | Erlang Surya, Lutz Warnke |
On the concentration of the chromatic number of random graphs. |
CoRR |
2022 |
DBLP BibTeX RDF |
|
39 | Chin-Liang Wang, Kuan-Kai Chen, Min-Chau Jan, Yuan-Shuo Chang, Erlang Wang, Ying-Hsi Lin |
Adaptive cancellation of transmitter leakage in frequency-division duplexing transceivers. |
WOCC |
2018 |
DBLP DOI BibTeX RDF |
|
39 | Chin-Liang Wang, Min-Chau Jan, Yuan-Shuo Chang, Erlang Wang, Ying-Hsi Lin |
Adaptive Out-of-Band Interference Suppression for Coexistent Wi-Fi and Bluetooth Systems. |
IEEE Commun. Lett. |
2017 |
DBLP DOI BibTeX RDF |
|
39 | Shaobin Chen, Chao Cai, Erlang Li, Mingyue Ding |
Design and implementation of knowledge base for target recognition in remote sensing images. |
FSKD |
2010 |
DBLP DOI BibTeX RDF |
|
39 | Tamás Kozsik, Zoltán Csörnyei, Zoltán Horváth, Roland Király, Róbert Kitlei, László Lövei, Tamás Nagy, Melinda Tóth, Anikó Nagyné Víg |
Use Cases for Refactoring in Erlang. |
CEFP |
2007 |
DBLP DOI BibTeX RDF |
|
39 | Antonella Di Stefano, Corrado Santoro |
Using the Erlang Language for Multi-Agent Systems Implementation. |
IAT |
2005 |
DBLP DOI BibTeX RDF |
|
39 | Insoo Koo, Anders Furuskar, Jens Zander, Kiseon Kim |
Erlang Capacity Analysis of Multi-access Systems Supporting Voice and Data Services. (PDF / PS) |
PWC |
2004 |
DBLP DOI BibTeX RDF |
|
39 | Lars-Åke Fredlund, Dilian Gurov, Thomas Noll 0001 |
Semi-Automated Verification of Erlang Code. |
ASE |
2001 |
DBLP DOI BibTeX RDF |
|
38 | Kyomin Jung, Yingdong Lu, Devavrat Shah, Mayank Sharma, Mark S. Squillante |
Revisiting stochastic loss networks: structures and algorithms. |
SIGMETRICS |
2008 |
DBLP DOI BibTeX RDF |
erlang loss formula and fixed-point approximation, multidimensional stochastic processes, stochastic approximations, loss networks |
38 | Villy Bæk Iversen, Vilius Benetis, Peter D. Hansen |
Performance of Hierarchical Cellular Networks with Overlapping Cells. |
EuroNGI Workshop |
2004 |
DBLP DOI BibTeX RDF |
cell breathing, direct routing, Erlang-B formula, multi-rate services, cellular networks, blocking, hierarchical cellular networks |
38 | Tien-Chen Ho, Shang-Juh Kao |
A New Performance Analysis Model of the Local Switching System. |
COMPSAC |
1997 |
DBLP DOI BibTeX RDF |
local switching system, Erlang B formula, queueing model, loss probability |
36 | Natalia Chechina, Adrian Francalanza (eds.) |
Proceedings of the 17th ACM SIGPLAN International Workshop on Erlang, ICFP 2018, St. Louis, MO, USA, September 23-29, 2018 |
Erlang Workshop |
2018 |
DBLP DOI BibTeX RDF |
|
36 | Alex Gerdes, John Hughes 0001, Nicholas Smallbone, Stefan Hanenberg, Sebastian Ivarsson, Meng Wang 0002 |
Understanding formal specifications through good examples. |
Erlang Workshop |
2018 |
DBLP DOI BibTeX RDF |
|
36 | Aman Shankar Mathur, Burcu Kulahcioglu Ozkan, Rupak Majumdar |
iDeA: an immersive debugger for actors. |
Erlang Workshop |
2018 |
DBLP DOI BibTeX RDF |
|
36 | Natalia Chechina, Scott Lystig Fritchie (eds.) |
Proceedings of the 16th ACM SIGPLAN International Workshop on Erlang, Oxford, United Kingdom, September 3-9, 2017 |
Erlang Workshop |
2017 |
DBLP DOI BibTeX RDF |
|
36 | Evgeniy Shishkin |
Construction and formal verification of a fault-tolerant distributed mutual exclusion algorithm. |
Erlang Workshop |
2017 |
DBLP DOI BibTeX RDF |
|
36 | Viktória Fördós, István Bozó, Melinda Tóth |
Towards change-driven testing. |
Erlang Workshop |
2017 |
DBLP DOI BibTeX RDF |
|
36 | Melinda Tóth, Scott Lystig Fritchie (eds.) |
Proceedings of the 15th International Workshop on Erlang, Nara, Japan, September 18-22, 2016 |
Erlang Workshop |
2016 |
DBLP DOI BibTeX RDF |
|
36 | Andreea Lutac, Natalia Chechina, Gerardo Aragon-Camarasa, Phil Trinder |
Towards reliable and scalable robot communication. |
Erlang Workshop |
2016 |
DBLP DOI BibTeX RDF |
|
36 | Daniel Carballa, Laura M. Castro |
Automatic generation of UML sequence diagrams from test counterexamples. |
Erlang Workshop |
2016 |
DBLP DOI BibTeX RDF |
|
36 | Andrea Rosà, Lydia Y. Chen, Walter Binder |
Profiling actor utilization and communication in Akka. |
Erlang Workshop |
2016 |
DBLP DOI BibTeX RDF |
|
36 | Deepthi Devaki Akkoorath, Viktória Fördós, Annette Bieniusa |
Observing the consistency of distributed systems. |
Erlang Workshop |
2016 |
DBLP DOI BibTeX RDF |
|
36 | Andreas Löscher, Konstantinos Sagonas |
The Nifty way to call hell from heaven. |
Erlang Workshop |
2016 |
DBLP DOI BibTeX RDF |
|
36 | Hans Svensson, Melinda Tóth (eds.) |
Proceedings of the 14th ACM SIGPLAN Workshop on Erlang 2015, Vancouver, BC, Canada, September 4, 2015 |
Erlang Workshop |
2015 |
DBLP DOI BibTeX RDF |
|
36 | Alex Gerdes, John Hughes 0001, Nicholas Smallbone, Meng Wang 0002 |
Linking unit tests and properties. |
Erlang Workshop |
2015 |
DBLP DOI BibTeX RDF |
|
36 | Laura M. Castro, Hans Svensson (eds.) |
Proceedings of the Thirteenth ACM SIGPLAN workshop on Erlang, Gothenburg, Sweden, September 5, 2014 |
Erlang Workshop |
2014 |
DBLP BibTeX RDF |
|
36 | Konstantinos Sagonas, Kjell Winblad |
More scalable ordered set for ETS using adaptation. |
Erlang Workshop |
2014 |
DBLP DOI BibTeX RDF |
|
36 | Clara Benac Earle, Lars-Åke Fredlund, Ángel Herranz-Nieva, Julio Mariño |
Jsongen: a quickcheck based library for testing JSON web services. |
Erlang Workshop |
2014 |
DBLP DOI BibTeX RDF |
|
36 | Thomas Arts |
On shrinking randomly generated load tests. |
Erlang Workshop |
2014 |
DBLP DOI BibTeX RDF |
|
36 | Kevin Hammond |
Functional programming and the "megacore" era. |
Erlang Workshop |
2014 |
DBLP DOI BibTeX RDF |
|
36 | Steve Vinoski, Laura M. Castro (eds.) |
Proceedings of the Twelfth ACM SIGPLAN Erlang Workshop, Boston, Massachusetts, USA, September 28, 2013 |
Erlang Workshop |
2013 |
DBLP BibTeX RDF |
|
36 | Pablo Lamela Seijas, Huiqing Li, Simon J. Thompson |
Towards property-based testing of RESTful web services. |
Erlang Workshop |
2013 |
DBLP DOI BibTeX RDF |
|
36 | Christopher Meiklejohn |
Riak PG: distributed process groups on dynamo-style distributed storage. |
Erlang Workshop |
2013 |
DBLP DOI BibTeX RDF |
|
36 | Miguel A. Francisco, Macías López, Henrique Ferreiro, Laura M. Castro |
Turning web services descriptions into quickcheck models for automatic testing. |
Erlang Workshop |
2013 |
DBLP DOI BibTeX RDF |
|
36 | Ulf Norell, Hans Svensson, Thomas Arts |
Testing blocking operations with QuickCheck's component library. |
Erlang Workshop |
2013 |
DBLP DOI BibTeX RDF |
|
36 | Emilio Francesquini, Alfredo Goldman, Jean-François Méhaut |
Actor scheduling for multicore hierarchical memory platforms. |
Erlang Workshop |
2013 |
DBLP DOI BibTeX RDF |
|
36 | Torben Hoffman, John Hughes (eds.) |
Proceedings of the Eleventh ACM SIGPLAN Erlang Workshop, Copenhagen, Denmark, September 14, 2012 |
Erlang Workshop |
2012 |
DBLP BibTeX RDF |
|
36 | Joseph Blomstedt |
Hansei: property-based development of concurrent systems. |
Erlang Workshop |
2012 |
DBLP DOI BibTeX RDF |
|
36 | Bryan Fink |
Distributed computation on dynamo-style distributed storage: riak pipe. |
Erlang Workshop |
2012 |
DBLP DOI BibTeX RDF |
|
36 | Macías López, Laura M. Castro, David Cabrero |
Failover and takeover contingency mechanisms for network partition and node failure. |
Erlang Workshop |
2012 |
DBLP DOI BibTeX RDF |
|
36 | Emilio Francesquini, Alfredo Goldman, Jean-François Méhaut |
Towards automatic actor pinning on multi-core architectures. |
Erlang Workshop |
2012 |
DBLP DOI BibTeX RDF |
|
36 | Kenji Rikitake, Erik Stenman (eds.) |
Proceedings of the 10th ACM SIGPLAN workshop on Erlang, Tokyo, Japan, September 23, 2011 |
Erlang Workshop |
2011 |
DBLP BibTeX RDF |
|
36 | R. John M. Hughes, Hans Bolinder |
Testing a database for race conditions with QuickCheck. |
Erlang Workshop |
2011 |
DBLP DOI BibTeX RDF |
|
36 | Steve Vinoski |
A decade of Yaws. |
Erlang Workshop |
2011 |
DBLP DOI BibTeX RDF |
|
36 | Prashanth Mundkur, Ville H. Tuulos, Jared Flatow |
Disco: a computing platform for large-scale data analytics. |
Erlang Workshop |
2011 |
DBLP DOI BibTeX RDF |
|
36 | Thomas Arts, Pablo Lamela Seijas, Simon J. Thompson |
Extracting QuickCheck specifications from EUnit test cases. |
Erlang Workshop |
2011 |
DBLP DOI BibTeX RDF |
|
36 | Alkis Gotovos, Maria Christakis, Konstantinos Sagonas |
Test-driven development of concurrent programs using concuerror. |
Erlang Workshop |
2011 |
DBLP DOI BibTeX RDF |
|
36 | Thomas Arts, Laura M. Castro |
Model-based testing of data types with side effects. |
Erlang Workshop |
2011 |
DBLP DOI BibTeX RDF |
|
36 | Thomas Arts, John Hughes 0001, Ulf Norell, Nicholas Smallbone, Hans Svensson |
Accelerating race condition detection through procrastination. |
Erlang Workshop |
2011 |
DBLP DOI BibTeX RDF |
|
36 | Manolis Papadakis, Konstantinos Sagonas |
A PropEr integration of types and function specifications with property-based testing. |
Erlang Workshop |
2011 |
DBLP DOI BibTeX RDF |
|
36 | Cláudio Amaral, Mário Florido, Patrik Jansson |
Interfacing dynamically typed languages and the why tool: reasoning about lists and tuples. |
Erlang Workshop |
2011 |
DBLP DOI BibTeX RDF |
|
36 | Stavros Aronis, Konstantinos Sagonas |
Typed callbacks for more robust behaviours. |
Erlang Workshop |
2011 |
DBLP DOI BibTeX RDF |
|
36 | Scott Lystig Fritchie, Konstantinos Sagonas (eds.) |
Proceedings of the 9th ACM SIGPLAN workshop on Erlang, Baltimore, Maryland, USA, September 30, 2010 |
Erlang Workshop |
2010 |
DBLP BibTeX RDF |
|
36 | Thomas Arts, Simon J. Thompson |
From test cases to FSMs: augmented test-driven development and property inference. |
Erlang Workshop |
2010 |
DBLP DOI BibTeX RDF |
|
36 | Scott Lystig Fritchie |
Chain replication in theory and in practice. |
Erlang Workshop |
2010 |
DBLP DOI BibTeX RDF |
|
36 | Dániel Drienyovszky, Dániel Horpácsi, Simon J. Thompson |
Quickchecking refactoring tools. |
Erlang Workshop |
2010 |
DBLP DOI BibTeX RDF |
|
36 | Clara Benac Earle, Simon J. Thompson (eds.) |
Proceedings of the 8th ACM SIGPLAN Workshop on Erlang, Edinburgh, Scotland, UK, September 5, 2009 |
Erlang Workshop |
2009 |
DBLP BibTeX RDF |
|
36 | Javier París, Thomas Arts |
Automatic testing of TCP/IP implementations using QuickCheck. |
Erlang Workshop |
2009 |
DBLP DOI BibTeX RDF |
tcp/ip, testing, networking |
36 | Soon Tee Teoh, Zoltán Horváth (eds.) |
Proceedings of the 7th ACM SIGPLAN workshop on ERLANG, Victoria, BC, Canada, September 27, 2008 |
Erlang Workshop |
2008 |
DBLP BibTeX RDF |
|
36 | Jonas Boberg |
Early fault detection with model-based testing. |
Erlang Workshop |
2008 |
DBLP DOI BibTeX RDF |
model-based testing, system testing |
36 | Simon J. Thompson, Lars-Åke Fredlund (eds.) |
Proceedings of the 2007 ACM SIGPLAN Workshop on Erlang, Freiburg, Germany, October 5, 2007 |
Erlang Workshop |
2007 |
DBLP BibTeX RDF |
|
36 | Marc Feeley, Philip W. Trinder (eds.) |
Proceedings of the 2006 ACM SIGPLAN Workshop on Erlang, Portland, Oregon, USA, September 16, 2006 |
Erlang Workshop |
2006 |
DBLP BibTeX RDF |
|
36 | Thomas Arts, John Hughes 0001, Joakim Johansson, Ulf T. Wiger |
Testing telecoms software with quviq QuickCheck. |
Erlang Workshop |
2006 |
DBLP DOI BibTeX RDF |
test automation, property based testing |
36 | Konstantinos Sagonas, Joe Armstrong (eds.) |
Proceedings of the 2005 ACM SIGPLAN Workshop on Erlang, Tallinn, Estonia, September 26-28, 2005 |
Erlang Workshop |
2005 |
DBLP BibTeX RDF |
|
36 | Francesco Cesarini, Philip Wadler (eds.) |
Proceedings of the 2004 ACM SIGPLAN Workshop on Erlang, Snowbird, Utah, USA, September 22, 2004 |
Erlang Workshop |
2004 |
DBLP BibTeX RDF |
|
36 | Martin J. Logan |
Monitoring and state transparency of distributed systems. |
Erlang Workshop |
2004 |
DBLP DOI BibTeX RDF |
services oriented network, distributed computing, monitoring, concurrent programming, server farm |
36 | Bjarne Däcker, Thomas Arts (eds.) |
Proceedings of the 2003 ACM SIGPLAN Workshop on Erlang, Uppsala, Sweden, August 29, 2003 |
Erlang Workshop |
2003 |
DBLP BibTeX RDF |
|
36 | Rex L. Page, John Hughes 0001 (eds.) |
Proceedings of the 2002 ACM SIGPLAN Workshop on Erlang, Pittsburgh, Pennsylvania, USA, October 7, 2002 |
Erlang Workshop |
2002 |
DBLP BibTeX RDF |
|
36 | Thomas Arts, Juan José Sánchez Penas |
Global scheduler properties derived from local restrictions. |
Erlang Workshop |
2002 |
DBLP DOI BibTeX RDF |
|
34 | Lars-Åke Fredlund, Juan José Sánchez Penas |
Model Checking a Video-on-Demand Server Using McErlang. |
EUROCAST |
2007 |
DBLP DOI BibTeX RDF |
|
34 | Ulf T. Wiger |
20 years of industrial functional programming. |
ICFP |
2004 |
DBLP DOI BibTeX RDF |
|
34 | Erik Johansson, Sven-Olof Nyström |
Profile-guided optimization across process boundaries. |
Dynamo |
2000 |
DBLP DOI BibTeX RDF |
|
32 | Shimon Bitton, Izack Cohen, Morris A. Cohen |
Joint repair sourcing and stocking policies for repairables using Erlang-A and Erlang-B queueing models. |
IISE Trans. |
2019 |
DBLP DOI BibTeX RDF |
|
32 | A. A. Jagers, Erik A. van Doorn |
Convexity of Functions which are Generalizations of the Erlang Loss Function and the Erlang Delay Function. |
SIAM Rev. |
1991 |
DBLP DOI BibTeX RDF |
|
32 | A. A. Jagers, Erik A. van Doorn |
Convexity of Functions Which are Generalizations of the Erlang Loss Function and the Erlang Delay Function. |
SIAM Rev. |
1990 |
DBLP DOI BibTeX RDF |
|
32 | Steve Vinoski |
Process Bottlenecks within Erlang Web Applications. |
IEEE Internet Comput. |
2011 |
DBLP DOI BibTeX RDF |
Internet, functional programming, Erlang, Web development |
32 | Charles Knessl, Yongzhi (Peter) Yang |
On the Erlang Loss Model with Time Dependent Input. |
Queueing Syst. Theory Appl. |
2006 |
DBLP DOI BibTeX RDF |
Erlang loss model, time dependent arrivals, asymptotic analysis |
27 | Erik A. van Doorn, Alexander I. Zeifman |
On the speed of convergence to stationarity of the Erlang loss system. |
Queueing Syst. Theory Appl. |
2009 |
DBLP DOI BibTeX RDF |
Mathematics Subject Classification (2000) 60K25, 90B22 |
27 | Nico M. van Dijk, Nikky Kortbeek |
Erlang loss bounds for OT-ICU systems. |
Queueing Syst. Theory Appl. |
2009 |
DBLP DOI BibTeX RDF |
Mathematics Subject Classification (2000) 60J27, 90B22, 60K25 |
27 | Guodong Pang, Ward Whitt |
Heavy-traffic extreme value limits for Erlang delay models. |
Queueing Syst. Theory Appl. |
2009 |
DBLP DOI BibTeX RDF |
Mathematics Subject Classification (2000) 60K25, 60G70, 90B22, 60F05 |
27 | Richard J. Boucherie, Nico M. van Dijk |
Monotonicity and error bounds for networks of Erlang loss queues. |
Queueing Syst. Theory Appl. |
2009 |
DBLP DOI BibTeX RDF |
Mathematics Subject Classification (2000) 90B22, 60K25 |
27 | J. F. C. Kingman |
The first Erlang century - and the next. |
Queueing Syst. Theory Appl. |
2009 |
DBLP DOI BibTeX RDF |
Mathematics Subject Classification (2000) 60K25 |
27 | Jim Larson |
Erlang for concurrent programming. |
Commun. ACM |
2009 |
DBLP DOI BibTeX RDF |
|
27 | Hiroyuki Okamura, Tadashi Dohi |
Hyper-Erlang Software Reliability Model. |
PRDC |
2008 |
DBLP DOI BibTeX RDF |
|
27 | Eishi Chiba, Hiroshi Fujiwara, Yoshiyuki Sekiguchi, Toshihide Ibaraki |
Collision Probability in an Automated Production Line under Erlang Distribution. |
RIVF |
2007 |
DBLP DOI BibTeX RDF |
|