Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
16 | Germán Vidal |
Towards Symbolic Execution in Erlang. |
Ershov Memorial Conference |
2014 |
DBLP DOI BibTeX RDF |
|
16 | Ioannis D. Moscholios, Michael D. Logothetis, Michael N. Koukias |
The erlang multirate loss model under the threshold and Bandwidth Reservation policies. |
CSNDSP |
2014 |
DBLP DOI BibTeX RDF |
|
16 | Georg Göri, Einar Broch Johnsen, Rudolf Schlatte, Volker Stolz |
Erlang-Style Error Recovery for Concurrent Objects with Cooperative Scheduling. |
ISoLA (2) |
2014 |
DBLP DOI BibTeX RDF |
|
16 | Ali Mustafa Elshawesh, Mohamed Abdulali |
Dimensioning of Circuit Switched networks by using Simulation code based on Erlang (B) formula. |
GSCIT |
2014 |
DBLP DOI BibTeX RDF |
|
16 | Tadeusz Czachórski, Tomasz Nycz, Monika Nycz, Ferhan Pekergin |
Traffic Engineering: Erlang and Engset Models Revisited with Diffusion Approximation. |
ISCIS |
2014 |
DBLP DOI BibTeX RDF |
|
16 | Melinda Tóth, István Bozó |
Detecting and Visualising Process Relationships in Erlang. |
ICCS |
2014 |
DBLP DOI BibTeX RDF |
|
16 | Rafael Caballero 0001, Enrique Martin-Martin, Adrián Riesco 0001, Salvador Tamarit |
EDD: A Declarative Debugger for Sequential Erlang Programs. |
TACAS |
2014 |
DBLP DOI BibTeX RDF |
|
16 | Chanintorn Jittawiriyanukoon |
Performance evaluation of reliable data scheduling for Erlang multimedia in cloud computing. |
ICDIM |
2014 |
DBLP DOI BibTeX RDF |
|
16 | Ricardo J. Rodríguez, Lars-Åke Fredlund, Ángel Herranz-Nieva, Julio Mariño |
Execution and Verification of UML State Machines with Erlang. |
SEFM |
2014 |
DBLP DOI BibTeX RDF |
|
16 | Eishi Chiba, Hiroshi Fujiwara, Yoshiyuki Sekiguchi, Toshihide Ibaraki |
Collision Probability in an In-Line Equipment Model under Erlang Distribution. |
IEICE Trans. Inf. Syst. |
2013 |
DBLP DOI BibTeX RDF |
|
16 | Ivo J. B. F. Adan, Stella Kapodistria, Johan van Leeuwaarden |
Erlang arrivals joining the shorter queue. |
Queueing Syst. Theory Appl. |
2013 |
DBLP DOI BibTeX RDF |
|
16 | Peter J. Smith 0001, Pawel A. Dmochowski |
Exact Blocking Time Statistics for the Erlang Loss Model. |
IEEE Wirel. Commun. Lett. |
2013 |
DBLP DOI BibTeX RDF |
|
16 | Hao Huang, Fei Yang |
An Interpretation of Erlang into Value-passing Calculus. |
J. Networks |
2013 |
DBLP DOI BibTeX RDF |
|
16 | Emanuele D'Osualdo, Jonathan Kochems, C.-H. Luke Ong |
Automatic Verification of Erlang-Style Concurrency |
CoRR |
2013 |
DBLP BibTeX RDF |
|
16 | Laura M. Castro, Miguel A. Francisco |
A language-independent approach to black-box testing using Erlang as test specification language. |
J. Syst. Softw. |
2013 |
DBLP DOI BibTeX RDF |
|
16 | Malgorzata Wielgus, Przemyslaw Dabek, Roman Janusz, Tomasz Kowal, Wojciech Turek |
Erlang-based Software Update Platform for Mobile Devices. |
Comput. Sci. |
2013 |
DBLP DOI BibTeX RDF |
|
16 | Safa Saidane, Mohamed Zied Babai, M. Salah Aguir, Ouajdi Korbaa |
On the performance of the base-stock inventory system under a compound Erlang demand distribution. |
Comput. Ind. Eng. |
2013 |
DBLP DOI BibTeX RDF |
|
16 | Aliakbar Montazer-Haghighi, Dimitar P. Mishev |
Stochastic three-stage hiring model as a tandem queueing process with bulk arrivals and Erlang phase-type selection, MX/M(k, K)/1 - MY/Er/1 - ∞. |
Int. J. Math. Oper. Res. |
2013 |
DBLP DOI BibTeX RDF |
|
16 | Jorge Sá Esteves, José M. F. Craveirinha |
On a bicriterion server allocation problem in a multidimensional Erlang loss system. |
J. Comput. Appl. Math. |
2013 |
DBLP DOI BibTeX RDF |
|
16 | Chunming Zhao, Chunsheng Zhang |
Joint density of the number of claims until ruin and the time to ruin in the delayed renewal risk model with Erlang(n) claims. |
J. Comput. Appl. Math. |
2013 |
DBLP DOI BibTeX RDF |
|
16 | Laura M. Castro |
Building Web Applications with Erlang, by Zachary Kessin, O'Reilly Media, Inc., 2012, ISBN 97-81-4493-20652. |
J. Funct. Program. |
2013 |
DBLP DOI BibTeX RDF |
|
16 | Dániel Horpácsi, Judit Köszegi |
Static analysis of function calls in Erlang. |
e Informatica Softw. Eng. J. |
2013 |
DBLP DOI BibTeX RDF |
|
16 | Gene I. Sher |
Handbook of Neuroevolution Through Erlang |
|
2013 |
DOI RDF |
|
16 | S. Lirio Castellanos-Lopez, Felipe A. Cruz-Pérez, Mario E. Rivero-Angeles, Genaro Hernández-Valdez |
Erlang capacity in coordinated cognitive radio networks with stringent-delay applications. |
PIMRC |
2013 |
DBLP DOI BibTeX RDF |
|
16 | Siyao Zheng, Xiang Long |
Erlang as a Language for Cloud Computing and Its Integration with Many-core Coprocessor. |
CSC |
2013 |
DBLP DOI BibTeX RDF |
|
16 | S. Lirio Castellanos-Lopez, Felipe A. Cruz-Pérez, Mario E. Rivero-Angeles, Genaro Hernández-Valdez |
VoIP Erlang Capacity in Coordinated Cognitive Radio Networks. |
VTC Fall |
2013 |
DBLP DOI BibTeX RDF |
|
16 | Szymon Szominski, Konrad Gadek, Michal Konarski, Bogna Blaszczyk, Piotr Anielski, Wojciech Turek |
Development of a Cyber-Physical System for Mobile Robot Control using Erlang. |
FedCSIS |
2013 |
DBLP BibTeX RDF |
|
16 | Adrian Francalanza, Tyron Zerafa |
Code management automation for Erlang remote actors. |
AGERE!@SPLASH |
2013 |
DBLP DOI BibTeX RDF |
|
16 | Maria Christakis, Alkis Gotovos, Konstantinos Sagonas |
Systematic Testing for Detecting Concurrency Errors in Erlang Programs. |
ICST |
2013 |
DBLP DOI BibTeX RDF |
|
16 | Robert Baker 0001, Peter Rodgers 0001, Simon J. Thompson, Huiqing Li |
Multi-level Visualization of Concurrent and Distributed Computation in Erlang. |
DMS |
2013 |
DBLP BibTeX RDF |
|
16 | Rainer Schoenen, Halim Yanikomeroglu |
Erlang analysis of cellular networks using stochastic Petri nets and user-in-the-loop extension for demand control. |
GLOBECOM Workshops |
2013 |
DBLP DOI BibTeX RDF |
|
16 | Gábor Horváth 0002 |
Moment Matching-Based Distribution Fitting with Generalized Hyper-Erlang Distributions. |
ASMTA |
2013 |
DBLP DOI BibTeX RDF |
|
16 | J. Albert Cruz, Juan Julián Merelo Guervós, Antonio Mora García, Paloma de las Cuevas |
Adapting evolutionary algorithms to the concurrent functional language Erlang. |
GECCO (Companion) |
2013 |
DBLP DOI BibTeX RDF |
|
16 | Emanuele D'Osualdo, Jonathan Kochems, C.-H. Luke Ong |
Automatic Verification of Erlang-Style Concurrency. |
SAS |
2013 |
DBLP DOI BibTeX RDF |
|
16 | Rafael Caballero 0001, Enrique Martin-Martin, Adrián Riesco 0001, Salvador Tamarit |
A Declarative Debugger for Sequential Erlang Programs. |
TAP@STAF |
2013 |
DBLP DOI BibTeX RDF |
|
16 | Ramsay Taylor, Kirill Bogdanov 0002, John Derrick |
Automatic Inference of Erlang Module Behaviour. |
IFM |
2013 |
DBLP DOI BibTeX RDF |
|
16 | Michael J. Lutz |
The Erlang approach to concurrent system development. |
FIE |
2013 |
DBLP DOI BibTeX RDF |
|
16 | Wojciech Turek |
Erlang as a High Performance Software Agent Platform. |
KES-AMSTA |
2013 |
DBLP DOI BibTeX RDF |
|
16 | Germán Vidal |
Towards Erlang Verification by Term Rewriting. |
LOPSTR |
2013 |
DBLP DOI BibTeX RDF |
|
16 | Steve Vinoski |
The Nitrogen Erlang Web Framework. |
IEEE Internet Comput. |
2012 |
DBLP DOI BibTeX RDF |
|
16 | Thomas Bonald, James W. Roberts |
Internet and the Erlang formula. |
Comput. Commun. Rev. |
2012 |
DBLP DOI BibTeX RDF |
|
16 | Bernardo D'Auria |
A short note on the monotonicity of the Erlang C formula in the Halfin-Whitt regime. |
Queueing Syst. Theory Appl. |
2012 |
DBLP DOI BibTeX RDF |
|
16 | Guozhi Song, Jigang Wu, John A. Schormans, Laurie G. Cuthbert |
Erlang's Fixed-Point Approximation for Performance Analysis of HetNets. |
J. Appl. Math. |
2012 |
DBLP DOI BibTeX RDF |
|
16 | Bill Karakostas |
Implementing robust workflow management in Erlang. |
Int. J. Parallel Emergent Distributed Syst. |
2012 |
DBLP DOI BibTeX RDF |
|
16 | Steve Vinoski |
Concurrency and Message Passing in Erlang. |
Comput. Sci. Eng. |
2012 |
DBLP DOI BibTeX RDF |
|
16 | Luca Toscano, Gabriele D'Angelo, Moreno Marzolla |
Parallel Discrete Event Simulation with Erlang |
CoRR |
2012 |
DBLP BibTeX RDF |
|
16 | Michal Niec, Pawel Pikula, Aleksander Mamla, Wojciech Turek |
Erlang-Based Sensor Network Management for Heterogeneous Devices. |
Comput. Sci. |
2012 |
DBLP DOI BibTeX RDF |
|
16 | Zachary Kessin |
Building Web Applications with Erlang - Working with REST and Web Sockets on Yaws. |
|
2012 |
RDF |
|
16 | Mingming Fan 0001, Dana Gravem, Dan M. Cooper, Donald J. Patterson |
Augmenting gesture recognition with erlang-cox models to identify neurological disorders in premature babies. |
UbiComp |
2012 |
DBLP DOI BibTeX RDF |
|
16 | Lianghuan Kang, Donggang Cao |
An Extension to Computing Elements in Erlang for Actor Based Concurrent Programming. |
ISORC Workshops |
2012 |
DBLP DOI BibTeX RDF |
|
16 | Subhendu Batabyal, Suvra Sekhar Das |
Distance Dependent Call Blocking Probability, and Area Erlang Efficiency of Cellular Networks. |
VTC Spring |
2012 |
DBLP DOI BibTeX RDF |
|
16 | Maciej Stasiak, Mariusz Glabowski, Slawomir Hanczewski |
The application of the Erlang's Ideal Grading for modelling of UMTS cells. |
CSNDSP |
2012 |
DBLP DOI BibTeX RDF |
|
16 | Florent Fourcot, Bertrand Grelot, Isabelle Kraemer, Frédéric Perrin, Patrick Maillé, Tanguy Ropitault, Laurent Toutain |
Erlang-based dimensioning for IPv4 Address+Port translation. |
ICC |
2012 |
DBLP DOI BibTeX RDF |
|
16 | Emanuele D'Osualdo, Jonathan Kochems, Luke Ong |
Soter: an automatic safety verifier for erlang. |
AGERE!@SPLASH |
2012 |
DBLP DOI BibTeX RDF |
|
16 | Alessandro Sivieri |
Erlang meets WSNs: A functional approach to WSN programming. |
PerCom Workshops |
2012 |
DBLP DOI BibTeX RDF |
|
16 | Luca Toscano, Gabriele D'Angelo, Moreno Marzolla |
Parallel discrete event simulation with Erlang. |
FHPC@ICFP |
2012 |
DBLP DOI BibTeX RDF |
|
16 | Stavros Aronis, Konstantinos Sagonas |
On Using Erlang for Parallelization - Experience from Parallelizing Dialyzer. |
Trends in Functional Programming |
2012 |
DBLP DOI BibTeX RDF |
|
16 | Alessandro Sivieri, Luca Mottola, Gianpaolo Cugola |
Drop the phone and talk to the physical world: Programming the internet of things with Erlang. |
SESENA |
2012 |
DBLP DOI BibTeX RDF |
|
16 | Álvaro Fernández Díaz, Clara Benac Earle, Lars-Åke Fredlund |
eJason: An Implementation of Jason in Erlang. |
ProMAS |
2012 |
DBLP DOI BibTeX RDF |
|
16 | Bill Karakostas |
A High Performance Engine for Concurrent CEP in Erlang. |
IDC |
2012 |
DBLP DOI BibTeX RDF |
|
16 | Clara Benac Earle, Lars-Åke Fredlund |
Verification of Timed Erlang Programs Using McErlang. |
FMOODS/FORTE |
2012 |
DBLP DOI BibTeX RDF |
|
16 | Villy Baek Iversen |
The Internet Erlang Formula. |
NEW2AN |
2012 |
DBLP DOI BibTeX RDF |
|
16 | Huiqing Li, Simon J. Thompson |
Automated API migration in a user-extensible refactoring tool for Erlang programs. |
ASE |
2012 |
DBLP DOI BibTeX RDF |
|
16 | Huiqing Li, Simon J. Thompson |
A Domain-Specific Language for Scripting Refactorings in Erlang. |
FASE |
2012 |
DBLP DOI BibTeX RDF |
|
16 | Josep Silva, Salvador Tamarit, César Tomás |
System Dependence Graphs in Sequential Erlang. |
FASE |
2012 |
DBLP DOI BibTeX RDF |
|
16 | M. F. Ramalhoto |
Erlang's Formulas. |
International Encyclopedia of Statistical Science |
2011 |
DBLP DOI BibTeX RDF |
|
16 | Arie Harel |
Convexity Results for the Erlang Delay and Loss Formulae When the Server Utilization Is Held Constant. |
Oper. Res. |
2011 |
DBLP DOI BibTeX RDF |
|
16 | A. J. E. M. Janssen, J. S. H. van Leeuwaarden, Bert Zwart |
Refining Square-Root Safety Staffing by Expanding Erlang C. |
Oper. Res. |
2011 |
DBLP DOI BibTeX RDF |
|
16 | Xujie Li 0001, Weiwei Xia, Lianfeng Shen |
Erlang Capacity Analysis of 3G/Ad Hoc Integrated Network. |
IEICE Trans. Commun. |
2011 |
DBLP DOI BibTeX RDF |
|
16 | A. J. E. M. Janssen, Johan van Leeuwaarden, Bert Zwart |
A lower bound for the Erlang C formula in the Halfin-Whitt regime. |
Queueing Syst. Theory Appl. |
2011 |
DBLP DOI BibTeX RDF |
|
16 | Erik Chromý, Jan Suran, Matus Kovacik, Matej Kavacký |
Usage of Erlang Formula in IP Networks. |
Commun. Netw. |
2011 |
DBLP DOI BibTeX RDF |
|
16 | Yinghui Tang, Miaomiao Yu, Cailiang Li |
Geom/G 1, G 2/1/1 repairable Erlang loss system with catastrophe and second optional service. |
J. Syst. Sci. Complex. |
2011 |
DBLP DOI BibTeX RDF |
|
16 | Qiang Guo 0001, John Derrick |
Formally based tool support for model checking Erlang applications. |
Int. J. Softw. Tools Technol. Transf. |
2011 |
DBLP DOI BibTeX RDF |
|
16 | Manfred Schneps-Schneppe, Janis Sedols |
Application of Erlang's formula for non-Poisson flows. |
Autom. Control. Comput. Sci. |
2011 |
DBLP DOI BibTeX RDF |
|
16 | Hirokazu Ozaki, Atsushi Kara, Zixue Cheng |
User-perceived reliability of shared protection systems with the Erlang type-k repair scheme. |
Int. J. Inf. Commun. Technol. |
2011 |
DBLP DOI BibTeX RDF |
|
16 | Kyungsup Kim, Nigel Thomas |
A fitting method with generalized Erlang distributions. |
Simul. Model. Pract. Theory |
2011 |
DBLP DOI BibTeX RDF |
|
16 | Mariusz Glabowski, Slawomir Hanczewski, Maciej Stasiak |
Erlang's Ideal Grading in DiffServ modelling. |
AFRICON |
2011 |
DBLP DOI BibTeX RDF |
|
16 | Claus Zinn |
Building a Faceted Browser in CouchDB Using Views on Views and Erlang Metaprogramming. |
WFLP |
2011 |
DBLP DOI BibTeX RDF |
|
16 | Christian Colombo 0001, Adrian Francalanza, Rudolph Gatt |
Elarva: A Monitoring Tool for Erlang. |
RV |
2011 |
DBLP DOI BibTeX RDF |
|
16 | Ariel Ortiz |
Teaching concurrency-oriented programming with Erlang. |
SIGCSE |
2011 |
DBLP DOI BibTeX RDF |
|
16 | Melinda Tóth, István Bozó |
Static Analysis of Complex Software Systems Implemented in Erlang. |
CEFP |
2011 |
DBLP DOI BibTeX RDF |
|
16 | Dimitris Mostrous, Vasco Thudichum Vasconcelos |
Session Typing for a Featherweight Erlang. |
COORDINATION |
2011 |
DBLP DOI BibTeX RDF |
|
16 | Tibor Misuth, Ivan Baronak |
Application of Erlang B model in modern VoIP networks. |
TSP |
2011 |
DBLP DOI BibTeX RDF |
|
16 | Gopal Sekar, Ayyappan Govindan, Muthu Ganapathi Subramanian |
Stability analysis of single server retrial queueing system with Erlang service. |
QTNA |
2011 |
DBLP DOI BibTeX RDF |
|
16 | Alessandro Sivieri, Gianpaolo Cugola, Carlo Ghezzi |
Computational REST Meets Erlang. |
TOOLS (49) |
2011 |
DBLP DOI BibTeX RDF |
|
16 | Mohamed Firdhous, Osman Ghazali, Suhaidi Hassan |
Modeling of cloud system using Erlang formulas. |
APCC |
2011 |
DBLP DOI BibTeX RDF |
|
16 | Huiqing Li, Simon J. Thompson |
Incremental Clone Detection and Elimination for Erlang Programs. |
FASE |
2011 |
DBLP DOI BibTeX RDF |
|
16 | Hiroyuki Kuwahara, Chris J. Myers |
Erlang-delayed stochastic chemical kinetic formalism for efficient analysis of biological systems with non-elementary reaction effects. |
BCB |
2011 |
DBLP DOI BibTeX RDF |
|
16 | Arnoud M. de Bruin, René Bekker, Lillian van Zanten, Ger Koole |
Dimensioning hospital wards using the Erlang loss model. |
Ann. Oper. Res. |
2010 |
DBLP DOI BibTeX RDF |
|
16 | Ioannis D. Moscholios, Michael D. Logothetis |
The Erlang multirate loss model with Batched Poisson arrival processes under the bandwidth reservation policy. |
Comput. Commun. |
2010 |
DBLP DOI BibTeX RDF |
|
16 | Matthieu Jonckheere, Jean Mairesse |
Towards an Erlang formula for multiclass networks. |
Queueing Syst. Theory Appl. |
2010 |
DBLP DOI BibTeX RDF |
|
16 | Arie Harel |
Sharp and simple bounds for the Erlang delay and loss formulae. |
Queueing Syst. Theory Appl. |
2010 |
DBLP DOI BibTeX RDF |
|
16 | Erik Chromý, Matej Kavacký |
Asynchronous Networks and Erlang Formulas. |
Int. J. Commun. Networks Inf. Secur. |
2010 |
DBLP BibTeX RDF |
|
16 | Peter Burcsi, Attila Kovács, Antal Tátrai |
Start-phase control of distributed systems written in Erlang/OTP |
CoRR |
2010 |
DBLP BibTeX RDF |
|
16 | Joe Armstrong |
Erlang. |
Commun. ACM |
2010 |
DBLP DOI BibTeX RDF |
|
16 | Manoj Kumar Dutta, Vinod Kumar Chaubey |
Design and Simulation of Intelligent Optical WDM Switching Node Based on Erlang Traffic Model. |
Int. J. Commun. Netw. Syst. Sci. |
2010 |
DBLP DOI BibTeX RDF |
|
16 | Guoping Zeng |
On the convergence of the Extended Erlang-B model. |
Math. Comput. Model. |
2010 |
DBLP DOI BibTeX RDF |
|
16 | C. D. Lai |
Generalized Erlang and mortality levelling off distributions. |
Math. Comput. Model. |
2010 |
DBLP DOI BibTeX RDF |
|
16 | Alexander Yur'evich Veretennikov |
On the rate of beta-mixing and convergence to a stationary distribution in continuous-time Erlang-type systems. |
Probl. Inf. Transm. |
2010 |
DBLP DOI BibTeX RDF |
|
16 | Maria Christakis, Konstantinos Sagonas |
Static Detection of Race Conditions in Erlang. |
PADL |
2010 |
DBLP DOI BibTeX RDF |
|